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

HasCASL.ATC_HasCASL

Contents

Orphan instances

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible, Json for the type(s): PrecMap BasicSpec BasicItem SigItems OpBrand Instance ClassItem ClassDecl Variance AnyKind TypeItem Vars TypePattern Type TypeScheme Partiality OpItem BinOpAttr OpAttr DatatypeDecl Alternative Component Quantifier TypeQual LetBrand BracketKind InstKind Term ProgEq PolyId SeparatorKind VarDecl VarKind TypeArg GenVarDecl SymbItems SymbMapItems SymbKind Symb SymbType SymbOrMap ClassInfo GenKind AltDefn Selector DataEntry TypeDefn TypeInfo Sentence TypeVarDefn VarDefn ConstrInfo OpDefn OpInfo Env Constrain Morphism SymbolType Symbol RawSymbol Formulas Classes Sublogic

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 Methods from :: SymbMapItems -> Rep SymbMapItems x to :: Rep SymbMapItems x -> SymbMapItems
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 Methods from :: SeparatorKind -> Rep SeparatorKind x to :: Rep SeparatorKind x -> SeparatorKind
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 Methods from :: DatatypeDecl -> Rep DatatypeDecl x to :: Rep DatatypeDecl x -> DatatypeDecl
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])