Safe Haskell	None
Language	Haskell2010

Modelling.ActivityDiagram.SelectAS

Synopsis

data SelectASInstance = SelectASInstance {
- activityDiagram :: UMLActivityDiagram
- actionSequences :: Map Int (Bool, [String])
- drawSettings :: PlantUmlConfig
- showSolution :: Bool
- addText :: ExtraText
}
data SelectASConfig = SelectASConfig {
- adConfig :: AdConfig
- hideBranchConditions :: Bool
- maxInstances :: Maybe Integer
- objectNodeOnEveryPath :: Maybe Bool
- numberOfWrongAnswers :: Int
- answerLength :: !(Int, Int)
- printSolution :: Bool
- withActionRepetition :: Bool
- extraText :: ExtraText
}
data SelectASSolution = SelectASSolution {
- correctSequence :: [String]
- wrongSequences :: [[String]]
}
defaultSelectASConfig :: SelectASConfig
checkSelectASConfig :: SelectASConfig -> Maybe String
selectASAlloy :: SelectASConfig -> String
checkSelectASInstance :: SelectASInstance -> Maybe String
selectActionSequence :: forall (m :: Type -> Type). MonadRandom m => Bool -> Int -> (Int, Int) -> UMLActivityDiagram -> MaybeT m SelectASSolution
selectASTask :: forall (m :: Type -> Type). (MonadPlantUml m, MonadWriteFile m, OutputCapable m) => FilePath -> SelectASInstance -> LangM m
selectASSyntax :: forall (m :: Type -> Type). OutputCapable m => SelectASInstance -> Int -> LangM m
selectASEvaluation :: forall (m :: Type -> Type). OutputCapable m => SelectASInstance -> Int -> LangM m
selectASSolution :: SelectASInstance -> Int
selectAS :: (MonadAlloy m, MonadThrow m) => SelectASConfig -> Int -> Int -> m SelectASInstance
defaultSelectASInstance :: SelectASInstance

Documentation

data SelectASInstance Source #

Constructors

SelectASInstance
Fields activityDiagram :: UMLActivityDiagram actionSequences :: Map Int (Bool, [String]) drawSettings :: PlantUmlConfig showSolution :: Bool addText :: ExtraText

Instances

Instances details

Reader SelectASInstance Source #

Instance details

Defined in Modelling.ActivityDiagram.SelectAS

Methods

atomic_reader :: Parser SelectASInstance

atomic_readerPrec :: Int -> Parser SelectASInstance

reader :: Parser SelectASInstance

readerPrec :: Int -> Parser SelectASInstance

readerList :: Parser [SelectASInstance]

ToDoc SelectASInstance Source #

Instance details

Defined in Modelling.ActivityDiagram.SelectAS

Methods

toDocPrec :: Int -> SelectASInstance -> Doc

toDocList :: [SelectASInstance] -> Doc

Generic SelectASInstance Source #

Instance details

Defined in Modelling.ActivityDiagram.SelectAS

Associated Types

type Rep SelectASInstance

Instance details

Defined in Modelling.ActivityDiagram.SelectAS

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

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 #

Hashable SelectASInstance Source #

Instance details

Defined in Modelling.ActivityDiagram.SelectAS

Methods

hashWithSalt :: Int -> SelectASInstance -> Int

hash :: SelectASInstance -> Int

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

data SelectASConfig Source #

Constructors

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

Instances

Instances details

Reader SelectASConfig Source #

Instance details

Defined in Modelling.ActivityDiagram.SelectAS

Methods

atomic_reader :: Parser SelectASConfig

atomic_readerPrec :: Int -> Parser SelectASConfig

reader :: Parser SelectASConfig

readerPrec :: Int -> Parser SelectASConfig

readerList :: Parser [SelectASConfig]

ToDoc SelectASConfig Source #

Instance details

Defined in Modelling.ActivityDiagram.SelectAS

Methods

toDocPrec :: Int -> SelectASConfig -> Doc

toDocList :: [SelectASConfig] -> Doc

Generic SelectASConfig Source #

Instance details

Defined in Modelling.ActivityDiagram.SelectAS

Associated Types

type Rep SelectASConfig

Instance details

Defined in Modelling.ActivityDiagram.SelectAS

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

data SelectASSolution Source #

Constructors

SelectASSolution
Fields correctSequence :: [String] wrongSequences :: [[String]]

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 Source #

Arguments

:: forall (m :: Type -> Type). MonadRandom m
=> Bool	if sequences should contain at least one action twice
-> Int	the number of wrong sequences to return
-> (Int, Int)	how long the returned sequences should be specified by (lower, upper) bound
-> UMLActivityDiagram	For which AD diagram the correct sequence should be valid
-> MaybeT m SelectASSolution

Generate a set of one correct and multiple wrong sequences.

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

selectASSyntax :: forall (m :: Type -> Type). OutputCapable m => SelectASInstance -> Int -> LangM m Source #

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