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, Json for the type(s): CASL_Formulas SubsortingFeatures SortGenTotality 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

Generic SYMB_OR_MAP Source #
Instance details Associated Types type Rep SYMB_OR_MAP :: Type -> Type Methods from :: SYMB_OR_MAP -> Rep SYMB_OR_MAP x to :: Rep SYMB_OR_MAP x -> SYMB_OR_MAP
Generic TYPE Source #
Instance details Associated Types type Rep TYPE :: Type -> Type Methods from :: TYPE -> Rep TYPE x to :: Rep TYPE x -> TYPE
Generic SYMB Source #
Instance details Associated Types type Rep SYMB :: Type -> Type Methods from :: SYMB -> Rep SYMB x to :: Rep SYMB x -> SYMB
Generic SYMB_KIND Source #
Instance details Associated Types type Rep SYMB_KIND :: Type -> Type Methods from :: SYMB_KIND -> Rep SYMB_KIND x to :: Rep SYMB_KIND x -> SYMB_KIND
Generic SYMB_MAP_ITEMS Source #
Instance details Associated Types type Rep SYMB_MAP_ITEMS :: Type -> Type Methods from :: SYMB_MAP_ITEMS -> Rep SYMB_MAP_ITEMS x to :: Rep SYMB_MAP_ITEMS x -> SYMB_MAP_ITEMS
Generic SYMB_ITEMS Source #
Instance details Associated Types type Rep SYMB_ITEMS :: Type -> Type Methods from :: SYMB_ITEMS -> Rep SYMB_ITEMS x to :: Rep SYMB_ITEMS x -> SYMB_ITEMS
Generic OP_SYMB Source #
Instance details Associated Types type Rep OP_SYMB :: Type -> Type Methods from :: OP_SYMB -> Rep OP_SYMB x to :: Rep OP_SYMB x -> OP_SYMB
Generic PRED_SYMB Source #
Instance details Associated Types type Rep PRED_SYMB :: Type -> Type Methods from :: PRED_SYMB -> Rep PRED_SYMB x to :: Rep PRED_SYMB x -> PRED_SYMB
Generic QUANTIFIER Source #
Instance details Associated Types type Rep QUANTIFIER :: Type -> Type Methods from :: QUANTIFIER -> Rep QUANTIFIER x to :: Rep QUANTIFIER x -> QUANTIFIER
Generic Constraint Source #
Instance details Associated Types type Rep Constraint :: Type -> Type Methods from :: Constraint -> Rep Constraint x to :: Rep Constraint x -> Constraint
Generic Equality Source #
Instance details Associated Types type Rep Equality :: Type -> Type Methods from :: Equality -> Rep Equality x to :: Rep Equality x -> Equality
Generic Relation Source #
Instance details Associated Types type Rep Relation :: Type -> Type Methods from :: Relation -> Rep Relation x to :: Rep Relation x -> Relation
Generic Junctor Source #
Instance details Associated Types type Rep Junctor :: Type -> Type Methods from :: Junctor -> Rep Junctor x to :: Rep Junctor x -> Junctor
Generic VAR_DECL Source #
Instance details Associated Types type Rep VAR_DECL :: Type -> Type Methods from :: VAR_DECL -> Rep VAR_DECL x to :: Rep VAR_DECL x -> VAR_DECL
Generic COMPONENTS Source #
Instance details Associated Types type Rep COMPONENTS :: Type -> Type Methods from :: COMPONENTS -> Rep COMPONENTS x to :: Rep COMPONENTS x -> COMPONENTS
Generic ALTERNATIVE Source #
Instance details Associated Types type Rep ALTERNATIVE :: Type -> Type Methods from :: ALTERNATIVE -> Rep ALTERNATIVE x to :: Rep ALTERNATIVE x -> ALTERNATIVE
Generic DATATYPE_DECL Source #
Instance details Associated Types type Rep DATATYPE_DECL :: Type -> Type Methods from :: DATATYPE_DECL -> Rep DATATYPE_DECL x to :: Rep DATATYPE_DECL x -> DATATYPE_DECL
Generic PRED_HEAD Source #
Instance details Associated Types type Rep PRED_HEAD :: Type -> Type Methods from :: PRED_HEAD -> Rep PRED_HEAD x to :: Rep PRED_HEAD x -> PRED_HEAD
Generic PRED_TYPE Source #
Instance details Associated Types type Rep PRED_TYPE :: Type -> Type Methods from :: PRED_TYPE -> Rep PRED_TYPE x to :: Rep PRED_TYPE x -> PRED_TYPE
Generic OP_HEAD Source #
Instance details Associated Types type Rep OP_HEAD :: Type -> Type Methods from :: OP_HEAD -> Rep OP_HEAD x to :: Rep OP_HEAD x -> OP_HEAD
Generic OP_TYPE Source #
Instance details Associated Types type Rep OP_TYPE :: Type -> Type Methods from :: OP_TYPE -> Rep OP_TYPE x to :: Rep OP_TYPE x -> OP_TYPE
Generic OpKind Source #
Instance details Associated Types type Rep OpKind :: Type -> Type Methods from :: OpKind -> Rep OpKind x to :: Rep OpKind x -> OpKind
Generic SortsKind Source #
Instance details Associated Types type Rep SortsKind :: Type -> Type Methods from :: SortsKind -> Rep SortsKind x to :: Rep SortsKind x -> SortsKind
Generic Symbol Source #
Instance details Associated Types type Rep Symbol :: Type -> Type Methods from :: Symbol -> Rep Symbol x to :: Rep Symbol x -> Symbol
Generic SymbType Source #
Instance details Associated Types type Rep SymbType :: Type -> Type Methods from :: SymbType -> Rep SymbType x to :: Rep SymbType x -> SymbType
Generic PredType Source #
Instance details Associated Types type Rep PredType :: Type -> Type Methods from :: PredType -> Rep PredType x to :: Rep PredType x -> PredType
Generic OpType Source #
Instance details Associated Types type Rep OpType :: Type -> Type Methods from :: OpType -> Rep OpType x to :: Rep OpType x -> OpType
Generic RawSymbol Source #
Instance details Associated Types type Rep RawSymbol :: Type -> Type Methods from :: RawSymbol -> Rep RawSymbol x to :: Rep RawSymbol x -> RawSymbol
Generic SortGenerationFeatures Source #
Instance details Associated Types type Rep SortGenerationFeatures :: Type -> Type Methods from :: SortGenerationFeatures -> Rep SortGenerationFeatures x to :: Rep SortGenerationFeatures x -> SortGenerationFeatures
Generic SortGenTotality Source #
Instance details Associated Types type Rep SortGenTotality :: Type -> Type Methods from :: SortGenTotality -> Rep SortGenTotality x to :: Rep SortGenTotality x -> SortGenTotality
Generic SubsortingFeatures Source #
Instance details Associated Types type Rep SubsortingFeatures :: Type -> Type Methods from :: SubsortingFeatures -> Rep SubsortingFeatures x to :: Rep SubsortingFeatures x -> SubsortingFeatures
Generic CASL_Formulas Source #
Instance details Associated Types type Rep CASL_Formulas :: Type -> Type Methods from :: CASL_Formulas -> Rep CASL_Formulas x to :: Rep CASL_Formulas x -> CASL_Formulas
FromJSON SYMB_OR_MAP Source #
Instance details Methods parseJSON :: Value -> Parser SYMB_OR_MAP parseJSONList :: Value -> Parser [SYMB_OR_MAP]
FromJSON TYPE Source #
Instance details Methods parseJSON :: Value -> Parser TYPE parseJSONList :: Value -> Parser [TYPE]
FromJSON SYMB Source #
Instance details Methods parseJSON :: Value -> Parser SYMB parseJSONList :: Value -> Parser [SYMB]
FromJSON SYMB_KIND Source #
Instance details Methods parseJSON :: Value -> Parser SYMB_KIND parseJSONList :: Value -> Parser [SYMB_KIND]
FromJSON SYMB_MAP_ITEMS Source #
Instance details Methods parseJSON :: Value -> Parser SYMB_MAP_ITEMS parseJSONList :: Value -> Parser [SYMB_MAP_ITEMS]
FromJSON SYMB_ITEMS Source #
Instance details Methods parseJSON :: Value -> Parser SYMB_ITEMS parseJSONList :: Value -> Parser [SYMB_ITEMS]
FromJSON OP_SYMB Source #
Instance details Methods parseJSON :: Value -> Parser OP_SYMB parseJSONList :: Value -> Parser [OP_SYMB]
FromJSON PRED_SYMB Source #
Instance details Methods parseJSON :: Value -> Parser PRED_SYMB parseJSONList :: Value -> Parser [PRED_SYMB]
FromJSON QUANTIFIER Source #
Instance details Methods parseJSON :: Value -> Parser QUANTIFIER parseJSONList :: Value -> Parser [QUANTIFIER]
FromJSON Constraint Source #
Instance details Methods parseJSON :: Value -> Parser Constraint parseJSONList :: Value -> Parser [Constraint]
FromJSON Equality Source #
Instance details Methods parseJSON :: Value -> Parser Equality parseJSONList :: Value -> Parser [Equality]
FromJSON Relation Source #
Instance details Methods parseJSON :: Value -> Parser Relation parseJSONList :: Value -> Parser [Relation]
FromJSON Junctor Source #
Instance details Methods parseJSON :: Value -> Parser Junctor parseJSONList :: Value -> Parser [Junctor]
FromJSON VAR_DECL Source #
Instance details Methods parseJSON :: Value -> Parser VAR_DECL parseJSONList :: Value -> Parser [VAR_DECL]
FromJSON COMPONENTS Source #
Instance details Methods parseJSON :: Value -> Parser COMPONENTS parseJSONList :: Value -> Parser [COMPONENTS]
FromJSON ALTERNATIVE Source #
Instance details Methods parseJSON :: Value -> Parser ALTERNATIVE parseJSONList :: Value -> Parser [ALTERNATIVE]
FromJSON DATATYPE_DECL Source #
Instance details Methods parseJSON :: Value -> Parser DATATYPE_DECL parseJSONList :: Value -> Parser [DATATYPE_DECL]
FromJSON PRED_HEAD Source #
Instance details Methods parseJSON :: Value -> Parser PRED_HEAD parseJSONList :: Value -> Parser [PRED_HEAD]
FromJSON PRED_TYPE Source #
Instance details Methods parseJSON :: Value -> Parser PRED_TYPE parseJSONList :: Value -> Parser [PRED_TYPE]
FromJSON OP_HEAD Source #
Instance details Methods parseJSON :: Value -> Parser OP_HEAD parseJSONList :: Value -> Parser [OP_HEAD]
FromJSON OP_TYPE Source #
Instance details Methods parseJSON :: Value -> Parser OP_TYPE parseJSONList :: Value -> Parser [OP_TYPE]
FromJSON OpKind Source #
Instance details Methods parseJSON :: Value -> Parser OpKind parseJSONList :: Value -> Parser [OpKind]
FromJSON SortsKind Source #
Instance details Methods parseJSON :: Value -> Parser SortsKind parseJSONList :: Value -> Parser [SortsKind]
FromJSON Symbol Source #
Instance details Methods parseJSON :: Value -> Parser Symbol parseJSONList :: Value -> Parser [Symbol]
FromJSON SymbType Source #
Instance details Methods parseJSON :: Value -> Parser SymbType parseJSONList :: Value -> Parser [SymbType]
FromJSON PredType Source #
Instance details Methods parseJSON :: Value -> Parser PredType parseJSONList :: Value -> Parser [PredType]
FromJSON OpType Source #
Instance details Methods parseJSON :: Value -> Parser OpType parseJSONList :: Value -> Parser [OpType]
FromJSON RawSymbol Source #
Instance details Methods parseJSON :: Value -> Parser RawSymbol parseJSONList :: Value -> Parser [RawSymbol]
FromJSON SortGenerationFeatures Source #
Instance details Methods parseJSON :: Value -> Parser SortGenerationFeatures parseJSONList :: Value -> Parser [SortGenerationFeatures]
FromJSON SortGenTotality Source #
Instance details Methods parseJSON :: Value -> Parser SortGenTotality parseJSONList :: Value -> Parser [SortGenTotality]
FromJSON SubsortingFeatures Source #
Instance details Methods parseJSON :: Value -> Parser SubsortingFeatures parseJSONList :: Value -> Parser [SubsortingFeatures]
FromJSON CASL_Formulas Source #
Instance details Methods parseJSON :: Value -> Parser CASL_Formulas parseJSONList :: Value -> Parser [CASL_Formulas]
ToJSON SYMB_OR_MAP Source #
Instance details Methods toJSON :: SYMB_OR_MAP -> Value toEncoding :: SYMB_OR_MAP -> Encoding toJSONList :: [SYMB_OR_MAP] -> Value toEncodingList :: [SYMB_OR_MAP] -> Encoding
ToJSON TYPE Source #
Instance details Methods toJSON :: TYPE -> Value toEncoding :: TYPE -> Encoding toJSONList :: [TYPE] -> Value toEncodingList :: [TYPE] -> Encoding
ToJSON SYMB Source #
Instance details Methods toJSON :: SYMB -> Value toEncoding :: SYMB -> Encoding toJSONList :: [SYMB] -> Value toEncodingList :: [SYMB] -> Encoding
ToJSON SYMB_KIND Source #
Instance details Methods toJSON :: SYMB_KIND -> Value toEncoding :: SYMB_KIND -> Encoding toJSONList :: [SYMB_KIND] -> Value toEncodingList :: [SYMB_KIND] -> Encoding
ToJSON SYMB_MAP_ITEMS Source #
Instance details Methods toJSON :: SYMB_MAP_ITEMS -> Value toEncoding :: SYMB_MAP_ITEMS -> Encoding toJSONList :: [SYMB_MAP_ITEMS] -> Value toEncodingList :: [SYMB_MAP_ITEMS] -> Encoding
ToJSON SYMB_ITEMS Source #
Instance details Methods toJSON :: SYMB_ITEMS -> Value toEncoding :: SYMB_ITEMS -> Encoding toJSONList :: [SYMB_ITEMS] -> Value toEncodingList :: [SYMB_ITEMS] -> Encoding
ToJSON OP_SYMB Source #
Instance details Methods toJSON :: OP_SYMB -> Value toEncoding :: OP_SYMB -> Encoding toJSONList :: [OP_SYMB] -> Value toEncodingList :: [OP_SYMB] -> Encoding
ToJSON PRED_SYMB Source #
Instance details Methods toJSON :: PRED_SYMB -> Value toEncoding :: PRED_SYMB -> Encoding toJSONList :: [PRED_SYMB] -> Value toEncodingList :: [PRED_SYMB] -> Encoding
ToJSON QUANTIFIER Source #
Instance details Methods toJSON :: QUANTIFIER -> Value toEncoding :: QUANTIFIER -> Encoding toJSONList :: [QUANTIFIER] -> Value toEncodingList :: [QUANTIFIER] -> Encoding
ToJSON Constraint Source #
Instance details Methods toJSON :: Constraint -> Value toEncoding :: Constraint -> Encoding toJSONList :: [Constraint] -> Value toEncodingList :: [Constraint] -> Encoding
ToJSON Equality Source #
Instance details Methods toJSON :: Equality -> Value toEncoding :: Equality -> Encoding toJSONList :: [Equality] -> Value toEncodingList :: [Equality] -> Encoding
ToJSON Relation Source #
Instance details Methods toJSON :: Relation -> Value toEncoding :: Relation -> Encoding toJSONList :: [Relation] -> Value toEncodingList :: [Relation] -> Encoding
ToJSON Junctor Source #
Instance details Methods toJSON :: Junctor -> Value toEncoding :: Junctor -> Encoding toJSONList :: [Junctor] -> Value toEncodingList :: [Junctor] -> Encoding
ToJSON VAR_DECL Source #
Instance details Methods toJSON :: VAR_DECL -> Value toEncoding :: VAR_DECL -> Encoding toJSONList :: [VAR_DECL] -> Value toEncodingList :: [VAR_DECL] -> Encoding
ToJSON COMPONENTS Source #
Instance details Methods toJSON :: COMPONENTS -> Value toEncoding :: COMPONENTS -> Encoding toJSONList :: [COMPONENTS] -> Value toEncodingList :: [COMPONENTS] -> Encoding
ToJSON ALTERNATIVE Source #
Instance details Methods toJSON :: ALTERNATIVE -> Value toEncoding :: ALTERNATIVE -> Encoding toJSONList :: [ALTERNATIVE] -> Value toEncodingList :: [ALTERNATIVE] -> Encoding
ToJSON DATATYPE_DECL Source #
Instance details Methods toJSON :: DATATYPE_DECL -> Value toEncoding :: DATATYPE_DECL -> Encoding toJSONList :: [DATATYPE_DECL] -> Value toEncodingList :: [DATATYPE_DECL] -> Encoding
ToJSON PRED_HEAD Source #
Instance details Methods toJSON :: PRED_HEAD -> Value toEncoding :: PRED_HEAD -> Encoding toJSONList :: [PRED_HEAD] -> Value toEncodingList :: [PRED_HEAD] -> Encoding
ToJSON PRED_TYPE Source #
Instance details Methods toJSON :: PRED_TYPE -> Value toEncoding :: PRED_TYPE -> Encoding toJSONList :: [PRED_TYPE] -> Value toEncodingList :: [PRED_TYPE] -> Encoding
ToJSON OP_HEAD Source #
Instance details Methods toJSON :: OP_HEAD -> Value toEncoding :: OP_HEAD -> Encoding toJSONList :: [OP_HEAD] -> Value toEncodingList :: [OP_HEAD] -> Encoding
ToJSON OP_TYPE Source #
Instance details Methods toJSON :: OP_TYPE -> Value toEncoding :: OP_TYPE -> Encoding toJSONList :: [OP_TYPE] -> Value toEncodingList :: [OP_TYPE] -> Encoding
ToJSON OpKind Source #
Instance details Methods toJSON :: OpKind -> Value toEncoding :: OpKind -> Encoding toJSONList :: [OpKind] -> Value toEncodingList :: [OpKind] -> Encoding
ToJSON SortsKind Source #
Instance details Methods toJSON :: SortsKind -> Value toEncoding :: SortsKind -> Encoding toJSONList :: [SortsKind] -> Value toEncodingList :: [SortsKind] -> Encoding
ToJSON Symbol Source #
Instance details Methods toJSON :: Symbol -> Value toEncoding :: Symbol -> Encoding toJSONList :: [Symbol] -> Value toEncodingList :: [Symbol] -> Encoding
ToJSON SymbType Source #
Instance details Methods toJSON :: SymbType -> Value toEncoding :: SymbType -> Encoding toJSONList :: [SymbType] -> Value toEncodingList :: [SymbType] -> Encoding
ToJSON PredType Source #
Instance details Methods toJSON :: PredType -> Value toEncoding :: PredType -> Encoding toJSONList :: [PredType] -> Value toEncodingList :: [PredType] -> Encoding
ToJSON OpType Source #
Instance details Methods toJSON :: OpType -> Value toEncoding :: OpType -> Encoding toJSONList :: [OpType] -> Value toEncodingList :: [OpType] -> Encoding
ToJSON RawSymbol Source #
Instance details Methods toJSON :: RawSymbol -> Value toEncoding :: RawSymbol -> Encoding toJSONList :: [RawSymbol] -> Value toEncodingList :: [RawSymbol] -> Encoding
ToJSON SortGenerationFeatures Source #
Instance details Methods toJSON :: SortGenerationFeatures -> Value toEncoding :: SortGenerationFeatures -> Encoding toJSONList :: [SortGenerationFeatures] -> Value toEncodingList :: [SortGenerationFeatures] -> Encoding
ToJSON SortGenTotality Source #
Instance details Methods toJSON :: SortGenTotality -> Value toEncoding :: SortGenTotality -> Encoding toJSONList :: [SortGenTotality] -> Value toEncodingList :: [SortGenTotality] -> Encoding
ToJSON SubsortingFeatures Source #
Instance details Methods toJSON :: SubsortingFeatures -> Value toEncoding :: SubsortingFeatures -> Encoding toJSONList :: [SubsortingFeatures] -> Value toEncodingList :: [SubsortingFeatures] -> Encoding
ToJSON CASL_Formulas Source #
Instance details Methods toJSON :: CASL_Formulas -> Value toEncoding :: CASL_Formulas -> Encoding toJSONList :: [CASL_Formulas] -> Value toEncodingList :: [CASL_Formulas] -> Encoding
ShATermConvertible SYMB_OR_MAP Source #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details Methods toShATermAux :: ATermTable -> SortGenerationFeatures -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SortGenerationFeatures] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SortGenerationFeatures) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SortGenerationFeatures])
ShATermConvertible SortGenTotality Source #
Instance details Methods toShATermAux :: ATermTable -> SortGenTotality -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SortGenTotality] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SortGenTotality) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SortGenTotality])
ShATermConvertible SubsortingFeatures Source #
Instance details 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 #
Instance details 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])
Generic (TERM f) Source #
Instance details Associated Types type Rep (TERM f) :: Type -> Type Methods from :: TERM f -> Rep (TERM f) x to :: Rep (TERM f) x -> TERM f
Generic (FORMULA f) Source #
Instance details Associated Types type Rep (FORMULA f) :: Type -> Type Methods from :: FORMULA f -> Rep (FORMULA f) x to :: Rep (FORMULA f) x -> FORMULA f
Generic (PRED_ITEM f) Source #
Instance details Associated Types type Rep (PRED_ITEM f) :: Type -> Type Methods from :: PRED_ITEM f -> Rep (PRED_ITEM f) x to :: Rep (PRED_ITEM f) x -> PRED_ITEM f
Generic (OP_ATTR f) Source #
Instance details Associated Types type Rep (OP_ATTR f) :: Type -> Type Methods from :: OP_ATTR f -> Rep (OP_ATTR f) x to :: Rep (OP_ATTR f) x -> OP_ATTR f
Generic (OP_ITEM f) Source #
Instance details Associated Types type Rep (OP_ITEM f) :: Type -> Type Methods from :: OP_ITEM f -> Rep (OP_ITEM f) x to :: Rep (OP_ITEM f) x -> OP_ITEM f
Generic (SORT_ITEM f) Source #
Instance details Associated Types type Rep (SORT_ITEM f) :: Type -> Type Methods from :: SORT_ITEM f -> Rep (SORT_ITEM f) x to :: Rep (SORT_ITEM f) x -> SORT_ITEM f
Generic (DefMorExt e) Source #
Instance details Associated Types type Rep (DefMorExt e) :: Type -> Type Methods from :: DefMorExt e -> Rep (DefMorExt e) x to :: Rep (DefMorExt e) x -> DefMorExt e
Generic (CASL_SL a) Source #
Instance details Associated Types type Rep (CASL_SL a) :: Type -> Type Methods from :: CASL_SL a -> Rep (CASL_SL a) x to :: Rep (CASL_SL a) x -> CASL_SL a
FromJSON f => FromJSON (TERM f) Source #
Instance details Methods parseJSON :: Value -> Parser (TERM f) parseJSONList :: Value -> Parser [TERM f]
FromJSON f => FromJSON (FORMULA f) Source #
Instance details Methods parseJSON :: Value -> Parser (FORMULA f) parseJSONList :: Value -> Parser [FORMULA f]
FromJSON f => FromJSON (PRED_ITEM f) Source #
Instance details Methods parseJSON :: Value -> Parser (PRED_ITEM f) parseJSONList :: Value -> Parser [PRED_ITEM f]
FromJSON f => FromJSON (OP_ATTR f) Source #
Instance details Methods parseJSON :: Value -> Parser (OP_ATTR f) parseJSONList :: Value -> Parser [OP_ATTR f]
FromJSON f => FromJSON (OP_ITEM f) Source #
Instance details Methods parseJSON :: Value -> Parser (OP_ITEM f) parseJSONList :: Value -> Parser [OP_ITEM f]
FromJSON f => FromJSON (SORT_ITEM f) Source #
Instance details Methods parseJSON :: Value -> Parser (SORT_ITEM f) parseJSONList :: Value -> Parser [SORT_ITEM f]
FromJSON e => FromJSON (DefMorExt e) Source #
Instance details Methods parseJSON :: Value -> Parser (DefMorExt e) parseJSONList :: Value -> Parser [DefMorExt e]
FromJSON a => FromJSON (CASL_SL a) Source #
Instance details Methods parseJSON :: Value -> Parser (CASL_SL a) parseJSONList :: Value -> Parser [CASL_SL a]
ToJSON f => ToJSON (TERM f) Source #
Instance details Methods toJSON :: TERM f -> Value toEncoding :: TERM f -> Encoding toJSONList :: [TERM f] -> Value toEncodingList :: [TERM f] -> Encoding
ToJSON f => ToJSON (FORMULA f) Source #
Instance details Methods toJSON :: FORMULA f -> Value toEncoding :: FORMULA f -> Encoding toJSONList :: [FORMULA f] -> Value toEncodingList :: [FORMULA f] -> Encoding
ToJSON f => ToJSON (PRED_ITEM f) Source #
Instance details Methods toJSON :: PRED_ITEM f -> Value toEncoding :: PRED_ITEM f -> Encoding toJSONList :: [PRED_ITEM f] -> Value toEncodingList :: [PRED_ITEM f] -> Encoding
ToJSON f => ToJSON (OP_ATTR f) Source #
Instance details Methods toJSON :: OP_ATTR f -> Value toEncoding :: OP_ATTR f -> Encoding toJSONList :: [OP_ATTR f] -> Value toEncodingList :: [OP_ATTR f] -> Encoding
ToJSON f => ToJSON (OP_ITEM f) Source #
Instance details Methods toJSON :: OP_ITEM f -> Value toEncoding :: OP_ITEM f -> Encoding toJSONList :: [OP_ITEM f] -> Value toEncodingList :: [OP_ITEM f] -> Encoding
ToJSON f => ToJSON (SORT_ITEM f) Source #
Instance details Methods toJSON :: SORT_ITEM f -> Value toEncoding :: SORT_ITEM f -> Encoding toJSONList :: [SORT_ITEM f] -> Value toEncodingList :: [SORT_ITEM f] -> Encoding
ToJSON e => ToJSON (DefMorExt e) Source #
Instance details Methods toJSON :: DefMorExt e -> Value toEncoding :: DefMorExt e -> Encoding toJSONList :: [DefMorExt e] -> Value toEncodingList :: [DefMorExt e] -> Encoding
ToJSON a => ToJSON (CASL_SL a) Source #
Instance details Methods toJSON :: CASL_SL a -> Value toEncoding :: CASL_SL a -> Encoding toJSONList :: [CASL_SL a] -> Value toEncodingList :: [CASL_SL a] -> Encoding
ShATermConvertible f => ShATermConvertible (TERM f) Source #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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])
Generic (SIG_ITEMS s f) Source #
Instance details Associated Types type Rep (SIG_ITEMS s f) :: Type -> Type Methods from :: SIG_ITEMS s f -> Rep (SIG_ITEMS s f) x to :: Rep (SIG_ITEMS s f) x -> SIG_ITEMS s f
Generic (Sign f e) Source #
Instance details Associated Types type Rep (Sign f e) :: Type -> Type Methods from :: Sign f e -> Rep (Sign f e) x to :: Rep (Sign f e) x -> Sign f e
(FromJSON s, FromJSON f) => FromJSON (SIG_ITEMS s f) Source #
Instance details Methods parseJSON :: Value -> Parser (SIG_ITEMS s f) parseJSONList :: Value -> Parser [SIG_ITEMS s f]
(FromJSON f, FromJSON e) => FromJSON (Sign f e) Source #
Instance details Methods parseJSON :: Value -> Parser (Sign f e) parseJSONList :: Value -> Parser [Sign f e]
(ToJSON s, ToJSON f) => ToJSON (SIG_ITEMS s f) Source #
Instance details Methods toJSON :: SIG_ITEMS s f -> Value toEncoding :: SIG_ITEMS s f -> Encoding toJSONList :: [SIG_ITEMS s f] -> Value toEncodingList :: [SIG_ITEMS s f] -> Encoding
(ToJSON f, ToJSON e) => ToJSON (Sign f e) Source #
Instance details Methods toJSON :: Sign f e -> Value toEncoding :: Sign f e -> Encoding toJSONList :: [Sign f e] -> Value toEncodingList :: [Sign f e] -> Encoding
(ShATermConvertible s, ShATermConvertible f) => ShATermConvertible (SIG_ITEMS s f) Source #
Instance details 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 #
Instance details 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])
Generic (BASIC_ITEMS b s f) Source #
Instance details Associated Types type Rep (BASIC_ITEMS b s f) :: Type -> Type Methods from :: BASIC_ITEMS b s f -> Rep (BASIC_ITEMS b s f) x to :: Rep (BASIC_ITEMS b s f) x -> BASIC_ITEMS b s f
Generic (BASIC_SPEC b s f) Source #
Instance details Associated Types type Rep (BASIC_SPEC b s f) :: Type -> Type Methods from :: BASIC_SPEC b s f -> Rep (BASIC_SPEC b s f) x to :: Rep (BASIC_SPEC b s f) x -> BASIC_SPEC b s f
Generic (Morphism f e m) Source #
Instance details Associated Types type Rep (Morphism f e m) :: Type -> Type Methods from :: Morphism f e m -> Rep (Morphism f e m) x to :: Rep (Morphism f e m) x -> Morphism f e m
(FromJSON b, FromJSON s, FromJSON f) => FromJSON (BASIC_ITEMS b s f) Source #
Instance details Methods parseJSON :: Value -> Parser (BASIC_ITEMS b s f) parseJSONList :: Value -> Parser [BASIC_ITEMS b s f]
(FromJSON b, FromJSON s, FromJSON f) => FromJSON (BASIC_SPEC b s f) Source #
Instance details Methods parseJSON :: Value -> Parser (BASIC_SPEC b s f) parseJSONList :: Value -> Parser [BASIC_SPEC b s f]
(FromJSON f, FromJSON e, FromJSON m) => FromJSON (Morphism f e m) Source #
Instance details Methods parseJSON :: Value -> Parser (Morphism f e m) parseJSONList :: Value -> Parser [Morphism f e m]
(ToJSON b, ToJSON s, ToJSON f) => ToJSON (BASIC_ITEMS b s f) Source #
Instance details Methods toJSON :: BASIC_ITEMS b s f -> Value toEncoding :: BASIC_ITEMS b s f -> Encoding toJSONList :: [BASIC_ITEMS b s f] -> Value toEncodingList :: [BASIC_ITEMS b s f] -> Encoding
(ToJSON b, ToJSON s, ToJSON f) => ToJSON (BASIC_SPEC b s f) Source #
Instance details Methods toJSON :: BASIC_SPEC b s f -> Value toEncoding :: BASIC_SPEC b s f -> Encoding toJSONList :: [BASIC_SPEC b s f] -> Value toEncodingList :: [BASIC_SPEC b s f] -> Encoding
(ToJSON f, ToJSON e, ToJSON m) => ToJSON (Morphism f e m) Source #
Instance details Methods toJSON :: Morphism f e m -> Value toEncoding :: Morphism f e m -> Encoding toJSONList :: [Morphism f e m] -> Value toEncodingList :: [Morphism f e m] -> Encoding
(ShATermConvertible b, ShATermConvertible s, ShATermConvertible f) => ShATermConvertible (BASIC_ITEMS b s f) Source #
Instance details 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 #
Instance details 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 #
Instance details 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])