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

Description

Orphan instances

Generic Link Source # 
Instance details

Associated Types

type Rep Link :: Type -> Type

Methods

from :: Link -> Rep Link x

to :: Rep Link x -> Link

Generic Object Source # 
Instance details

Associated Types

type Rep Object :: Type -> Type

Methods

from :: Object -> Rep Object x

to :: Rep Object x -> Object

Generic Model Source # 
Instance details

Associated Types

type Rep Model :: Type -> Type

Methods

from :: Model -> Rep Model x

to :: Rep Model x -> Model

Generic MultiplicityElement Source # 
Instance details

Associated Types

type Rep MultiplicityElement :: Type -> Type

Generic Property Source # 
Instance details

Associated Types

type Rep Property :: Type -> Type

Methods

from :: Property -> Rep Property x

to :: Rep Property x -> Property

Generic TypedElement Source # 
Instance details

Associated Types

type Rep TypedElement :: Type -> Type

Generic Class Source # 
Instance details

Associated Types

type Rep Class :: Type -> Type

Methods

from :: Class -> Rep Class x

to :: Rep Class x -> Class

Generic Datatype Source # 
Instance details

Associated Types

type Rep Datatype :: Type -> Type

Methods

from :: Datatype -> Rep Datatype x

to :: Rep Datatype x -> Datatype

Generic DataTypeOrClass Source # 
Instance details

Associated Types

type Rep DataTypeOrClass :: Type -> Type

Generic Type Source # 
Instance details

Associated Types

type Rep Type :: Type -> Type

Methods

from :: Type -> Rep Type x

to :: Rep Type x -> Type

Generic TypeOrTypedElement Source # 
Instance details

Associated Types

type Rep TypeOrTypedElement :: Type -> Type

Generic NamedElement Source # 
Instance details

Associated Types

type Rep NamedElement :: Type -> Type

Generic Metamodel Source # 
Instance details

Associated Types

type Rep Metamodel :: Type -> Type

Methods

from :: Metamodel -> Rep Metamodel x

to :: Rep Metamodel x -> Metamodel

Generic Sen Source # 
Instance details

Associated Types

type Rep Sen :: Type -> Type

Methods

from :: Sen -> Rep Sen x

to :: Rep Sen x -> Sen

Generic ConstraintType Source # 
Instance details

Associated Types

type Rep ConstraintType :: Type -> Type

Generic MultConstr Source # 
Instance details

Associated Types

type Rep MultConstr :: Type -> Type

Methods

from :: MultConstr -> Rep MultConstr x

to :: Rep MultConstr x -> MultConstr

Generic Sign Source # 
Instance details

Associated Types

type Rep Sign :: Type -> Type

Methods

from :: Sign -> Rep Sign x

to :: Rep Sign x -> Sign

Generic LinkT Source # 
Instance details

Associated Types

type Rep LinkT :: Type -> Type

Methods

from :: LinkT -> Rep LinkT x

to :: Rep LinkT x -> LinkT

Generic PropertyT Source # 
Instance details

Associated Types

type Rep PropertyT :: Type -> Type

Methods

from :: PropertyT -> Rep PropertyT x

to :: Rep PropertyT x -> PropertyT

Generic TypeClass Source # 
Instance details

Associated Types

type Rep TypeClass :: Type -> Type

Methods

from :: TypeClass -> Rep TypeClass x

to :: Rep TypeClass x -> TypeClass

Generic TypeKind Source # 
Instance details

Associated Types

type Rep TypeKind :: Type -> Type

Methods

from :: TypeKind -> Rep TypeKind x

to :: Rep TypeKind x -> TypeKind

FromJSON Link Source # 
Instance details

Methods

parseJSON :: Value -> Parser Link

parseJSONList :: Value -> Parser [Link]

FromJSON Object Source # 
Instance details

Methods

parseJSON :: Value -> Parser Object

parseJSONList :: Value -> Parser [Object]

FromJSON Model Source # 
Instance details

Methods

parseJSON :: Value -> Parser Model

