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

Eq Metamodel Source # 

Methods

(==) :: Metamodel -> Metamodel -> Bool

(/=) :: Metamodel -> Metamodel -> Bool

Data Metamodel Source # 

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 :: (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 # 

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

GetRange Metamodel Source # 
Syntax CSMOF Metamodel () () () Source # 
StaticAnalysis CSMOF Metamodel Sen () () Sign Morphism () () Source # 

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 # 

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 #

Comorphism CSMOF2CASL CSMOF () Metamodel Sen () () Sign Morphism () () () CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree Source # 

data NamedElement Source #

Instances

Eq NamedElement Source # 

Methods

(==) :: NamedElement -> NamedElement -> Bool

(/=) :: NamedElement -> NamedElement -> Bool

Data NamedElement Source # 

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 :: (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 # 
GetRange NamedElement Source # 

data TypeOrTypedElement Source #

Constructors

TType 

Fields

TTypedElement 

Instances

Eq TypeOrTypedElement Source # 
Data TypeOrTypedElement Source # 

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 :: (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 # 
GetRange TypeOrTypedElement Source # 

data Type Source #

Instances

Eq Type Source # 

Methods

(==) :: Type -> Type -> Bool

(/=) :: Type -> Type -> Bool

Data Type Source # 

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 :: (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 # 

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

GetRange Type Source # 

data DataTypeOrClass Source #

Constructors

DDataType 
DClass 

Fields

Instances

Eq DataTypeOrClass Source # 
Data DataTypeOrClass Source # 

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 :: (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 # 
GetRange DataTypeOrClass Source # 

data Datatype Source #

Constructors

Datatype 

Fields

Instances

Eq Datatype Source # 

Methods

(==) :: Datatype -> Datatype -> Bool

(/=) :: Datatype -> Datatype -> Bool

Data Datatype Source # 

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 :: (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 # 

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

GetRange Datatype Source # 

data Class Source #

Constructors

Class 

Instances

Eq Class Source # 

Methods

(==) :: Class -> Class -> Bool

(/=) :: Class -> Class -> Bool

Data Class Source # 

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 :: (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 # 

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

GetRange Class Source # 

data TypedElement Source #

Instances

Eq TypedElement Source # 

Methods

(==) :: TypedElement -> TypedElement -> Bool

(/=) :: TypedElement -> TypedElement -> Bool

Data TypedElement Source # 

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 :: (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 # 
GetRange TypedElement Source # 

data Property Source #

Instances

Eq Property Source # 

Methods

(==) :: Property -> Property -> Bool

(/=) :: Property -> Property -> Bool

Data Property Source # 

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 :: (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 # 

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

GetRange Property Source # 

data MultiplicityElement Source #

Constructors

MultiplicityElement 

Fields

Instances

Eq MultiplicityElement Source # 
Data MultiplicityElement Source # 

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 :: (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 # 
GetRange MultiplicityElement Source # 

data Model Source #

Constructors

Model 

Fields

Instances

Eq Model Source # 

Methods

(==) :: Model -> Model -> Bool

(/=) :: Model -> Model -> Bool

Data Model Source # 

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 :: (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 # 

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

GetRange Model Source # 

data Object Source #

Constructors

Object 

Fields

Instances

Eq Object Source # 

Methods

(==) :: Object -> Object -> Bool

(/=) :: Object -> Object -> Bool

Data Object Source # 

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 :: (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 # 

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

GetRange Object Source # 

data Link Source #

Constructors

Link