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

Adl.ATC_Adl

Contents

Orphan instances

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