Hets - the Heterogeneous Tool Set

Copyright(c) DFKI GmbH 2012
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable(derive Typeable instances)
Safe HaskellNone

CASL.ATC_CASL

Contents

Description

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])