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 |
HasCASL.ATC_HasCASL
Contents
Description
Automatic derivation of instances via DrIFT-rule ShATermConvertible
for the type(s):
PrecMap
BasicSpec
BasicItem
SigItems
OpBrand
Instance
ClassItem
ClassDecl
Variance
AnyKind
TypeItem
Vars
TypePattern
Type
TypeScheme
Partiality
OpItem
BinOpAttr
OpAttr
DatatypeDecl
Alternative
Component
Quantifier
TypeQual
LetBrand
BracketKind
InstKind
Term
ProgEq
PolyId
SeparatorKind
VarDecl
VarKind
TypeArg
GenVarDecl
SymbItems
SymbMapItems
SymbKind
Symb
SymbType
SymbOrMap
ClassInfo
GenKind
AltDefn
Selector
DataEntry
TypeDefn
TypeInfo
Sentence
TypeVarDefn
VarDefn
ConstrInfo
OpDefn
OpInfo
Env
Constrain
Morphism
SymbolType
Symbol
RawSymbol
Formulas
Classes
Sublogic
Orphan instances
ShATermConvertible PrecMap Source # | |
ShATermConvertible SymbOrMap Source # | |
ShATermConvertible SymbType Source # | |
ShATermConvertible Symb Source # | |
ShATermConvertible SymbKind Source # | |
ShATermConvertible SymbMapItems Source # | |
ShATermConvertible SymbItems Source # | |
ShATermConvertible GenVarDecl Source # | |
ShATermConvertible TypeArg Source # | |
ShATermConvertible VarKind Source # | |
ShATermConvertible VarDecl Source # | |
ShATermConvertible SeparatorKind Source # | |
ShATermConvertible PolyId Source # | |
ShATermConvertible ProgEq Source # | |
ShATermConvertible Term Source # | |
ShATermConvertible InstKind Source # | |
ShATermConvertible BracketKind Source # | |
ShATermConvertible LetBrand Source # | |
ShATermConvertible TypeQual Source # | |
ShATermConvertible Quantifier Source # | |
ShATermConvertible Component Source # | |
ShATermConvertible Alternative Source # | |
ShATermConvertible DatatypeDecl Source # | |
ShATermConvertible OpAttr Source # | |
ShATermConvertible BinOpAttr Source # | |
ShATermConvertible OpItem Source # | |
ShATermConvertible Partiality Source # | |
ShATermConvertible TypeScheme Source # | |
ShATermConvertible Type Source # | |
ShATermConvertible TypePattern Source # | |
ShATermConvertible Vars Source # | |
ShATermConvertible TypeItem Source # | |
ShATermConvertible Variance Source # | |
ShATermConvertible ClassDecl Source # | |
ShATermConvertible ClassItem Source # | |
ShATermConvertible Instance Source # | |
ShATermConvertible OpBrand Source # | |
ShATermConvertible SigItems Source # | |
ShATermConvertible BasicItem Source # | |
ShATermConvertible BasicSpec Source # | |
ShATermConvertible RawSymbol Source # | |
ShATermConvertible Symbol Source # | |
ShATermConvertible SymbolType Source # | |
ShATermConvertible Morphism Source # | |
ShATermConvertible Constrain Source # | |
ShATermConvertible Env Source # | |
ShATermConvertible OpInfo Source # | |
ShATermConvertible OpDefn Source # | |
ShATermConvertible ConstrInfo Source # | |
ShATermConvertible VarDefn Source # | |
ShATermConvertible TypeVarDefn Source # | |
ShATermConvertible Sentence Source # | |
ShATermConvertible TypeInfo Source # | |
ShATermConvertible TypeDefn Source # | |
ShATermConvertible DataEntry Source # | |
ShATermConvertible Selector Source # | |
ShATermConvertible AltDefn Source # | |
ShATermConvertible GenKind Source # | |
ShATermConvertible ClassInfo Source # | |
ShATermConvertible Sublogic Source # | |
ShATermConvertible Classes Source # | |
ShATermConvertible Formulas Source # | |
ShATermConvertible a => ShATermConvertible (AnyKind a) Source # | |