modelling-tasks-0.0.0.1
Safe HaskellNone
LanguageHaskell2010

Modelling.ActivityDiagram.Datatype

Documentation

data AdConnection Source #

Constructors

AdConnection 

Fields

Instances

Instances details
Reader AdConnection Source # 
Instance details

Defined in Modelling.ActivityDiagram.Datatype

Methods

atomic_reader :: Parser AdConnection

atomic_readerPrec :: Int -> Parser AdConnection

reader :: Parser AdConnection

readerPrec :: Int -> Parser AdConnection

readerList :: Parser [AdConnection]

ToDoc AdConnection Source # 
Instance details

Defined in Modelling.ActivityDiagram.Datatype

Methods

toDocPrec :: Int -> AdConnection -> Doc

toDocList :: [AdConnection] -> Doc

Generic AdConnection Source # 
Instance details

Defined in Modelling.ActivityDiagram.Datatype

Associated Types

type Rep AdConnection 
Instance details

Defined in Modelling.ActivityDiagram.Datatype

type Rep AdConnection = D1 ('MetaData "AdConnection" "Modelling.ActivityDiagram.Datatype" "modelling-tasks-0.0.0.1-2KiclaEArwR4yz1IHg8eKf" '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))))

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 #

Hashable AdConnection Source # 
Instance details

Defined in Modelling.ActivityDiagram.Datatype

Methods

hashWithSalt :: Int -> AdConnection -> Int

hash :: AdConnection -> Int

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-2KiclaEArwR4yz1IHg8eKf" '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
Reader AdNode Source # 
Instance details

Defined in Modelling.ActivityDiagram.Datatype

Methods

atomic_reader :: Parser AdNode

atomic_readerPrec :: Int -> Parser AdNode

reader :: Parser AdNode

readerPrec :: Int -> Parser AdNode

readerList :: Parser [AdNode]

ToDoc AdNode Source # 
Instance details

Defined in Modelling.ActivityDiagram.Datatype

Methods

toDocPrec :: Int -> AdNode -> Doc

toDocList :: [AdNode] -> Doc

Generic AdNode Source # 
Instance details

Defined in Modelling.ActivityDiagram.Datatype

Associated Types

type Rep AdNode 
Instance details

Defined in Modelling.ActivityDiagram.Datatype

type Rep AdNode = D1 ('MetaData "AdNode" "Modelling.ActivityDiagram.Datatype" "modelling-tasks-0.0.0.1-2KiclaEArwR4yz1IHg8eKf" '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))))))

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 #

Hashable AdNode Source # 
Instance details

Defined in Modelling.ActivityDiagram.Datatype

Methods

hashWithSalt :: Int -> AdNode -> Int

hash :: AdNode -> Int

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-2KiclaEArwR4yz1IHg8eKf" '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
Reader UMLActivityDiagram Source # 
Instance details

Defined in Modelling.ActivityDiagram.Datatype

Methods

atomic_reader :: Parser UMLActivityDiagram

atomic_readerPrec :: Int -> Parser UMLActivityDiagram

reader :: Parser UMLActivityDiagram

readerPrec :: Int -> Parser UMLActivityDiagram

readerList :: Parser [UMLActivityDiagram]

ToDoc UMLActivityDiagram Source # 
Instance details

Defined in Modelling.ActivityDiagram.Datatype

Methods

toDocPrec :: Int -> UMLActivityDiagram -> Doc

toDocList :: [UMLActivityDiagram] -> Doc

Generic UMLActivityDiagram Source # 
Instance details

Defined in Modelling.ActivityDiagram.Datatype

Associated Types

type Rep UMLActivityDiagram 
Instance details

Defined in Modelling.ActivityDiagram.Datatype

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

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 #

Hashable UMLActivityDiagram Source # 
Instance details

Defined in Modelling.ActivityDiagram.Datatype

Methods

hashWithSalt :: Int -> UMLActivityDiagram -> Int

hash :: UMLActivityDiagram -> Int

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-2KiclaEArwR4yz1IHg8eKf" '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 #