modelling-tasks-0.0.0.1
Safe HaskellNone
LanguageHaskell2010

Modelling.ActivityDiagram.MatchAd

Documentation

data MatchAdConfig Source #

Constructors

MatchAdConfig 

Fields

Instances

Instances details
Reader MatchAdConfig Source # 
Instance details

Defined in Modelling.ActivityDiagram.MatchAd

Methods

atomic_reader :: Parser MatchAdConfig

atomic_readerPrec :: Int -> Parser MatchAdConfig

reader :: Parser MatchAdConfig

readerPrec :: Int -> Parser MatchAdConfig

readerList :: Parser [MatchAdConfig]

ToDoc MatchAdConfig Source # 
Instance details

Defined in Modelling.ActivityDiagram.MatchAd

Methods

toDocPrec :: Int -> MatchAdConfig -> Doc

toDocList :: [MatchAdConfig] -> Doc

Generic MatchAdConfig Source # 
Instance details

Defined in Modelling.ActivityDiagram.MatchAd

Associated Types

type Rep MatchAdConfig 
Instance details

Defined in Modelling.ActivityDiagram.MatchAd

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

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

data MatchAdInstance Source #

Constructors

MatchAdInstance 

Fields

Instances

Instances details
Reader MatchAdInstance Source # 
Instance details

Defined in Modelling.ActivityDiagram.MatchAd

Methods

atomic_reader :: Parser MatchAdInstance

atomic_readerPrec :: Int -> Parser MatchAdInstance

reader :: Parser MatchAdInstance

readerPrec :: Int -> Parser MatchAdInstance

readerList :: Parser [MatchAdInstance]

ToDoc MatchAdInstance Source # 
Instance details

Defined in Modelling.ActivityDiagram.MatchAd

Methods

toDocPrec :: Int -> MatchAdInstance -> Doc

toDocList :: [MatchAdInstance] -> Doc

Generic MatchAdInstance Source # 
Instance details

Defined in Modelling.ActivityDiagram.MatchAd

Associated Types

type Rep MatchAdInstance 
Instance details

Defined in Modelling.ActivityDiagram.MatchAd

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

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 #

Eq MatchAdInstance Source # 
Instance details

Defined in Modelling.ActivityDiagram.MatchAd

Methods

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

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

Hashable MatchAdInstance Source # 
Instance details

Defined in Modelling.ActivityDiagram.MatchAd

Methods

hashWithSalt :: Int -> MatchAdInstance -> Int

hash :: MatchAdInstance -> Int

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

data MatchAdSolution Source #

Constructors

MatchAdSolution 

Fields

Instances

Instances details
Reader MatchAdSolution Source # 
Instance details

Defined in Modelling.ActivityDiagram.MatchAd

Methods

atomic_reader :: Parser MatchAdSolution

atomic_readerPrec :: Int -> Parser MatchAdSolution

reader :: Parser MatchAdSolution

readerPrec :: Int -> Parser MatchAdSolution

readerList :: Parser [MatchAdSolution]

ToDoc MatchAdSolution Source # 
Instance details

Defined in Modelling.ActivityDiagram.MatchAd

Methods

toDocPrec :: Int -> MatchAdSolution -> Doc

toDocList :: [MatchAdSolution] -> Doc

Generic MatchAdSolution Source # 
Instance details

Defined in Modelling.ActivityDiagram.MatchAd

Associated Types

type Rep MatchAdSolution 
Instance details

Defined in Modelling.ActivityDiagram.MatchAd

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

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 #

Hashable MatchAdSolution Source # 
Instance details

Defined in Modelling.ActivityDiagram.MatchAd

Methods

hashWithSalt :: Int -> MatchAdSolution -> Int

hash :: MatchAdSolution -> Int

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-2KiclaEArwR4yz1IHg8eKf" '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 :: forall (m :: Type -> Type). OutputCapable m => MatchAdInstance -> MatchAdSolution -> Rated m Source #

matchAdInitial :: MatchAdSolution Source #

matchAdSolution :: MatchAdInstance -> MatchAdSolution Source #

matchAdSyntax :: forall (m :: Type -> Type). OutputCapable m => MatchAdInstance -> MatchAdSolution -> LangM m Source #

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