modelling-tasks-0.0.0.1
Safe HaskellSafe-Inferred
LanguageHaskell2010

Modelling.ActivityDiagram.SelectAS

Documentation

data SelectASInstance Source #

Constructors

SelectASInstance 

Fields

Instances

Instances details
Generic SelectASInstance Source # 
Instance details

Defined in Modelling.ActivityDiagram.SelectAS

Associated Types

type Rep SelectASInstance :: Type -> Type #

Methods

from :: SelectASInstance -> Rep SelectASInstance x #

to :: Rep SelectASInstance x -> SelectASInstance #

Read SelectASInstance Source # 
Instance details

Defined in Modelling.ActivityDiagram.SelectAS

Methods

readsPrec :: Int -> ReadS SelectASInstance #

readList :: ReadS [SelectASInstance] #

readPrec :: ReadPrec SelectASInstance #

readListPrec :: ReadPrec [SelectASInstance] #

Show SelectASInstance Source # 
Instance details

Defined in Modelling.ActivityDiagram.SelectAS

Methods

showsPrec :: Int -> SelectASInstance -> ShowS #

show :: SelectASInstance -> String #

showList :: [SelectASInstance] -> ShowS #

Eq SelectASInstance Source # 
Instance details

Defined in Modelling.ActivityDiagram.SelectAS

Methods

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

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

type Rep SelectASInstance Source # 
Instance details

Defined in Modelling.ActivityDiagram.SelectAS

type Rep SelectASInstance = D1 ('MetaData "SelectASInstance" "Modelling.ActivityDiagram.SelectAS" "modelling-tasks-0.0.0.1-5lkaY76HE6k79qLVIy6Ku2" 'False) (C1 ('MetaCons "SelectASInstance" 'PrefixI 'True) ((S1 ('MetaSel ('Just "activityDiagram") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UMLActivityDiagram) :*: S1 ('MetaSel ('Just "actionSequences") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Int (Bool, [String])))) :*: (S1 ('MetaSel ('Just "drawSettings") '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 SelectASConfig Source #

Constructors

SelectASConfig 

Fields

Instances

Instances details
Generic SelectASConfig Source # 
Instance details

Defined in Modelling.ActivityDiagram.SelectAS

Associated Types

type Rep SelectASConfig :: Type -> Type #

Methods

from :: SelectASConfig -> Rep SelectASConfig x #

to :: Rep SelectASConfig x -> SelectASConfig #

Read SelectASConfig Source # 
Instance details

Defined in Modelling.ActivityDiagram.SelectAS

Methods

readsPrec :: Int -> ReadS SelectASConfig #

readList :: ReadS [SelectASConfig] #

readPrec :: ReadPrec SelectASConfig #

readListPrec :: ReadPrec [SelectASConfig] #

Show SelectASConfig Source # 
Instance details

Defined in Modelling.ActivityDiagram.SelectAS

Methods

showsPrec :: Int -> SelectASConfig -> ShowS #

show :: SelectASConfig -> String #

showList :: [SelectASConfig] -> ShowS #

type Rep SelectASConfig Source # 
Instance details

Defined in Modelling.ActivityDiagram.SelectAS

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

data SelectASSolution Source #

Constructors

SelectASSolution 

Fields

Instances

Instances details
Show SelectASSolution Source # 
Instance details

Defined in Modelling.ActivityDiagram.SelectAS

Methods

showsPrec :: Int -> SelectASSolution -> ShowS #

show :: SelectASSolution -> String #

showList :: [SelectASSolution] -> ShowS #

Eq SelectASSolution Source # 
Instance details

Defined in Modelling.ActivityDiagram.SelectAS

Methods

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

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

defaultSelectASConfig :: SelectASConfig Source #

checkSelectASConfig :: SelectASConfig -> Maybe String Source #

selectASAlloy :: SelectASConfig -> String Source #

checkSelectASInstance :: SelectASInstance -> Maybe String Source #

selectActionSequence :: Int -> UMLActivityDiagram -> SelectASSolution Source #

selectASTask :: (MonadPlantUml m, MonadWriteFile m, OutputCapable m) => FilePath -> SelectASInstance -> LangM m Source #

selectASSyntax :: OutputCapable m => SelectASInstance -> Int -> LangM m Source #

selectASEvaluation :: OutputCapable m => SelectASInstance -> Int -> LangM m Source #

selectASSolution :: SelectASInstance -> Int Source #

selectAS :: (MonadAlloy m, MonadThrow m) => SelectASConfig -> Int -> Int -> m SelectASInstance Source #

defaultSelectASInstance :: SelectASInstance Source #