parseJSONList :: Value -> Parser [Model]

FromJSON MultiplicityElement Source # 
Instance details

Methods

parseJSON :: Value -> Parser MultiplicityElement

parseJSONList :: Value -> Parser [MultiplicityElement]

FromJSON Property Source # 
Instance details

Methods

parseJSON :: Value -> Parser Property

parseJSONList :: Value -> Parser [Property]

FromJSON TypedElement Source # 
Instance details

Methods

parseJSON :: Value -> Parser TypedElement

parseJSONList :: Value -> Parser [TypedElement]

FromJSON Class Source # 
Instance details

Methods

parseJSON :: Value -> Parser Class

parseJSONList :: Value -> Parser [Class]

FromJSON Datatype Source # 
Instance details

Methods

parseJSON :: Value -> Parser Datatype

parseJSONList :: Value -> Parser [Datatype]

FromJSON DataTypeOrClass Source # 
Instance details

Methods

parseJSON :: Value -> Parser DataTypeOrClass

parseJSONList :: Value -> Parser [DataTypeOrClass]

FromJSON Type Source # 
Instance details

Methods

parseJSON :: Value -> Parser Type

parseJSONList :: Value -> Parser [Type]

FromJSON TypeOrTypedElement Source # 
Instance details

Methods

parseJSON :: Value -> Parser TypeOrTypedElement

parseJSONList :: Value -> Parser [TypeOrTypedElement]

FromJSON NamedElement Source # 
Instance details

Methods

parseJSON :: Value -> Parser NamedElement

parseJSONList :: Value -> Parser [NamedElement]

FromJSON Metamodel Source # 
Instance details

Methods

parseJSON :: Value -> Parser Metamodel

parseJSONList :: Value -> Parser [Metamodel]

FromJSON Sen Source # 
Instance details

Methods

parseJSON :: Value -> Parser Sen

parseJSONList :: Value -> Parser [Sen]

FromJSON ConstraintType Source # 
Instance details

Methods

parseJSON :: Value -> Parser ConstraintType

parseJSONList :: Value -> Parser [ConstraintType]

FromJSON MultConstr Source # 
Instance details

Methods

parseJSON :: Value -> Parser MultConstr

parseJSONList :: Value -> Parser [MultConstr]

FromJSON Sign Source # 
Instance details

Methods

parseJSON :: Value -> Parser Sign

parseJSONList :: Value -> Parser [Sign]

FromJSON LinkT Source # 
Instance details

Methods

parseJSON :: Value -> Parser LinkT

parseJSONList :: Value -> Parser [LinkT]

FromJSON PropertyT Source # 
Instance details

Methods

parseJSON :: Value -> Parser PropertyT

parseJSONList :: Value -> Parser [PropertyT]

FromJSON TypeClass Source # 
Instance details

Methods

parseJSON :: Value -> Parser TypeClass

parseJSONList :: Value -> Parser [TypeClass]

FromJSON TypeKind Source # 
Instance details

Methods

parseJSON :: Value -> Parser TypeKind

parseJSONList :: Value -> Parser [TypeKind]

ToJSON Link Source # 
Instance details

Methods

toJSON :: Link -> Value

toEncoding :: Link -> Encoding

toJSONList :: [Link] -> Value

toEncodingList :: [Link] -> Encoding

ToJSON Object Source # 
Instance details

Methods

toJSON :: Object -> Value

toEncoding :: Object -> Encoding

toJSONList :: [Object] -> Value

toEncodingList :: [Object] -> Encoding

ToJSON Model Source # 
Instance details

Methods

toJSON :: Model -> Value

toEncoding :: Model -> Encoding

toJSONList :: [Model] -> Value

toEncodingList :: [Model] -> Encoding

ToJSON MultiplicityElement Source # 
Instance details

ToJSON Property Source # 
Instance details

Methods

toJSON :: Property -> Value

toEncoding :: Property -> Encoding

toJSONList :: [Property] -> Value

toEncodingList :: [Property] -> Encoding

