modelling-tasks-0.0.0.1
Safe HaskellNone
LanguageHaskell2010

Modelling.CdOd.SelectValidCd

Documentation

data SelectValidCdConfig Source #

Constructors

SelectValidCdConfig 

Fields

Instances

Instances details
Reader SelectValidCdConfig Source # 
Instance details

Defined in Modelling.CdOd.SelectValidCd

Methods

atomic_reader :: Parser SelectValidCdConfig

atomic_readerPrec :: Int -> Parser SelectValidCdConfig

reader :: Parser SelectValidCdConfig

readerPrec :: Int -> Parser SelectValidCdConfig

readerList :: Parser [SelectValidCdConfig]

ToDoc SelectValidCdConfig Source # 
Instance details

Defined in Modelling.CdOd.SelectValidCd

Methods

toDocPrec :: Int -> SelectValidCdConfig -> Doc

toDocList :: [SelectValidCdConfig] -> Doc

Generic SelectValidCdConfig Source # 
Instance details

Defined in Modelling.CdOd.SelectValidCd

Associated Types

type Rep SelectValidCdConfig 
Instance details

Defined in Modelling.CdOd.SelectValidCd

type Rep SelectValidCdConfig = D1 ('MetaData "SelectValidCdConfig" "Modelling.CdOd.SelectValidCd" "modelling-tasks-0.0.0.1-2KiclaEArwR4yz1IHg8eKf" '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))))))

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

Instances

Instances details
Reader SelectValidCdInstance Source # 
Instance details

Defined in Modelling.CdOd.SelectValidCd

Methods

atomic_reader :: Parser SelectValidCdInstance

atomic_readerPrec :: Int -> Parser SelectValidCdInstance

reader :: Parser SelectValidCdInstance

readerPrec :: Int -> Parser SelectValidCdInstance

readerList :: Parser [SelectValidCdInstance]

ToDoc SelectValidCdInstance Source # 
Instance details

Defined in Modelling.CdOd.SelectValidCd

Methods

toDocPrec :: Int -> SelectValidCdInstance -> Doc

toDocList :: [SelectValidCdInstance] -> Doc

Generic SelectValidCdInstance Source # 
Instance details

Defined in Modelling.CdOd.SelectValidCd

Associated Types

type Rep SelectValidCdInstance 
Instance details

Defined in Modelling.CdOd.SelectValidCd

type Rep SelectValidCdInstance

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 #

Hashable SelectValidCdInstance Source # 
Instance details

Defined in Modelling.CdOd.SelectValidCd

Methods

hashWithSalt :: Int -> SelectValidCdInstance -> Int

hash :: SelectValidCdInstance -> Int

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
Reader SelectValidCdTaskTextElement Source # 
Instance details

Defined in Modelling.CdOd.SelectValidCd

Methods

atomic_reader :: Parser SelectValidCdTaskTextElement

atomic_readerPrec :: Int -> Parser SelectValidCdTaskTextElement

reader :: Parser SelectValidCdTaskTextElement

readerPrec :: Int -> Parser SelectValidCdTaskTextElement

readerList :: Parser [SelectValidCdTaskTextElement]

ToDoc SelectValidCdTaskTextElement Source # 
Instance details

Defined in Modelling.CdOd.SelectValidCd

Methods

toDocPrec :: Int -> SelectValidCdTaskTextElement -> Doc

toDocList :: [SelectValidCdTaskTextElement] -> Doc

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 
Instance details

Defined in Modelling.CdOd.SelectValidCd

type Rep SelectValidCdTaskTextElement = D1 ('MetaData "SelectValidCdTaskTextElement" "Modelling.CdOd.SelectValidCd" "modelling-tasks-0.0.0.1-2KiclaEArwR4yz1IHg8eKf" 'False) (C1 ('MetaCons "CdCandidates" 'PrefixI 'False) (U1 :: 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 #

Hashable SelectValidCdTaskTextElement Source # 
Instance details

Defined in Modelling.CdOd.SelectValidCd

Methods

hashWithSalt :: Int -> SelectValidCdTaskTextElement -> Int

hash :: SelectValidCdTaskTextElement -> Int

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-2KiclaEArwR4yz1IHg8eKf" '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 :: forall (m :: Type -> Type). (Alternative m, MonadCache m, MonadDiagrams m, MonadGraphviz m, MonadThrow m, OutputCapable m) => FilePath -> SelectValidCdInstance -> [Int] -> Rated m Source #

selectValidCdSolution :: SelectValidCdInstance -> [Int] Source #

selectValidCdSyntax :: forall (m :: Type -> Type). OutputCapable m => SelectValidCdInstance -> [Int] -> LangM m Source #

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