Safe Haskell	None
Language	Haskell2010

Modelling.ActivityDiagram.EnterAS

Documentation

data EnterASInstance Source #

Constructors

EnterASInstance
Fields activityDiagram :: UMLActivityDiagram petriNet :: PetriLike Node PetriKey drawSettings :: PlantUmlConfig sampleSequence :: [String] showSolution :: Bool addText :: ExtraText

Instances

Instances details

Reader EnterASInstance Source #

Instance details

Defined in Modelling.ActivityDiagram.EnterAS

Methods

atomic_reader :: Parser EnterASInstance

atomic_readerPrec :: Int -> Parser EnterASInstance

reader :: Parser EnterASInstance

readerPrec :: Int -> Parser EnterASInstance

readerList :: Parser [EnterASInstance]

ToDoc EnterASInstance Source #

Instance details

Defined in Modelling.ActivityDiagram.EnterAS

Methods

toDocPrec :: Int -> EnterASInstance -> Doc

toDocList :: [EnterASInstance] -> Doc

Generic EnterASInstance Source #

Instance details

Defined in Modelling.ActivityDiagram.EnterAS

Associated Types

type Rep EnterASInstance

Instance details

Defined in Modelling.ActivityDiagram.EnterAS

type Rep EnterASInstance = D1 ('MetaData "EnterASInstance" "Modelling.ActivityDiagram.EnterAS" "modelling-tasks-0.0.0.1-2KiclaEArwR4yz1IHg8eKf" 'False) (C1 ('MetaCons "EnterASInstance" 'PrefixI 'True) ((S1 ('MetaSel ('Just "activityDiagram") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UMLActivityDiagram) :*: (S1 ('MetaSel ('Just "petriNet") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PetriLike Node PetriKey)) :*: 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 ExtraText)))))

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 #

Hashable EnterASInstance Source #

Instance details

Defined in Modelling.ActivityDiagram.EnterAS

Methods

hashWithSalt :: Int -> EnterASInstance -> Int

hash :: EnterASInstance -> Int

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-2KiclaEArwR4yz1IHg8eKf" 'False) (C1 ('MetaCons "EnterASInstance" 'PrefixI 'True) ((S1 ('MetaSel ('Just "activityDiagram") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UMLActivityDiagram) :*: (S1 ('MetaSel ('Just "petriNet") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PetriLike Node PetriKey)) :*: 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 ExtraText)))))

data EnterASConfig Source #

Constructors

EnterASConfig
Fields adConfig :: AdConfig hideBranchConditions :: Bool maxInstances :: Maybe Integer objectNodeOnEveryPath :: Maybe Bool answerLength :: !(Int, Int) printSolution :: Bool extraText :: ExtraText

Instances

Instances details

Reader EnterASConfig Source #

Instance details

Defined in Modelling.ActivityDiagram.EnterAS

Methods

atomic_reader :: Parser EnterASConfig

atomic_readerPrec :: Int -> Parser EnterASConfig

reader :: Parser EnterASConfig

readerPrec :: Int -> Parser EnterASConfig

readerList :: Parser [EnterASConfig]

ToDoc EnterASConfig Source #

Instance details

Defined in Modelling.ActivityDiagram.EnterAS

Methods

toDocPrec :: Int -> EnterASConfig -> Doc

toDocList :: [EnterASConfig] -> Doc

Generic EnterASConfig Source #

Instance details

Defined in Modelling.ActivityDiagram.EnterAS

Associated Types

type Rep EnterASConfig

Instance details

Defined in Modelling.ActivityDiagram.EnterAS

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

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

newtype EnterASSolution Source #

Constructors

EnterASSolution
Fields sampleSolution :: [String]

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 :: PetriLike Node PetriKey -> EnterASSolution Source #

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

enterASInitial :: [String] Source #

enterASSyntax :: forall (m :: Type -> Type). OutputCapable m => EnterASInstance -> [String] -> LangM m Source #

enterASEvaluation :: forall (m :: Type -> Type). 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 #