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

QVTR.ATC_QVTR

Contents

Orphan instances

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible for the type(s): Transformation Key PropKey Relation RelVar PrimitiveDomain Domain ObjectTemplate PropertyTemplate WhenWhere RelInvok OCL STRING RuleDef Sign Sen RelationSen Pattern

Orphan instances

ShATermConvertible STRING Source #
Methods toShATermAux :: ATermTable -> STRING -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [STRING] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, STRING) fromShATermList' :: Int -> ATermTable -> (ATermTable, [STRING])
ShATermConvertible OCL Source #
Methods toShATermAux :: ATermTable -> OCL -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OCL] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OCL) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OCL])
ShATermConvertible RelInvok Source #
Methods toShATermAux :: ATermTable -> RelInvok -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RelInvok] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RelInvok) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RelInvok])
ShATermConvertible WhenWhere Source #
Methods toShATermAux :: ATermTable -> WhenWhere -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [WhenWhere] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, WhenWhere) fromShATermList' :: Int -> ATermTable -> (ATermTable, [WhenWhere])
ShATermConvertible PropertyTemplate Source #
Methods toShATermAux :: ATermTable -> PropertyTemplate -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [PropertyTemplate] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, PropertyTemplate) fromShATermList' :: Int -> ATermTable -> (ATermTable, [PropertyTemplate])
ShATermConvertible ObjectTemplate Source #
Methods toShATermAux :: ATermTable -> ObjectTemplate -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ObjectTemplate] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ObjectTemplate) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ObjectTemplate])
ShATermConvertible Domain Source #
Methods toShATermAux :: ATermTable -> Domain -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Domain] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Domain) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Domain])
ShATermConvertible PrimitiveDomain Source #
Methods toShATermAux :: ATermTable -> PrimitiveDomain -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [PrimitiveDomain] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, PrimitiveDomain) fromShATermList' :: Int -> ATermTable -> (ATermTable, [PrimitiveDomain])
ShATermConvertible RelVar Source #
Methods toShATermAux :: ATermTable -> RelVar -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RelVar] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RelVar) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RelVar])
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 PropKey Source #
Methods toShATermAux :: ATermTable -> PropKey -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [PropKey] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, PropKey) fromShATermList' :: Int -> ATermTable -> (ATermTable, [PropKey])
ShATermConvertible Key Source #
Methods toShATermAux :: ATermTable -> Key -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Key] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Key) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Key])
ShATermConvertible Transformation Source #
Methods toShATermAux :: ATermTable -> Transformation -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Transformation] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Transformation) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Transformation])
ShATermConvertible Pattern Source #
Methods toShATermAux :: ATermTable -> Pattern -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Pattern] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Pattern) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Pattern])
ShATermConvertible RelationSen Source #
Methods toShATermAux :: ATermTable -> RelationSen -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RelationSen] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RelationSen) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RelationSen])
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 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 RuleDef Source #
Methods toShATermAux :: ATermTable -> RuleDef -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RuleDef] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RuleDef) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RuleDef])