Copyright	(c) C. Maeder, and Uni Bremen 2002-2006
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	portable
Safe Haskell	Safe-Inferred

Common.DefaultMorphism

Description

Supply a default morphism for a given signature type

Documentation

data DefaultMorphism sign

Constructors

MkMorphism
Fields domOfDefaultMorphism :: sign codOfDefaultMorphism :: sign

Instances

ProjectSublogic HolLightSL HolLightMorphism
ProjectSublogic THFSl MorphismTHF
MinSublogic HolLightSL HolLightMorphism
MinSublogic THFSl MorphismTHF
Sentences Isabelle Sentence Sign IsabelleMorphism ()
Sentences HolLight Sentence Sign HolLightMorphism ()
Sentences CSMOF Sen Sign Morphism ()
Sentences QVTR Sen Sign Morphism ()
Sentences Adl Sen Sign Morphism Symbol
Sentences FrameworkCom () ComorphismDef MorphismCom ()
Sentences Framework () LogicDef Morphism ()
Sentences THF THFFormula SignTHF MorphismTHF SymbolTHF
Sentences SoftFOL Sentence Sign SoftFOLMorphism SFSymbol
Sentences FreeCAD () Sign FCMorphism ()
StaticAnalysis Isabelle () Sentence () () Sign IsabelleMorphism () ()
StaticAnalysis HolLight () Sentence () () Sign HolLightMorphism () ()	Static Analysis for propositional logic
StaticAnalysis CSMOF Metamodel Sen () () Sign Morphism () ()
StaticAnalysis QVTR Transformation Sen () () Sign Morphism () ()
StaticAnalysis Adl Context Sen () () Sign Morphism Symbol RawSymbol
StaticAnalysis FrameworkCom ComorphismDef () () () ComorphismDef MorphismCom () ()
StaticAnalysis Framework LogicDef () () () LogicDef Morphism () ()
StaticAnalysis THF BasicSpecTHF THFFormula () () SignTHF MorphismTHF SymbolTHF ()
StaticAnalysis FreeCAD Document () () () Sign FCMorphism () ()
LogicalFramework Isabelle () () Sentence () () Sign IsabelleMorphism () () ()
Logic Isabelle () () Sentence () () Sign IsabelleMorphism () () ()
Logic HolLight HolLightSL () Sentence () () Sign HolLightMorphism () () ()	Instance of Logic for propositional logc
Logic CSMOF () Metamodel Sen () () Sign Morphism () () ()
Logic QVTR () Transformation Sen () () Sign Morphism () () ()
Logic Adl () Context Sen () () Sign Morphism Symbol RawSymbol ProofTree
Logic FrameworkCom () ComorphismDef () () () ComorphismDef MorphismCom () () ()
Logic Framework () LogicDef () () () LogicDef Morphism () () ()
Logic THF THFSl BasicSpecTHF THFFormula () () SignTHF MorphismTHF SymbolTHF () ProofTree
Comorphism THFP2THF0 THF THFSl BasicSpecTHF THFFormula () () SignTHF MorphismTHF SymbolTHF () ProofTree THF THFSl BasicSpecTHF THFFormula () () SignTHF MorphismTHF SymbolTHF () ProofTree
Comorphism THFP_P2THFP THF THFSl BasicSpecTHF THFFormula () () SignTHF MorphismTHF SymbolTHF () ProofTree THF THFSl BasicSpecTHF THFFormula () () SignTHF MorphismTHF SymbolTHF () ProofTree
Comorphism THFP_P2HasCASL THF THFSl BasicSpecTHF THFFormula () () SignTHF MorphismTHF SymbolTHF () ProofTree HasCASL Sublogic BasicSpec Sentence SymbItems SymbMapItems Env Morphism Symbol RawSymbol ()
Comorphism HasCASL2THFP_P HasCASL Sublogic BasicSpec Sentence SymbItems SymbMapItems Env Morphism Symbol RawSymbol () THF THFSl BasicSpecTHF THFFormula () () SignTHF MorphismTHF SymbolTHF () ProofTree
Comorphism CommonLogic2IsabelleHOL CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree Isabelle () () Sentence () () Sign IsabelleMorphism () () ()
Comorphism HolLight2Isabelle HolLight HolLightSL () Sentence () () Sign HolLightMorphism () () () Isabelle () () Sentence () () Sign IsabelleMorphism () () ()
Comorphism HasCASL2IsabelleHOL HasCASL Sublogic BasicSpec Sentence SymbItems SymbMapItems Env Morphism Symbol RawSymbol () Isabelle () () Sentence () () Sign IsabelleMorphism () () ()
Comorphism PCoClTyConsHOL2IsabelleHOL HasCASL Sublogic BasicSpec Sentence SymbItems SymbMapItems Env Morphism Symbol RawSymbol () Isabelle () () Sentence () () Sign IsabelleMorphism () () ()
Comorphism MonadicHasCASL2IsabelleHOL HasCASL Sublogic BasicSpec Sentence SymbItems SymbMapItems Env Morphism Symbol RawSymbol () Isabelle () () Sentence () () Sign IsabelleMorphism () () ()
Comorphism PCoClTyConsHOL2PairsInIsaHOL HasCASL Sublogic BasicSpec Sentence SymbItems SymbMapItems Env Morphism Symbol RawSymbol () Isabelle () () Sentence () () Sign IsabelleMorphism () () ()
Comorphism CFOL2IsabelleHOL CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree Isabelle () () Sentence () () Sign IsabelleMorphism () () ()
Comorphism CSMOF2CASL CSMOF () Metamodel Sen () () Sign Morphism () () () CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree
Comorphism QVTR2CASL QVTR () Transformation Sen () () Sign Morphism () () () CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree
Comorphism Adl2CASL Adl () Context Sen () () Sign Morphism Symbol RawSymbol ProofTree CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree
Comorphism CoCFOL2IsabelleHOL CoCASL CoCASL_Sublogics C_BASIC_SPEC CoCASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CSign CoCASLMor Symbol RawSymbol () Isabelle () () Sentence () () Sign IsabelleMorphism () () ()
Comorphism HasCASL2Haskell HasCASL Sublogic BasicSpec Sentence SymbItems SymbMapItems Env Morphism Symbol RawSymbol () Haskell () HsDecls (TiDecl PNT) () () Sign HaskellMorphism Symbol RawSymbol ()
Comorphism DMU2OWL2 DMU () Text () () () Text (DefaultMorphism Text) () () () OWL2 ProfSub OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb ProofTree
Logic DMU () Text () () () Text (DefaultMorphism Text) () () ()
Logic FreeCAD () Document () () () Sign (DefaultMorphism Sign) () () ()
StaticAnalysis DMU Text () () () Text (DefaultMorphism Text) () ()
Comorphism Haskell2IsabelleHOL Haskell () HsDecls (TiDecl PNT) () () Sign HaskellMorphism () () () Isabelle () () Sentence () () Sign IsabelleMorphism () () ()
Comorphism Haskell2IsabelleHOLCF Haskell () HsDecls (TiDecl PNT) () () Sign HaskellMorphism () () () Isabelle () () Sentence () () Sign IsabelleMorphism () () ()
Sentences DMU () Text (DefaultMorphism Text) ()
Logic Haskell Haskell_Sublogics HsDecls (TiDecl PNT) SYMB_ITEMS SYMB_MAP_ITEMS Sign HaskellMorphism Symbol RawSymbol ()
Comorphism SoftFOL2CommonLogic SoftFOL () [TPTP] Sentence () () Sign SoftFOLMorphism SFSymbol () ProofTree CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree
StaticAnalysis Haskell HsDecls (TiDecl PNT) SYMB_ITEMS SYMB_MAP_ITEMS Sign HaskellMorphism Symbol RawSymbol
Logic SoftFOL () [TPTP] Sentence () () Sign SoftFOLMorphism SFSymbol () ProofTree
Ord sign => Category sign (DefaultMorphism sign)
Sentences Haskell (TiDecl PNT) Sign HaskellMorphism Symbol
StaticAnalysis SoftFOL [TPTP] Sentence () () Sign SoftFOLMorphism SFSymbol ()
Eq sign => Eq (DefaultMorphism sign)
Data sign => Data (DefaultMorphism sign)
Ord sign => Ord (DefaultMorphism sign)
Show sign => Show (DefaultMorphism sign)
ShATermConvertible sign => ShATermConvertible (DefaultMorphism sign)
Pretty a => Pretty (DefaultMorphism a)
Typeable (* -> *) DefaultMorphism

ideOfDefaultMorphism :: sign -> DefaultMorphism sign

compOfDefaultMorphism :: Monad m => DefaultMorphism sign -> DefaultMorphism sign -> m (DefaultMorphism sign)

defaultInclusion :: Monad m => sign -> sign -> m (DefaultMorphism sign)