Hets - the Heterogeneous Tool Set
Copyright(c) Daniel Calegari Universidad de la Republica Uruguay 2013
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerdcalegar@fing.edu.uy
Stabilityprovisional
Portabilityportable
Safe HaskellSafe

CSMOF.As

Description

 

Documentation

data Metamodel Source #

Constructors

Metamodel 

Fields

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

GetRange Metamodel Source # 
Instance details

Defined in CSMOF.As

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

Syntax CSMOF Metamodel () () () Source # 
Instance details

Defined in CSMOF.Logic_CSMOF

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

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 #

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

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

GetRange NamedElement Source # 
Instance details

Defined in CSMOF.As

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

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

TTypedElement 

Instances

Instances details
Eq TypeOrTypedElement Source # 
Instance details

Defined in CSMOF.As

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

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

GetRange TypeOrTypedElement Source # 
Instance details

Defined in CSMOF.As

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

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

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 #

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

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 
DClass 

Fields

Instances

Instances details
Eq DataTypeOrClass Source # 
Instance details

Defined in CSMOF.As

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

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

GetRange DataTypeOrClass Source # 
Instance details

Defined in CSMOF.As

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

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

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

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

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 

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

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

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 #

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

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

GetRange TypedElement Source # 
Instance details

Defined in CSMOF.As

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

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 #

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

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

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

Instances

Instances details
Eq MultiplicityElement Source # 
Instance details

Defined in CSMOF.As

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

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

GetRange MultiplicityElement Source # 
Instance details

Defined in CSMOF.As

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

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

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

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

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

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

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

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

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 

Instances