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 |
CASL.ATC_CASL
Contents
Description
Automatic derivation of instances via DrIFT-rule ShATermConvertible
for the type(s):
CASL_Formulas
SubsortingFeatures
SortGenerationFeatures
CASL_SL
RawSymbol
Morphism
DefMorExt
OpType
PredType
SymbType
Symbol
Sign
BASIC_SPEC
BASIC_ITEMS
SortsKind
SIG_ITEMS
SORT_ITEM
OP_ITEM
OpKind
OP_TYPE
OP_HEAD
OP_ATTR
PRED_ITEM
PRED_TYPE
PRED_HEAD
DATATYPE_DECL
ALTERNATIVE
COMPONENTS
VAR_DECL
Junctor
Relation
Equality
FORMULA
Constraint
QUANTIFIER
PRED_SYMB
TERM
OP_SYMB
SYMB_ITEMS
SYMB_MAP_ITEMS
SYMB_KIND
SYMB
TYPE
SYMB_OR_MAP
Orphan instances
ShATermConvertible SYMB_OR_MAP Source # | |
ShATermConvertible TYPE Source # | |
ShATermConvertible SYMB Source # | |
ShATermConvertible SYMB_KIND Source # | |
ShATermConvertible SYMB_MAP_ITEMS Source # | |
ShATermConvertible SYMB_ITEMS Source # | |
ShATermConvertible OP_SYMB Source # | |
ShATermConvertible PRED_SYMB Source # | |
ShATermConvertible QUANTIFIER Source # | |
ShATermConvertible Constraint Source # | |
ShATermConvertible Equality Source # | |
ShATermConvertible Relation Source # | |
ShATermConvertible Junctor Source # | |
ShATermConvertible VAR_DECL Source # | |
ShATermConvertible COMPONENTS Source # | |
ShATermConvertible ALTERNATIVE Source # | |
ShATermConvertible DATATYPE_DECL Source # | |
ShATermConvertible PRED_HEAD Source # | |
ShATermConvertible PRED_TYPE Source # | |
ShATermConvertible OP_HEAD Source # | |
ShATermConvertible OP_TYPE Source # | |
ShATermConvertible OpKind Source # | |
ShATermConvertible SortsKind Source # | |
ShATermConvertible Symbol Source # | |
ShATermConvertible SymbType Source # | |
ShATermConvertible PredType Source # | |
ShATermConvertible OpType Source # | |
ShATermConvertible RawSymbol Source # | |
ShATermConvertible SortGenerationFeatures Source # | |
ShATermConvertible SubsortingFeatures Source # | |
ShATermConvertible CASL_Formulas Source # | |
ShATermConvertible f => ShATermConvertible (TERM f) Source # | |
ShATermConvertible f => ShATermConvertible (FORMULA f) Source # | |
ShATermConvertible f => ShATermConvertible (PRED_ITEM f) Source # | |
ShATermConvertible f => ShATermConvertible (OP_ATTR f) Source # | |
ShATermConvertible f => ShATermConvertible (OP_ITEM f) Source # | |
ShATermConvertible f => ShATermConvertible (SORT_ITEM f) Source # | |
ShATermConvertible e => ShATermConvertible (DefMorExt e) Source # | |
ShATermConvertible a => ShATermConvertible (CASL_SL a) Source # | |
(ShATermConvertible s, ShATermConvertible f) => ShATermConvertible (SIG_ITEMS s f) Source # | |
(ShATermConvertible f, ShATermConvertible e) => ShATermConvertible (Sign f e) Source # | |
(ShATermConvertible b, ShATermConvertible s, ShATermConvertible f) => ShATermConvertible (BASIC_ITEMS b s f) Source # | |
(ShATermConvertible b, ShATermConvertible s, ShATermConvertible f) => ShATermConvertible (BASIC_SPEC b s f) Source # | |
(ShATermConvertible f, ShATermConvertible e, ShATermConvertible m) => ShATermConvertible (Morphism f e m) Source # | |