modelling-tasks-0.0.0.1
Safe HaskellSafe-Inferred
LanguageHaskell2010

Modelling.ActivityDiagram.Datatype

Documentation

data AdConnection Source #

Constructors

AdConnection 

Fields

Instances

Instances details
Generic AdConnection Source # 
Instance details

Defined in Modelling.ActivityDiagram.Datatype

Associated Types

type Rep AdConnection :: Type -> Type #

Methods

from :: AdConnection -> Rep AdConnection x #

to :: Rep AdConnection x -> AdConnection #

Read AdConnection Source # 
Instance details

Defined in Modelling.ActivityDiagram.Datatype

Methods

readsPrec :: Int -> ReadS AdConnection #

readList :: ReadS [AdConnection] #

readPrec :: ReadPrec AdConnection #

readListPrec :: ReadPrec [AdConnection] #

Show AdConnection Source # 
Instance details

Defined in Modelling.ActivityDiagram.Datatype

Methods

showsPrec :: Int -> AdConnection -> ShowS #

show :: AdConnection -> String #

showList :: [AdConnection] -> ShowS #

Eq AdConnection Source # 
Instance details

Defined in Modelling.ActivityDiagram.Datatype

Methods

(==) :: AdConnection -> AdConnection -> Bool #

(/=) :: AdConnection -> AdConnection -> Bool #

Ord AdConnection Source # 
Instance details

Defined in Modelling.ActivityDiagram.Datatype

Methods

compare :: AdConnection -> AdConnection -> Ordering #

(<) :: AdConnection -> AdConnection -> Bool #

(<=) :: AdConnection -> AdConnection -> Bool #

(>) :: AdConnection -> AdConnection -> Bool #

(>=) :: AdConnection -> AdConnection -> Bool #

max :: AdConnection -> AdConnection -> AdConnection #

min :: AdConnection -> AdConnection -> AdConnection #

type Rep AdConnection Source # 
Instance details

Defined in Modelling.ActivityDiagram.Datatype

