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, Json for the type(s): Transformation Key PropKey Relation RelVar PrimitiveDomain Domain ObjectTemplate PropertyTemplate WhenWhere RelInvok OCL STRING RuleDef Sign Sen RelationSen Pattern

Orphan instances

Generic STRING Source #
Instance details Associated Types type Rep STRING :: Type -> Type Methods from :: STRING -> Rep STRING x to :: Rep STRING x -> STRING
Generic OCL Source #
Instance details Associated Types type Rep OCL :: Type -> Type Methods from :: OCL -> Rep OCL x to :: Rep OCL x -> OCL
Generic RelInvok Source #
Instance details Associated Types type Rep RelInvok :: Type -> Type Methods from :: RelInvok -> Rep RelInvok x to :: Rep RelInvok x -> RelInvok
Generic WhenWhere Source #
Instance details Associated Types type Rep WhenWhere :: Type -> Type Methods from :: WhenWhere -> Rep WhenWhere x to :: Rep WhenWhere x -> WhenWhere
Generic PropertyTemplate Source #
Instance details Associated Types type Rep PropertyTemplate :: Type -> Type Methods from :: PropertyTemplate -> Rep PropertyTemplate x to :: Rep PropertyTemplate x -> PropertyTemplate
Generic ObjectTemplate Source #
Instance details Associated Types type Rep ObjectTemplate :: Type -> Type Methods from :: ObjectTemplate -> Rep ObjectTemplate x to :: Rep ObjectTemplate x -> ObjectTemplate
Generic Domain Source #
Instance details Associated Types type Rep Domain :: Type -> Type Methods from :: Domain -> Rep Domain x to :: Rep Domain x -> Domain
Generic PrimitiveDomain Source #
Instance details Associated Types type Rep PrimitiveDomain :: Type -> Type Methods from :: PrimitiveDomain -> Rep PrimitiveDomain x to :: Rep PrimitiveDomain x -> PrimitiveDomain
Generic RelVar Source #
Instance details Associated Types type Rep RelVar :: Type -> Type Methods from :: RelVar -> Rep RelVar x to :: Rep RelVar x -> RelVar
Generic Relation Source #
Instance details Associated Types type Rep Relation :: Type -> Type Methods from :: Relation -> Rep Relation x to :: Rep Relation x -> Relation
Generic PropKey Source #
Instance details Associated Types type Rep PropKey :: Type -> Type Methods from :: PropKey -> Rep PropKey x to :: Rep PropKey x -> PropKey
Generic Key Source #
Instance details Associated Types type Rep Key :: Type -> Type Methods from :: Key -> Rep Key x to :: Rep Key x -> Key
Generic Transformation Source #
Instance details Associated Types type Rep Transformation :: Type -> Type Methods from :: Transformation -> Rep Transformation x to :: Rep Transformation x -> Transformation
Generic Pattern Source #
Instance details Associated Types type Rep Pattern :: Type -> Type Methods from :: Pattern -> Rep Pattern x to :: Rep Pattern x -> Pattern
Generic RelationSen Source #
Instance details Associated Types type Rep RelationSen :: Type -> Type Methods from :: RelationSen -> Rep RelationSen x to :: Rep RelationSen x -> RelationSen
Generic Sen Source #
Instance details Associated Types type Rep Sen :: Type -> Type Methods from :: Sen -> Rep Sen x to :: Rep Sen x -> Sen
Generic Sign Source #
Instance details Associated Types type Rep Sign :: Type -> Type Methods from :: Sign -> Rep Sign x to :: Rep Sign x -> Sign
Generic RuleDef Source #
Instance details Associated Types type Rep RuleDef :: Type -> Type Methods from :: RuleDef -> Rep RuleDef x to :: Rep RuleDef x -> RuleDef
FromJSON STRING Source #
Instance details Methods parseJSON :: Value -> Parser STRING parseJSONList :: Value -> Parser [STRING]
FromJSON OCL Source #
Instance details Methods parseJSON :: Value -> Parser OCL parseJSONList :: Value -> Parser [OCL]
FromJSON RelInvok Source #
Instance details Methods parseJSON :: Value -> Parser RelInvok parseJSONList :: Value -> Parser [RelInvok]
FromJSON WhenWhere Source #
Instance details Methods parseJSON :: Value -> Parser WhenWhere parseJSONList :: Value -> Parser [WhenWhere]
FromJSON PropertyTemplate Source #
Instance details Methods parseJSON :: Value -> Parser PropertyTemplate parseJSONList :: Value -> Parser [PropertyTemplate]
FromJSON ObjectTemplate Source #
Instance details Methods parseJSON :: Value -> Parser ObjectTemplate parseJSONList :: Value -> Parser [ObjectTemplate]
FromJSON Domain Source #
Instance details Methods parseJSON :: Value -> Parser Domain parseJSONList :: Value -> Parser [Domain]
FromJSON PrimitiveDomain Source #
Instance details Methods parseJSON :: Value -> Parser PrimitiveDomain parseJSONList :: Value -> Parser [PrimitiveDomain]
FromJSON RelVar Source #
Instance details Methods parseJSON :: Value -> Parser RelVar parseJSONList :: Value -> Parser [RelVar]
FromJSON Relation Source #
Instance details Methods parseJSON :: Value -> Parser Relation parseJSONList :: Value -> Parser [Relation]
FromJSON PropKey Source #
Instance details Methods parseJSON :: Value -> Parser PropKey parseJSONList :: Value -> Parser [PropKey]
FromJSON Key Source #
Instance details Methods parseJSON :: Value -> Parser Key parseJSONList :: Value -> Parser [Key]
FromJSON Transformation Source #
Instance details Methods parseJSON :: Value -> Parser Transformation parseJSONList :: Value -> Parser [Transformation]
FromJSON Pattern Source #
Instance details Methods parseJSON :: Value -> Parser Pattern parseJSONList :: Value -> Parser [Pattern]
FromJSON RelationSen Source #
Instance details Methods parseJSON :: Value -> Parser RelationSen parseJSONList :: Value -> Parser [RelationSen]
FromJSON Sen Source #
Instance details Methods parseJSON :: Value -> Parser Sen parseJSONList :: Value -> Parser [Sen]
FromJSON Sign Source #
Instance details Methods parseJSON :: Value -> Parser Sign parseJSONList :: Value -> Parser [Sign]
FromJSON RuleDef Source #
Instance details Methods parseJSON :: Value -> Parser RuleDef parseJSONList :: Value -> Parser [RuleDef]
ToJSON STRING Source #
Instance details Methods toJSON :: STRING -> Value toEncoding :: STRING -> Encoding toJSONList :: [STRING] -> Value toEncodingList :: [STRING] -> Encoding
ToJSON OCL Source #
Instance details Methods toJSON :: OCL -> Value toEncoding :: OCL -> Encoding toJSONList :: [OCL] -> Value toEncodingList :: [OCL] -> Encoding
ToJSON RelInvok Source #
Instance details Methods toJSON :: RelInvok -> Value toEncoding :: RelInvok -> Encoding toJSONList :: [RelInvok] -> Value toEncodingList :: [RelInvok] -> Encoding
ToJSON WhenWhere Source #
Instance details Methods toJSON :: WhenWhere -> Value toEncoding :: WhenWhere -> Encoding toJSONList :: [WhenWhere] -> Value toEncodingList :: [WhenWhere] -> Encoding
ToJSON PropertyTemplate Source #
Instance details Methods toJSON :: PropertyTemplate -> Value toEncoding :: PropertyTemplate -> Encoding toJSONList :: [PropertyTemplate] -> Value toEncodingList :: [PropertyTemplate] -> Encoding
ToJSON ObjectTemplate Source #
Instance details Methods toJSON :: ObjectTemplate -> Value toEncoding :: ObjectTemplate -> Encoding toJSONList :: [ObjectTemplate] -> Value toEncodingList :: [ObjectTemplate] -> Encoding
ToJSON Domain Source #
Instance details Methods toJSON :: Domain -> Value toEncoding :: Domain -> Encoding toJSONList :: [Domain] -> Value toEncodingList :: [Domain] -> Encoding
ToJSON PrimitiveDomain Source #
Instance details Methods toJSON :: PrimitiveDomain -> Value toEncoding :: PrimitiveDomain -> Encoding toJSONList :: [PrimitiveDomain] -> Value toEncodingList :: [PrimitiveDomain] -> Encoding
ToJSON RelVar Source #
Instance details Methods toJSON :: RelVar -> Value toEncoding :: RelVar -> Encoding toJSONList :: [RelVar] -> Value toEncodingList :: [RelVar] -> Encoding
ToJSON Relation Source #
Instance details Methods toJSON :: Relation -> Value toEncoding :: Relation -> Encoding toJSONList :: [Relation] -> Value toEncodingList :: [Relation] -> Encoding
ToJSON PropKey Source #
Instance details Methods toJSON :: PropKey -> Value toEncoding :: PropKey -> Encoding toJSONList :: [PropKey] -> Value toEncodingList :: [PropKey] -> Encoding
ToJSON Key Source #
Instance details Methods toJSON :: Key -> Value toEncoding :: Key -> Encoding toJSONList :: [Key] -> Value toEncodingList :: [Key] -> Encoding
ToJSON Transformation Source #
Instance details Methods toJSON :: Transformation -> Value toEncoding :: Transformation -> Encoding toJSONList :: [Transformation] -> Value toEncodingList :: [Transformation] -> Encoding
ToJSON Pattern Source #
Instance details Methods toJSON :: Pattern -> Value toEncoding :: Pattern -> Encoding toJSONList :: [Pattern] -> Value toEncodingList :: [Pattern] -> Encoding
ToJSON RelationSen Source #
Instance details Methods toJSON :: RelationSen -> Value toEncoding :: RelationSen -> Encoding toJSONList :: [RelationSen] -> Value toEncodingList :: [RelationSen] -> Encoding
ToJSON Sen Source #
Instance details Methods toJSON :: Sen -> Value toEncoding :: Sen -> Encoding toJSONList :: [Sen] -> Value toEncodingList :: [Sen] -> Encoding
ToJSON Sign Source #
Instance details Methods toJSON :: Sign -> Value toEncoding :: Sign -> Encoding toJSONList :: [Sign] -> Value toEncodingList :: [Sign] -> Encoding
ToJSON RuleDef Source #
Instance details Methods toJSON :: RuleDef -> Value toEncoding :: RuleDef -> Encoding toJSONList :: [RuleDef] -> Value toEncodingList :: [RuleDef] -> Encoding
ShATermConvertible STRING Source #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details Methods toShATermAux :: ATermTable -> RuleDef -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RuleDef] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RuleDef) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RuleDef])