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

HasCASL.ATC_HasCASL

Description

Orphan instances

Generic PrecMap Source # 
Instance details

Associated Types

type Rep PrecMap :: Type -> Type

Methods

from :: PrecMap -> Rep PrecMap x

to :: Rep PrecMap x -> PrecMap

Generic SymbOrMap Source # 
Instance details

Associated Types

type Rep SymbOrMap :: Type -> Type

Methods

from :: SymbOrMap -> Rep SymbOrMap x

to :: Rep SymbOrMap x -> SymbOrMap

Generic SymbType Source # 
Instance details

Associated Types

type Rep SymbType :: Type -> Type

Methods

from :: SymbType -> Rep SymbType x

to :: Rep SymbType x -> SymbType

Generic Symb Source # 
Instance details

Associated Types

type Rep Symb :: Type -> Type

Methods

from :: Symb -> Rep Symb x

to :: Rep Symb x -> Symb

Generic SymbKind Source # 
Instance details

Associated Types

type Rep SymbKind :: Type -> Type

Methods

from :: SymbKind -> Rep SymbKind x

to :: Rep SymbKind x -> SymbKind

Generic SymbMapItems Source # 
Instance details

Associated Types

type Rep SymbMapItems :: Type -> Type

Generic SymbItems Source # 
Instance details

Associated Types

type Rep SymbItems :: Type -> Type

Methods

from :: SymbItems -> Rep SymbItems x

to :: Rep SymbItems x -> SymbItems

Generic GenVarDecl Source # 
Instance details

Associated Types

type Rep GenVarDecl :: Type -> Type

Methods

from :: GenVarDecl -> Rep GenVarDecl x

to :: Rep GenVarDecl x -> GenVarDecl

Generic TypeArg Source # 
Instance details

Associated Types

type Rep TypeArg :: Type -> Type

Methods

from :: TypeArg -> Rep TypeArg x

to :: Rep TypeArg x -> TypeArg

Generic VarKind Source # 
Instance details

Associated Types

type Rep VarKind :: Type -> Type

Methods

from :: VarKind -> Rep VarKind x

to :: Rep VarKind x -> VarKind

Generic VarDecl Source # 
Instance details

Associated Types

type Rep VarDecl :: Type -> Type

Methods

from :: VarDecl -> Rep VarDecl x

to :: Rep VarDecl x -> VarDecl

Generic SeparatorKind Source # 
Instance details

Associated Types

type Rep SeparatorKind :: Type -> Type

Generic PolyId Source # 
Instance details

Associated Types

type Rep PolyId :: Type -> Type

Methods

from :: PolyId -> Rep PolyId x

to :: Rep PolyId x -> PolyId

Generic ProgEq Source # 
Instance details

Associated Types

type Rep ProgEq :: Type -> Type

Methods

from :: ProgEq -> Rep ProgEq x

to :: Rep ProgEq x -> ProgEq

Generic Term Source # 
Instance details

Associated Types

type Rep Term :: Type -> Type

Methods

from :: Term -> Rep Term x

to :: Rep Term x -> Term

Generic InstKind Source # 
Instance details

Associated Types

type Rep InstKind :: Type -> Type

Methods

from :: InstKind -> Rep InstKind x

to :: Rep InstKind x -> InstKind

Generic BracketKind Source # 
Instance details

Associated Types

type Rep BracketKind :: Type -> Type

Methods

from :: BracketKind -> Rep BracketKind x

to :: Rep BracketKind x -> BracketKind

Generic LetBrand Source # 
Instance details

Associated Types

type Rep LetBrand :: Type -> Type

Methods

from :: LetBrand -> Rep LetBrand x

to :: Rep LetBrand x -> LetBrand

Generic TypeQual Source # 
Instance details

Associated Types

type Rep TypeQual :: Type -> Type

Methods

from :: TypeQual -> Rep TypeQual x

to :: Rep TypeQual x -> TypeQual

Generic Quantifier Source # 
Instance details

Associated Types

type Rep Quantifier :: Type -> Type

Methods

from :: Quantifier -> Rep Quantifier x

to :: Rep Quantifier x -> Quantifier

Generic Component Source # 
Instance details

Associated Types

type Rep Component :: Type -> Type

Methods

from :: Component -> Rep Component x

to :: Rep Component x -> Component

Generic Alternative Source # 
Instance details

Associated Types

type Rep Alternative :: Type -> Type

Methods

from :: Alternative -> Rep Alternative x

to :: Rep Alternative x -> Alternative

Generic DatatypeDecl Source # 
Instance details

Associated Types

type Rep DatatypeDecl :: Type -> Type

Generic OpAttr Source # 
Instance details

Associated Types

type Rep OpAttr :: Type -> Type

Methods

from :: OpAttr -> Rep OpAttr x

to :: Rep OpAttr x -> OpAttr

Generic BinOpAttr Source # 
Instance details

Associated Types

type Rep BinOpAttr :: Type -> Type

Methods

from :: BinOpAttr -> Rep BinOpAttr x

to :: Rep BinOpAttr x -> BinOpAttr

Generic OpItem Source # 
Instance details

Associated Types

type Rep OpItem :: Type -> Type

Methods

from :: OpItem -> Rep OpItem x

to :: Rep OpItem x -> OpItem

Generic Partiality Source # 
Instance details

Associated Types

type Rep Partiality :: Type -> Type

Methods

from :: Partiality -> Rep Partiality x

to :: Rep Partiality x -> Partiality

Generic TypeScheme Source # 
Instance details

Associated Types

type Rep TypeScheme :: Type -> Type

Methods

from :: TypeScheme -> Rep TypeScheme x

to :: Rep TypeScheme x -> TypeScheme

Generic Type Source # 
Instance details

Associated Types

type Rep Type :: Type -> Type

Methods

from :: Type -> Rep Type x

to :: Rep Type x -> Type

Generic TypePattern Source # 
Instance details

Associated Types

type Rep TypePattern :: Type -> Type

Methods

from :: TypePattern -> Rep TypePattern x

to :: Rep TypePattern x -> TypePattern

Generic Vars Source # 
Instance details

Associated Types

type Rep Vars :: Type -> Type

