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

Orphan instances

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 #
Methods toShATermAux :: ATermTable -> SYMB_OR_MAP -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SYMB_OR_MAP] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SYMB_OR_MAP) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SYMB_OR_MAP])
ShATermConvertible TYPE Source #
Methods toShATermAux :: ATermTable -> TYPE -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TYPE] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TYPE) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TYPE])
ShATermConvertible SYMB Source #
Methods toShATermAux :: ATermTable -> SYMB -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SYMB] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SYMB) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SYMB])
ShATermConvertible SYMB_KIND Source #
Methods toShATermAux :: ATermTable -> SYMB_KIND -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SYMB_KIND] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SYMB_KIND) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SYMB_KIND])
ShATermConvertible SYMB_MAP_ITEMS Source #
Methods toShATermAux :: ATermTable -> SYMB_MAP_ITEMS -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SYMB_MAP_ITEMS] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SYMB_MAP_ITEMS) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SYMB_MAP_ITEMS])
ShATermConvertible SYMB_ITEMS Source #
Methods toShATermAux :: ATermTable -> SYMB_ITEMS -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SYMB_ITEMS] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SYMB_ITEMS) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SYMB_ITEMS])
ShATermConvertible OP_SYMB Source #
Methods toShATermAux :: ATermTable -> OP_SYMB -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OP_SYMB] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OP_SYMB) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OP_SYMB])
ShATermConvertible PRED_SYMB Source #
Methods toShATermAux :: ATermTable -> PRED_SYMB -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [PRED_SYMB] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, PRED_SYMB) fromShATermList' :: Int -> ATermTable -> (ATermTable, [PRED_SYMB])
ShATermConvertible QUANTIFIER Source #
Methods toShATermAux :: ATermTable -> QUANTIFIER -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [QUANTIFIER] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, QUANTIFIER) fromShATermList' :: Int -> ATermTable -> (ATermTable, [QUANTIFIER])
ShATermConvertible Constraint Source #
Methods toShATermAux :: ATermTable -> Constraint -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Constraint] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Constraint) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Constraint])
ShATermConvertible Equality Source #
Methods toShATermAux :: ATermTable -> Equality -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Equality] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Equality) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Equality])
ShATermConvertible Relation Source #
Methods toShATermAux :: ATermTable -> Relation -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Relation] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Relation) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Relation])
ShATermConvertible Junctor Source #
Methods toShATermAux :: ATermTable -> Junctor -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Junctor] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Junctor) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Junctor])
ShATermConvertible VAR_DECL Source #
Methods toShATermAux :: ATermTable -> VAR_DECL -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [VAR_DECL] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, VAR_DECL) fromShATermList' :: Int -> ATermTable -> (ATermTable, [VAR_DECL])
ShATermConvertible COMPONENTS Source #
Methods toShATermAux :: ATermTable -> COMPONENTS -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [COMPONENTS] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, COMPONENTS) fromShATermList' :: Int -> ATermTable -> (ATermTable, [COMPONENTS])
ShATermConvertible ALTERNATIVE Source #
Methods toShATermAux :: ATermTable -> ALTERNATIVE -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ALTERNATIVE] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ALTERNATIVE) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ALTERNATIVE])
ShATermConvertible DATATYPE_DECL Source #
Methods toShATermAux :: ATermTable -> DATATYPE_DECL -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [DATATYPE_DECL] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, DATATYPE_DECL) fromShATermList' :: Int -> ATermTable -> (ATermTable, [DATATYPE_DECL])
ShATermConvertible PRED_HEAD Source #
Methods toShATermAux :: ATermTable -> PRED_HEAD -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [PRED_HEAD] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, PRED_HEAD) fromShATermList' :: Int -> ATermTable -> (ATermTable, [PRED_HEAD])
ShATermConvertible PRED_TYPE Source #
Methods toShATermAux :: ATermTable -> PRED_TYPE -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [PRED_TYPE] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, PRED_TYPE) fromShATermList' :: Int -> ATermTable -> (ATermTable, [PRED_TYPE])
ShATermConvertible OP_HEAD Source #
Methods toShATermAux :: ATermTable -> OP_HEAD -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OP_HEAD] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OP_HEAD) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OP_HEAD])
ShATermConvertible OP_TYPE Source #
Methods toShATermAux :: ATermTable -> OP_TYPE -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OP_TYPE] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OP_TYPE) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OP_TYPE])
ShATermConvertible OpKind Source #
Methods toShATermAux :: ATermTable -> OpKind -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OpKind] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OpKind) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OpKind])
ShATermConvertible SortsKind Source #
Methods toShATermAux :: ATermTable -> SortsKind -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SortsKind] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SortsKind) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SortsKind])
ShATermConvertible Symbol Source #
Methods toShATermAux :: ATermTable -> Symbol -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Symbol] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Symbol) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Symbol])
ShATermConvertible SymbType Source #
Methods toShATermAux :: ATermTable -> SymbType -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SymbType] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SymbType) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SymbType])
ShATermConvertible PredType Source #
Methods toShATermAux :: ATermTable -> PredType -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [PredType] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, PredType) fromShATermList' :: Int -> ATermTable -> (ATermTable, [PredType])
ShATermConvertible OpType Source #
Methods toShATermAux :: ATermTable -> OpType -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OpType] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OpType) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OpType])
ShATermConvertible RawSymbol Source #
Methods toShATermAux :: ATermTable -> RawSymbol -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RawSymbol] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RawSymbol) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RawSymbol])
ShATermConvertible SortGenerationFeatures Source #
Methods toShATermAux :: ATermTable -> SortGenerationFeatures -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SortGenerationFeatures] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SortGenerationFeatures) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SortGenerationFeatures])
ShATermConvertible SubsortingFeatures Source #
Methods toShATermAux :: ATermTable -> SubsortingFeatures -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SubsortingFeatures] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SubsortingFeatures) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SubsortingFeatures])
ShATermConvertible CASL_Formulas Source #
Methods toShATermAux :: ATermTable -> CASL_Formulas -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [CASL_Formulas] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, CASL_Formulas) fromShATermList' :: Int -> ATermTable -> (ATermTable, [CASL_Formulas])
ShATermConvertible f => ShATermConvertible (TERM f) Source #
Methods toShATermAux :: ATermTable -> TERM f -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TERM f] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TERM f) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TERM f])
ShATermConvertible f => ShATermConvertible (FORMULA f) Source #
Methods toShATermAux :: ATermTable -> FORMULA f -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FORMULA f] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FORMULA f) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FORMULA f])
ShATermConvertible f => ShATermConvertible (PRED_ITEM f) Source #
Methods toShATermAux :: ATermTable -> PRED_ITEM f -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [PRED_ITEM f] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, PRED_ITEM f) fromShATermList' :: Int -> ATermTable -> (ATermTable, [PRED_ITEM f])
ShATermConvertible f => ShATermConvertible (OP_ATTR f) Source #
Methods toShATermAux :: ATermTable -> OP_ATTR f -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OP_ATTR f] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OP_ATTR f) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OP_ATTR f])
ShATermConvertible f => ShATermConvertible (OP_ITEM f) Source #
Methods toShATermAux :: ATermTable -> OP_ITEM f -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OP_ITEM f] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OP_ITEM f) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OP_ITEM f])
ShATermConvertible f => ShATermConvertible (SORT_ITEM f) Source #
Methods toShATermAux :: ATermTable -> SORT_ITEM f -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SORT_ITEM f] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SORT_ITEM f) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SORT_ITEM f])
ShATermConvertible e => ShATermConvertible (DefMorExt e) Source #
Methods toShATermAux :: ATermTable -> DefMorExt e -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [DefMorExt e] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, DefMorExt e) fromShATermList' :: Int -> ATermTable -> (ATermTable, [DefMorExt e])
ShATermConvertible a => ShATermConvertible (CASL_SL a) Source #
Methods toShATermAux :: ATermTable -> CASL_SL a -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [CASL_SL a] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, CASL_SL a) fromShATermList' :: Int -> ATermTable -> (ATermTable, [CASL_SL a])
(ShATermConvertible s, ShATermConvertible f) => ShATermConvertible (SIG_ITEMS s f) Source #
Methods toShATermAux :: ATermTable -> SIG_ITEMS s f -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SIG_ITEMS s f] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SIG_ITEMS s f) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SIG_ITEMS s f])
(ShATermConvertible f, ShATermConvertible e) => ShATermConvertible (Sign f e) Source #
Methods toShATermAux :: ATermTable -> Sign f e -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Sign f e] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Sign f e) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Sign f e])
(ShATermConvertible b, ShATermConvertible s, ShATermConvertible f) => ShATermConvertible (BASIC_ITEMS b s f) Source #
Methods toShATermAux :: ATermTable -> BASIC_ITEMS b s f -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [BASIC_ITEMS b s f] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, BASIC_ITEMS b s f) fromShATermList' :: Int -> ATermTable -> (ATermTable, [BASIC_ITEMS b s f])
(ShATermConvertible b, ShATermConvertible s, ShATermConvertible f) => ShATermConvertible (BASIC_SPEC b s f) Source #
Methods toShATermAux :: ATermTable -> BASIC_SPEC b s f -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [BASIC_SPEC b s f] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, BASIC_SPEC b s f) fromShATermList' :: Int -> ATermTable -> (ATermTable, [BASIC_SPEC b s f])
(ShATermConvertible f, ShATermConvertible e, ShATermConvertible m) => ShATermConvertible (Morphism f e m) Source #
Methods toShATermAux :: ATermTable -> Morphism f e m -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Morphism f e m] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Morphism f e m) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Morphism f e m])