Documentation

addPretext :: forall (m :: Type -> Type) a. OutputCapable m => LangM' m a -> LangM' m a Source #

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

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

directionsAdvice :: forall (m :: Type -> Type). OutputCapable m => Bool -> LangM m Source #

hoveringInformation :: forall (m :: Type -> Type). OutputCapable m => Bool -> LangM m Source #

simplifiedInformation :: forall (m :: Type -> Type). OutputCapable m => Bool -> LangM m Source #

uniform :: a -> Map Language a Source #