Methods

from :: Vars -> Rep Vars x

to :: Rep Vars x -> Vars

Generic TypeItem Source # 
Instance details

Associated Types

type Rep TypeItem :: Type -> Type

Methods

from :: TypeItem -> Rep TypeItem x

to :: Rep TypeItem x -> TypeItem

Generic Variance Source # 
Instance details

Associated Types

type Rep Variance :: Type -> Type

Methods

from :: Variance -> Rep Variance x

to :: Rep Variance x -> Variance

Generic ClassDecl Source # 
Instance details

Associated Types

type Rep ClassDecl :: Type -> Type

Methods

from :: ClassDecl -> Rep ClassDecl x

to :: Rep ClassDecl x -> ClassDecl

Generic ClassItem Source # 
Instance details

Associated Types

type Rep ClassItem :: Type -> Type

Methods

from :: ClassItem -> Rep ClassItem x

to :: Rep ClassItem x -> ClassItem

Generic Instance Source # 
Instance details

Associated Types

type Rep Instance :: Type -> Type

Methods

from :: Instance -> Rep Instance x

to :: Rep Instance x -> Instance

Generic OpBrand Source # 
Instance details

Associated Types

type Rep OpBrand :: Type -> Type

Methods

from :: OpBrand -> Rep OpBrand x

to :: Rep OpBrand x -> OpBrand

Generic SigItems Source # 
Instance details

Associated Types

type Rep SigItems :: Type -> Type

Methods

from :: SigItems -> Rep SigItems x

to :: Rep SigItems x -> SigItems

Generic BasicItem Source # 
Instance details

Associated Types

type Rep BasicItem :: Type -> Type

Methods

from :: BasicItem -> Rep BasicItem x

to :: Rep BasicItem x -> BasicItem

Generic BasicSpec Source # 
Instance details

Associated Types

type Rep BasicSpec :: Type -> Type

Methods

from :: BasicSpec -> Rep BasicSpec x

to :: Rep BasicSpec x -> BasicSpec

Generic RawSymbol Source # 
Instance details

Associated Types

type Rep RawSymbol :: Type -> Type

Methods

from :: RawSymbol -> Rep RawSymbol x

to :: Rep RawSymbol x -> RawSymbol

Generic Symbol Source # 
Instance details

Associated Types

type Rep Symbol :: Type -> Type

Methods

from :: Symbol -> Rep Symbol x

to :: Rep Symbol x -> Symbol

Generic SymbolType Source # 
Instance details

Associated Types

type Rep SymbolType :: Type -> Type

Methods

from :: SymbolType -> Rep SymbolType x

to :: Rep SymbolType x -> SymbolType

Generic Morphism Source # 
Instance details

Associated Types

type Rep Morphism :: Type -> Type

Methods

from :: Morphism -> Rep Morphism x

to :: Rep Morphism x -> Morphism

Generic Constrain Source # 
Instance details

Associated Types

type Rep Constrain :: Type -> Type

Methods

from :: Constrain -> Rep Constrain x

to :: Rep Constrain x -> Constrain

Generic Env Source # 
Instance details

Associated Types

type Rep Env :: Type -> Type

Methods

from :: Env -> Rep Env x

to :: Rep Env x -> Env

Generic OpInfo Source # 
Instance details

Associated Types

type Rep OpInfo :: Type -> Type

Methods

from :: OpInfo -> Rep OpInfo x

to :: Rep OpInfo x -> OpInfo

Generic OpDefn Source # 
Instance details

Associated Types

type Rep OpDefn :: Type -> Type

Methods

from :: OpDefn -> Rep OpDefn x

to :: Rep OpDefn x -> OpDefn

Generic ConstrInfo Source # 
Instance details

Associated Types

type Rep ConstrInfo :: Type -> Type

Methods

from :: ConstrInfo -> Rep ConstrInfo x

to :: Rep ConstrInfo x -> ConstrInfo

Generic VarDefn Source # 
Instance details

Associated Types

type Rep VarDefn :: Type -> Type

Methods

from :: VarDefn -> Rep VarDefn x

to :: Rep VarDefn x -> VarDefn

Generic TypeVarDefn Source # 
Instance details

Associated Types

type Rep TypeVarDefn :: Type -> Type

Methods

from :: TypeVarDefn -> Rep TypeVarDefn x

to :: Rep TypeVarDefn x -> TypeVarDefn

Generic Sentence Source # 
Instance details

Associated Types

type Rep Sentence :: Type -> Type

Methods

from :: Sentence -> Rep Sentence x

to :: Rep Sentence x -> Sentence

Generic TypeInfo Source # 
Instance details

Associated Types

type Rep TypeInfo :: Type -> Type

Methods

from :: TypeInfo -> Rep TypeInfo x

to :: Rep TypeInfo x -> TypeInfo

Generic TypeDefn Source # 
Instance details

Associated Types

type Rep TypeDefn :: Type -> Type

Methods

from :: TypeDefn -> Rep TypeDefn x

to :: Rep TypeDefn x -> TypeDefn

Generic DataEntry Source # 
Instance details

Associated Types

type Rep DataEntry :: Type -> Type

Methods

from :: DataEntry -> Rep DataEntry x

to :: Rep DataEntry x -> DataEntry

Generic Selector Source # 
Instance details

Associated Types

type Rep Selector :: Type -> Type

Methods

from :: Selector -> Rep Selector x

to :: Rep Selector x -> Selector

Generic AltDefn Source # 
Instance details

Associated Types

type Rep AltDefn :: Type -> Type

Methods

from :: AltDefn -> Rep AltDefn x

to :: Rep AltDefn x -> AltDefn

Generic GenKind Source # 
Instance details

Associated Types

type Rep GenKind :: Type -> Type

Methods

from :: GenKind -> Rep GenKind x

to :: Rep GenKind x -> GenKind

Generic ClassInfo Source # 
Instance details

Associated Types

type Rep ClassInfo :: Type -> Type

Methods

from :: ClassInfo -> Rep ClassInfo x

to :: Rep ClassInfo x -> ClassInfo

Generic Sublogic Source # 
Instance details

Associated Types

