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

Adl.ATC_Adl

Contents

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible for the type(s): Concept RelType Relation UnOp MulOp Rule Prop RangedProp Object KeyAtt KeyDef RuleKind RuleHeader Pair Plugin PatElem Context Sign Symbol SymbolKind RawSymbol Sen

Orphan instances

ShATermConvertible Context Source # 

Methods

toShATermAux :: ATermTable -> Context -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Context] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Context)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Context])

ShATermConvertible PatElem Source # 

Methods

toShATermAux :: ATermTable -> PatElem -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [PatElem] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, PatElem)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [PatElem])

ShATermConvertible Plugin Source # 

Methods

toShATermAux :: ATermTable -> Plugin -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Plugin] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Plugin)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Plugin])

ShATermConvertible Pair Source # 

Methods

toShATermAux :: ATermTable -> Pair -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Pair] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Pair)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Pair])

ShATermConvertible RuleHeader Source # 

Methods

toShATermAux :: ATermTable -> RuleHeader -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [RuleHeader] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, RuleHeader)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [RuleHeader])

ShATermConvertible RuleKind Source # 

Methods

toShATermAux :: ATermTable -> RuleKind -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [RuleKind] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, RuleKind)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [RuleKind])

ShATermConvertible KeyDef Source # 

Methods

toShATermAux :: ATermTable -> KeyDef -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [KeyDef] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, KeyDef)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [KeyDef])

ShATermConvertible KeyAtt Source # 

Methods

toShATermAux :: ATermTable -> KeyAtt -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [KeyAtt] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, KeyAtt)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [KeyAtt])

ShATermConvertible Object Source # 

Methods

toShATermAux :: ATermTable -> Object -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Object] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Object)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Object])

ShATermConvertible RangedProp Source # 

Methods

toShATermAux :: ATermTable -> RangedProp -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [RangedProp] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, RangedProp)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [RangedProp])

ShATermConvertible Prop Source # 

Methods

toShATermAux :: ATermTable -> Prop -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Prop] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Prop)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Prop])

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 MulOp Source # 

Methods

toShATermAux :: ATermTable -> MulOp -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [MulOp] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, MulOp)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [MulOp])

ShATermConvertible UnOp Source # 

Methods

toShATermAux :: ATermTable -> UnOp -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [UnOp] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, UnOp)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [UnOp])

ShATermConvertible Relation Source # 

Methods

toShATermAux :: ATermTable -> Relation -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Relation] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Relation)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Relation])

ShATermConvertible RelType Source # 

Methods

toShATermAux :: ATermTable -> RelType -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [RelType] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, RelType)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [RelType])

ShATermConvertible Concept Source # 

Methods

toShATermAux :: ATermTable -> Concept -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Concept] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Concept)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Concept])

ShATermConvertible Sen Source # 

Methods

toShATermAux :: ATermTable -> Sen -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Sen] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Sen)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Sen])

ShATermConvertible RawSymbol Source # 

Methods

toShATermAux :: ATermTable -> RawSymbol -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [RawSymbol] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, RawSymbol)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [RawSymbol])

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