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

CSMOF.ATC_CSMOF

Contents

Description

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