type Rep Sublogic :: Type -> Type

Methods

from :: Sublogic -> Rep Sublogic x

to :: Rep Sublogic x -> Sublogic

Generic Classes Source # 
Instance details

Associated Types

type Rep Classes :: Type -> Type

Methods

from :: Classes -> Rep Classes x

to :: Rep Classes x -> Classes

Generic Formulas Source # 
Instance details

Associated Types

type Rep Formulas :: Type -> Type

Methods

from :: Formulas -> Rep Formulas x

to :: Rep Formulas x -> Formulas

FromJSON PrecMap Source # 
Instance details

Methods

parseJSON :: Value -> Parser PrecMap

parseJSONList :: Value -> Parser [PrecMap]

FromJSON SymbOrMap Source # 
Instance details

Methods

parseJSON :: Value -> Parser SymbOrMap

parseJSONList :: Value -> Parser [SymbOrMap]

FromJSON SymbType Source # 
Instance details

Methods

parseJSON :: Value -> Parser SymbType

parseJSONList :: Value -> Parser [SymbType]

FromJSON Symb Source # 
Instance details

Methods

parseJSON :: Value -> Parser Symb

parseJSONList :: Value -> Parser [Symb]

FromJSON SymbKind Source # 
Instance details

Methods

parseJSON :: Value -> Parser SymbKind

parseJSONList :: Value -> Parser [SymbKind]

FromJSON SymbMapItems Source # 
Instance details

Methods

parseJSON :: Value -> Parser SymbMapItems

parseJSONList :: Value -> Parser [SymbMapItems]

FromJSON SymbItems Source # 
Instance details

Methods

parseJSON :: Value -> Parser SymbItems

parseJSONList :: Value -> Parser [SymbItems]

FromJSON GenVarDecl Source # 
Instance details

Methods

parseJSON :: Value -> Parser GenVarDecl

parseJSONList :: Value -> Parser [GenVarDecl]

FromJSON TypeArg Source # 
Instance details

Methods

parseJSON :: Value -> Parser TypeArg

parseJSONList :: Value -> Parser [TypeArg]

FromJSON VarKind Source # 
Instance details

Methods

parseJSON :: Value -> Parser VarKind

parseJSONList :: Value -> Parser [VarKind]

FromJSON VarDecl Source # 
Instance details

Methods

parseJSON :: Value -> Parser VarDecl

parseJSONList :: Value -> Parser [VarDecl]

FromJSON SeparatorKind Source # 
Instance details

Methods

parseJSON :: Value -> Parser SeparatorKind

parseJSONList :: Value -> Parser [SeparatorKind]

FromJSON PolyId Source # 
Instance details

Methods

parseJSON :: Value -> Parser PolyId

parseJSONList :: Value -> Parser [PolyId]

FromJSON ProgEq Source # 
Instance details

Methods

parseJSON :: Value -> Parser ProgEq

parseJSONList :: Value -> Parser [ProgEq]

FromJSON Term Source # 
Instance details

Methods

parseJSON :: Value -> Parser Term

parseJSONList :: Value -> Parser [Term]

FromJSON InstKind Source # 
Instance details

Methods

parseJSON :: Value -> Parser InstKind

parseJSONList :: Value -> Parser [InstKind]

FromJSON BracketKind Source # 
Instance details

Methods

parseJSON :: Value -> Parser BracketKind

parseJSONList :: Value -> Parser [BracketKind]

FromJSON LetBrand Source # 
Instance details

Methods

parseJSON :: Value -> Parser LetBrand

parseJSONList :: Value -> Parser [LetBrand]

FromJSON TypeQual Source # 
Instance details

Methods

parseJSON :: Value -> Parser TypeQual

parseJSONList :: Value -> Parser [TypeQual]

FromJSON Quantifier Source # 
Instance details

Methods

parseJSON :: Value -> Parser Quantifier

parseJSONList :: Value -> Parser [Quantifier]

FromJSON Component Source # 
Instance details

Methods

parseJSON :: Value -> Parser Component

parseJSONList :: Value -> Parser [Component]

FromJSON Alternative Source # 
Instance details

Methods

parseJSON :: Value -> Parser Alternative

parseJSONList :: Value -> Parser [Alternative]

FromJSON DatatypeDecl Source # 
Instance details

Methods

parseJSON :: Value -> Parser DatatypeDecl

parseJSONList :: Value -> Parser [DatatypeDecl]

FromJSON OpAttr Source # 
Instance details

Methods

parseJSON :: Value -> Parser OpAttr

parseJSONList :: Value -> Parser [OpAttr]

FromJSON BinOpAttr Source # 
Instance details

Methods

parseJSON :: Value -> Parser BinOpAttr

parseJSONList :: Value -> Parser [BinOpAttr]

FromJSON OpItem Source # 
Instance details

Methods

parseJSON :: Value -> Parser OpItem

parseJSONList :: Value -> Parser [OpItem]

FromJSON Partiality Source # 
Instance details

Methods

parseJSON :: Value -> Parser Partiality

parseJSONList :: Value -> Parser [Partiality]

FromJSON TypeScheme Source # 
Instance details

Methods

parseJSON :: Value -> Parser TypeScheme

parseJSONList :: Value -> Parser [TypeScheme]

FromJSON Type Source # 
Instance details

Methods

parseJSON :: Value -> Parser Type

parseJSONList :: Value -> Parser [Type]

FromJSON TypePattern Source # 
Instance details

Methods

parseJSON :: Value -> Parser TypePattern

parseJSONList :: Value -> Parser [TypePattern]

FromJSON Vars Source # 
Instance details

Methods

parseJSON :: Value -> Parser Vars

parseJSONList :: Value -> Parser [Vars]

FromJSON TypeItem Source # 
Instance details

Methods

parseJSON :: Value -> Parser TypeItem

parseJSONList :: Value -> Parser [TypeItem]

FromJSON Variance Source # 
Instance details

Methods

parseJSON :: Value -> Parser Variance

parseJSONList :: Value -> Parser [Variance]

FromJSON ClassDecl Source # 
Instance details

Methods

parseJSON :: Value -> Parser ClassDecl

parseJSONList :: Value -> Parser [ClassDecl]

