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

ShATermConvertible OpId Source #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
Methods toShATermAux :: ATermTable -> Morphism -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Morphism] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Morphism) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Morphism])