ToJSON TypedElement Source # 
Instance details

Methods

toJSON :: TypedElement -> Value

toEncoding :: TypedElement -> Encoding

toJSONList :: [TypedElement] -> Value

toEncodingList :: [TypedElement] -> Encoding

ToJSON Class Source # 
Instance details

Methods

toJSON :: Class -> Value

toEncoding :: Class -> Encoding

toJSONList :: [Class] -> Value

toEncodingList :: [Class] -> Encoding

ToJSON Datatype Source # 
Instance details

Methods

toJSON :: Datatype -> Value

toEncoding :: Datatype -> Encoding

toJSONList :: [Datatype] -> Value

toEncodingList :: [Datatype] -> Encoding

ToJSON DataTypeOrClass Source # 
Instance details

Methods

toJSON :: DataTypeOrClass -> Value

toEncoding :: DataTypeOrClass -> Encoding

toJSONList :: [DataTypeOrClass] -> Value

toEncodingList :: [DataTypeOrClass] -> Encoding

ToJSON Type Source # 
Instance details

Methods

toJSON :: Type -> Value

toEncoding :: Type -> Encoding

toJSONList :: [Type] -> Value

toEncodingList :: [Type] -> Encoding

ToJSON TypeOrTypedElement Source # 
Instance details

ToJSON NamedElement Source # 
Instance details

Methods

toJSON :: NamedElement -> Value

toEncoding :: NamedElement -> Encoding

toJSONList :: [NamedElement] -> Value

toEncodingList :: [NamedElement] -> Encoding

ToJSON Metamodel Source # 
Instance details

Methods

toJSON :: Metamodel -> Value

toEncoding :: Metamodel -> Encoding

toJSONList :: [Metamodel] -> Value

toEncodingList :: [Metamodel] -> Encoding

ToJSON Sen Source # 
Instance details

Methods

toJSON :: Sen -> Value

toEncoding :: Sen -> Encoding

toJSONList :: [Sen] -> Value

toEncodingList :: [Sen] -> Encoding

ToJSON ConstraintType Source # 
Instance details

Methods

toJSON :: ConstraintType -> Value

toEncoding :: ConstraintType -> Encoding

toJSONList :: [ConstraintType] -> Value

toEncodingList :: [ConstraintType] -> Encoding

ToJSON MultConstr Source # 
Instance details

Methods

toJSON :: MultConstr -> Value

toEncoding :: MultConstr -> Encoding

toJSONList :: [MultConstr] -> Value

toEncodingList :: [MultConstr] -> Encoding

ToJSON Sign Source # 
Instance details

Methods

toJSON :: Sign -> Value

toEncoding :: Sign -> Encoding

toJSONList :: [Sign] -> Value

toEncodingList :: [Sign] -> Encoding

ToJSON LinkT Source # 
Instance details

Methods

toJSON :: LinkT -> Value

toEncoding :: LinkT -> Encoding

toJSONList :: [LinkT] -> Value

toEncodingList :: [LinkT] -> Encoding

ToJSON PropertyT Source # 
Instance details

Methods

toJSON :: PropertyT -> Value

toEncoding :: PropertyT -> Encoding

toJSONList :: [PropertyT] -> Value

toEncodingList :: [PropertyT] -> Encoding

ToJSON TypeClass Source # 
Instance details

Methods

toJSON :: TypeClass -> Value

toEncoding :: TypeClass -> Encoding

toJSONList :: [TypeClass] -> Value

toEncodingList :: [TypeClass] -> Encoding

ToJSON TypeKind Source # 
Instance details

Methods

toJSON :: TypeKind -> Value

toEncoding :: TypeKind -> Encoding

toJSONList :: [TypeKind] -> Value

toEncodingList :: [TypeKind] -> Encoding

ShATermConvertible Link Source # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
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 ConstraintType Source # 
Instance details

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 # 
Instance details

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 # 
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 LinkT Source # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

Methods

toShATermAux :: ATermTable -> TypeKind -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [TypeKind] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, TypeKind)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [TypeKind])