FromJSON ClassItem Source # 
Instance details

Methods

parseJSON :: Value -> Parser ClassItem

parseJSONList :: Value -> Parser [ClassItem]

FromJSON Instance Source # 
Instance details

Methods

parseJSON :: Value -> Parser Instance

parseJSONList :: Value -> Parser [Instance]

FromJSON OpBrand Source # 
Instance details

Methods

parseJSON :: Value -> Parser OpBrand

parseJSONList :: Value -> Parser [OpBrand]

FromJSON SigItems Source # 
Instance details

Methods

parseJSON :: Value -> Parser SigItems

parseJSONList :: Value -> Parser [SigItems]

FromJSON BasicItem Source # 
Instance details

Methods

parseJSON :: Value -> Parser BasicItem

parseJSONList :: Value -> Parser [BasicItem]

FromJSON BasicSpec Source # 
Instance details

Methods

parseJSON :: Value -> Parser BasicSpec

parseJSONList :: Value -> Parser [BasicSpec]

FromJSON RawSymbol Source # 
Instance details

Methods

parseJSON :: Value -> Parser RawSymbol

parseJSONList :: Value -> Parser [RawSymbol]

FromJSON Symbol Source # 
Instance details

Methods

parseJSON :: Value -> Parser Symbol

parseJSONList :: Value -> Parser [Symbol]

FromJSON SymbolType Source # 
Instance details

Methods

parseJSON :: Value -> Parser SymbolType

parseJSONList :: Value -> Parser [SymbolType]

FromJSON Morphism Source # 
Instance details

Methods

parseJSON :: Value -> Parser Morphism

parseJSONList :: Value -> Parser [Morphism]

FromJSON Constrain Source # 
Instance details

Methods

parseJSON :: Value -> Parser Constrain

parseJSONList :: Value -> Parser [Constrain]

FromJSON Env Source # 
Instance details

Methods

parseJSON :: Value -> Parser Env

parseJSONList :: Value -> Parser [Env]

FromJSON OpInfo Source # 
Instance details

Methods

parseJSON :: Value -> Parser OpInfo

parseJSONList :: Value -> Parser [OpInfo]

FromJSON OpDefn Source # 
Instance details

Methods

parseJSON :: Value -> Parser OpDefn

parseJSONList :: Value -> Parser [OpDefn]

FromJSON ConstrInfo Source # 
Instance details

Methods

parseJSON :: Value -> Parser ConstrInfo

parseJSONList :: Value -> Parser [ConstrInfo]

FromJSON VarDefn Source # 
Instance details

Methods

parseJSON :: Value -> Parser VarDefn

parseJSONList :: Value -> Parser [VarDefn]

FromJSON TypeVarDefn Source # 
Instance details

Methods

parseJSON :: Value -> Parser TypeVarDefn

parseJSONList :: Value -> Parser [TypeVarDefn]

FromJSON Sentence Source # 
Instance details

Methods

parseJSON :: Value -> Parser Sentence

parseJSONList :: Value -> Parser [Sentence]

FromJSON TypeInfo Source # 
Instance details

Methods

parseJSON :: Value -> Parser TypeInfo

parseJSONList :: Value -> Parser [TypeInfo]

FromJSON TypeDefn Source # 
Instance details

Methods

parseJSON :: Value -> Parser TypeDefn

parseJSONList :: Value -> Parser [TypeDefn]

FromJSON DataEntry Source # 
Instance details

Methods

parseJSON :: Value -> Parser DataEntry

parseJSONList :: Value -> Parser [DataEntry]

FromJSON Selector Source # 
Instance details

Methods

parseJSON :: Value -> Parser Selector

parseJSONList :: Value -> Parser [Selector]

FromJSON AltDefn Source # 
Instance details

Methods

parseJSON :: Value -> Parser AltDefn

parseJSONList :: Value -> Parser [AltDefn]

FromJSON GenKind Source # 
Instance details

Methods

parseJSON :: Value -> Parser GenKind

parseJSONList :: Value -> Parser [GenKind]

FromJSON ClassInfo Source # 
Instance details

Methods

parseJSON :: Value -> Parser ClassInfo

parseJSONList :: Value -> Parser [ClassInfo]

FromJSON Sublogic Source # 
Instance details

Methods

parseJSON :: Value -> Parser Sublogic

parseJSONList :: Value -> Parser [Sublogic]

FromJSON Classes Source # 
Instance details

Methods

parseJSON :: Value -> Parser Classes

parseJSONList :: Value -> Parser [Classes]

FromJSON Formulas Source # 
Instance details

Methods

parseJSON :: Value -> Parser Formulas

parseJSONList :: Value -> Parser [Formulas]

ToJSON PrecMap Source # 
Instance details

Methods

toJSON :: PrecMap -> Value

toEncoding :: PrecMap -> Encoding

toJSONList :: [PrecMap] -> Value

toEncodingList :: [PrecMap] -> Encoding

ToJSON SymbOrMap Source # 
Instance details

Methods

toJSON :: SymbOrMap -> Value

toEncoding :: SymbOrMap -> Encoding

toJSONList :: [SymbOrMap] -> Value

toEncodingList :: [SymbOrMap] -> Encoding

ToJSON SymbType Source # 
Instance details

Methods

toJSON :: SymbType -> Value

toEncoding :: SymbType -> Encoding

toJSONList :: [SymbType] -> Value

toEncodingList :: [SymbType] -> Encoding

ToJSON Symb Source # 
Instance details

Methods

toJSON :: Symb -> Value

toEncoding :: Symb -> Encoding

toJSONList :: [Symb] -> Value

toEncodingList :: [Symb] -> Encoding

ToJSON SymbKind Source # 
Instance details

Methods

toJSON :: SymbKind -> Value

toEncoding :: SymbKind -> Encoding

toJSONList :: [SymbKind] -> Value

toEncodingList :: [SymbKind] -> Encoding

ToJSON SymbMapItems Source # 
Instance details

Methods

toJSON :: SymbMapItems -> Value

toEncoding :: SymbMapItems -> Encoding

toJSONList :: [SymbMapItems] -> Value

