Safe Haskell	Safe-Inferred
Language	Haskell2010

Modelling.CdOd.SelectValidCd

Documentation

data SelectValidCdConfig Source #

Constructors

SelectValidCdConfig

Fields

allowedCdMutations :: ![CdMutation]
allowedProperties :: AllowedProperties
articleToUse :: ArticlePreference
the preferred article to use when referring to relationships
basePropertiesOfBaseCdOn :: !WeakeningKind
influences the validity of the base class diagram (see WeakeningKind)
cdConstraints :: CdConstraints
classConfig :: ClassConfig
drawSettings :: !CdDrawSettings
maxInstances :: Maybe Integer
objectProperties :: ObjectProperties
printExtendedFeedback :: Bool
when enabled feedback for wrong answers will be shown this might include ODs
printSolution :: Bool
shuffleEachCd :: Bool
timeout :: Maybe Int
extraText :: ExtraText

Instances

Instances details

Generic SelectValidCdConfig Source #
Instance details Defined in Modelling.CdOd.SelectValidCd Associated Types type Rep SelectValidCdConfig :: Type -> Type # Methods from :: SelectValidCdConfig -> Rep SelectValidCdConfig x # to :: Rep SelectValidCdConfig x -> SelectValidCdConfig #
Read SelectValidCdConfig Source #
Instance details Defined in Modelling.CdOd.SelectValidCd Methods readsPrec :: Int -> ReadS SelectValidCdConfig # readList :: ReadS [SelectValidCdConfig] # readPrec :: ReadPrec SelectValidCdConfig # readListPrec :: ReadPrec [SelectValidCdConfig] #
Show SelectValidCdConfig Source #
Instance details Defined in Modelling.CdOd.SelectValidCd Methods showsPrec :: Int -> SelectValidCdConfig -> ShowS # show :: SelectValidCdConfig -> String # showList :: [SelectValidCdConfig] -> ShowS #
type Rep SelectValidCdConfig Source #
Instance details Defined in Modelling.CdOd.SelectValidCd type Rep SelectValidCdConfig = D1 ('MetaData "SelectValidCdConfig" "Modelling.CdOd.SelectValidCd" "modelling-tasks-0.0.0.1-CFjgFvALsViKGNTlzwwmRs" 'False) (C1 ('MetaCons "SelectValidCdConfig" 'PrefixI 'True) (((S1 ('MetaSel ('Just "allowedCdMutations") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [CdMutation]) :: (S1 ('MetaSel ('Just "allowedProperties") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AllowedProperties) :: S1 ('MetaSel ('Just "articleToUse") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ArticlePreference))) :: ((S1 ('MetaSel ('Just "basePropertiesOfBaseCdOn") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 WeakeningKind) :: S1 ('MetaSel ('Just "cdConstraints") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CdConstraints)) :: (S1 ('MetaSel ('Just "classConfig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ClassConfig) :: S1 ('MetaSel ('Just "drawSettings") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 CdDrawSettings)))) :: ((S1 ('MetaSel ('Just "maxInstances") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Integer)) :: (S1 ('MetaSel ('Just "objectProperties") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ObjectProperties) :: S1 ('MetaSel ('Just "printExtendedFeedback") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))) :: ((S1 ('MetaSel ('Just "printSolution") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :: S1 ('MetaSel ('Just "shuffleEachCd") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :: (S1 ('MetaSel ('Just "timeout") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int)) :*: S1 ('MetaSel ('Just "extraText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExtraText))))))

data SelectValidCdInstance Source #

Constructors

SelectValidCdInstance
Fields cdDrawSettings :: !CdDrawSettings classDiagrams :: Map Int CdChange showExtendedFeedback :: Bool when enabled feedback for wrong answers will be shown this might include ODs showSolution :: !Bool taskText :: !SelectValidCdTaskText addText :: ExtraText

Instances

Instances details

Generic SelectValidCdInstance Source #
Instance details Defined in Modelling.CdOd.SelectValidCd Associated Types type Rep SelectValidCdInstance :: Type -> Type # Methods from :: SelectValidCdInstance -> Rep SelectValidCdInstance x # to :: Rep SelectValidCdInstance x -> SelectValidCdInstance #
Read SelectValidCdInstance Source #
Instance details Defined in Modelling.CdOd.SelectValidCd Methods readsPrec :: Int -> ReadS SelectValidCdInstance # readList :: ReadS [SelectValidCdInstance] # readPrec :: ReadPrec SelectValidCdInstance # readListPrec :: ReadPrec [SelectValidCdInstance] #
Show SelectValidCdInstance Source #
Instance details Defined in Modelling.CdOd.SelectValidCd Methods showsPrec :: Int -> SelectValidCdInstance -> ShowS # show :: SelectValidCdInstance -> String # showList :: [SelectValidCdInstance] -> ShowS #
Eq SelectValidCdInstance Source #
Instance details Defined in Modelling.CdOd.SelectValidCd Methods (==) :: SelectValidCdInstance -> SelectValidCdInstance -> Bool # (/=) :: SelectValidCdInstance -> SelectValidCdInstance -> Bool #
Randomise SelectValidCdInstance Source #
Instance details Defined in Modelling.CdOd.SelectValidCd Methods randomise :: (MonadRandom m, MonadThrow m) => SelectValidCdInstance -> m SelectValidCdInstance Source # isRandomisable :: SelectValidCdInstance -> Maybe String Source #
RandomiseLayout SelectValidCdInstance Source #
Instance details Defined in Modelling.CdOd.SelectValidCd Methods randomiseLayout :: (MonadRandom m, MonadThrow m) => SelectValidCdInstance -> m SelectValidCdInstance Source #
RandomiseNames SelectValidCdInstance Source #
Instance details Defined in Modelling.CdOd.SelectValidCd Methods hasRandomisableNames :: SelectValidCdInstance -> Maybe String Source # randomiseNames :: (MonadRandom m, MonadThrow m) => SelectValidCdInstance -> m SelectValidCdInstance Source #
type Rep SelectValidCdInstance Source #
Instance details Defined in Modelling.CdOd.SelectValidCd type Rep SelectValidCdInstance

data SelectValidCdTaskTextElement Source #

Constructors

CdCandidates

Instances

Instances details

Bounded SelectValidCdTaskTextElement Source #
Instance details Defined in Modelling.CdOd.SelectValidCd Methods minBound :: SelectValidCdTaskTextElement # maxBound :: SelectValidCdTaskTextElement #
Enum SelectValidCdTaskTextElement Source #
Instance details Defined in Modelling.CdOd.SelectValidCd Methods succ :: SelectValidCdTaskTextElement -> SelectValidCdTaskTextElement # pred :: SelectValidCdTaskTextElement -> SelectValidCdTaskTextElement # toEnum :: Int -> SelectValidCdTaskTextElement # fromEnum :: SelectValidCdTaskTextElement -> Int # enumFrom :: SelectValidCdTaskTextElement -> [SelectValidCdTaskTextElement] # enumFromThen :: SelectValidCdTaskTextElement -> SelectValidCdTaskTextElement -> [SelectValidCdTaskTextElement] # enumFromTo :: SelectValidCdTaskTextElement -> SelectValidCdTaskTextElement -> [SelectValidCdTaskTextElement] # enumFromThenTo :: SelectValidCdTaskTextElement -> SelectValidCdTaskTextElement -> SelectValidCdTaskTextElement -> [SelectValidCdTaskTextElement] #
Generic SelectValidCdTaskTextElement Source #
Instance details Defined in Modelling.CdOd.SelectValidCd Associated Types type Rep SelectValidCdTaskTextElement :: Type -> Type # Methods from :: SelectValidCdTaskTextElement -> Rep SelectValidCdTaskTextElement x # to :: Rep SelectValidCdTaskTextElement x -> SelectValidCdTaskTextElement #
Read SelectValidCdTaskTextElement Source #
Instance details Defined in Modelling.CdOd.SelectValidCd Methods readsPrec :: Int -> ReadS SelectValidCdTaskTextElement # readList :: ReadS [SelectValidCdTaskTextElement] # readPrec :: ReadPrec SelectValidCdTaskTextElement # readListPrec :: ReadPrec [SelectValidCdTaskTextElement] #
Show SelectValidCdTaskTextElement Source #
Instance details Defined in Modelling.CdOd.SelectValidCd Methods showsPrec :: Int -> SelectValidCdTaskTextElement -> ShowS # show :: SelectValidCdTaskTextElement -> String # showList :: [SelectValidCdTaskTextElement] -> ShowS #
Eq SelectValidCdTaskTextElement Source #
Instance details Defined in Modelling.CdOd.SelectValidCd Methods (==) :: SelectValidCdTaskTextElement -> SelectValidCdTaskTextElement -> Bool # (/=) :: SelectValidCdTaskTextElement -> SelectValidCdTaskTextElement -> Bool #
Ord SelectValidCdTaskTextElement Source #
Instance details Defined in Modelling.CdOd.SelectValidCd Methods compare :: SelectValidCdTaskTextElement -> SelectValidCdTaskTextElement -> Ordering # (<) :: SelectValidCdTaskTextElement -> SelectValidCdTaskTextElement -> Bool # (<=) :: SelectValidCdTaskTextElement -> SelectValidCdTaskTextElement -> Bool # (>) :: SelectValidCdTaskTextElement -> SelectValidCdTaskTextElement -> Bool # (>=) :: SelectValidCdTaskTextElement -> SelectValidCdTaskTextElement -> Bool # max :: SelectValidCdTaskTextElement -> SelectValidCdTaskTextElement -> SelectValidCdTaskTextElement # min :: SelectValidCdTaskTextElement -> SelectValidCdTaskTextElement -> SelectValidCdTaskTextElement #
type Rep SelectValidCdTaskTextElement Source #
Instance details Defined in Modelling.CdOd.SelectValidCd type Rep SelectValidCdTaskTextElement = D1 ('MetaData "SelectValidCdTaskTextElement" "Modelling.CdOd.SelectValidCd" "modelling-tasks-0.0.0.1-CFjgFvALsViKGNTlzwwmRs" 'False) (C1 ('MetaCons "CdCandidates" 'PrefixI 'False) (U1 :: Type -> Type))

checkSelectValidCdConfig :: SelectValidCdConfig -> Maybe String Source #

checkSelectValidCdInstance :: SelectValidCdInstance -> Maybe String Source #

defaultSelectValidCdConfig :: SelectValidCdConfig Source #

defaultSelectValidCdInstance :: SelectValidCdInstance Source #

selectValidCd :: (MonadAlloy m, MonadCatch m) => SelectValidCdConfig -> Int -> Int -> m SelectValidCdInstance Source #

selectValidCdEvaluation :: (Alternative m, MonadCache m, MonadDiagrams m, MonadGraphviz m, MonadThrow m, OutputCapable m) => FilePath -> SelectValidCdInstance -> [Int] -> Rated m Source #

selectValidCdSolution :: SelectValidCdInstance -> [Int] Source #

selectValidCdSyntax :: OutputCapable m => SelectValidCdInstance -> [Int] -> LangM m Source #

selectValidCdTask :: (MonadCache m, MonadDiagrams m, MonadGraphviz m, OutputCapable m) => Bool -> FilePath -> SelectValidCdInstance -> LangM m Source #