Copyright	(c) Daniel Calegari Universidad de la Republica Uruguay 2013
License	GPLv2 or higher, see LICENSE.txt
Maintainer	dcalegar@fing.edu.uy
Stability	provisional
Portability	portable
Safe Haskell	Safe

CSMOF.As

Description

Documentation

data Metamodel Source #

Constructors

Metamodel
Fields metamodelName :: String element :: [NamedElement] model :: [Model]

Instances

Instances details

Eq Metamodel Source #
Instance details Defined in CSMOF.As Methods (==) :: Metamodel -> Metamodel -> Bool (/=) :: Metamodel -> Metamodel -> Bool
Data Metamodel Source #
Instance details Defined in CSMOF.As Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Metamodel -> c Metamodel gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Metamodel toConstr :: Metamodel -> Constr dataTypeOf :: Metamodel -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Metamodel) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Metamodel) gmapT :: (forall b. Data b => b -> b) -> Metamodel -> Metamodel gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Metamodel -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Metamodel -> r gmapQ :: (forall d. Data d => d -> u) -> Metamodel -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Metamodel -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Metamodel -> m Metamodel gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Metamodel -> m Metamodel gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Metamodel -> m Metamodel
Ord Metamodel Source #
Instance details Defined in CSMOF.As Methods compare :: Metamodel -> Metamodel -> Ordering (<) :: Metamodel -> Metamodel -> Bool (<=) :: Metamodel -> Metamodel -> Bool (>) :: Metamodel -> Metamodel -> Bool (>=) :: Metamodel -> Metamodel -> Bool max :: Metamodel -> Metamodel -> Metamodel min :: Metamodel -> Metamodel -> Metamodel
Show Metamodel
Instance details Defined in CSMOF.Print Methods showsPrec :: Int -> Metamodel -> ShowS show :: Metamodel -> String showList :: [Metamodel] -> ShowS
Generic Metamodel
Instance details Defined in CSMOF.ATC_CSMOF Associated Types type Rep Metamodel :: Type -> Type Methods from :: Metamodel -> Rep Metamodel x to :: Rep Metamodel x -> Metamodel
Semigroup Metamodel
Instance details Defined in CSMOF.Logic_CSMOF Methods (<>) :: Metamodel -> Metamodel -> Metamodel # sconcat :: NonEmpty Metamodel -> Metamodel stimes :: Integral b => b -> Metamodel -> Metamodel
Monoid Metamodel
Instance details Defined in CSMOF.Logic_CSMOF Methods mempty :: Metamodel mappend :: Metamodel -> Metamodel -> Metamodel mconcat :: [Metamodel] -> Metamodel
GetRange Metamodel Source #
Instance details Defined in CSMOF.As Methods getRange :: Metamodel -> Range Source # rangeSpan :: Metamodel -> [Pos] Source #
FromJSON Metamodel
Instance details Defined in CSMOF.ATC_CSMOF Methods parseJSON :: Value -> Parser Metamodel parseJSONList :: Value -> Parser [Metamodel]
ToJSON Metamodel
Instance details Defined in CSMOF.ATC_CSMOF Methods toJSON :: Metamodel -> Value toEncoding :: Metamodel -> Encoding toJSONList :: [Metamodel] -> Value toEncodingList :: [Metamodel] -> Encoding
ShATermConvertible Metamodel
Instance details Defined in CSMOF.ATC_CSMOF Methods toShATermAux :: ATermTable -> Metamodel -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Metamodel] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Metamodel) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Metamodel])
Pretty Metamodel Source #
Instance details Defined in CSMOF.Print Methods pretty :: Metamodel -> Doc Source # pretties :: [Metamodel] -> Doc Source #
Syntax CSMOF Metamodel () () () Source #
Instance details Defined in CSMOF.Logic_CSMOF Methods parsersAndPrinters :: CSMOF -> Map String (PrefixMap -> AParser st Metamodel, Metamodel -> Doc) Source # parse_basic_spec :: CSMOF -> Maybe (PrefixMap -> AParser st Metamodel) Source # parseSingleSymbItem :: CSMOF -> Maybe (PrefixMap -> AParser st ()) Source # parse_symb_items :: CSMOF -> Maybe (PrefixMap -> AParser st ()) Source # parse_symb_map_items :: CSMOF -> Maybe (PrefixMap -> AParser st ()) Source # toItem :: CSMOF -> Metamodel -> Item Source # symb_items_name :: CSMOF -> () -> [String] Source #
StaticAnalysis CSMOF Metamodel Sen () () Sign Morphism () () Source #
Instance details Defined in CSMOF.Logic_CSMOF Methods basic_analysis :: CSMOF -> Maybe ((Metamodel, Sign, GlobalAnnos) -> Result (Metamodel, ExtSign Sign (), [Named Sen])) Source # sen_analysis :: CSMOF -> Maybe ((Metamodel, Sign, Sen) -> Result Sen) Source # extBasicAnalysis :: CSMOF -> IRI -> LibName -> Metamodel -> Sign -> GlobalAnnos -> Result (Metamodel, ExtSign Sign (), [Named Sen]) Source # stat_symb_map_items :: CSMOF -> Sign -> Maybe Sign -> [()] -> Result (EndoMap ()) Source # stat_symb_items :: CSMOF -> Sign -> [()] -> Result [()] Source # convertTheory :: CSMOF -> Maybe ((Sign, [Named Sen]) -> Metamodel) Source # ensures_amalgamability :: CSMOF -> ([CASLAmalgOpt], Gr Sign (Int, Morphism), [(Int, Morphism)], Gr String String) -> Result Amalgamates Source # quotient_term_algebra :: CSMOF -> Morphism -> [Named Sen] -> Result (Sign, [Named Sen]) Source # signature_colimit :: CSMOF -> Gr Sign (Int, Morphism) -> Result (Sign, Map Int Morphism) Source # qualify :: CSMOF -> SIMPLE_ID -> LibName -> Morphism -> Sign -> Result (Morphism, [Named Sen]) Source # symbol_to_raw :: CSMOF -> () -> () Source # id_to_raw :: CSMOF -> Id -> () Source # matches :: CSMOF -> () -> () -> Bool Source # empty_signature :: CSMOF -> Sign Source # add_symb_to_sign :: CSMOF -> Sign -> () -> Result Sign Source # signature_union :: CSMOF -> Sign -> Sign -> Result Sign Source # signatureDiff :: CSMOF -> Sign -> Sign -> Result Sign Source # intersection :: CSMOF -> Sign -> Sign -> Result Sign Source # final_union :: CSMOF -> Sign -> Sign -> Result Sign Source # morphism_union :: CSMOF -> Morphism -> Morphism -> Result Morphism Source # is_subsig :: CSMOF -> Sign -> Sign -> Bool Source # subsig_inclusion :: CSMOF -> Sign -> Sign -> Result Morphism Source # generated_sign :: CSMOF -> Set () -> Sign -> Result Morphism Source # cogenerated_sign :: CSMOF -> Set () -> Sign -> Result Morphism Source # induced_from_morphism :: CSMOF -> EndoMap () -> Sign -> Result Morphism Source # induced_from_to_morphism :: CSMOF -> EndoMap () -> ExtSign Sign () -> ExtSign Sign () -> Result Morphism Source # is_transportable :: CSMOF -> Morphism -> Bool Source # is_injective :: CSMOF -> Morphism -> Bool Source # theory_to_taxonomy :: CSMOF -> TaxoGraphKind -> MMiSSOntology -> Sign -> [Named Sen] -> Result MMiSSOntology Source # corresp2th :: CSMOF -> String -> Bool -> Sign -> Sign -> [()] -> [()] -> EndoMap () -> EndoMap () -> REL_REF -> Result (Sign, [Named Sen], Sign, Sign, EndoMap (), EndoMap ()) Source # equiv2cospan :: CSMOF -> Sign -> Sign -> [()] -> [()] -> Result (Sign, Sign, Sign, EndoMap (), EndoMap ()) Source # extract_module :: CSMOF -> [IRI] -> (Sign, [Named Sen]) -> Result (Sign, [Named Sen]) Source #
Logic CSMOF () Metamodel Sen () () Sign Morphism () () () Source #
Instance details Defined in CSMOF.Logic_CSMOF Methods parse_basic_sen :: CSMOF -> Maybe (Metamodel -> AParser st Sen) Source # stability :: CSMOF -> Stability Source # data_logic :: CSMOF -> Maybe AnyLogic Source # top_sublogic :: CSMOF -> () Source # all_sublogics :: CSMOF -> [()] Source # bottomSublogic :: CSMOF -> Maybe () Source # sublogicDimensions :: CSMOF -> [[()]] Source # parseSublogic :: CSMOF -> String -> Maybe () Source # proj_sublogic_epsilon :: CSMOF -> () -> Sign -> Morphism Source # provers :: CSMOF -> [Prover Sign Sen Morphism () ()] Source # default_prover :: CSMOF -> String Source # cons_checkers :: CSMOF -> [ConsChecker Sign Sen () Morphism ()] Source # conservativityCheck :: CSMOF -> [ConservativityChecker Sign Sen Morphism] Source # empty_proof_tree :: CSMOF -> () Source # syntaxTable :: CSMOF -> Sign -> Maybe SyntaxTable Source # omdoc_metatheory :: CSMOF -> Maybe OMCD Source # export_symToOmdoc :: CSMOF -> NameMap () -> () -> String -> Result TCElement Source # export_senToOmdoc :: CSMOF -> NameMap () -> Sen -> Result TCorOMElement Source # export_theoryToOmdoc :: CSMOF -> SigMap () -> Sign -> [Named Sen] -> Result [TCElement] Source # omdocToSym :: CSMOF -> SigMapI () -> TCElement -> String -> Result () Source # omdocToSen :: CSMOF -> SigMapI () -> TCElement -> String -> Result (Maybe (Named Sen)) Source # addOMadtToTheory :: CSMOF -> SigMapI () -> (Sign, [Named Sen]) -> [[OmdADT]] -> Result (Sign, [Named Sen]) Source # addOmdocToTheory :: CSMOF -> SigMapI () -> (Sign, [Named Sen]) -> [TCElement] -> Result (Sign, [Named Sen]) Source # sublogicOfTheo :: CSMOF -> (Sign, [Sen]) -> () Source #
Comorphism CSMOF2CASL CSMOF () Metamodel Sen () () Sign Morphism () () () CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree Source #
Instance details Defined in Comorphisms.CSMOF2CASL Methods sourceLogic :: CSMOF2CASL -> CSMOF Source # sourceSublogic :: CSMOF2CASL -> () Source # sourceSublogicLossy :: CSMOF2CASL -> () Source # minSourceTheory :: CSMOF2CASL -> Maybe (LibName, String) Source # targetLogic :: CSMOF2CASL -> CASL Source # mapSublogic :: CSMOF2CASL -> () -> Maybe CASL_Sublogics Source # map_theory :: CSMOF2CASL -> (Sign, [Named Sen]) -> Result (CASLSign, [Named CASLFORMULA]) Source # mapMarkedTheory :: CSMOF2CASL -> (Sign, [Named Sen]) -> Result (CASLSign, [Named CASLFORMULA]) Source # map_morphism :: CSMOF2CASL -> Morphism -> Result CASLMor Source # map_sentence :: CSMOF2CASL -> Sign -> Sen -> Result CASLFORMULA Source # map_symbol :: CSMOF2CASL -> Sign -> () -> Set Symbol Source # extractModel :: CSMOF2CASL -> Sign -> ProofTree -> Result (Sign, [Named Sen]) Source # is_model_transportable :: CSMOF2CASL -> Bool Source # has_model_expansion :: CSMOF2CASL -> Bool Source # is_weakly_amalgamable :: CSMOF2CASL -> Bool Source # constituents :: CSMOF2CASL -> [String] Source # isInclusionComorphism :: CSMOF2CASL -> Bool Source # rps :: CSMOF2CASL -> Bool Source # eps :: CSMOF2CASL -> Bool Source # isGTC :: CSMOF2CASL -> Bool Source #
type Rep Metamodel
Instance details Defined in CSMOF.ATC_CSMOF type Rep Metamodel = D1 ('MetaData "Metamodel" "CSMOF.As" "main" 'False) (C1 ('MetaCons "Metamodel" 'PrefixI 'True) (S1 ('MetaSel ('Just "metamodelName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :: (S1 ('MetaSel ('Just "element") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [NamedElement]) :: S1 ('MetaSel ('Just "model") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Model]))))

data NamedElement Source #

Constructors

NamedElement
Fields namedElementName :: String namedElementOwner :: Metamodel namedElementSubClasses :: TypeOrTypedElement

Instances

Instances details

Eq NamedElement Source #
Instance details Defined in CSMOF.As Methods (==) :: NamedElement -> NamedElement -> Bool (/=) :: NamedElement -> NamedElement -> Bool
Data NamedElement Source #
Instance details Defined in CSMOF.As Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NamedElement -> c NamedElement gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NamedElement toConstr :: NamedElement -> Constr dataTypeOf :: NamedElement -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c NamedElement) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NamedElement) gmapT :: (forall b. Data b => b -> b) -> NamedElement -> NamedElement gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NamedElement -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NamedElement -> r gmapQ :: (forall d. Data d => d -> u) -> NamedElement -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> NamedElement -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> NamedElement -> m NamedElement gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NamedElement -> m NamedElement gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NamedElement -> m NamedElement
Ord NamedElement Source #
Instance details Defined in CSMOF.As Methods compare :: NamedElement -> NamedElement -> Ordering (<) :: NamedElement -> NamedElement -> Bool (<=) :: NamedElement -> NamedElement -> Bool (>) :: NamedElement -> NamedElement -> Bool (>=) :: NamedElement -> NamedElement -> Bool max :: NamedElement -> NamedElement -> NamedElement min :: NamedElement -> NamedElement -> NamedElement
Show NamedElement
Instance details Defined in CSMOF.Print Methods showsPrec :: Int -> NamedElement -> ShowS show :: NamedElement -> String showList :: [NamedElement] -> ShowS
Generic NamedElement
Instance details Defined in CSMOF.ATC_CSMOF Associated Types type Rep NamedElement :: Type -> Type Methods from :: NamedElement -> Rep NamedElement x to :: Rep NamedElement x -> NamedElement
GetRange NamedElement Source #
Instance details Defined in CSMOF.As Methods getRange :: NamedElement -> Range Source # rangeSpan :: NamedElement -> [Pos] Source #
FromJSON NamedElement
Instance details Defined in CSMOF.ATC_CSMOF Methods parseJSON :: Value -> Parser NamedElement parseJSONList :: Value -> Parser [NamedElement]
ToJSON NamedElement
Instance details Defined in CSMOF.ATC_CSMOF Methods toJSON :: NamedElement -> Value toEncoding :: NamedElement -> Encoding toJSONList :: [NamedElement] -> Value toEncodingList :: [NamedElement] -> Encoding
ShATermConvertible NamedElement
Instance details Defined in CSMOF.ATC_CSMOF Methods toShATermAux :: ATermTable -> NamedElement -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [NamedElement] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, NamedElement) fromShATermList' :: Int -> ATermTable -> (ATermTable, [NamedElement])
Pretty NamedElement Source #
Instance details Defined in CSMOF.Print Methods pretty :: NamedElement -> Doc Source # pretties :: [NamedElement] -> Doc Source #
type Rep NamedElement
Instance details Defined in CSMOF.ATC_CSMOF type Rep NamedElement = D1 ('MetaData "NamedElement" "CSMOF.As" "main" 'False) (C1 ('MetaCons "NamedElement" 'PrefixI 'True) (S1 ('MetaSel ('Just "namedElementName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :: (S1 ('MetaSel ('Just "namedElementOwner") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Metamodel) :: S1 ('MetaSel ('Just "namedElementSubClasses") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeOrTypedElement))))

data TypeOrTypedElement Source #

Constructors

TType
Fields getType :: Type
TTypedElement
Fields getTypeElement :: TypedElement

Instances

Instances details

Eq TypeOrTypedElement Source #
Instance details Defined in CSMOF.As Methods (==) :: TypeOrTypedElement -> TypeOrTypedElement -> Bool (/=) :: TypeOrTypedElement -> TypeOrTypedElement -> Bool
Data TypeOrTypedElement Source #
Instance details Defined in CSMOF.As Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TypeOrTypedElement -> c TypeOrTypedElement gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TypeOrTypedElement toConstr :: TypeOrTypedElement -> Constr dataTypeOf :: TypeOrTypedElement -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TypeOrTypedElement) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TypeOrTypedElement) gmapT :: (forall b. Data b => b -> b) -> TypeOrTypedElement -> TypeOrTypedElement gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TypeOrTypedElement -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TypeOrTypedElement -> r gmapQ :: (forall d. Data d => d -> u) -> TypeOrTypedElement -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> TypeOrTypedElement -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> TypeOrTypedElement -> m TypeOrTypedElement gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeOrTypedElement -> m TypeOrTypedElement gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeOrTypedElement -> m TypeOrTypedElement
Ord TypeOrTypedElement Source #
Instance details Defined in CSMOF.As Methods compare :: TypeOrTypedElement -> TypeOrTypedElement -> Ordering (<) :: TypeOrTypedElement -> TypeOrTypedElement -> Bool (<=) :: TypeOrTypedElement -> TypeOrTypedElement -> Bool (>) :: TypeOrTypedElement -> TypeOrTypedElement -> Bool (>=) :: TypeOrTypedElement -> TypeOrTypedElement -> Bool max :: TypeOrTypedElement -> TypeOrTypedElement -> TypeOrTypedElement min :: TypeOrTypedElement -> TypeOrTypedElement -> TypeOrTypedElement
Show TypeOrTypedElement
Instance details Defined in CSMOF.Print Methods showsPrec :: Int -> TypeOrTypedElement -> ShowS show :: TypeOrTypedElement -> String showList :: [TypeOrTypedElement] -> ShowS
Generic TypeOrTypedElement
Instance details Defined in CSMOF.ATC_CSMOF Associated Types type Rep TypeOrTypedElement :: Type -> Type Methods from :: TypeOrTypedElement -> Rep TypeOrTypedElement x to :: Rep TypeOrTypedElement x -> TypeOrTypedElement
GetRange TypeOrTypedElement Source #
Instance details Defined in CSMOF.As Methods getRange :: TypeOrTypedElement -> Range Source # rangeSpan :: TypeOrTypedElement -> [Pos] Source #
FromJSON TypeOrTypedElement
Instance details Defined in CSMOF.ATC_CSMOF Methods parseJSON :: Value -> Parser TypeOrTypedElement parseJSONList :: Value -> Parser [TypeOrTypedElement]
ToJSON TypeOrTypedElement
Instance details Defined in CSMOF.ATC_CSMOF Methods toJSON :: TypeOrTypedElement -> Value toEncoding :: TypeOrTypedElement -> Encoding toJSONList :: [TypeOrTypedElement] -> Value toEncodingList :: [TypeOrTypedElement] -> Encoding
ShATermConvertible TypeOrTypedElement
Instance details Defined in CSMOF.ATC_CSMOF Methods toShATermAux :: ATermTable -> TypeOrTypedElement -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TypeOrTypedElement] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TypeOrTypedElement) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TypeOrTypedElement])
Pretty TypeOrTypedElement Source #
Instance details Defined in CSMOF.Print Methods pretty :: TypeOrTypedElement -> Doc Source # pretties :: [TypeOrTypedElement] -> Doc Source #
type Rep TypeOrTypedElement
Instance details Defined in CSMOF.ATC_CSMOF type Rep TypeOrTypedElement = D1 ('MetaData "TypeOrTypedElement" "CSMOF.As" "main" 'False) (C1 ('MetaCons "TType" 'PrefixI 'True) (S1 ('MetaSel ('Just "getType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)) :+: C1 ('MetaCons "TTypedElement" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTypeElement") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypedElement)))

data Type Source #

Constructors

Type
Fields typeSuper :: NamedElement typeSubClasses :: DataTypeOrClass

Instances

Instances details

Eq Type Source #
Instance details Defined in CSMOF.As Methods (==) :: Type -> Type -> Bool (/=) :: Type -> Type -> Bool
Data Type Source #
Instance details Defined in CSMOF.As Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Type -> c Type gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Type toConstr :: Type -> Constr dataTypeOf :: Type -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Type) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Type) gmapT :: (forall b. Data b => b -> b) -> Type -> Type gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Type -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Type -> r gmapQ :: (forall d. Data d => d -> u) -> Type -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Type -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Type -> m Type gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Type -> m Type gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Type -> m Type
Ord Type Source #
Instance details Defined in CSMOF.As Methods compare :: Type -> Type -> Ordering (<) :: Type -> Type -> Bool (<=) :: Type -> Type -> Bool (>) :: Type -> Type -> Bool (>=) :: Type -> Type -> Bool max :: Type -> Type -> Type min :: Type -> Type -> Type
Show Type
Instance details Defined in CSMOF.Print Methods showsPrec :: Int -> Type -> ShowS show :: Type -> String showList :: [Type] -> ShowS
Generic Type
Instance details Defined in CSMOF.ATC_CSMOF Associated Types type Rep Type :: Type -> Type Methods from :: Type -> Rep Type x to :: Rep Type x -> Type
GetRange Type Source #
Instance details Defined in CSMOF.As Methods getRange :: Type -> Range Source # rangeSpan :: Type -> [Pos] Source #
FromJSON Type
Instance details Defined in CSMOF.ATC_CSMOF Methods parseJSON :: Value -> Parser Type parseJSONList :: Value -> Parser [Type]
ToJSON Type
Instance details Defined in CSMOF.ATC_CSMOF Methods toJSON :: Type -> Value toEncoding :: Type -> Encoding toJSONList :: [Type] -> Value toEncodingList :: [Type] -> Encoding
ShATermConvertible Type
Instance details Defined in CSMOF.ATC_CSMOF Methods toShATermAux :: ATermTable -> Type -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Type] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Type) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Type])
Pretty Type Source #
Instance details Defined in CSMOF.Print Methods pretty :: Type -> Doc Source # pretties :: [Type] -> Doc Source #
type Rep Type
Instance details Defined in CSMOF.ATC_CSMOF type Rep Type = D1 ('MetaData "Type" "CSMOF.As" "main" 'False) (C1 ('MetaCons "Type" 'PrefixI 'True) (S1 ('MetaSel ('Just "typeSuper") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NamedElement) :*: S1 ('MetaSel ('Just "typeSubClasses") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DataTypeOrClass)))

data DataTypeOrClass Source #

Constructors

DDataType
Fields getDataType :: Datatype
DClass
Fields getClass :: Class

Instances

Instances details

Eq DataTypeOrClass Source #
Instance details Defined in CSMOF.As Methods (==) :: DataTypeOrClass -> DataTypeOrClass -> Bool (/=) :: DataTypeOrClass -> DataTypeOrClass -> Bool
Data DataTypeOrClass Source #
Instance details Defined in CSMOF.As Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DataTypeOrClass -> c DataTypeOrClass gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DataTypeOrClass toConstr :: DataTypeOrClass -> Constr dataTypeOf :: DataTypeOrClass -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DataTypeOrClass) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DataTypeOrClass) gmapT :: (forall b. Data b => b -> b) -> DataTypeOrClass -> DataTypeOrClass gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DataTypeOrClass -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DataTypeOrClass -> r gmapQ :: (forall d. Data d => d -> u) -> DataTypeOrClass -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> DataTypeOrClass -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> DataTypeOrClass -> m DataTypeOrClass gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DataTypeOrClass -> m DataTypeOrClass gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DataTypeOrClass -> m DataTypeOrClass
Ord DataTypeOrClass Source #
Instance details Defined in CSMOF.As Methods compare :: DataTypeOrClass -> DataTypeOrClass -> Ordering (<) :: DataTypeOrClass -> DataTypeOrClass -> Bool (<=) :: DataTypeOrClass -> DataTypeOrClass -> Bool (>) :: DataTypeOrClass -> DataTypeOrClass -> Bool (>=) :: DataTypeOrClass -> DataTypeOrClass -> Bool max :: DataTypeOrClass -> DataTypeOrClass -> DataTypeOrClass min :: DataTypeOrClass -> DataTypeOrClass -> DataTypeOrClass
Show DataTypeOrClass
Instance details Defined in CSMOF.Print Methods showsPrec :: Int -> DataTypeOrClass -> ShowS show :: DataTypeOrClass -> String showList :: [DataTypeOrClass] -> ShowS
Generic DataTypeOrClass
Instance details Defined in CSMOF.ATC_CSMOF Associated Types type Rep DataTypeOrClass :: Type -> Type Methods from :: DataTypeOrClass -> Rep DataTypeOrClass x to :: Rep DataTypeOrClass x -> DataTypeOrClass
GetRange DataTypeOrClass Source #
Instance details Defined in CSMOF.As Methods getRange :: DataTypeOrClass -> Range Source # rangeSpan :: DataTypeOrClass -> [Pos] Source #
FromJSON DataTypeOrClass
Instance details Defined in CSMOF.ATC_CSMOF Methods parseJSON :: Value -> Parser DataTypeOrClass parseJSONList :: Value -> Parser [DataTypeOrClass]
ToJSON DataTypeOrClass
Instance details Defined in CSMOF.ATC_CSMOF Methods toJSON :: DataTypeOrClass -> Value toEncoding :: DataTypeOrClass -> Encoding toJSONList :: [DataTypeOrClass] -> Value toEncodingList :: [DataTypeOrClass] -> Encoding
ShATermConvertible DataTypeOrClass
Instance details Defined in CSMOF.ATC_CSMOF Methods toShATermAux :: ATermTable -> DataTypeOrClass -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [DataTypeOrClass] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, DataTypeOrClass) fromShATermList' :: Int -> ATermTable -> (ATermTable, [DataTypeOrClass])
Pretty DataTypeOrClass Source #
Instance details Defined in CSMOF.Print Methods pretty :: DataTypeOrClass -> Doc Source # pretties :: [DataTypeOrClass] -> Doc Source #
type Rep DataTypeOrClass
Instance details Defined in CSMOF.ATC_CSMOF type Rep DataTypeOrClass = D1 ('MetaData "DataTypeOrClass" "CSMOF.As" "main" 'False) (C1 ('MetaCons "DDataType" 'PrefixI 'True) (S1 ('MetaSel ('Just "getDataType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Datatype)) :+: C1 ('MetaCons "DClass" 'PrefixI 'True) (S1 ('MetaSel ('Just "getClass") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Class)))

data Datatype Source #

Constructors

Datatype
Fields classSuper :: Type

Instances

Instances details

Eq Datatype Source #
Instance details Defined in CSMOF.As Methods (==) :: Datatype -> Datatype -> Bool (/=) :: Datatype -> Datatype -> Bool
Data Datatype Source #
Instance details Defined in CSMOF.As Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Datatype -> c Datatype gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Datatype toConstr :: Datatype -> Constr dataTypeOf :: Datatype -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Datatype) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Datatype) gmapT :: (forall b. Data b => b -> b) -> Datatype -> Datatype gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Datatype -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Datatype -> r gmapQ :: (forall d. Data d => d -> u) -> Datatype -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Datatype -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Datatype -> m Datatype gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Datatype -> m Datatype gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Datatype -> m Datatype
Ord Datatype Source #
Instance details Defined in CSMOF.As Methods compare :: Datatype -> Datatype -> Ordering (<) :: Datatype -> Datatype -> Bool (<=) :: Datatype -> Datatype -> Bool (>) :: Datatype -> Datatype -> Bool (>=) :: Datatype -> Datatype -> Bool max :: Datatype -> Datatype -> Datatype min :: Datatype -> Datatype -> Datatype
Show Datatype
Instance details Defined in CSMOF.Print Methods showsPrec :: Int -> Datatype -> ShowS show :: Datatype -> String showList :: [Datatype] -> ShowS
Generic Datatype
Instance details Defined in CSMOF.ATC_CSMOF Associated Types type Rep Datatype :: Type -> Type Methods from :: Datatype -> Rep Datatype x to :: Rep Datatype x -> Datatype
GetRange Datatype Source #
Instance details Defined in CSMOF.As Methods getRange :: Datatype -> Range Source # rangeSpan :: Datatype -> [Pos] Source #
FromJSON Datatype
Instance details Defined in CSMOF.ATC_CSMOF Methods parseJSON :: Value -> Parser Datatype parseJSONList :: Value -> Parser [Datatype]
ToJSON Datatype
Instance details Defined in CSMOF.ATC_CSMOF Methods toJSON :: Datatype -> Value toEncoding :: Datatype -> Encoding toJSONList :: [Datatype] -> Value toEncodingList :: [Datatype] -> Encoding
ShATermConvertible Datatype
Instance details Defined in CSMOF.ATC_CSMOF Methods toShATermAux :: ATermTable -> Datatype -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Datatype] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Datatype) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Datatype])
Pretty Datatype Source #
Instance details Defined in CSMOF.Print Methods pretty :: Datatype -> Doc Source # pretties :: [Datatype] -> Doc Source #
type Rep Datatype
Instance details Defined in CSMOF.ATC_CSMOF type Rep Datatype = D1 ('MetaData "Datatype" "CSMOF.As" "main" 'False) (C1 ('MetaCons "Datatype" 'PrefixI 'True) (S1 ('MetaSel ('Just "classSuper") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)))

data Class Source #

Constructors

Class
Fields classSuperType :: Type isAbstract :: Bool superClass :: [Class] ownedAttribute :: [Property]

Instances

Instances details

Eq Class Source #
Instance details Defined in CSMOF.As Methods (==) :: Class -> Class -> Bool (/=) :: Class -> Class -> Bool
Data Class Source #
Instance details Defined in CSMOF.As Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Class -> c Class gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Class toConstr :: Class -> Constr dataTypeOf :: Class -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Class) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Class) gmapT :: (forall b. Data b => b -> b) -> Class -> Class gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Class -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Class -> r gmapQ :: (forall d. Data d => d -> u) -> Class -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Class -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Class -> m Class gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Class -> m Class gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Class -> m Class
Ord Class Source #
Instance details Defined in CSMOF.As Methods compare :: Class -> Class -> Ordering (<) :: Class -> Class -> Bool (<=) :: Class -> Class -> Bool (>) :: Class -> Class -> Bool (>=) :: Class -> Class -> Bool max :: Class -> Class -> Class min :: Class -> Class -> Class
Show Class
Instance details Defined in CSMOF.Print Methods showsPrec :: Int -> Class -> ShowS show :: Class -> String showList :: [Class] -> ShowS
Generic Class
Instance details Defined in CSMOF.ATC_CSMOF Associated Types type Rep Class :: Type -> Type Methods from :: Class -> Rep Class x to :: Rep Class x -> Class
GetRange Class Source #
Instance details Defined in CSMOF.As Methods getRange :: Class -> Range Source # rangeSpan :: Class -> [Pos] Source #
FromJSON Class
Instance details Defined in CSMOF.ATC_CSMOF Methods parseJSON :: Value -> Parser Class parseJSONList :: Value -> Parser [Class]
ToJSON Class
Instance details Defined in CSMOF.ATC_CSMOF Methods toJSON :: Class -> Value toEncoding :: Class -> Encoding toJSONList :: [Class] -> Value toEncodingList :: [Class] -> Encoding
ShATermConvertible Class
Instance details Defined in CSMOF.ATC_CSMOF Methods toShATermAux :: ATermTable -> Class -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Class] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Class) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Class])
Pretty Class Source #
Instance details Defined in CSMOF.Print Methods pretty :: Class -> Doc Source # pretties :: [Class] -> Doc Source #
type Rep Class
Instance details Defined in CSMOF.ATC_CSMOF type Rep Class = D1 ('MetaData "Class" "CSMOF.As" "main" 'False) (C1 ('MetaCons "Class" 'PrefixI 'True) ((S1 ('MetaSel ('Just "classSuperType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type) :: S1 ('MetaSel ('Just "isAbstract") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :: (S1 ('MetaSel ('Just "superClass") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Class]) :*: S1 ('MetaSel ('Just "ownedAttribute") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Property]))))

data TypedElement Source #

Constructors

TypedElement
Fields typedElementSuper :: NamedElement typedElementType :: Type typedElementSubClasses :: Property

Instances

Instances details

Eq TypedElement Source #
Instance details Defined in CSMOF.As Methods (==) :: TypedElement -> TypedElement -> Bool (/=) :: TypedElement -> TypedElement -> Bool
Data TypedElement Source #
Instance details Defined in CSMOF.As Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TypedElement -> c TypedElement gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TypedElement toConstr :: TypedElement -> Constr dataTypeOf :: TypedElement -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TypedElement) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TypedElement) gmapT :: (forall b. Data b => b -> b) -> TypedElement -> TypedElement gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TypedElement -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TypedElement -> r gmapQ :: (forall d. Data d => d -> u) -> TypedElement -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> TypedElement -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> TypedElement -> m TypedElement gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TypedElement -> m TypedElement gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TypedElement -> m TypedElement
Ord TypedElement Source #
Instance details Defined in CSMOF.As Methods compare :: TypedElement -> TypedElement -> Ordering (<) :: TypedElement -> TypedElement -> Bool (<=) :: TypedElement -> TypedElement -> Bool (>) :: TypedElement -> TypedElement -> Bool (>=) :: TypedElement -> TypedElement -> Bool max :: TypedElement -> TypedElement -> TypedElement min :: TypedElement -> TypedElement -> TypedElement
Show TypedElement
Instance details Defined in CSMOF.Print Methods showsPrec :: Int -> TypedElement -> ShowS show :: TypedElement -> String showList :: [TypedElement] -> ShowS
Generic TypedElement
Instance details Defined in CSMOF.ATC_CSMOF Associated Types type Rep TypedElement :: Type -> Type Methods from :: TypedElement -> Rep TypedElement x to :: Rep TypedElement x -> TypedElement
GetRange TypedElement Source #
Instance details Defined in CSMOF.As Methods getRange :: TypedElement -> Range Source # rangeSpan :: TypedElement -> [Pos] Source #
FromJSON TypedElement
Instance details Defined in CSMOF.ATC_CSMOF Methods parseJSON :: Value -> Parser TypedElement parseJSONList :: Value -> Parser [TypedElement]
ToJSON TypedElement
Instance details Defined in CSMOF.ATC_CSMOF Methods toJSON :: TypedElement -> Value toEncoding :: TypedElement -> Encoding toJSONList :: [TypedElement] -> Value toEncodingList :: [TypedElement] -> Encoding
ShATermConvertible TypedElement
Instance details Defined in CSMOF.ATC_CSMOF Methods toShATermAux :: ATermTable -> TypedElement -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TypedElement] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TypedElement) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TypedElement])
Pretty TypedElement Source #
Instance details Defined in CSMOF.Print Methods pretty :: TypedElement -> Doc Source # pretties :: [TypedElement] -> Doc Source #
type Rep TypedElement
Instance details Defined in CSMOF.ATC_CSMOF type Rep TypedElement = D1 ('MetaData "TypedElement" "CSMOF.As" "main" 'False) (C1 ('MetaCons "TypedElement" 'PrefixI 'True) (S1 ('MetaSel ('Just "typedElementSuper") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NamedElement) :: (S1 ('MetaSel ('Just "typedElementType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type) :: S1 ('MetaSel ('Just "typedElementSubClasses") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Property))))

data Property Source #

Constructors

Property
Fields propertySuper :: TypedElement multiplicityElement :: MultiplicityElement opposite :: Maybe Property propertyClass :: Class

Instances

Instances details

Eq Property Source #
Instance details Defined in CSMOF.As Methods (==) :: Property -> Property -> Bool (/=) :: Property -> Property -> Bool
Data Property Source #
Instance details Defined in CSMOF.As Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Property -> c Property gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Property toConstr :: Property -> Constr dataTypeOf :: Property -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Property) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Property) gmapT :: (forall b. Data b => b -> b) -> Property -> Property gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Property -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Property -> r gmapQ :: (forall d. Data d => d -> u) -> Property -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Property -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Property -> m Property gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Property -> m Property gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Property -> m Property
Ord Property Source #
Instance details Defined in CSMOF.As Methods compare :: Property -> Property -> Ordering (<) :: Property -> Property -> Bool (<=) :: Property -> Property -> Bool (>) :: Property -> Property -> Bool (>=) :: Property -> Property -> Bool max :: Property -> Property -> Property min :: Property -> Property -> Property
Show Property
Instance details Defined in CSMOF.Print Methods showsPrec :: Int -> Property -> ShowS show :: Property -> String showList :: [Property] -> ShowS
Generic Property
Instance details Defined in CSMOF.ATC_CSMOF Associated Types type Rep Property :: Type -> Type Methods from :: Property -> Rep Property x to :: Rep Property x -> Property
GetRange Property Source #
Instance details Defined in CSMOF.As Methods getRange :: Property -> Range Source # rangeSpan :: Property -> [Pos] Source #
FromJSON Property
Instance details Defined in CSMOF.ATC_CSMOF Methods parseJSON :: Value -> Parser Property parseJSONList :: Value -> Parser [Property]
ToJSON Property
Instance details Defined in CSMOF.ATC_CSMOF Methods toJSON :: Property -> Value toEncoding :: Property -> Encoding toJSONList :: [Property] -> Value toEncodingList :: [Property] -> Encoding
ShATermConvertible Property
Instance details Defined in CSMOF.ATC_CSMOF Methods toShATermAux :: ATermTable -> Property -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Property] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Property) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Property])
Pretty Property Source #
Instance details Defined in CSMOF.Print Methods pretty :: Property -> Doc Source # pretties :: [Property] -> Doc Source #
type Rep Property
Instance details Defined in CSMOF.ATC_CSMOF type Rep Property = D1 ('MetaData "Property" "CSMOF.As" "main" 'False) (C1 ('MetaCons "Property" 'PrefixI 'True) ((S1 ('MetaSel ('Just "propertySuper") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypedElement) :: S1 ('MetaSel ('Just "multiplicityElement") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MultiplicityElement)) :: (S1 ('MetaSel ('Just "opposite") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Property)) :*: S1 ('MetaSel ('Just "propertyClass") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Class))))

data MultiplicityElement Source #

Constructors

MultiplicityElement
Fields lower :: Integer upper :: Integer multiplicityElementSubClasses :: Property

Instances

Instances details

Eq MultiplicityElement Source #
Instance details Defined in CSMOF.As Methods (==) :: MultiplicityElement -> MultiplicityElement -> Bool (/=) :: MultiplicityElement -> MultiplicityElement -> Bool
Data MultiplicityElement Source #
Instance details Defined in CSMOF.As Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MultiplicityElement -> c MultiplicityElement gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MultiplicityElement toConstr :: MultiplicityElement -> Constr dataTypeOf :: MultiplicityElement -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MultiplicityElement) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MultiplicityElement) gmapT :: (forall b. Data b => b -> b) -> MultiplicityElement -> MultiplicityElement gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MultiplicityElement -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MultiplicityElement -> r gmapQ :: (forall d. Data d => d -> u) -> MultiplicityElement -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> MultiplicityElement -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> MultiplicityElement -> m MultiplicityElement gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MultiplicityElement -> m MultiplicityElement gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MultiplicityElement -> m MultiplicityElement
Ord MultiplicityElement Source #
Instance details Defined in CSMOF.As Methods compare :: MultiplicityElement -> MultiplicityElement -> Ordering (<) :: MultiplicityElement -> MultiplicityElement -> Bool (<=) :: MultiplicityElement -> MultiplicityElement -> Bool (>) :: MultiplicityElement -> MultiplicityElement -> Bool (>=) :: MultiplicityElement -> MultiplicityElement -> Bool max :: MultiplicityElement -> MultiplicityElement -> MultiplicityElement min :: MultiplicityElement -> MultiplicityElement -> MultiplicityElement
Show MultiplicityElement
Instance details Defined in CSMOF.Print Methods showsPrec :: Int -> MultiplicityElement -> ShowS show :: MultiplicityElement -> String showList :: [MultiplicityElement] -> ShowS
Generic MultiplicityElement
Instance details Defined in CSMOF.ATC_CSMOF Associated Types type Rep MultiplicityElement :: Type -> Type Methods from :: MultiplicityElement -> Rep MultiplicityElement x to :: Rep MultiplicityElement x -> MultiplicityElement
GetRange MultiplicityElement Source #
Instance details Defined in CSMOF.As Methods getRange :: MultiplicityElement -> Range Source # rangeSpan :: MultiplicityElement -> [Pos] Source #
FromJSON MultiplicityElement
Instance details Defined in CSMOF.ATC_CSMOF Methods parseJSON :: Value -> Parser MultiplicityElement parseJSONList :: Value -> Parser [MultiplicityElement]
ToJSON MultiplicityElement
Instance details Defined in CSMOF.ATC_CSMOF Methods toJSON :: MultiplicityElement -> Value toEncoding :: MultiplicityElement -> Encoding toJSONList :: [MultiplicityElement] -> Value toEncodingList :: [MultiplicityElement] -> Encoding
ShATermConvertible MultiplicityElement
Instance details Defined in CSMOF.ATC_CSMOF Methods toShATermAux :: ATermTable -> MultiplicityElement -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [MultiplicityElement] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, MultiplicityElement) fromShATermList' :: Int -> ATermTable -> (ATermTable, [MultiplicityElement])
Pretty MultiplicityElement Source #
Instance details Defined in CSMOF.Print Methods pretty :: MultiplicityElement -> Doc Source # pretties :: [MultiplicityElement] -> Doc Source #
type Rep MultiplicityElement
Instance details Defined in CSMOF.ATC_CSMOF type Rep MultiplicityElement = D1 ('MetaData "MultiplicityElement" "CSMOF.As" "main" 'False) (C1 ('MetaCons "MultiplicityElement" 'PrefixI 'True) (S1 ('MetaSel ('Just "lower") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :: (S1 ('MetaSel ('Just "upper") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :: S1 ('MetaSel ('Just "multiplicityElementSubClasses") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Property))))

data Model Source #

Constructors

Model
Fields modelName :: String object :: [Object] link :: [Link] modelType :: Metamodel

Instances

Instances details

Eq Model Source #
Instance details Defined in CSMOF.As Methods (==) :: Model -> Model -> Bool (/=) :: Model -> Model -> Bool
Data Model Source #
Instance details Defined in CSMOF.As Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Model -> c Model gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Model toConstr :: Model -> Constr dataTypeOf :: Model -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Model) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Model) gmapT :: (forall b. Data b => b -> b) -> Model -> Model gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Model -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Model -> r gmapQ :: (forall d. Data d => d -> u) -> Model -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Model -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Model -> m Model gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Model -> m Model gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Model -> m Model
Ord Model Source #
Instance details Defined in CSMOF.As Methods compare :: Model -> Model -> Ordering (<) :: Model -> Model -> Bool (<=) :: Model -> Model -> Bool (>) :: Model -> Model -> Bool (>=) :: Model -> Model -> Bool max :: Model -> Model -> Model min :: Model -> Model -> Model
Show Model
Instance details Defined in CSMOF.Print Methods showsPrec :: Int -> Model -> ShowS show :: Model -> String showList :: [Model] -> ShowS
Generic Model
Instance details Defined in CSMOF.ATC_CSMOF Associated Types type Rep Model :: Type -> Type Methods from :: Model -> Rep Model x to :: Rep Model x -> Model
GetRange Model Source #
Instance details Defined in CSMOF.As Methods getRange :: Model -> Range Source # rangeSpan :: Model -> [Pos] Source #
FromJSON Model
Instance details Defined in CSMOF.ATC_CSMOF Methods parseJSON :: Value -> Parser Model parseJSONList :: Value -> Parser [Model]
ToJSON Model
Instance details Defined in CSMOF.ATC_CSMOF Methods toJSON :: Model -> Value toEncoding :: Model -> Encoding toJSONList :: [Model] -> Value toEncodingList :: [Model] -> Encoding
ShATermConvertible Model
Instance details Defined in CSMOF.ATC_CSMOF Methods toShATermAux :: ATermTable -> Model -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Model] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Model) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Model])
Pretty Model Source #
Instance details Defined in CSMOF.Print Methods pretty :: Model -> Doc Source # pretties :: [Model] -> Doc Source #
type Rep Model
Instance details Defined in CSMOF.ATC_CSMOF type Rep Model = D1 ('MetaData "Model" "CSMOF.As" "main" 'False) (C1 ('MetaCons "Model" 'PrefixI 'True) ((S1 ('MetaSel ('Just "modelName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :: S1 ('MetaSel ('Just "object") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Object])) :: (S1 ('MetaSel ('Just "link") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Link]) :*: S1 ('MetaSel ('Just "modelType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Metamodel))))

data Object Source #

Constructors

Object
Fields objectName :: String objectType :: Type objectOwner :: Model

Instances

Instances details

Eq Object Source #
Instance details Defined in CSMOF.As Methods (==) :: Object -> Object -> Bool (/=) :: Object -> Object -> Bool
Data Object Source #
Instance details Defined in CSMOF.As Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Object -> c Object gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Object toConstr :: Object -> Constr dataTypeOf :: Object -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Object) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Object) gmapT :: (forall b. Data b => b -> b) -> Object -> Object gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Object -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Object -> r gmapQ :: (forall d. Data d => d -> u) -> Object -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Object -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Object -> m Object gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Object -> m Object gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Object -> m Object
Ord Object Source #
Instance details Defined in CSMOF.As Methods compare :: Object -> Object -> Ordering (<) :: Object -> Object -> Bool (<=) :: Object -> Object -> Bool (>) :: Object -> Object -> Bool (>=) :: Object -> Object -> Bool max :: Object -> Object -> Object min :: Object -> Object -> Object
Show Object
Instance details Defined in CSMOF.Print Methods showsPrec :: Int -> Object -> ShowS show :: Object -> String showList :: [Object] -> ShowS
Generic Object
Instance details Defined in CSMOF.ATC_CSMOF Associated Types type Rep Object :: Type -> Type Methods from :: Object -> Rep Object x to :: Rep Object x -> Object
GetRange Object Source #
Instance details Defined in CSMOF.As Methods getRange :: Object -> Range Source # rangeSpan :: Object -> [Pos] Source #
FromJSON Object
Instance details Defined in CSMOF.ATC_CSMOF Methods parseJSON :: Value -> Parser Object parseJSONList :: Value -> Parser [Object]
ToJSON Object
Instance details Defined in CSMOF.ATC_CSMOF Methods toJSON :: Object -> Value toEncoding :: Object -> Encoding toJSONList :: [Object] -> Value toEncodingList :: [Object] -> Encoding
ShATermConvertible Object
Instance details Defined in CSMOF.ATC_CSMOF Methods toShATermAux :: ATermTable -> Object -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Object] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Object) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Object])
Pretty Object Source #
Instance details Defined in CSMOF.Print Methods pretty :: Object -> Doc Source # pretties :: [Object] -> Doc Source #
type Rep Object
Instance details Defined in CSMOF.ATC_CSMOF type Rep Object = D1 ('MetaData "Object" "CSMOF.As" "main" 'False) (C1 ('MetaCons "Object" 'PrefixI 'True) (S1 ('MetaSel ('Just "objectName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :: (S1 ('MetaSel ('Just "objectType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type) :: S1 ('MetaSel ('Just "objectOwner") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Model))))

data Link Source #

Constructors

Link
Fields linkType :: Property source :: Object target :: Object linkOwner :: Model

Instances

Instances details

Eq Link Source #
Instance details Defined in CSMOF.As Methods (==) :: Link -> Link -> Bool (/=) :: Link -> Link -> Bool
Data Link Source #
Instance details Defined in CSMOF.As Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Link -> c Link gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Link toConstr :: Link -> Constr dataTypeOf :: Link -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Link) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Link) gmapT :: (forall b. Data b => b -> b) -> Link -> Link gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Link -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Link -> r gmapQ :: (forall d. Data d => d -> u) -> Link -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Link -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Link -> m Link gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Link -> m Link gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Link -> m Link
Ord Link Source #
Instance details Defined in CSMOF.As Methods compare :: Link -> Link -> Ordering (<) :: Link -> Link -> Bool (<=) :: Link -> Link -> Bool (>) :: Link -> Link -> Bool (>=) :: Link -> Link -> Bool max :: Link -> Link -> Link min :: Link -> Link -> Link
Show Link
Instance details Defined in CSMOF.Print Methods showsPrec :: Int -> Link -> ShowS show :: Link -> String showList :: [Link] -> ShowS
Generic Link
Instance details Defined in CSMOF.ATC_CSMOF Associated Types type Rep Link :: Type -> Type Methods from :: Link -> Rep Link x to :: Rep Link x -> Link
GetRange Link Source #
Instance details Defined in CSMOF.As Methods getRange :: Link -> Range Source # rangeSpan :: Link -> [Pos] Source #
FromJSON Link
Instance details Defined in CSMOF.ATC_CSMOF Methods parseJSON :: Value -> Parser Link parseJSONList :: Value -> Parser [Link]
ToJSON Link
Instance details Defined in CSMOF.ATC_CSMOF Methods toJSON :: Link -> Value toEncoding :: Link -> Encoding toJSONList :: [Link] -> Value toEncodingList :: [Link] -> Encoding
ShATermConvertible Link
Instance details Defined in CSMOF.ATC_CSMOF Methods toShATermAux :: ATermTable -> Link -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Link] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Link) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Link])
Pretty Link Source #
Instance details Defined in CSMOF.Print Methods pretty :: Link -> Doc Source # pretties :: [Link] -> Doc Source #
type Rep Link
Instance details Defined in CSMOF.ATC_CSMOF type Rep Link = D1 ('MetaData "Link" "CSMOF.As" "main" 'False) (C1 ('MetaCons "Link" 'PrefixI 'True) ((S1 ('MetaSel ('Just "linkType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Property) :: S1 ('MetaSel ('Just "source") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Object)) :: (S1 ('MetaSel ('Just "target") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Object) :*: S1 ('MetaSel ('Just "linkOwner") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Model))))