toEncodingList :: [SymbMapItems] -> Encoding

ToJSON SymbItems Source # 
Instance details

Methods

toJSON :: SymbItems -> Value

toEncoding :: SymbItems -> Encoding

toJSONList :: [SymbItems] -> Value

toEncodingList :: [SymbItems] -> Encoding

ToJSON GenVarDecl Source # 
Instance details

Methods

toJSON :: GenVarDecl -> Value

toEncoding :: GenVarDecl -> Encoding

toJSONList :: [GenVarDecl] -> Value

toEncodingList :: [GenVarDecl] -> Encoding

ToJSON TypeArg Source # 
Instance details

Methods

toJSON :: TypeArg -> Value

toEncoding :: TypeArg -> Encoding

toJSONList :: [TypeArg] -> Value

toEncodingList :: [TypeArg] -> Encoding

ToJSON VarKind Source # 
Instance details

Methods

toJSON :: VarKind -> Value

toEncoding :: VarKind -> Encoding

toJSONList :: [VarKind] -> Value

toEncodingList :: [VarKind] -> Encoding

ToJSON VarDecl Source # 
Instance details

Methods

toJSON :: VarDecl -> Value

toEncoding :: VarDecl -> Encoding

toJSONList :: [VarDecl] -> Value

toEncodingList :: [VarDecl] -> Encoding

ToJSON SeparatorKind Source # 
Instance details

Methods

toJSON :: SeparatorKind -> Value

toEncoding :: SeparatorKind -> Encoding

toJSONList :: [SeparatorKind] -> Value

toEncodingList :: [SeparatorKind] -> Encoding

ToJSON PolyId Source # 
Instance details

Methods

toJSON :: PolyId -> Value

toEncoding :: PolyId -> Encoding

toJSONList :: [PolyId] -> Value

toEncodingList :: [PolyId] -> Encoding

ToJSON ProgEq Source # 
Instance details

Methods

toJSON :: ProgEq -> Value

toEncoding :: ProgEq -> Encoding

toJSONList :: [ProgEq] -> Value

toEncodingList :: [ProgEq] -> Encoding

ToJSON Term Source # 
Instance details

Methods

toJSON :: Term -> Value

toEncoding :: Term -> Encoding

toJSONList :: [Term] -> Value

toEncodingList :: [Term] -> Encoding

ToJSON InstKind Source # 
Instance details

Methods

toJSON :: InstKind -> Value

toEncoding :: InstKind -> Encoding

toJSONList :: [InstKind] -> Value

toEncodingList :: [InstKind] -> Encoding

ToJSON BracketKind Source # 
Instance details

Methods

toJSON :: BracketKind -> Value

toEncoding :: BracketKind -> Encoding

toJSONList :: [BracketKind] -> Value

toEncodingList :: [BracketKind] -> Encoding

ToJSON LetBrand Source # 
Instance details

Methods

toJSON :: LetBrand -> Value

toEncoding :: LetBrand -> Encoding

toJSONList :: [LetBrand] -> Value

toEncodingList :: [LetBrand] -> Encoding

ToJSON TypeQual Source # 
Instance details

Methods

toJSON :: TypeQual -> Value

toEncoding :: TypeQual -> Encoding

toJSONList :: [TypeQual] -> Value

toEncodingList :: [TypeQual] -> Encoding

ToJSON Quantifier Source # 
Instance details

Methods

toJSON :: Quantifier -> Value

toEncoding :: Quantifier -> Encoding

toJSONList :: [Quantifier] -> Value

toEncodingList :: [Quantifier] -> Encoding

ToJSON Component Source # 
Instance details

Methods

toJSON :: Component -> Value

toEncoding :: Component -> Encoding

toJSONList :: [Component] -> Value

toEncodingList :: [Component] -> Encoding

ToJSON Alternative Source # 
Instance details

Methods

toJSON :: Alternative -> Value

toEncoding :: Alternative -> Encoding

toJSONList :: [Alternative] -> Value

toEncodingList :: [Alternative] -> Encoding

ToJSON DatatypeDecl Source # 
Instance details

Methods

toJSON :: DatatypeDecl -> Value

toEncoding :: DatatypeDecl -> Encoding

toJSONList :: [DatatypeDecl] -> Value

toEncodingList :: [DatatypeDecl] -> Encoding

ToJSON OpAttr Source # 
Instance details

Methods

toJSON :: OpAttr -> Value

toEncoding :: OpAttr -> Encoding

toJSONList :: [OpAttr] -> Value

toEncodingList :: [OpAttr] -> Encoding

ToJSON BinOpAttr Source # 
Instance details

Methods

toJSON :: BinOpAttr -> Value

toEncoding :: BinOpAttr -> Encoding

toJSONList :: [BinOpAttr] -> Value

toEncodingList :: [BinOpAttr] -> Encoding

ToJSON OpItem Source # 
Instance details

Methods

toJSON :: OpItem -> Value

toEncoding :: OpItem -> Encoding

toJSONList :: [OpItem] -> Value

toEncodingList :: [OpItem] -> Encoding

ToJSON Partiality Source # 
Instance details

Methods

toJSON :: Partiality -> Value

toEncoding :: Partiality -> Encoding

toJSONList :: [Partiality] -> Value

toEncodingList :: [Partiality] -> Encoding

ToJSON TypeScheme Source # 
Instance details

Methods

toJSON :: TypeScheme -> Value

toEncoding :: TypeScheme -> Encoding

toJSONList :: [TypeScheme] -> Value

toEncodingList :: [TypeScheme] -> Encoding

ToJSON Type Source # 
Instance details

Methods

toJSON :: Type -> Value

toEncoding :: Type -> Encoding

toJSONList :: [Type] -> Value

toEncodingList :: [Type] -> Encoding

ToJSON TypePattern Source # 
Instance details

Methods

toJSON :: TypePattern -> Value

toEncoding :: TypePattern -> Encoding

toJSONList :: [TypePattern] -> Value

toEncodingList :: [TypePattern] -> Encoding

ToJSON Vars Source # 
Instance details

Methods

toJSON :: Vars -> Value

toEncoding :: Vars -> Encoding

toJSONList :: [Vars] -> Value

