Safe Haskell	Safe-Inferred
Language	Haskell2010

Modelling.Auxiliary.Output

Description

This module provides common skeletons for printing tasks

Synopsis

data ExtraText
- = NoExtraText
- | Static (Map Language String)
- | Collapsible Bool (Map Language String) (Map Language String)
addPretext :: OutputCapable m => LangM' m a -> LangM' m a
checkTaskText :: (Bounded element, Enum element, Eq element, Show element) => [SpecialOutput element] -> Maybe String
directionsAdvice :: OutputCapable m => LangM m
extra :: OutputCapable m => ExtraText -> LangM m
hoveringInformation :: OutputCapable m => LangM m
simplifiedInformation :: OutputCapable m => LangM m
uniform :: a -> Map Language a

Documentation

data ExtraText Source #

Configuration options for additional text

Constructors

NoExtraText	Provide no additional text.
Static	Provide additional text that is always shown.
Fields (Map Language String) The text do be displayed.
Collapsible	Provide additional text that can be collapsed.
Fields Bool The default collapse status of the text. (Map Language String) The description of the text to be shown. (Map Language String) The text to be shown when not collapsed.

Instances

Instances details

Data ExtraText Source #
Instance details Defined in Modelling.Auxiliary.Output Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ExtraText -> c ExtraText # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ExtraText # toConstr :: ExtraText -> Constr # dataTypeOf :: ExtraText -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ExtraText) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ExtraText) # gmapT :: (forall b. Data b => b -> b) -> ExtraText -> ExtraText # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ExtraText -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ExtraText -> r # gmapQ :: (forall d. Data d => d -> u) -> ExtraText -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ExtraText -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ExtraText -> m ExtraText # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ExtraText -> m ExtraText # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ExtraText -> m ExtraText #
Read ExtraText Source #
Instance details Defined in Modelling.Auxiliary.Output Methods readsPrec :: Int -> ReadS ExtraText # readList :: ReadS [ExtraText] # readPrec :: ReadPrec ExtraText # readListPrec :: ReadPrec [ExtraText] #
Show ExtraText Source #
Instance details Defined in Modelling.Auxiliary.Output Methods showsPrec :: Int -> ExtraText -> ShowS # show :: ExtraText -> String # showList :: [ExtraText] -> ShowS #
Eq ExtraText Source #
Instance details Defined in Modelling.Auxiliary.Output Methods (==) :: ExtraText -> ExtraText -> Bool # (/=) :: ExtraText -> ExtraText -> Bool #

addPretext :: OutputCapable m => LangM' m a -> LangM' m a Source #

checkTaskText :: (Bounded element, Enum element, Eq element, Show element) => [SpecialOutput element] -> Maybe String Source #

directionsAdvice :: OutputCapable m => LangM m Source #

extra :: OutputCapable m => ExtraText -> LangM m Source #

hoveringInformation :: OutputCapable m => LangM m Source #

simplifiedInformation :: OutputCapable m => LangM m Source #

uniform :: a -> Map Language a Source #