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

Isabelle.ATC_Isabelle

Contents

Orphan instances

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible, Json for the type(s): AltSyntax VName QName Indexname IsaClass Typ Continuity TAttr DTyp Term Prop Props Sentence DefEquation FixrecEquation Ctxt Mixfix MixfixTemplate Datatype DatatypeConstructor Domain DomainConstructor DomainConstructorArg Axiom FunSig SetDecl MetaTerm TypeSig BaseSig Sign IsaProof ProofCommand ProofEnd Modifier ProofMethod

Orphan instances

Generic ProofMethod Source #
Instance details Associated Types type Rep ProofMethod :: Type -> Type Methods from :: ProofMethod -> Rep ProofMethod x to :: Rep ProofMethod x -> ProofMethod
Generic Modifier Source #
Instance details Associated Types type Rep Modifier :: Type -> Type Methods from :: Modifier -> Rep Modifier x to :: Rep Modifier x -> Modifier
Generic ProofEnd Source #
Instance details Associated Types type Rep ProofEnd :: Type -> Type Methods from :: ProofEnd -> Rep ProofEnd x to :: Rep ProofEnd x -> ProofEnd
Generic ProofCommand Source #
Instance details Associated Types type Rep ProofCommand :: Type -> Type Methods from :: ProofCommand -> Rep ProofCommand x to :: Rep ProofCommand x -> ProofCommand
Generic IsaProof Source #
Instance details Associated Types type Rep IsaProof :: Type -> Type Methods from :: IsaProof -> Rep IsaProof x to :: Rep IsaProof x -> IsaProof
Generic Sign Source #
Instance details Associated Types type Rep Sign :: Type -> Type Methods from :: Sign -> Rep Sign x to :: Rep Sign x -> Sign
Generic BaseSig Source #
Instance details Associated Types type Rep BaseSig :: Type -> Type Methods from :: BaseSig -> Rep BaseSig x to :: Rep BaseSig x -> BaseSig
Generic TypeSig Source #
Instance details Associated Types type Rep TypeSig :: Type -> Type Methods from :: TypeSig -> Rep TypeSig x to :: Rep TypeSig x -> TypeSig
Generic MetaTerm Source #
Instance details Associated Types type Rep MetaTerm :: Type -> Type Methods from :: MetaTerm -> Rep MetaTerm x to :: Rep MetaTerm x -> MetaTerm
Generic SetDecl Source #
Instance details Associated Types type Rep SetDecl :: Type -> Type Methods from :: SetDecl -> Rep SetDecl x to :: Rep SetDecl x -> SetDecl
Generic FunSig Source #
Instance details Associated Types type Rep FunSig :: Type -> Type Methods from :: FunSig -> Rep FunSig x to :: Rep FunSig x -> FunSig
Generic Axiom Source #
Instance details Associated Types type Rep Axiom :: Type -> Type Methods from :: Axiom -> Rep Axiom x to :: Rep Axiom x -> Axiom
Generic DomainConstructorArg Source #
Instance details Associated Types type Rep DomainConstructorArg :: Type -> Type Methods from :: DomainConstructorArg -> Rep DomainConstructorArg x to :: Rep DomainConstructorArg x -> DomainConstructorArg
Generic DomainConstructor Source #
Instance details Associated Types type Rep DomainConstructor :: Type -> Type Methods from :: DomainConstructor -> Rep DomainConstructor x to :: Rep DomainConstructor x -> DomainConstructor
Generic Domain Source #
Instance details Associated Types type Rep Domain :: Type -> Type Methods from :: Domain -> Rep Domain x to :: Rep Domain x -> Domain
Generic DatatypeConstructor Source #
Instance details Associated Types type Rep DatatypeConstructor :: Type -> Type Methods from :: DatatypeConstructor -> Rep DatatypeConstructor x to :: Rep DatatypeConstructor x -> DatatypeConstructor
Generic Datatype Source #
Instance details Associated Types type Rep Datatype :: Type -> Type Methods from :: Datatype -> Rep Datatype x to :: Rep Datatype x -> Datatype
Generic MixfixTemplate Source #
Instance details Associated Types type Rep MixfixTemplate :: Type -> Type Methods from :: MixfixTemplate -> Rep MixfixTemplate x to :: Rep MixfixTemplate x -> MixfixTemplate
Generic Mixfix Source #
Instance details Associated Types type Rep Mixfix :: Type -> Type Methods from :: Mixfix -> Rep Mixfix x to :: Rep Mixfix x -> Mixfix
Generic Ctxt Source #
Instance details Associated Types type Rep Ctxt :: Type -> Type Methods from :: Ctxt -> Rep Ctxt x to :: Rep Ctxt x -> Ctxt
Generic FixrecEquation Source #
Instance details Associated Types type Rep FixrecEquation :: Type -> Type Methods from :: FixrecEquation -> Rep FixrecEquation x to :: Rep FixrecEquation x -> FixrecEquation
Generic DefEquation Source #
Instance details Associated Types type Rep DefEquation :: Type -> Type Methods from :: DefEquation -> Rep DefEquation x to :: Rep DefEquation x -> DefEquation
Generic Sentence Source #
Instance details Associated Types type Rep Sentence :: Type -> Type Methods from :: Sentence -> Rep Sentence x to :: Rep Sentence x -> Sentence
Generic Props Source #
Instance details Associated Types type Rep Props :: Type -> Type Methods from :: Props -> Rep Props x to :: Rep Props x -> Props
Generic Prop Source #
Instance details Associated Types type Rep Prop :: Type -> Type Methods from :: Prop -> Rep Prop x to :: Rep Prop x -> Prop
Generic Term Source #
Instance details Associated Types type Rep Term :: Type -> Type Methods from :: Term -> Rep Term x to :: Rep Term x -> Term
Generic DTyp Source #
Instance details Associated Types type Rep DTyp :: Type -> Type Methods from :: DTyp -> Rep DTyp x to :: Rep DTyp x -> DTyp
Generic TAttr Source #
Instance details Associated Types type Rep TAttr :: Type -> Type Methods from :: TAttr -> Rep TAttr x to :: Rep TAttr x -> TAttr
Generic Continuity Source #
Instance details Associated Types type Rep Continuity :: Type -> Type Methods from :: Continuity -> Rep Continuity x to :: Rep Continuity x -> Continuity
Generic Typ Source #
Instance details Associated Types type Rep Typ :: Type -> Type Methods from :: Typ -> Rep Typ x to :: Rep Typ x -> Typ
Generic IsaClass Source #
Instance details Associated Types type Rep IsaClass :: Type -> Type Methods from :: IsaClass -> Rep IsaClass x to :: Rep IsaClass x -> IsaClass
Generic Indexname Source #
Instance details Associated Types type Rep Indexname :: Type -> Type Methods from :: Indexname -> Rep Indexname x to :: Rep Indexname x -> Indexname
Generic QName Source #
Instance details Associated Types type Rep QName :: Type -> Type Methods from :: QName -> Rep QName x to :: Rep QName x -> QName
Generic VName Source #
Instance details Associated Types type Rep VName :: Type -> Type Methods from :: VName -> Rep VName x to :: Rep VName x -> VName
Generic AltSyntax Source #
Instance details Associated Types type Rep AltSyntax :: Type -> Type Methods from :: AltSyntax -> Rep AltSyntax x to :: Rep AltSyntax x -> AltSyntax
FromJSON ProofMethod Source #
Instance details Methods parseJSON :: Value -> Parser ProofMethod parseJSONList :: Value -> Parser [ProofMethod]
FromJSON Modifier Source #
Instance details Methods parseJSON :: Value -> Parser Modifier parseJSONList :: Value -> Parser [Modifier]
FromJSON ProofEnd Source #
Instance details Methods parseJSON :: Value -> Parser ProofEnd parseJSONList :: Value -> Parser [ProofEnd]
FromJSON ProofCommand Source #
Instance details Methods parseJSON :: Value -> Parser ProofCommand parseJSONList :: Value -> Parser [ProofCommand]
FromJSON IsaProof Source #
Instance details Methods parseJSON :: Value -> Parser IsaProof parseJSONList :: Value -> Parser [IsaProof]
FromJSON Sign Source #
Instance details Methods parseJSON :: Value -> Parser Sign parseJSONList :: Value -> Parser [Sign]
FromJSON BaseSig Source #
Instance details Methods parseJSON :: Value -> Parser BaseSig parseJSONList :: Value -> Parser [BaseSig]
FromJSON TypeSig Source #
Instance details Methods parseJSON :: Value -> Parser TypeSig parseJSONList :: Value -> Parser [TypeSig]
FromJSON MetaTerm Source #
Instance details Methods parseJSON :: Value -> Parser MetaTerm parseJSONList :: Value -> Parser [MetaTerm]
FromJSON SetDecl Source #
Instance details Methods parseJSON :: Value -> Parser SetDecl parseJSONList :: Value -> Parser [SetDecl]
FromJSON FunSig Source #
Instance details Methods parseJSON :: Value -> Parser FunSig parseJSONList :: Value -> Parser [FunSig]
FromJSON Axiom Source #
Instance details Methods parseJSON :: Value -> Parser Axiom parseJSONList :: Value -> Parser [Axiom]
FromJSON DomainConstructorArg Source #
Instance details Methods parseJSON :: Value -> Parser DomainConstructorArg parseJSONList :: Value -> Parser [DomainConstructorArg]
FromJSON DomainConstructor Source #
Instance details Methods parseJSON :: Value -> Parser DomainConstructor parseJSONList :: Value -> Parser [DomainConstructor]
FromJSON Domain Source #
Instance details Methods parseJSON :: Value -> Parser Domain parseJSONList :: Value -> Parser [Domain]
FromJSON DatatypeConstructor Source #
Instance details Methods parseJSON :: Value -> Parser DatatypeConstructor parseJSONList :: Value -> Parser [DatatypeConstructor]
FromJSON Datatype Source #
Instance details Methods parseJSON :: Value -> Parser Datatype parseJSONList :: Value -> Parser [Datatype]
FromJSON MixfixTemplate Source #
Instance details Methods parseJSON :: Value -> Parser MixfixTemplate parseJSONList :: Value -> Parser [MixfixTemplate]
FromJSON Mixfix Source #
Instance details Methods parseJSON :: Value -> Parser Mixfix parseJSONList :: Value -> Parser [Mixfix]
FromJSON Ctxt Source #
Instance details Methods parseJSON :: Value -> Parser Ctxt parseJSONList :: Value -> Parser [Ctxt]
FromJSON FixrecEquation Source #
Instance details Methods parseJSON :: Value -> Parser FixrecEquation parseJSONList :: Value -> Parser [FixrecEquation]
FromJSON DefEquation Source #
Instance details Methods parseJSON :: Value -> Parser DefEquation parseJSONList :: Value -> Parser [DefEquation]
FromJSON Sentence Source #
Instance details Methods parseJSON :: Value -> Parser Sentence parseJSONList :: Value -> Parser [Sentence]
FromJSON Props Source #
Instance details Methods parseJSON :: Value -> Parser Props parseJSONList :: Value -> Parser [Props]
FromJSON Prop Source #
Instance details Methods parseJSON :: Value -> Parser Prop parseJSONList :: Value -> Parser [Prop]
FromJSON Term Source #
Instance details Methods parseJSON :: Value -> Parser Term parseJSONList :: Value -> Parser [Term]
FromJSON DTyp Source #
Instance details Methods parseJSON :: Value -> Parser DTyp parseJSONList :: Value -> Parser [DTyp]
FromJSON TAttr Source #
Instance details Methods parseJSON :: Value -> Parser TAttr parseJSONList :: Value -> Parser [TAttr]
FromJSON Continuity Source #
Instance details Methods parseJSON :: Value -> Parser Continuity parseJSONList :: Value -> Parser [Continuity]
FromJSON Typ Source #
Instance details Methods parseJSON :: Value -> Parser Typ parseJSONList :: Value -> Parser [Typ]
FromJSON IsaClass Source #
Instance details Methods parseJSON :: Value -> Parser IsaClass parseJSONList :: Value -> Parser [IsaClass]
FromJSON Indexname Source #
Instance details Methods parseJSON :: Value -> Parser Indexname parseJSONList :: Value -> Parser [Indexname]
FromJSON QName Source #
Instance details Methods parseJSON :: Value -> Parser QName parseJSONList :: Value -> Parser [QName]
FromJSON VName Source #
Instance details Methods parseJSON :: Value -> Parser VName parseJSONList :: Value -> Parser [VName]
FromJSON AltSyntax Source #
Instance details Methods parseJSON :: Value -> Parser AltSyntax parseJSONList :: Value -> Parser [AltSyntax]
ToJSON ProofMethod Source #
Instance details Methods toJSON :: ProofMethod -> Value toEncoding :: ProofMethod -> Encoding toJSONList :: [ProofMethod] -> Value toEncodingList :: [ProofMethod] -> Encoding
ToJSON Modifier Source #
Instance details Methods toJSON :: Modifier -> Value toEncoding :: Modifier -> Encoding toJSONList :: [Modifier] -> Value toEncodingList :: [Modifier] -> Encoding
ToJSON ProofEnd Source #
Instance details Methods toJSON :: ProofEnd -> Value toEncoding :: ProofEnd -> Encoding toJSONList :: [ProofEnd] -> Value toEncodingList :: [ProofEnd] -> Encoding
ToJSON ProofCommand Source #
Instance details Methods toJSON :: ProofCommand -> Value toEncoding :: ProofCommand -> Encoding toJSONList :: [ProofCommand] -> Value toEncodingList :: [ProofCommand] -> Encoding
ToJSON IsaProof Source #
Instance details Methods toJSON :: IsaProof -> Value toEncoding :: IsaProof -> Encoding toJSONList :: [IsaProof] -> Value toEncodingList :: [IsaProof] -> Encoding
ToJSON Sign Source #
Instance details Methods toJSON :: Sign -> Value toEncoding :: Sign -> Encoding toJSONList :: [Sign] -> Value toEncodingList :: [Sign] -> Encoding
ToJSON BaseSig Source #
Instance details Methods toJSON :: BaseSig -> Value toEncoding :: BaseSig -> Encoding toJSONList :: [BaseSig] -> Value toEncodingList :: [BaseSig] -> Encoding
ToJSON TypeSig Source #
Instance details Methods toJSON :: TypeSig -> Value toEncoding :: TypeSig -> Encoding toJSONList :: [TypeSig] -> Value toEncodingList :: [TypeSig] -> Encoding
ToJSON MetaTerm Source #
Instance details Methods toJSON :: MetaTerm -> Value toEncoding :: MetaTerm -> Encoding toJSONList :: [MetaTerm] -> Value toEncodingList :: [MetaTerm] -> Encoding
ToJSON SetDecl Source #
Instance details Methods toJSON :: SetDecl -> Value toEncoding :: SetDecl -> Encoding toJSONList :: [SetDecl] -> Value toEncodingList :: [SetDecl] -> Encoding
ToJSON FunSig Source #
Instance details Methods toJSON :: FunSig -> Value toEncoding :: FunSig -> Encoding toJSONList :: [FunSig] -> Value toEncodingList :: [FunSig] -> Encoding
ToJSON Axiom Source #
Instance details Methods toJSON :: Axiom -> Value toEncoding :: Axiom -> Encoding toJSONList :: [Axiom] -> Value toEncodingList :: [Axiom] -> Encoding
ToJSON DomainConstructorArg Source #
Instance details Methods toJSON :: DomainConstructorArg -> Value toEncoding :: DomainConstructorArg -> Encoding toJSONList :: [DomainConstructorArg] -> Value toEncodingList :: [DomainConstructorArg] -> Encoding
ToJSON DomainConstructor Source #
Instance details Methods toJSON :: DomainConstructor -> Value toEncoding :: DomainConstructor -> Encoding toJSONList :: [DomainConstructor] -> Value toEncodingList :: [DomainConstructor] -> Encoding
ToJSON Domain Source #
Instance details Methods toJSON :: Domain -> Value toEncoding :: Domain -> Encoding toJSONList :: [Domain] -> Value toEncodingList :: [Domain] -> Encoding
ToJSON DatatypeConstructor Source #
Instance details Methods toJSON :: DatatypeConstructor -> Value toEncoding :: DatatypeConstructor -> Encoding toJSONList :: [DatatypeConstructor] -> Value toEncodingList :: [DatatypeConstructor] -> Encoding
ToJSON Datatype Source #
Instance details Methods toJSON :: Datatype -> Value toEncoding :: Datatype -> Encoding toJSONList :: [Datatype] -> Value toEncodingList :: [Datatype] -> Encoding
ToJSON MixfixTemplate Source #
Instance details Methods toJSON :: MixfixTemplate -> Value toEncoding :: MixfixTemplate -> Encoding toJSONList :: [MixfixTemplate] -> Value toEncodingList :: [MixfixTemplate] -> Encoding
ToJSON Mixfix Source #
Instance details Methods toJSON :: Mixfix -> Value toEncoding :: Mixfix -> Encoding toJSONList :: [Mixfix] -> Value toEncodingList :: [Mixfix] -> Encoding
ToJSON Ctxt Source #
Instance details Methods toJSON :: Ctxt -> Value toEncoding :: Ctxt -> Encoding toJSONList :: [Ctxt] -> Value toEncodingList :: [Ctxt] -> Encoding
ToJSON FixrecEquation Source #
Instance details Methods toJSON :: FixrecEquation -> Value toEncoding :: FixrecEquation -> Encoding toJSONList :: [FixrecEquation] -> Value toEncodingList :: [FixrecEquation] -> Encoding
ToJSON DefEquation Source #
Instance details Methods toJSON :: DefEquation -> Value toEncoding :: DefEquation -> Encoding toJSONList :: [DefEquation] -> Value toEncodingList :: [DefEquation] -> Encoding
ToJSON Sentence Source #
Instance details Methods toJSON :: Sentence -> Value toEncoding :: Sentence -> Encoding toJSONList :: [Sentence] -> Value toEncodingList :: [Sentence] -> Encoding
ToJSON Props Source #
Instance details Methods toJSON :: Props -> Value toEncoding :: Props -> Encoding toJSONList :: [Props] -> Value toEncodingList :: [Props] -> Encoding
ToJSON Prop Source #
Instance details Methods toJSON :: Prop -> Value toEncoding :: Prop -> Encoding toJSONList :: [Prop] -> Value toEncodingList :: [Prop] -> Encoding
ToJSON Term Source #
Instance details Methods toJSON :: Term -> Value toEncoding :: Term -> Encoding toJSONList :: [Term] -> Value toEncodingList :: [Term] -> Encoding
ToJSON DTyp Source #
Instance details Methods toJSON :: DTyp -> Value toEncoding :: DTyp -> Encoding toJSONList :: [DTyp] -> Value toEncodingList :: [DTyp] -> Encoding
ToJSON TAttr Source #
Instance details Methods toJSON :: TAttr -> Value toEncoding :: TAttr -> Encoding toJSONList :: [TAttr] -> Value toEncodingList :: [TAttr] -> Encoding
ToJSON Continuity Source #
Instance details Methods toJSON :: Continuity -> Value toEncoding :: Continuity -> Encoding toJSONList :: [Continuity] -> Value toEncodingList :: [Continuity] -> Encoding
ToJSON Typ Source #
Instance details Methods toJSON :: Typ -> Value toEncoding :: Typ -> Encoding toJSONList :: [Typ] -> Value toEncodingList :: [Typ] -> Encoding
ToJSON IsaClass Source #
Instance details Methods toJSON :: IsaClass -> Value toEncoding :: IsaClass -> Encoding toJSONList :: [IsaClass] -> Value toEncodingList :: [IsaClass] -> Encoding
ToJSON Indexname Source #
Instance details Methods toJSON :: Indexname -> Value toEncoding :: Indexname -> Encoding toJSONList :: [Indexname] -> Value toEncodingList :: [Indexname] -> Encoding
ToJSON QName Source #
Instance details Methods toJSON :: QName -> Value toEncoding :: QName -> Encoding toJSONList :: [QName] -> Value toEncodingList :: [QName] -> Encoding
ToJSON VName Source #
Instance details Methods toJSON :: VName -> Value toEncoding :: VName -> Encoding toJSONList :: [VName] -> Value toEncodingList :: [VName] -> Encoding
ToJSON AltSyntax Source #
Instance details Methods toJSON :: AltSyntax -> Value toEncoding :: AltSyntax -> Encoding toJSONList :: [AltSyntax] -> Value toEncodingList :: [AltSyntax] -> Encoding
ShATermConvertible ProofMethod Source #
Instance details Methods toShATermAux :: ATermTable -> ProofMethod -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ProofMethod] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ProofMethod) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ProofMethod])
ShATermConvertible Modifier Source #
Instance details Methods toShATermAux :: ATermTable -> Modifier -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Modifier] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Modifier) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Modifier])
ShATermConvertible ProofEnd Source #
Instance details Methods toShATermAux :: ATermTable -> ProofEnd -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ProofEnd] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ProofEnd) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ProofEnd])
ShATermConvertible ProofCommand Source #
Instance details Methods toShATermAux :: ATermTable -> ProofCommand -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ProofCommand] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ProofCommand) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ProofCommand])
ShATermConvertible IsaProof Source #
Instance details Methods toShATermAux :: ATermTable -> IsaProof -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [IsaProof] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, IsaProof) fromShATermList' :: Int -> ATermTable -> (ATermTable, [IsaProof])
ShATermConvertible Sign Source #
Instance details Methods toShATermAux :: ATermTable -> Sign -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Sign] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Sign) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Sign])
ShATermConvertible BaseSig Source #
Instance details Methods toShATermAux :: ATermTable -> BaseSig -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [BaseSig] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, BaseSig) fromShATermList' :: Int -> ATermTable -> (ATermTable, [BaseSig])
ShATermConvertible TypeSig Source #
Instance details Methods toShATermAux :: ATermTable -> TypeSig -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TypeSig] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TypeSig) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TypeSig])
ShATermConvertible MetaTerm Source #
Instance details Methods toShATermAux :: ATermTable -> MetaTerm -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [MetaTerm] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, MetaTerm) fromShATermList' :: Int -> ATermTable -> (ATermTable, [MetaTerm])
ShATermConvertible SetDecl Source #
Instance details Methods toShATermAux :: ATermTable -> SetDecl -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SetDecl] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SetDecl) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SetDecl])
ShATermConvertible FunSig Source #
Instance details Methods toShATermAux :: ATermTable -> FunSig -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FunSig] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FunSig) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FunSig])
ShATermConvertible Axiom Source #
Instance details Methods toShATermAux :: ATermTable -> Axiom -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Axiom] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Axiom) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Axiom])
ShATermConvertible DomainConstructorArg Source #
Instance details Methods toShATermAux :: ATermTable -> DomainConstructorArg -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [DomainConstructorArg] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, DomainConstructorArg) fromShATermList' :: Int -> ATermTable -> (ATermTable, [DomainConstructorArg])
ShATermConvertible DomainConstructor Source #
Instance details Methods toShATermAux :: ATermTable -> DomainConstructor -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [DomainConstructor] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, DomainConstructor) fromShATermList' :: Int -> ATermTable -> (ATermTable, [DomainConstructor])
ShATermConvertible Domain Source #
Instance details Methods toShATermAux :: ATermTable -> Domain -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Domain] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Domain) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Domain])
ShATermConvertible DatatypeConstructor Source #
Instance details Methods toShATermAux :: ATermTable -> DatatypeConstructor -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [DatatypeConstructor] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, DatatypeConstructor) fromShATermList' :: Int -> ATermTable -> (ATermTable, [DatatypeConstructor])
ShATermConvertible Datatype Source #
Instance details Methods toShATermAux :: ATermTable -> Datatype -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Datatype] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Datatype) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Datatype])
ShATermConvertible MixfixTemplate Source #
Instance details Methods toShATermAux :: ATermTable -> MixfixTemplate -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [MixfixTemplate] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, MixfixTemplate) fromShATermList' :: Int -> ATermTable -> (ATermTable, [MixfixTemplate])
ShATermConvertible Mixfix Source #
Instance details Methods toShATermAux :: ATermTable -> Mixfix -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Mixfix] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Mixfix) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Mixfix])
ShATermConvertible Ctxt Source #
Instance details Methods toShATermAux :: ATermTable -> Ctxt -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Ctxt] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Ctxt) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Ctxt])
ShATermConvertible FixrecEquation Source #
Instance details Methods toShATermAux :: ATermTable -> FixrecEquation -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FixrecEquation] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FixrecEquation) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FixrecEquation])
ShATermConvertible DefEquation Source #
Instance details Methods toShATermAux :: ATermTable -> DefEquation -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [DefEquation] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, DefEquation) fromShATermList' :: Int -> ATermTable -> (ATermTable, [DefEquation])
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 Props Source #
Instance details Methods toShATermAux :: ATermTable -> Props -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Props] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Props) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Props])
ShATermConvertible Prop Source #
Instance details Methods toShATermAux :: ATermTable -> Prop -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Prop] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Prop) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Prop])
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 DTyp Source #
Instance details Methods toShATermAux :: ATermTable -> DTyp -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [DTyp] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, DTyp) fromShATermList' :: Int -> ATermTable -> (ATermTable, [DTyp])
ShATermConvertible TAttr Source #
Instance details Methods toShATermAux :: ATermTable -> TAttr -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TAttr] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TAttr) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TAttr])
ShATermConvertible Continuity Source #
Instance details Methods toShATermAux :: ATermTable -> Continuity -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Continuity] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Continuity) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Continuity])
ShATermConvertible Typ Source #
Instance details Methods toShATermAux :: ATermTable -> Typ -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Typ] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Typ) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Typ])
ShATermConvertible IsaClass Source #
Instance details Methods toShATermAux :: ATermTable -> IsaClass -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [IsaClass] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, IsaClass) fromShATermList' :: Int -> ATermTable -> (ATermTable, [IsaClass])
ShATermConvertible Indexname Source #
Instance details Methods toShATermAux :: ATermTable -> Indexname -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Indexname] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Indexname) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Indexname])
ShATermConvertible QName Source #
Instance details Methods toShATermAux :: ATermTable -> QName -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [QName] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, QName) fromShATermList' :: Int -> ATermTable -> (ATermTable, [QName])
ShATermConvertible VName Source #
Instance details Methods toShATermAux :: ATermTable -> VName -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [VName] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, VName) fromShATermList' :: Int -> ATermTable -> (ATermTable, [VName])
ShATermConvertible AltSyntax Source #
Instance details Methods toShATermAux :: ATermTable -> AltSyntax -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [AltSyntax] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, AltSyntax) fromShATermList' :: Int -> ATermTable -> (ATermTable, [AltSyntax])