toEncodingList :: [Vars] -> Encoding

ToJSON TypeItem Source # 
Instance details

Methods

toJSON :: TypeItem -> Value

toEncoding :: TypeItem -> Encoding

toJSONList :: [TypeItem] -> Value

toEncodingList :: [TypeItem] -> Encoding

ToJSON Variance Source # 
Instance details

Methods

toJSON :: Variance -> Value

toEncoding :: Variance -> Encoding

toJSONList :: [Variance] -> Value

toEncodingList :: [Variance] -> Encoding

ToJSON ClassDecl Source # 
Instance details

Methods

toJSON :: ClassDecl -> Value

toEncoding :: ClassDecl -> Encoding

toJSONList :: [ClassDecl] -> Value

toEncodingList :: [ClassDecl] -> Encoding

ToJSON ClassItem Source # 
Instance details

Methods

toJSON :: ClassItem -> Value

toEncoding :: ClassItem -> Encoding

toJSONList :: [ClassItem] -> Value

toEncodingList :: [ClassItem] -> Encoding

ToJSON Instance Source # 
Instance details

Methods

toJSON :: Instance -> Value

toEncoding :: Instance -> Encoding

toJSONList :: [Instance] -> Value

toEncodingList :: [Instance] -> Encoding

ToJSON OpBrand Source # 
Instance details

Methods

toJSON :: OpBrand -> Value

toEncoding :: OpBrand -> Encoding

toJSONList :: [OpBrand] -> Value

toEncodingList :: [OpBrand] -> Encoding

ToJSON SigItems Source # 
Instance details

Methods

toJSON :: SigItems -> Value

toEncoding :: SigItems -> Encoding

toJSONList :: [SigItems] -> Value

toEncodingList :: [SigItems] -> Encoding

ToJSON BasicItem Source # 
Instance details

Methods

toJSON :: BasicItem -> Value

toEncoding :: BasicItem -> Encoding

toJSONList :: [BasicItem] -> Value

toEncodingList :: [BasicItem] -> Encoding

ToJSON BasicSpec Source # 
Instance details

Methods

toJSON :: BasicSpec -> Value

toEncoding :: BasicSpec -> Encoding

toJSONList :: [BasicSpec] -> Value

toEncodingList :: [BasicSpec] -> Encoding

ToJSON RawSymbol Source # 
Instance details

Methods

toJSON :: RawSymbol -> Value

toEncoding :: RawSymbol -> Encoding

toJSONList :: [RawSymbol] -> Value

toEncodingList :: [RawSymbol] -> Encoding

ToJSON Symbol Source # 
Instance details

Methods

toJSON :: Symbol -> Value

toEncoding :: Symbol -> Encoding

toJSONList :: [Symbol] -> Value

toEncodingList :: [Symbol] -> Encoding

ToJSON SymbolType Source # 
Instance details

Methods

toJSON :: SymbolType -> Value

toEncoding :: SymbolType -> Encoding

toJSONList :: [SymbolType] -> Value

toEncodingList :: [SymbolType] -> Encoding

ToJSON Morphism Source # 
Instance details

Methods

toJSON :: Morphism -> Value

toEncoding :: Morphism -> Encoding

toJSONList :: [Morphism] -> Value

toEncodingList :: [Morphism] -> Encoding

ToJSON Constrain Source # 
Instance details

Methods

toJSON :: Constrain -> Value

toEncoding :: Constrain -> Encoding

toJSONList :: [Constrain] -> Value

toEncodingList :: [Constrain] -> Encoding

ToJSON Env Source # 
Instance details

Methods

toJSON :: Env -> Value

toEncoding :: Env -> Encoding

toJSONList :: [Env] -> Value

toEncodingList :: [Env] -> Encoding

ToJSON OpInfo Source # 
Instance details

Methods

toJSON :: OpInfo -> Value

toEncoding :: OpInfo -> Encoding

toJSONList :: [OpInfo] -> Value

toEncodingList :: [OpInfo] -> Encoding

ToJSON OpDefn Source # 
Instance details

Methods

toJSON :: OpDefn -> Value

toEncoding :: OpDefn -> Encoding

toJSONList :: [OpDefn] -> Value

toEncodingList :: [OpDefn] -> Encoding

ToJSON ConstrInfo Source # 
Instance details

Methods

toJSON :: ConstrInfo -> Value

toEncoding :: ConstrInfo -> Encoding

toJSONList :: [ConstrInfo] -> Value

toEncodingList :: [ConstrInfo] -> Encoding

ToJSON VarDefn Source # 
Instance details

Methods

toJSON :: VarDefn -> Value

toEncoding :: VarDefn -> Encoding

toJSONList :: [VarDefn] -> Value

toEncodingList :: [VarDefn] -> Encoding

ToJSON TypeVarDefn Source # 
Instance details

Methods

toJSON :: TypeVarDefn -> Value

toEncoding :: TypeVarDefn -> Encoding

toJSONList :: [TypeVarDefn] -> Value

toEncodingList :: [TypeVarDefn] -> Encoding

ToJSON Sentence Source # 
Instance details

Methods

toJSON :: Sentence -> Value

toEncoding :: Sentence -> Encoding

toJSONList :: [Sentence] -> Value

toEncodingList :: [Sentence] -> Encoding

ToJSON TypeInfo Source # 
Instance details

Methods

toJSON :: TypeInfo -> Value

toEncoding :: TypeInfo -> Encoding

toJSONList :: [TypeInfo] -> Value

toEncodingList :: [TypeInfo] -> Encoding

ToJSON TypeDefn Source # 
Instance details

Methods

toJSON :: TypeDefn -> Value

toEncoding :: TypeDefn -> Encoding

toJSONList :: [TypeDefn] -> Value

toEncodingList :: [TypeDefn] -> Encoding

ToJSON DataEntry Source # 
Instance details

Methods

toJSON :: DataEntry -> Value

toEncoding :: DataEntry -> Encoding

toJSONList :: [DataEntry] -> Value

toEncodingList :: [DataEntry] -> Encoding

ToJSON Selector Source # 
Instance details

Methods

toJSON :: Selector -> Value

