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

Description

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

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

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

Generic SubsortingFeatures Source # 
Instance details

Associated Types

type Rep SubsortingFeatures :: Type -> Type

Generic CASL_Formulas Source # 
Instance details

Associated Types

type Rep CASL_Formulas :: Type -> Type

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

ToJSON SubsortingFeatures Source # 
Instance details

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