type Rep AdConnection = D1 ('MetaData "AdConnection" "Modelling.ActivityDiagram.Datatype" "modelling-tasks-0.0.0.1-5lkaY76HE6k79qLVIy6Ku2" 'False) (C1 ('MetaCons "AdConnection" 'PrefixI 'True) (S1 ('MetaSel ('Just "from") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: (S1 ('MetaSel ('Just "to") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "guard") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))))

data AdNode Source #

Constructors

AdActionNode 

Fields

AdObjectNode 

Fields

AdDecisionNode 

Fields

AdMergeNode 

Fields

AdForkNode 

Fields

AdJoinNode 

Fields

AdActivityFinalNode 

Fields

AdFlowFinalNode 

Fields

AdInitialNode 

Fields

Instances

Instances details
Generic AdNode Source # 
Instance details

Defined in Modelling.ActivityDiagram.Datatype

Associated Types

type Rep AdNode :: Type -> Type #

Methods

from :: AdNode -> Rep AdNode x #

to :: Rep AdNode x -> AdNode #

Read AdNode Source # 
Instance details

Defined in Modelling.ActivityDiagram.Datatype

Methods

readsPrec :: Int -> ReadS AdNode #

readList :: ReadS [AdNode] #

readPrec :: ReadPrec AdNode #

readListPrec :: ReadPrec [AdNode] #

Show AdNode Source # 
Instance details

Defined in Modelling.ActivityDiagram.Datatype

Methods

showsPrec :: Int -> AdNode -> ShowS #

show :: AdNode -> String #

showList :: [AdNode] -> ShowS #

Eq AdNode Source # 
Instance details

Defined in Modelling.ActivityDiagram.Datatype

Methods

(==) :: AdNode -> AdNode -> Bool #

(/=) :: AdNode -> AdNode -> Bool #

type Rep AdNode Source # 
Instance details

Defined in Modelling.ActivityDiagram.Datatype

type Rep AdNode = D1 ('MetaData "AdNode" "Modelling.ActivityDiagram.Datatype" "modelling-tasks-0.0.0.1-5lkaY76HE6k79qLVIy6Ku2" 'False) (((C1 ('MetaCons "AdActionNode" 'PrefixI 'True) (S1 ('MetaSel ('Just "label") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "AdObjectNode" 'PrefixI 'True) (S1 ('MetaSel ('Just "label") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))) :+: (C1 ('MetaCons "AdDecisionNode" 'PrefixI 'True) (S1 ('MetaSel ('Just "label") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: C1 ('MetaCons "AdMergeNode" 'PrefixI 'True) (S1 ('MetaSel ('Just "label") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))) :+: ((C1 ('MetaCons "AdForkNode" 'PrefixI 'True) (S1 ('MetaSel ('Just "label") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: C1 ('MetaCons "AdJoinNode" 'PrefixI 'True) (S1 ('MetaSel ('Just "label") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))) :+: (C1 ('MetaCons "AdActivityFinalNode" 'PrefixI 'True) (S1 ('MetaSel ('Just "label") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: (C1 ('MetaCons "AdFlowFinalNode" 'PrefixI 'True) (S1 ('MetaSel ('Just "label") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: C1 ('MetaCons "AdInitialNode" 'PrefixI 'True) (S1 ('MetaSel ('Just "label") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))))))

data UMLActivityDiagram Source #

Constructors

UMLActivityDiagram 

Fields

Instances

Instances details
Generic UMLActivityDiagram Source # 
Instance details

Defined in Modelling.ActivityDiagram.Datatype

Associated Types

type Rep UMLActivityDiagram :: Type -> Type #

Methods

from :: UMLActivityDiagram -> Rep UMLActivityDiagram x #

to :: Rep UMLActivityDiagram x -> UMLActivityDiagram #

Read UMLActivityDiagram Source # 
Instance details

Defined in Modelling.ActivityDiagram.Datatype

Methods

readsPrec :: Int -> ReadS UMLActivityDiagram #

readList :: ReadS [UMLActivityDiagram] #

readPrec :: ReadPrec UMLActivityDiagram #

readListPrec :: ReadPrec [UMLActivityDiagram] #

Show UMLActivityDiagram Source # 
Instance details

Defined in Modelling.ActivityDiagram.Datatype

Methods

showsPrec :: Int -> UMLActivityDiagram -> ShowS #

show :: UMLActivityDiagram -> String #

showList :: [UMLActivityDiagram] -> ShowS #

Eq UMLActivityDiagram Source # 
Instance details

Defined in Modelling.ActivityDiagram.Datatype

Methods

(==) :: UMLActivityDiagram -> UMLActivityDiagram -> Bool #

(/=) :: UMLActivityDiagram -> UMLActivityDiagram -> Bool #

type Rep UMLActivityDiagram Source # 
Instance details

Defined in Modelling.ActivityDiagram.Datatype

type Rep UMLActivityDiagram = D1 ('MetaData "UMLActivityDiagram" "Modelling.ActivityDiagram.Datatype" "modelling-tasks-0.0.0.1-5lkaY76HE6k79qLVIy6Ku2" 'False) (C1 ('MetaCons "UMLActivityDiagram" 'PrefixI 'True) (S1 ('MetaSel ('Just "nodes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [AdNode]) :*: S1 ('MetaSel ('Just "connections") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [AdConnection])))

getInitialNodes :: UMLActivityDiagram -> [AdNode] Source #

getFinalNodes :: UMLActivityDiagram -> [AdNode] Source #

isActionNode :: AdNode -> Bool Source #

isObjectNode :: AdNode -> Bool Source #

isDecisionNode :: AdNode -> Bool Source #

isMergeNode :: AdNode -> Bool Source #

isForkNode :: AdNode -> Bool Source #

isJoinNode :: AdNode -> Bool Source #

isInitialNode :: AdNode -> Bool Source #

isActivityFinalNode :: AdNode -> Bool Source #

isFlowFinalNode :: AdNode -> Bool Source #

adjNodes :: AdNode -> UMLActivityDiagram -> [AdNode] Source #