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, Json 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

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 Methods from :: MultiplicityElement -> Rep MultiplicityElement x to :: Rep MultiplicityElement x -> MultiplicityElement
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 Methods from :: TypedElement -> Rep TypedElement x to :: Rep TypedElement x -> TypedElement
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 Methods from :: DataTypeOrClass -> Rep DataTypeOrClass x to :: Rep DataTypeOrClass x -> DataTypeOrClass
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 Methods from :: TypeOrTypedElement -> Rep TypeOrTypedElement x to :: Rep TypeOrTypedElement x -> TypeOrTypedElement
Generic NamedElement Source #
Instance details Associated Types type Rep NamedElement :: Type -> Type Methods from :: NamedElement -> Rep NamedElement x to :: Rep NamedElement x -> NamedElement
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 Methods from :: ConstraintType -> Rep ConstraintType x to :: Rep ConstraintType x -> ConstraintType
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 Methods toJSON :: MultiplicityElement -> Value toEncoding :: MultiplicityElement -> Encoding toJSONList :: [MultiplicityElement] -> Value toEncodingList :: [MultiplicityElement] -> Encoding
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 Methods toJSON :: TypeOrTypedElement -> Value toEncoding :: TypeOrTypedElement -> Encoding toJSONList :: [TypeOrTypedElement] -> Value toEncodingList :: [TypeOrTypedElement] -> Encoding
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])