Copyright | (c) DFKI GmbH 2012 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | Christian.Maeder@dfki.de |
Stability | provisional |
Portability | non-portable(derive Typeable instances) |
Safe Haskell | None |
OMDoc.ATC_OMDoc
Contents
Description
Automatic derivation of instances via DrIFT-rule ShATermConvertible
for the type(s):
OMDoc
Theory
ImportsType
Imports
Presentation
Use
SymbolRole
Symbol
Type
Constitutive
Axiom
CMP
FMP
Assumption
Conclusion
Definition
ADT
SortType
SortDef
Constructor
Insort
Recognizer
Conservativity
Inclusion
Morphism
MText
OMDocMathObject
OMObject
OMSymbol
OMInteger
OMVariable
OMSimpleVariable
OMAttribution
OMAttributionPart
OMBindingVariables
OMBase64
OMString
OMFloat
OMApply
OMError
OMReference
OMBind
OMElement
Orphan instances
ShATermConvertible OMElement Source # | |
ShATermConvertible OMBind Source # | |
ShATermConvertible OMReference Source # | |
ShATermConvertible OMError Source # | |
ShATermConvertible OMApply Source # | |
ShATermConvertible OMFloat Source # | |
ShATermConvertible OMString Source # | |
ShATermConvertible OMBase64 Source # | |
ShATermConvertible OMBindingVariables Source # | |
ShATermConvertible OMAttributionPart Source # | |
ShATermConvertible OMAttribution Source # | |
ShATermConvertible OMSimpleVariable Source # | |
ShATermConvertible OMVariable Source # | |
ShATermConvertible OMInteger Source # | |
ShATermConvertible OMSymbol Source # | |
ShATermConvertible OMObject Source # | |
ShATermConvertible OMDocMathObject Source # | |
ShATermConvertible MText Source # | |
ShATermConvertible Morphism Source # | |
ShATermConvertible Inclusion Source # | |
ShATermConvertible Conservativity Source # | |
ShATermConvertible Recognizer Source # | |
ShATermConvertible Insort Source # | |
ShATermConvertible Constructor Source # | |
ShATermConvertible SortDef Source # | |
ShATermConvertible SortType Source # | |
ShATermConvertible ADT Source # | |
ShATermConvertible Definition Source # | |
ShATermConvertible Conclusion Source # | |
ShATermConvertible Assumption Source # | |
ShATermConvertible FMP Source # | |
ShATermConvertible CMP Source # | |
ShATermConvertible Axiom Source # | |
ShATermConvertible Constitutive Source # | |
ShATermConvertible Type Source # | |
ShATermConvertible Symbol Source # | |
ShATermConvertible SymbolRole Source # | |
ShATermConvertible Use Source # | |
ShATermConvertible Presentation Source # | |
ShATermConvertible Imports Source # | |
ShATermConvertible ImportsType Source # | |
ShATermConvertible Theory Source # | |
ShATermConvertible OMDoc Source # | |