modelling-tasks-0.0.0.1
Safe HaskellSafe-Inferred
LanguageHaskell2010

Modelling.ActivityDiagram.MatchAd

Documentation

data MatchAdConfig Source #

Constructors

MatchAdConfig 

Fields

Instances

Instances details
Generic MatchAdConfig Source # 
Instance details

Defined in Modelling.ActivityDiagram.MatchAd

Associated Types

type Rep MatchAdConfig :: Type -> Type #

Methods

from :: MatchAdConfig -> Rep MatchAdConfig x #

to :: Rep MatchAdConfig x -> MatchAdConfig #

Read MatchAdConfig Source # 
Instance details

Defined in Modelling.ActivityDiagram.MatchAd

Methods

readsPrec :: Int -> ReadS MatchAdConfig #

readList :: ReadS [MatchAdConfig] #

readPrec :: ReadPrec MatchAdConfig #

readListPrec :: ReadPrec [MatchAdConfig] #

Show MatchAdConfig Source # 
Instance details

Defined in Modelling.ActivityDiagram.MatchAd

Methods

showsPrec :: Int -> MatchAdConfig -> ShowS #

show :: MatchAdConfig -> String #

showList :: [MatchAdConfig] -> ShowS #

type Rep MatchAdConfig Source # 
Instance details

Defined in Modelling.ActivityDiagram.MatchAd

type Rep MatchAdConfig = D1 ('MetaData "MatchAdConfig" "Modelling.ActivityDiagram.MatchAd" "modelling-tasks-0.0.0.1-5lkaY76HE6k79qLVIy6Ku2" 'False) (C1 ('MetaCons "MatchAdConfig" 'PrefixI 'True) ((S1 ('MetaSel ('Just "adConfig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AdConfig) :*: (S1 ('MetaSel ('Just "maxInstances") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Integer)) :*: S1 ('MetaSel ('Just "hideBranchConditions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))) :*: (S1 ('MetaSel ('Just "withActivityFinalInForkBlocks") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe Bool)) :*: (S1 ('MetaSel ('Just "printSolution") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "extraText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Map Language String)))))))

data MatchAdInstance Source #

Constructors

MatchAdInstance 

Fields

Instances

Instances details
Generic MatchAdInstance Source # 
Instance details

Defined in Modelling.ActivityDiagram.MatchAd

Associated Types

type Rep MatchAdInstance :: Type -> Type #

Methods

from :: MatchAdInstance -> Rep MatchAdInstance x #

to :: Rep MatchAdInstance x -> MatchAdInstance #

Read MatchAdInstance Source # 
Instance details

Defined in Modelling.ActivityDiagram.MatchAd

Methods

readsPrec :: Int -> ReadS MatchAdInstance #

readList :: ReadS [MatchAdInstance] #

readPrec :: ReadPrec MatchAdInstance #

readListPrec :: ReadPrec [MatchAdInstance] #

Show MatchAdInstance Source # 
Instance details

Defined in Modelling.ActivityDiagram.MatchAd

Methods

showsPrec :: Int -> MatchAdInstance -> ShowS #

show :: MatchAdInstance -> String #

showList :: [MatchAdInstance] -> ShowS #

type Rep MatchAdInstance Source # 
Instance details

Defined in Modelling.ActivityDiagram.MatchAd

type Rep MatchAdInstance = D1 ('MetaData "MatchAdInstance" "Modelling.ActivityDiagram.MatchAd" "modelling-tasks-0.0.0.1-5lkaY76HE6k79qLVIy6Ku2" 'False) (C1 ('MetaCons "MatchAdInstance" 'PrefixI 'True) ((S1 ('MetaSel ('Just "activityDiagram") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UMLActivityDiagram) :*: S1 ('MetaSel ('Just "plantUMLConf") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PlantUmlConfig)) :*: (S1 ('MetaSel ('Just "showSolution") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "addText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Map Language String))))))

data MatchAdSolution Source #

Constructors

MatchAdSolution 

Fields

Instances

Instances details
Generic MatchAdSolution Source # 
Instance details

Defined in Modelling.ActivityDiagram.MatchAd

Associated Types

type Rep MatchAdSolution :: Type -> Type #

Methods

from :: MatchAdSolution -> Rep MatchAdSolution x #

to :: Rep MatchAdSolution x -> MatchAdSolution #

Read MatchAdSolution Source # 
Instance details

Defined in Modelling.ActivityDiagram.MatchAd

Methods

readsPrec :: Int -> ReadS MatchAdSolution #

readList :: ReadS [MatchAdSolution] #

readPrec :: ReadPrec MatchAdSolution #

readListPrec :: ReadPrec [MatchAdSolution] #

Show MatchAdSolution Source # 
Instance details

Defined in Modelling.ActivityDiagram.MatchAd

Methods

showsPrec :: Int -> MatchAdSolution -> ShowS #

show :: MatchAdSolution -> String #

showList :: [MatchAdSolution] -> ShowS #

Eq MatchAdSolution Source # 
Instance details

Defined in Modelling.ActivityDiagram.MatchAd

Methods

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

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

type Rep MatchAdSolution Source # 
Instance details

Defined in Modelling.ActivityDiagram.MatchAd

type Rep MatchAdSolution = D1 ('MetaData "MatchAdSolution" "Modelling.ActivityDiagram.MatchAd" "modelling-tasks-0.0.0.1-5lkaY76HE6k79qLVIy6Ku2" 'False) (C1 ('MetaCons "MatchAdSolution" 'PrefixI 'True) (((S1 ('MetaSel ('Just "actionNodeNames") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [String]) :*: S1 ('MetaSel ('Just "objectNodeNames") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [String])) :*: (S1 ('MetaSel ('Just "countOfDecisionNodes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "countOfMergeNodes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))) :*: ((S1 ('MetaSel ('Just "countOfForks") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "countOfJoins") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :*: (S1 ('MetaSel ('Just "countOfInitialNodes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: (S1 ('MetaSel ('Just "countOfActivityFinalNodes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "countOfFlowFinalNodes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))))))

checkMatchAdConfig :: MatchAdConfig -> Maybe String Source #

defaultMatchAdConfig :: MatchAdConfig Source #

defaultMatchAdInstance :: MatchAdInstance Source #

matchAd :: (MonadAlloy m, MonadThrow m) => MatchAdConfig -> Int -> Int -> m MatchAdInstance Source #

matchAdAlloy :: MatchAdConfig -> String Source #

matchAdEvaluation :: OutputCapable m => MatchAdInstance -> MatchAdSolution -> Rated m Source #

matchAdInitial :: MatchAdSolution Source #

matchAdSolution :: MatchAdInstance -> MatchAdSolution Source #

matchAdSyntax :: OutputCapable m => MatchAdInstance -> MatchAdSolution -> LangM m Source #

matchAdTask :: (MonadPlantUml m, MonadWriteFile m, OutputCapable m) => FilePath -> MatchAdInstance -> LangM m Source #