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

CSMOF.ATC_CSMOF

Contents

Orphan instances

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible for the type(s): Metamodel NamedElement TypeOrTypedElement Type DataTypeOrClass Datatype Class TypedElement Property MultiplicityElement Model Object Link TypeKind TypeClass PropertyT LinkT Sign MultConstr ConstraintType Sen

Orphan instances

ShATermConvertible Link Source #
Methods toShATermAux :: ATermTable -> Link -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Link] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Link) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Link])
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 Model Source #
Methods toShATermAux :: ATermTable -> Model -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Model] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Model) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Model])
ShATermConvertible MultiplicityElement Source #
Methods toShATermAux :: ATermTable -> MultiplicityElement -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [MultiplicityElement] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, MultiplicityElement) fromShATermList' :: Int -> ATermTable -> (ATermTable, [MultiplicityElement])
ShATermConvertible Property Source #
Methods toShATermAux :: ATermTable -> Property -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Property] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Property) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Property])
ShATermConvertible TypedElement Source #
Methods toShATermAux :: ATermTable -> TypedElement -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TypedElement] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TypedElement) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TypedElement])
ShATermConvertible Class Source #
Methods toShATermAux :: ATermTable -> Class -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Class] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Class) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Class])
ShATermConvertible Datatype Source #
Methods toShATermAux :: ATermTable -> Datatype -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Datatype] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Datatype) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Datatype])
ShATermConvertible DataTypeOrClass Source #
Methods toShATermAux :: ATermTable -> DataTypeOrClass -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [DataTypeOrClass] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, DataTypeOrClass) fromShATermList' :: Int -> ATermTable -> (ATermTable, [DataTypeOrClass])
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 TypeOrTypedElement Source #
Methods toShATermAux :: ATermTable -> TypeOrTypedElement -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TypeOrTypedElement] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TypeOrTypedElement) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TypeOrTypedElement])
ShATermConvertible NamedElement Source #
Methods toShATermAux :: ATermTable -> NamedElement -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [NamedElement] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, NamedElement) fromShATermList' :: Int -> ATermTable -> (ATermTable, [NamedElement])
ShATermConvertible Metamodel Source #
Methods toShATermAux :: ATermTable -> Metamodel -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Metamodel] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Metamodel) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Metamodel])
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 ConstraintType Source #
Methods toShATermAux :: ATermTable -> ConstraintType -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ConstraintType] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ConstraintType) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ConstraintType])
ShATermConvertible MultConstr Source #
Methods toShATermAux :: ATermTable -> MultConstr -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [MultConstr] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, MultConstr) fromShATermList' :: Int -> ATermTable -> (ATermTable, [MultConstr])
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 LinkT Source #
Methods toShATermAux :: ATermTable -> LinkT -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [LinkT] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, LinkT) fromShATermList' :: Int -> ATermTable -> (ATermTable, [LinkT])
ShATermConvertible PropertyT Source #
Methods toShATermAux :: ATermTable -> PropertyT -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [PropertyT] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, PropertyT) fromShATermList' :: Int -> ATermTable -> (ATermTable, [PropertyT])
ShATermConvertible TypeClass Source #
Methods toShATermAux :: ATermTable -> TypeClass -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TypeClass] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TypeClass) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TypeClass])
ShATermConvertible TypeKind Source #
Methods toShATermAux :: ATermTable -> TypeKind -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TypeKind] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TypeKind) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TypeKind])