Hets - the Heterogeneous Tool Set

Copyright(c) DFKI GmbH 2012
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable(derive Typeable instances)
Safe HaskellNone

Maude.ATC_Maude

Contents

Description

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