Copyright	(c) A. Tsogias, DFKI Bremen 2011
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Alexis.Tsogias@dfki.de
Stability	provisional
Portability	portable
Safe Haskell	Safe-Inferred

THF.Cons

Description

Data structures and functions used in Logic_THF and HasCASL2THF. Note: Some of the implenentations depend on the THF0 Syntax.

Documentation

Constructors

Instances

Eq BasicSpecTHF
Data BasicSpecTHF
Ord BasicSpecTHF
Show BasicSpecTHF
ShATermConvertible BasicSpecTHF
Monoid BasicSpecTHF
GetRange BasicSpecTHF
Pretty BasicSpecTHF
Typeable * BasicSpecTHF
ProjectSublogic THFSl BasicSpecTHF
MinSublogic THFSl BasicSpecTHF
Syntax THF BasicSpecTHF SymbolTHF () ()
StaticAnalysis THF BasicSpecTHF THFFormula () () SignTHF MorphismTHF SymbolTHF ()
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

Constructors

Symbol
Fields symId :: Constant symName :: Name symType :: SymbolType

Instances

Eq SymbolTHF
Data SymbolTHF
Ord SymbolTHF
Show SymbolTHF
ShATermConvertible SymbolTHF
GetRange SymbolTHF
Pretty SymbolTHF
Typeable * SymbolTHF
ProjectSublogicM THFSl SymbolTHF
MinSublogic THFSl SymbolTHF
Sentences THF THFFormula SignTHF MorphismTHF SymbolTHF
Syntax THF BasicSpecTHF SymbolTHF () ()
StaticAnalysis THF BasicSpecTHF THFFormula () () SignTHF MorphismTHF SymbolTHF ()
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

Constructors

ST_Const Type
ST_Type Kind

Instances

Eq SymbolType
Data SymbolType
Ord SymbolType
Show SymbolType
ShATermConvertible SymbolType
Typeable * SymbolType

data Type

Constructors

Instances

data Kind

Constructors

Instances