modelling-tasks-0.0.0.1
Safe HaskellSafe-Inferred
LanguageHaskell2010

Modelling.ActivityDiagram.EnterAS

Documentation

data EnterASInstance Source #

Constructors

EnterASInstance 

Fields

Instances

Instances details
Generic EnterASInstance Source # 
Instance details

Defined in Modelling.ActivityDiagram.EnterAS

Associated Types

type Rep EnterASInstance :: Type -> Type #

Methods

from :: EnterASInstance -> Rep EnterASInstance x #

to :: Rep EnterASInstance x -> EnterASInstance #

Read EnterASInstance Source # 
Instance details

Defined in Modelling.ActivityDiagram.EnterAS

Methods

readsPrec :: Int -> ReadS EnterASInstance #

readList :: ReadS [EnterASInstance] #

readPrec :: ReadPrec EnterASInstance #

readListPrec :: ReadPrec [EnterASInstance] #

Show EnterASInstance Source # 
Instance details

Defined in Modelling.ActivityDiagram.EnterAS

Methods

showsPrec :: Int -> EnterASInstance -> ShowS #

show :: EnterASInstance -> String #

showList :: [EnterASInstance] -> ShowS #

Eq EnterASInstance Source # 
Instance details

Defined in Modelling.ActivityDiagram.EnterAS

Methods

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

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

type Rep EnterASInstance Source # 
Instance details

Defined in Modelling.ActivityDiagram.EnterAS

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

data EnterASConfig Source #

Constructors

EnterASConfig 

Fields

Instances

Instances details
Generic EnterASConfig Source # 
Instance details

Defined in Modelling.ActivityDiagram.EnterAS

Associated Types

type Rep EnterASConfig :: Type -> Type #

Methods

from :: EnterASConfig -> Rep EnterASConfig x #

to :: Rep EnterASConfig x -> EnterASConfig #

Read EnterASConfig Source # 
Instance details

Defined in Modelling.ActivityDiagram.EnterAS

Methods

readsPrec :: Int -> ReadS EnterASConfig #

readList :: ReadS [EnterASConfig] #

readPrec :: ReadPrec EnterASConfig #

readListPrec :: ReadPrec [EnterASConfig] #

Show EnterASConfig Source # 
Instance details

Defined in Modelling.ActivityDiagram.EnterAS

Methods

showsPrec :: Int -> EnterASConfig -> ShowS #

show :: EnterASConfig -> String #

showList :: [EnterASConfig] -> ShowS #

type Rep EnterASConfig Source # 
Instance details

Defined in Modelling.ActivityDiagram.EnterAS

type Rep EnterASConfig = D1 ('MetaData "EnterASConfig" "Modelling.ActivityDiagram.EnterAS" "modelling-tasks-0.0.0.1-5lkaY76HE6k79qLVIy6Ku2" 'False) (C1 ('MetaCons "EnterASConfig" '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 "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)))))))

newtype EnterASSolution Source #

Constructors

EnterASSolution 

Fields

Instances

Instances details
Show EnterASSolution Source # 
Instance details

Defined in Modelling.ActivityDiagram.EnterAS

Methods

showsPrec :: Int -> EnterASSolution -> ShowS #

show :: EnterASSolution -> String #

showList :: [EnterASSolution] -> ShowS #

Eq EnterASSolution Source # 
Instance details

Defined in Modelling.ActivityDiagram.EnterAS

Methods

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

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

defaultEnterASConfig :: EnterASConfig Source #

checkEnterASConfig :: EnterASConfig -> Maybe String Source #

enterASAlloy :: EnterASConfig -> String Source #

checkEnterASInstance :: EnterASInstance -> Maybe String Source #

enterActionSequence :: UMLActivityDiagram -> EnterASSolution Source #

enterASTask :: (MonadPlantUml m, MonadWriteFile m, OutputCapable m) => FilePath -> EnterASInstance -> LangM m Source #

enterASInitial :: [String] Source #

enterASSyntax :: OutputCapable m => EnterASInstance -> [String] -> LangM m Source #

enterASEvaluation :: OutputCapable m => EnterASInstance -> [String] -> Rated m Source #

enterASSolution :: EnterASInstance -> [String] Source #

enterAS :: (MonadAlloy m, MonadThrow m) => EnterASConfig -> Int -> Int -> m EnterASInstance Source #

defaultEnterASInstance :: EnterASInstance Source #