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

Maude.ATC_Maude

Contents

Orphan instances

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible, Json for the type(s): Sign Morphism Sentence Symbol SymbolKind MaudeText Spec Module View Parameter ModExp Renaming ToPartRenaming Statement Import SubsortDecl Operator Membership Equation Rule Condition Attr StmntAttr Hook Term Type Sort Kind ParamId ViewId ModId LabelId OpId

Orphan instances

Generic OpId Source #
Instance details Associated Types type Rep OpId :: Type -> Type Methods from :: OpId -> Rep OpId x to :: Rep OpId x -> OpId
Generic LabelId Source #
Instance details Associated Types type Rep LabelId :: Type -> Type Methods from :: LabelId -> Rep LabelId x to :: Rep LabelId x -> LabelId
Generic ModId Source #
Instance details Associated Types type Rep ModId :: Type -> Type Methods from :: ModId -> Rep ModId x to :: Rep ModId x -> ModId
Generic ViewId Source #
Instance details Associated Types type Rep ViewId :: Type -> Type Methods from :: ViewId -> Rep ViewId x to :: Rep ViewId x -> ViewId
Generic ParamId Source #
Instance details Associated Types type Rep ParamId :: Type -> Type Methods from :: ParamId -> Rep ParamId x to :: Rep ParamId x -> ParamId
Generic Kind Source #
Instance details Associated Types type Rep Kind :: Type -> Type Methods from :: Kind -> Rep Kind x to :: Rep Kind x -> Kind
Generic Sort Source #
Instance details Associated Types type Rep Sort :: Type -> Type Methods from :: Sort -> Rep Sort x to :: Rep Sort x -> Sort
Generic Type Source #
Instance details Associated Types type Rep Type :: Type -> Type Methods from :: Type -> Rep Type x to :: Rep Type x -> Type
Generic Term Source #
Instance details Associated Types type Rep Term :: Type -> Type Methods from :: Term -> Rep Term x to :: Rep Term x -> Term
Generic Hook Source #
Instance details Associated Types type Rep Hook :: Type -> Type Methods from :: Hook -> Rep Hook x to :: Rep Hook x -> Hook
Generic StmntAttr Source #
Instance details Associated Types type Rep StmntAttr :: Type -> Type Methods from :: StmntAttr -> Rep StmntAttr x to :: Rep StmntAttr x -> StmntAttr
Generic Attr Source #
Instance details Associated Types type Rep Attr :: Type -> Type Methods from :: Attr -> Rep Attr x to :: Rep Attr x -> Attr
Generic Condition Source #
Instance details Associated Types type Rep Condition :: Type -> Type Methods from :: Condition -> Rep Condition x to :: Rep Condition x -> Condition
Generic Rule Source #
Instance details Associated Types type Rep Rule :: Type -> Type Methods from :: Rule -> Rep Rule x to :: Rep Rule x -> Rule
Generic Equation Source #
Instance details Associated Types type Rep Equation :: Type -> Type Methods from :: Equation -> Rep Equation x to :: Rep Equation x -> Equation
Generic Membership Source #
Instance details Associated Types type Rep Membership :: Type -> Type Methods from :: Membership -> Rep Membership x to :: Rep Membership x -> Membership
Generic Operator Source #
Instance details Associated Types type Rep Operator :: Type -> Type Methods from :: Operator -> Rep Operator x to :: Rep Operator x -> Operator
Generic SubsortDecl Source #
Instance details Associated Types type Rep SubsortDecl :: Type -> Type Methods from :: SubsortDecl -> Rep SubsortDecl x to :: Rep SubsortDecl x -> SubsortDecl
Generic Import Source #
Instance details Associated Types type Rep Import :: Type -> Type Methods from :: Import -> Rep Import x to :: Rep Import x -> Import
Generic Statement Source #
Instance details Associated Types type Rep Statement :: Type -> Type Methods from :: Statement -> Rep Statement x to :: Rep Statement x -> Statement
Generic ToPartRenaming Source #
Instance details Associated Types type Rep ToPartRenaming :: Type -> Type Methods from :: ToPartRenaming -> Rep ToPartRenaming x to :: Rep ToPartRenaming x -> ToPartRenaming
Generic Renaming Source #
Instance details Associated Types type Rep Renaming :: Type -> Type Methods from :: Renaming -> Rep Renaming x to :: Rep Renaming x -> Renaming
Generic ModExp Source #
Instance details Associated Types type Rep ModExp :: Type -> Type Methods from :: ModExp -> Rep ModExp x to :: Rep ModExp x -> ModExp
Generic Parameter Source #
Instance details Associated Types type Rep Parameter :: Type -> Type Methods from :: Parameter -> Rep Parameter x to :: Rep Parameter x -> Parameter
Generic View Source #
Instance details Associated Types type Rep View :: Type -> Type Methods from :: View -> Rep View x to :: Rep View x -> View
Generic Module Source #
Instance details Associated Types type Rep Module :: Type -> Type Methods from :: Module -> Rep Module x to :: Rep Module x -> Module
Generic Spec Source #
Instance details Associated Types type Rep Spec :: Type -> Type Methods from :: Spec -> Rep Spec x to :: Rep Spec x -> Spec
Generic MaudeText Source #
Instance details Associated Types type Rep MaudeText :: Type -> Type Methods from :: MaudeText -> Rep MaudeText x to :: Rep MaudeText x -> MaudeText
Generic SymbolKind Source #
Instance details Associated Types type Rep SymbolKind :: Type -> Type Methods from :: SymbolKind -> Rep SymbolKind x to :: Rep SymbolKind x -> SymbolKind
Generic Symbol Source #
Instance details Associated Types type Rep Symbol :: Type -> Type Methods from :: Symbol -> Rep Symbol x to :: Rep Symbol x -> Symbol
Generic Sentence Source #
Instance details Associated Types type Rep Sentence :: Type -> Type Methods from :: Sentence -> Rep Sentence x to :: Rep Sentence x -> Sentence
Generic Sign Source #
Instance details Associated Types type Rep Sign :: Type -> Type Methods from :: Sign -> Rep Sign x to :: Rep Sign x -> Sign
Generic Morphism Source #
Instance details Associated Types type Rep Morphism :: Type -> Type Methods from :: Morphism -> Rep Morphism x to :: Rep Morphism x -> Morphism
FromJSON OpId Source #
Instance details Methods parseJSON :: Value -> Parser OpId parseJSONList :: Value -> Parser [OpId]
FromJSON LabelId Source #
Instance details Methods parseJSON :: Value -> Parser LabelId parseJSONList :: Value -> Parser [LabelId]
FromJSON ModId Source #
Instance details Methods parseJSON :: Value -> Parser ModId parseJSONList :: Value -> Parser [ModId]
FromJSON ViewId Source #
Instance details Methods parseJSON :: Value -> Parser ViewId parseJSONList :: Value -> Parser [ViewId]
FromJSON ParamId Source #
Instance details Methods parseJSON :: Value -> Parser ParamId parseJSONList :: Value -> Parser [ParamId]
FromJSON Kind Source #
Instance details Methods parseJSON :: Value -> Parser Kind parseJSONList :: Value -> Parser [Kind]
FromJSON Sort Source #
Instance details Methods parseJSON :: Value -> Parser Sort parseJSONList :: Value -> Parser [Sort]
FromJSON Type Source #
Instance details Methods parseJSON :: Value -> Parser Type parseJSONList :: Value -> Parser [Type]
FromJSON Term Source #
Instance details Methods parseJSON :: Value -> Parser Term parseJSONList :: Value -> Parser [Term]
FromJSON Hook Source #
Instance details Methods parseJSON :: Value -> Parser Hook parseJSONList :: Value -> Parser [Hook]
FromJSON StmntAttr Source #
Instance details Methods parseJSON :: Value -> Parser StmntAttr parseJSONList :: Value -> Parser [StmntAttr]
FromJSON Attr Source #
Instance details Methods parseJSON :: Value -> Parser Attr parseJSONList :: Value -> Parser [Attr]
FromJSON Condition Source #
Instance details Methods parseJSON :: Value -> Parser Condition parseJSONList :: Value -> Parser [Condition]
FromJSON Rule Source #
Instance details Methods parseJSON :: Value -> Parser Rule parseJSONList :: Value -> Parser [Rule]
FromJSON Equation Source #
Instance details Methods parseJSON :: Value -> Parser Equation parseJSONList :: Value -> Parser [Equation]
FromJSON Membership Source #
Instance details Methods parseJSON :: Value -> Parser Membership parseJSONList :: Value -> Parser [Membership]
FromJSON Operator Source #
Instance details Methods parseJSON :: Value -> Parser Operator parseJSONList :: Value -> Parser [Operator]
FromJSON SubsortDecl Source #
Instance details Methods parseJSON :: Value -> Parser SubsortDecl parseJSONList :: Value -> Parser [SubsortDecl]
FromJSON Import Source #
Instance details Methods parseJSON :: Value -> Parser Import parseJSONList :: Value -> Parser [Import]
FromJSON Statement Source #
Instance details Methods parseJSON :: Value -> Parser Statement parseJSONList :: Value -> Parser [Statement]
FromJSON ToPartRenaming Source #
Instance details Methods parseJSON :: Value -> Parser ToPartRenaming parseJSONList :: Value -> Parser [ToPartRenaming]
FromJSON Renaming Source #
Instance details Methods parseJSON :: Value -> Parser Renaming parseJSONList :: Value -> Parser [Renaming]
FromJSON ModExp Source #
Instance details Methods parseJSON :: Value -> Parser ModExp parseJSONList :: Value -> Parser [ModExp]
FromJSON Parameter Source #
Instance details Methods parseJSON :: Value -> Parser Parameter parseJSONList :: Value -> Parser [Parameter]
FromJSON View Source #
Instance details Methods parseJSON :: Value -> Parser View parseJSONList :: Value -> Parser [View]
FromJSON Module Source #
Instance details Methods parseJSON :: Value -> Parser Module parseJSONList :: Value -> Parser [Module]
FromJSON Spec Source #
Instance details Methods parseJSON :: Value -> Parser Spec parseJSONList :: Value -> Parser [Spec]
FromJSON MaudeText Source #
Instance details Methods parseJSON :: Value -> Parser MaudeText parseJSONList :: Value -> Parser [MaudeText]
FromJSON SymbolKind Source #
Instance details Methods parseJSON :: Value -> Parser SymbolKind parseJSONList :: Value -> Parser [SymbolKind]
FromJSON Symbol Source #
Instance details Methods parseJSON :: Value -> Parser Symbol parseJSONList :: Value -> Parser [Symbol]
FromJSON Sentence Source #
Instance details Methods parseJSON :: Value -> Parser Sentence parseJSONList :: Value -> Parser [Sentence]
FromJSON Sign Source #
Instance details Methods parseJSON :: Value -> Parser Sign parseJSONList :: Value -> Parser [Sign]
FromJSON Morphism Source #
Instance details Methods parseJSON :: Value -> Parser Morphism parseJSONList :: Value -> Parser [Morphism]
ToJSON OpId Source #
Instance details Methods toJSON :: OpId -> Value toEncoding :: OpId -> Encoding toJSONList :: [OpId] -> Value toEncodingList :: [OpId] -> Encoding
ToJSON LabelId Source #
Instance details Methods toJSON :: LabelId -> Value toEncoding :: LabelId -> Encoding toJSONList :: [LabelId] -> Value toEncodingList :: [LabelId] -> Encoding
ToJSON ModId Source #
Instance details Methods toJSON :: ModId -> Value toEncoding :: ModId -> Encoding toJSONList :: [ModId] -> Value toEncodingList :: [ModId] -> Encoding
ToJSON ViewId Source #
Instance details Methods toJSON :: ViewId -> Value toEncoding :: ViewId -> Encoding toJSONList :: [ViewId] -> Value toEncodingList :: [ViewId] -> Encoding
ToJSON ParamId Source #
Instance details Methods toJSON :: ParamId -> Value toEncoding :: ParamId -> Encoding toJSONList :: [ParamId] -> Value toEncodingList :: [ParamId] -> Encoding
ToJSON Kind Source #
Instance details Methods toJSON :: Kind -> Value toEncoding :: Kind -> Encoding toJSONList :: [Kind] -> Value toEncodingList :: [Kind] -> Encoding
ToJSON Sort Source #
Instance details Methods toJSON :: Sort -> Value toEncoding :: Sort -> Encoding toJSONList :: [Sort] -> Value toEncodingList :: [Sort] -> Encoding
ToJSON Type Source #
Instance details Methods toJSON :: Type -> Value toEncoding :: Type -> Encoding toJSONList :: [Type] -> Value toEncodingList :: [Type] -> Encoding
ToJSON Term Source #
Instance details Methods toJSON :: Term -> Value toEncoding :: Term -> Encoding toJSONList :: [Term] -> Value toEncodingList :: [Term] -> Encoding
ToJSON Hook Source #
Instance details Methods toJSON :: Hook -> Value toEncoding :: Hook -> Encoding toJSONList :: [Hook] -> Value toEncodingList :: [Hook] -> Encoding
ToJSON StmntAttr Source #
Instance details Methods toJSON :: StmntAttr -> Value toEncoding :: StmntAttr -> Encoding toJSONList :: [StmntAttr] -> Value toEncodingList :: [StmntAttr] -> Encoding
ToJSON Attr Source #
Instance details Methods toJSON :: Attr -> Value toEncoding :: Attr -> Encoding toJSONList :: [Attr] -> Value toEncodingList :: [Attr] -> Encoding
ToJSON Condition Source #
Instance details Methods toJSON :: Condition -> Value toEncoding :: Condition -> Encoding toJSONList :: [Condition] -> Value toEncodingList :: [Condition] -> Encoding
ToJSON Rule Source #
Instance details Methods toJSON :: Rule -> Value toEncoding :: Rule -> Encoding toJSONList :: [Rule] -> Value toEncodingList :: [Rule] -> Encoding
ToJSON Equation Source #
Instance details Methods toJSON :: Equation -> Value toEncoding :: Equation -> Encoding toJSONList :: [Equation] -> Value toEncodingList :: [Equation] -> Encoding
ToJSON Membership Source #
Instance details Methods toJSON :: Membership -> Value toEncoding :: Membership -> Encoding toJSONList :: [Membership] -> Value toEncodingList :: [Membership] -> Encoding
ToJSON Operator Source #
Instance details Methods toJSON :: Operator -> Value toEncoding :: Operator -> Encoding toJSONList :: [Operator] -> Value toEncodingList :: [Operator] -> Encoding
ToJSON SubsortDecl Source #
Instance details Methods toJSON :: SubsortDecl -> Value toEncoding :: SubsortDecl -> Encoding toJSONList :: [SubsortDecl] -> Value toEncodingList :: [SubsortDecl] -> Encoding
ToJSON Import Source #
Instance details Methods toJSON :: Import -> Value toEncoding :: Import -> Encoding toJSONList :: [Import] -> Value toEncodingList :: [Import] -> Encoding
ToJSON Statement Source #
Instance details Methods toJSON :: Statement -> Value toEncoding :: Statement -> Encoding toJSONList :: [Statement] -> Value toEncodingList :: [Statement] -> Encoding
ToJSON ToPartRenaming Source #
Instance details Methods toJSON :: ToPartRenaming -> Value toEncoding :: ToPartRenaming -> Encoding toJSONList :: [ToPartRenaming] -> Value toEncodingList :: [ToPartRenaming] -> Encoding
ToJSON Renaming Source #
Instance details Methods toJSON :: Renaming -> Value toEncoding :: Renaming -> Encoding toJSONList :: [Renaming] -> Value toEncodingList :: [Renaming] -> Encoding
ToJSON ModExp Source #
Instance details Methods toJSON :: ModExp -> Value toEncoding :: ModExp -> Encoding toJSONList :: [ModExp] -> Value toEncodingList :: [ModExp] -> Encoding
ToJSON Parameter Source #
Instance details Methods toJSON :: Parameter -> Value toEncoding :: Parameter -> Encoding toJSONList :: [Parameter] -> Value toEncodingList :: [Parameter] -> Encoding
ToJSON View Source #
Instance details Methods toJSON :: View -> Value toEncoding :: View -> Encoding toJSONList :: [View] -> Value toEncodingList :: [View] -> Encoding
ToJSON Module Source #
Instance details Methods toJSON :: Module -> Value toEncoding :: Module -> Encoding toJSONList :: [Module] -> Value toEncodingList :: [Module] -> Encoding
ToJSON Spec Source #
Instance details Methods toJSON :: Spec -> Value toEncoding :: Spec -> Encoding toJSONList :: [Spec] -> Value toEncodingList :: [Spec] -> Encoding
ToJSON MaudeText Source #
Instance details Methods toJSON :: MaudeText -> Value toEncoding :: MaudeText -> Encoding toJSONList :: [MaudeText] -> Value toEncodingList :: [MaudeText] -> Encoding
ToJSON SymbolKind Source #
Instance details Methods toJSON :: SymbolKind -> Value toEncoding :: SymbolKind -> Encoding toJSONList :: [SymbolKind] -> Value toEncodingList :: [SymbolKind] -> Encoding
ToJSON Symbol Source #
Instance details Methods toJSON :: Symbol -> Value toEncoding :: Symbol -> Encoding toJSONList :: [Symbol] -> Value toEncodingList :: [Symbol] -> Encoding
ToJSON Sentence Source #
Instance details Methods toJSON :: Sentence -> Value toEncoding :: Sentence -> Encoding toJSONList :: [Sentence] -> Value toEncodingList :: [Sentence] -> Encoding
ToJSON Sign Source #
Instance details Methods toJSON :: Sign -> Value toEncoding :: Sign -> Encoding toJSONList :: [Sign] -> Value toEncodingList :: [Sign] -> Encoding
ToJSON Morphism Source #
Instance details Methods toJSON :: Morphism -> Value toEncoding :: Morphism -> Encoding toJSONList :: [Morphism] -> Value toEncodingList :: [Morphism] -> Encoding
ShATermConvertible OpId Source #
Instance details Methods toShATermAux :: ATermTable -> OpId -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OpId] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OpId) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OpId])
ShATermConvertible LabelId Source #
Instance details Methods toShATermAux :: ATermTable -> LabelId -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [LabelId] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, LabelId) fromShATermList' :: Int -> ATermTable -> (ATermTable, [LabelId])
ShATermConvertible ModId Source #
Instance details Methods toShATermAux :: ATermTable -> ModId -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ModId] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ModId) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ModId])
ShATermConvertible ViewId Source #
Instance details Methods toShATermAux :: ATermTable -> ViewId -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ViewId] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ViewId) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ViewId])
ShATermConvertible ParamId Source #
Instance details Methods toShATermAux :: ATermTable -> ParamId -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ParamId] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ParamId) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ParamId])
ShATermConvertible Kind Source #
Instance details Methods toShATermAux :: ATermTable -> Kind -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Kind] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Kind) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Kind])
ShATermConvertible Sort Source #
Instance details Methods toShATermAux :: ATermTable -> Sort -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Sort] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Sort) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Sort])
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 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 Hook Source #
Instance details Methods toShATermAux :: ATermTable -> Hook -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Hook] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Hook) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Hook])
ShATermConvertible StmntAttr Source #
Instance details Methods toShATermAux :: ATermTable -> StmntAttr -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [StmntAttr] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, StmntAttr) fromShATermList' :: Int -> ATermTable -> (ATermTable, [StmntAttr])
ShATermConvertible Attr Source #
Instance details Methods toShATermAux :: ATermTable -> Attr -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Attr] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Attr) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Attr])
ShATermConvertible Condition Source #
Instance details Methods toShATermAux :: ATermTable -> Condition -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Condition] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Condition) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Condition])
ShATermConvertible Rule Source #
Instance details Methods toShATermAux :: ATermTable -> Rule -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Rule] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Rule) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Rule])
ShATermConvertible Equation Source #
Instance details Methods toShATermAux :: ATermTable -> Equation -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Equation] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Equation) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Equation])
ShATermConvertible Membership Source #
Instance details Methods toShATermAux :: ATermTable -> Membership -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Membership] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Membership) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Membership])
ShATermConvertible Operator Source #
Instance details Methods toShATermAux :: ATermTable -> Operator -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Operator] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Operator) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Operator])
ShATermConvertible SubsortDecl Source #
Instance details Methods toShATermAux :: ATermTable -> SubsortDecl -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SubsortDecl] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SubsortDecl) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SubsortDecl])
ShATermConvertible Import Source #
Instance details Methods toShATermAux :: ATermTable -> Import -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Import] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Import) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Import])
ShATermConvertible Statement Source #
Instance details Methods toShATermAux :: ATermTable -> Statement -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Statement] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Statement) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Statement])
ShATermConvertible ToPartRenaming Source #
Instance details Methods toShATermAux :: ATermTable -> ToPartRenaming -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ToPartRenaming] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ToPartRenaming) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ToPartRenaming])
ShATermConvertible Renaming Source #
Instance details Methods toShATermAux :: ATermTable -> Renaming -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Renaming] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Renaming) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Renaming])
ShATermConvertible ModExp Source #
Instance details Methods toShATermAux :: ATermTable -> ModExp -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ModExp] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ModExp) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ModExp])
ShATermConvertible Parameter Source #
Instance details Methods toShATermAux :: ATermTable -> Parameter -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Parameter] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Parameter) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Parameter])
ShATermConvertible View Source #
Instance details Methods toShATermAux :: ATermTable -> View -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [View] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, View) fromShATermList' :: Int -> ATermTable -> (ATermTable, [View])
ShATermConvertible Module Source #
Instance details Methods toShATermAux :: ATermTable -> Module -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Module] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Module) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Module])
ShATermConvertible Spec Source #
Instance details Methods toShATermAux :: ATermTable -> Spec -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Spec] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Spec) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Spec])
ShATermConvertible MaudeText Source #
Instance details Methods toShATermAux :: ATermTable -> MaudeText -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [MaudeText] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, MaudeText) fromShATermList' :: Int -> ATermTable -> (ATermTable, [MaudeText])
ShATermConvertible SymbolKind Source #
Instance details Methods toShATermAux :: ATermTable -> SymbolKind -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SymbolKind] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SymbolKind) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SymbolKind])
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 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 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 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])