toEncoding :: Selector -> Encoding

toJSONList :: [Selector] -> Value

toEncodingList :: [Selector] -> Encoding

ToJSON AltDefn Source # 
Instance details

Methods

toJSON :: AltDefn -> Value

toEncoding :: AltDefn -> Encoding

toJSONList :: [AltDefn] -> Value

toEncodingList :: [AltDefn] -> Encoding

ToJSON GenKind Source # 
Instance details

Methods

toJSON :: GenKind -> Value

toEncoding :: GenKind -> Encoding

toJSONList :: [GenKind] -> Value

toEncodingList :: [GenKind] -> Encoding

ToJSON ClassInfo Source # 
Instance details

Methods

toJSON :: ClassInfo -> Value

toEncoding :: ClassInfo -> Encoding

toJSONList :: [ClassInfo] -> Value

toEncodingList :: [ClassInfo] -> Encoding

ToJSON Sublogic Source # 
Instance details

Methods

toJSON :: Sublogic -> Value

toEncoding :: Sublogic -> Encoding

toJSONList :: [Sublogic] -> Value

toEncodingList :: [Sublogic] -> Encoding

ToJSON Classes Source # 
Instance details

Methods

toJSON :: Classes -> Value

toEncoding :: Classes -> Encoding

toJSONList :: [Classes] -> Value

toEncodingList :: [Classes] -> Encoding

ToJSON Formulas Source # 
Instance details

Methods

toJSON :: Formulas -> Value

toEncoding :: Formulas -> Encoding

toJSONList :: [Formulas] -> Value

toEncodingList :: [Formulas] -> Encoding

ShATermConvertible PrecMap Source # 
Instance details

Methods

toShATermAux :: ATermTable -> PrecMap -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [PrecMap] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, PrecMap)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [PrecMap])

ShATermConvertible SymbOrMap Source # 
Instance details

Methods

toShATermAux :: ATermTable -> SymbOrMap -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SymbOrMap] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SymbOrMap)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SymbOrMap])

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 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 SymbKind Source # 
Instance details

Methods

toShATermAux :: ATermTable -> SymbKind -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SymbKind] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SymbKind)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SymbKind])

ShATermConvertible SymbMapItems Source # 
Instance details

Methods

toShATermAux :: ATermTable -> SymbMapItems -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SymbMapItems] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SymbMapItems)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SymbMapItems])

ShATermConvertible SymbItems Source # 
Instance details

Methods

toShATermAux :: ATermTable -> SymbItems -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SymbItems] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SymbItems)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SymbItems])

ShATermConvertible GenVarDecl Source # 
Instance details

Methods

toShATermAux :: ATermTable -> GenVarDecl -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [GenVarDecl] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, GenVarDecl)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [GenVarDecl])

ShATermConvertible TypeArg Source # 
Instance details

Methods

toShATermAux :: ATermTable -> TypeArg -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [TypeArg] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, TypeArg)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [TypeArg])

ShATermConvertible VarKind Source # 
Instance details

Methods

toShATermAux :: ATermTable -> VarKind -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [VarKind] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, VarKind)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [VarKind])

ShATermConvertible VarDecl Source # 
Instance details

Methods

toShATermAux :: ATermTable -> VarDecl -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [VarDecl] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, VarDecl)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [VarDecl])

ShATermConvertible SeparatorKind Source # 
Instance details

Methods

toShATermAux :: ATermTable -> SeparatorKind -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SeparatorKind] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SeparatorKind)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SeparatorKind])

ShATermConvertible PolyId Source # 
Instance details

Methods

toShATermAux :: ATermTable -> PolyId -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [PolyId] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, PolyId)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [PolyId])

ShATermConvertible ProgEq Source # 
Instance details

Methods

toShATermAux :: ATermTable -> ProgEq -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [ProgEq] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, ProgEq)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [ProgEq])

ShATermConvertible Term Source # 
Instance details

Methods

toShATermAux :: ATermTable -> Term -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Term] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Term)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Term])

ShATermConvertible InstKind Source # 
Instance details

Methods

toShATermAux :: ATermTable -> InstKind -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [InstKind] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, InstKind)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [InstKind])

ShATermConvertible BracketKind Source # 
Instance details

Methods

toShATermAux :: ATermTable -> BracketKind -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [BracketKind] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, BracketKind)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [BracketKind])

ShATermConvertible LetBrand Source # 
Instance details

Methods

toShATermAux :: ATermTable -> LetBrand -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [LetBrand] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, LetBrand)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [LetBrand])

ShATermConvertible TypeQual Source # 
Instance details

Methods

toShATermAux :: ATermTable -> TypeQual -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [TypeQual] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, TypeQual)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [TypeQual])

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 Component Source # 
Instance details

Methods

toShATermAux :: ATermTable -> Component -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Component] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Component)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Component])

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 DatatypeDecl Source # 
Instance details

Methods

toShATermAux :: ATermTable -> DatatypeDecl -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [DatatypeDecl] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, DatatypeDecl)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [DatatypeDecl])

ShATermConvertible OpAttr Source # 
Instance details

Methods

toShATermAux :: ATermTable -> OpAttr -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [OpAttr] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, OpAttr)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [OpAttr])

ShATermConvertible BinOpAttr Source # 
Instance details

Methods

toShATermAux :: ATermTable -> BinOpAttr -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [BinOpAttr] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, BinOpAttr)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [BinOpAttr])

ShATermConvertible OpItem Source # 
Instance details

Methods

toShATermAux :: ATermTable -> OpItem -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [OpItem] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, OpItem)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [OpItem])

ShATermConvertible Partiality Source # 
Instance details

Methods

toShATermAux :: ATermTable -> Partiality -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Partiality] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Partiality)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Partiality])

ShATermConvertible TypeScheme Source # 
Instance details

Methods

toShATermAux :: ATermTable -> TypeScheme -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [TypeScheme] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, TypeScheme)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [TypeScheme])

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 TypePattern Source # 
Instance details

Methods

toShATermAux :: ATermTable -> TypePattern -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [TypePattern] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, TypePattern)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [TypePattern])

ShATermConvertible Vars Source # 
Instance details

Methods

