| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
FlexTask.Types
Description
FlexTask configuration and task instance types.
Synopsis
- type HtmlDict = Map Lang String
- data CommonModules = CommonModules {
- globalModule :: String
- settingsModule :: String
- descriptionModule :: String
- parseModule :: String
- extraModules :: [(String, String)]
- data FlexInst = FlexInst {
- form :: ([Text], HtmlDict)
- taskData :: String
- commonModules :: CommonModules
- checkModule :: String
- data FlexConf = FlexConf {}
- delimiter :: String
- parseFlexConfig :: Parser FlexConf
- showFlexConfig :: FlexConf -> String
- validateFlexConfig :: forall (m :: Type -> Type). OutputCapable m => FlexConf -> LangM m
Documentation
type HtmlDict = Map Lang String Source #
A map of language code and internationalized HTML value pairs.
data CommonModules Source #
Constructors
| CommonModules | |
Fields
| |
Instances
Concrete Task instance. Contained Haskell code is runtime interpreted to produce needed components of a task.
Constructors
| FlexInst | |
Fields
| |
Instances
| Generic FlexInst Source # | |||||
Defined in FlexTask.Types Associated Types
| |||||
| type Rep FlexInst Source # | |||||
Defined in FlexTask.Types type Rep FlexInst = D1 ('MetaData "FlexInst" "FlexTask.Types" "flex-tasks-0.0.0-6jZXaKzOMKF6n8h63PhO69" 'False) (C1 ('MetaCons "FlexInst" 'PrefixI 'True) ((S1 ('MetaSel ('Just "form") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ([Text], HtmlDict)) :*: S1 ('MetaSel ('Just "taskData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :*: (S1 ('MetaSel ('Just "commonModules") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CommonModules) :*: S1 ('MetaSel ('Just "checkModule") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))) | |||||
Configuration to use for random generation of concrete FlexInst.
taskDataModule is interpreted upon generating an instance to produce static form data.
The other Haskell modules are propagated to the generated task instance.
Constructors
| FlexConf | |
Fields
| |
Instances
| Generic FlexConf Source # | |||||
Defined in FlexTask.Types Associated Types
| |||||
| Show FlexConf Source # | |||||
| Eq FlexConf Source # | |||||
| Ord FlexConf Source # | |||||
Defined in FlexTask.Types | |||||
| type Rep FlexConf Source # | |||||
Defined in FlexTask.Types type Rep FlexConf = D1 ('MetaData "FlexConf" "FlexTask.Types" "flex-tasks-0.0.0-6jZXaKzOMKF6n8h63PhO69" 'False) (C1 ('MetaCons "FlexConf" 'PrefixI 'True) (S1 ('MetaSel ('Just "taskDataModule") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "commonModules") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CommonModules))) | |||||
parseFlexConfig :: Parser FlexConf Source #
Parser for FlexTask configurations. Reads five or more code modules each separated by at least three equals signs (=).
Modules starting from the sixth will be added to extraModules.
showFlexConfig :: FlexConf -> String Source #
Convert a configuration into a String. The modules are separated by lines of at least three consecutive equals signs (=). e.g.
Module1 where ... ==================== Module2 where ...