toShATermAux :: ATermTable -> Vars -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Vars] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Vars)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Vars])

ShATermConvertible TypeItem Source # 
Instance details

Methods

toShATermAux :: ATermTable -> TypeItem -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [TypeItem] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, TypeItem)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [TypeItem])

ShATermConvertible Variance Source # 
Instance details

Methods

toShATermAux :: ATermTable -> Variance -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Variance] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Variance)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Variance])

ShATermConvertible ClassDecl Source # 
Instance details

Methods

toShATermAux :: ATermTable -> ClassDecl -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [ClassDecl] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, ClassDecl)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [ClassDecl])

ShATermConvertible ClassItem Source # 
Instance details

Methods

toShATermAux :: ATermTable -> ClassItem -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [ClassItem] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, ClassItem)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [ClassItem])

ShATermConvertible Instance Source # 
Instance details

Methods

toShATermAux :: ATermTable -> Instance -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Instance] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Instance)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Instance])

ShATermConvertible OpBrand Source # 
Instance details

Methods

toShATermAux :: ATermTable -> OpBrand -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [OpBrand] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, OpBrand)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [OpBrand])

ShATermConvertible SigItems Source # 
Instance details

Methods

toShATermAux :: ATermTable -> SigItems -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SigItems] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SigItems)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SigItems])

ShATermConvertible BasicItem Source # 
Instance details

Methods

toShATermAux :: ATermTable -> BasicItem -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [BasicItem] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, BasicItem)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [BasicItem])

ShATermConvertible BasicSpec Source # 
Instance details

Methods

toShATermAux :: ATermTable -> BasicSpec -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [BasicSpec] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, BasicSpec)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [BasicSpec])

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 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 SymbolType Source # 
Instance details

Methods

toShATermAux :: ATermTable -> SymbolType -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [SymbolType] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, SymbolType)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [SymbolType])

ShATermConvertible Morphism Source # 
Instance details

Methods

toShATermAux :: ATermTable -> Morphism -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Morphism] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Morphism)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Morphism])

ShATermConvertible Constrain Source # 
Instance details

Methods

toShATermAux :: ATermTable -> Constrain -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Constrain] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Constrain)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Constrain])

ShATermConvertible Env Source # 
Instance details

Methods

toShATermAux :: ATermTable -> Env -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Env] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Env)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Env])

ShATermConvertible OpInfo Source # 
Instance details

Methods

toShATermAux :: ATermTable -> OpInfo -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [OpInfo] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, OpInfo)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [OpInfo])

ShATermConvertible OpDefn Source # 
Instance details

Methods

toShATermAux :: ATermTable -> OpDefn -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [OpDefn] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, OpDefn)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [OpDefn])

ShATermConvertible ConstrInfo Source # 
Instance details

Methods

toShATermAux :: ATermTable -> ConstrInfo -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [ConstrInfo] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, ConstrInfo)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [ConstrInfo])

ShATermConvertible VarDefn Source # 
Instance details

Methods

toShATermAux :: ATermTable -> VarDefn -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [VarDefn] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, VarDefn)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [VarDefn])

ShATermConvertible TypeVarDefn Source # 
Instance details

Methods

toShATermAux :: ATermTable -> TypeVarDefn -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [TypeVarDefn] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, TypeVarDefn)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [TypeVarDefn])

ShATermConvertible Sentence Source # 
Instance details

Methods

toShATermAux :: ATermTable -> Sentence -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Sentence] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Sentence)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Sentence])

ShATermConvertible TypeInfo Source # 
Instance details

Methods

toShATermAux :: ATermTable -> TypeInfo -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [TypeInfo] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, TypeInfo)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [TypeInfo])

ShATermConvertible TypeDefn Source # 
Instance details

Methods

toShATermAux :: ATermTable -> TypeDefn -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [TypeDefn] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, TypeDefn)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [TypeDefn])

ShATermConvertible DataEntry Source # 
Instance details

Methods

toShATermAux :: ATermTable -> DataEntry -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [DataEntry] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, DataEntry)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [DataEntry])

ShATermConvertible Selector Source # 
Instance details

Methods

toShATermAux :: ATermTable -> Selector -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Selector] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Selector)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Selector])

ShATermConvertible AltDefn Source # 
Instance details

Methods

toShATermAux :: ATermTable -> AltDefn -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [AltDefn] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, AltDefn)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [AltDefn])

ShATermConvertible GenKind Source # 
Instance details

Methods

toShATermAux :: ATermTable -> GenKind -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [GenKind] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, GenKind)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [GenKind])

ShATermConvertible ClassInfo Source # 
Instance details

Methods

toShATermAux :: ATermTable -> ClassInfo -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [ClassInfo] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, ClassInfo)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [ClassInfo])

ShATermConvertible Sublogic Source # 
Instance details

Methods

toShATermAux :: ATermTable -> Sublogic -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Sublogic] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Sublogic)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Sublogic])

ShATermConvertible Classes Source # 
Instance details

Methods

toShATermAux :: ATermTable -> Classes -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Classes] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Classes)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Classes])

ShATermConvertible Formulas Source # 
Instance details

Methods

toShATermAux :: ATermTable -> Formulas -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Formulas] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Formulas)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Formulas])

Generic (AnyKind a) Source # 
Instance details

Associated Types

type Rep (AnyKind a) :: Type -> Type

Methods

from :: AnyKind a -> Rep (AnyKind a) x

to :: Rep (AnyKind a) x -> AnyKind a

FromJSON a => FromJSON (AnyKind a) Source # 
Instance details

Methods

parseJSON :: Value -> Parser (AnyKind a)

parseJSONList :: Value -> Parser [AnyKind a]

ToJSON a => ToJSON (AnyKind a) Source # 
Instance details

Methods

toJSON :: AnyKind a -> Value

toEncoding :: AnyKind a -> Encoding

toJSONList :: [AnyKind a] -> Value

toEncodingList :: [AnyKind a] -> Encoding

ShATermConvertible a => ShATermConvertible (AnyKind a) Source # 
Instance details

Methods

toShATermAux :: ATermTable -> AnyKind a -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [AnyKind a] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, AnyKind a)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [AnyKind a])