Ideas.Encoding.Encoder

Converter type class

class Converter f where

Minimal complete definition

fromExercise, fromOptions, run

Methods

fromExercise :: (Exercise a -> t) -> f a s t

fromOptions :: (Options -> t) -> f a s t

run :: Monad m => f a s t -> Exercise a -> Options -> s -> m t

Instances

Converter Decoder

Methods

fromExercise :: (Exercise a -> t) -> Decoder a s t

fromOptions :: (Options -> t) -> Decoder a s t

run :: Monad m => Decoder a s t -> Exercise a -> Options -> s -> m t

Converter Encoder

Methods

fromExercise :: (Exercise a -> t) -> Encoder a s t

fromOptions :: (Options -> t) -> Encoder a s t

run :: Monad m => Encoder a s t -> Exercise a -> Options -> s -> m t

getExercise :: Converter f => f a s (Exercise a)

getBaseUrl :: Converter f => f a s String

getQCGen :: Converter f => f a s QCGen

getScript :: Converter f => f a s Script

getRequest :: Converter f => f a s Request

withExercise :: (Converter f, Monad (f a s)) => (Exercise a -> f a s t) -> f a s t

withOpenMath :: (Converter f, Monad (f a s)) => (Bool -> f a s t) -> f a s t

withJSONTerm :: (Converter f, Monad (f a s)) => (Bool -> f a s t) -> f a s t

(//) :: (Converter f, Monad (f a s2)) => f a s t -> s -> f a s2 t

JSON support

hasJSONView :: Exercise a -> Maybe (View JSON a)

addJSONView :: View JSON a -> Exercise a -> Exercise a

jsonEncoding :: InJSON a => Exercise a -> Exercise a

termToJSON :: Term -> JSON

jsonToTerm :: JSON -> Term

Latex support

hasLatexEncoding :: Exercise a -> Bool

latexPrinter :: Exercise a -> a -> Latex

Uses exercise pretty-printer in case latex encoding is missing.

latexPrinterContext :: Exercise a -> Context a -> Latex

Uses exercise pretty-printer in case latex encoding is missing.

latexEncoding :: ToLatex a => Exercise a -> Exercise a

latexEncodingWith :: (a -> Latex) -> Exercise a -> Exercise a

Encoder datatype

data Encoder a s t

Instances

Converter Encoder

Methods

fromExercise :: (Exercise a -> t) -> Encoder a s t

fromOptions :: (Options -> t) -> Encoder a s t

run :: Monad m => Encoder a s t -> Exercise a -> Options -> s -> m t

Arrow (Encoder a)

Methods

arr :: (b -> c) -> Encoder a b c

first :: Encoder a b c -> Encoder a (b, d) (c, d)

second :: Encoder a b c -> Encoder a (d, b) (d, c)

(***) :: Encoder a b c -> Encoder a b' c' -> Encoder a (b, b') (c, c')

(&&&) :: Encoder a b c -> Encoder a b c' -> Encoder a b (c, c')

Category * (Encoder a)

Methods

id :: cat a a

(.) :: cat b c -> cat a b -> cat a c

Monad (Encoder a s)

Methods

(>>=) :: Encoder a s a -> (a -> Encoder a s b) -> Encoder a s b

(>>) :: Encoder a s a -> Encoder a s b -> Encoder a s b

return :: a -> Encoder a s a

fail :: String -> Encoder a s a

Functor (Encoder a s)

Methods

fmap :: (a -> b) -> Encoder a s a -> Encoder a s b

(<$) :: a -> Encoder a s b -> Encoder a s a

Applicative (Encoder a s)

Methods

pure :: a -> Encoder a s a

(<*>) :: Encoder a s (a -> b) -> Encoder a s a -> Encoder a s b

(*>) :: Encoder a s a -> Encoder a s b -> Encoder a s b

(<*) :: Encoder a s a -> Encoder a s b -> Encoder a s a

Alternative (Encoder a s)

Methods

empty :: Encoder a s a

(<|>) :: Encoder a s a -> Encoder a s a -> Encoder a s a

some :: Encoder a s a -> Encoder a s [a]

many :: Encoder a s a -> Encoder a s [a]

MonadPlus (Encoder a s)

Methods

mzero :: Encoder a s a

mplus :: Encoder a s a -> Encoder a s a -> Encoder a s a

Monoid t => Monoid (Encoder a s t)

Methods

mempty :: Encoder a s t

mappend :: Encoder a s t -> Encoder a s t -> Encoder a s t

mconcat :: [Encoder a s t] -> Encoder a s t

BuildXML t => BuildXML (Encoder a s t)

Methods

(.=.) :: String -> String -> Encoder a s t

unescaped :: String -> Encoder a s t

builder :: Element -> Encoder a s t

tag :: String -> Encoder a s t -> Encoder a s t

string :: String -> Encoder a s t

text :: Show s => s -> Encoder a s t

element :: String -> [Encoder a s t] -> Encoder a s t

emptyTag :: String -> Encoder a s t

type TypedEncoder a = Encoder a (TypedValue (Type a))

makeEncoder :: (s -> t) -> Encoder a s t

encoderFor :: (s -> Encoder a s t) -> Encoder a s t

exerciseEncoder :: (Exercise a -> s -> t) -> Encoder a s t

(<?>) :: (Encoder a t b, Type a1 t) -> Encoder a (TypedValue (Type a1)) b -> Encoder a (TypedValue (Type a1)) b infixr 5

encodeTyped :: Encoder st t b -> Type a t -> Encoder st (TypedValue (Type a)) b

Decoder datatype

data Decoder a s t

Instances

Converter Decoder

Methods

fromExercise :: (Exercise a -> t) -> Decoder a s t

fromOptions :: (Options -> t) -> Decoder a s t

run :: Monad m => Decoder a s t -> Exercise a -> Options -> s -> m t

Monad (Decoder a s)

Methods

(>>=) :: Decoder a s a -> (a -> Decoder a s b) -> Decoder a s b

(>>) :: Decoder a s a -> Decoder a s b -> Decoder a s b

return :: a -> Decoder a s a

fail :: String -> Decoder a s a

Functor (Decoder a s)

Methods

fmap :: (a -> b) -> Decoder a s a -> Decoder a s b

(<$) :: a -> Decoder a s b -> Decoder a s a

Applicative (Decoder a s)

Methods

pure :: a -> Decoder a s a

(<*>) :: Decoder a s (a -> b) -> Decoder a s a -> Decoder a s b

(*>) :: Decoder a s a -> Decoder a s b -> Decoder a s b

(<*) :: Decoder a s a -> Decoder a s b -> Decoder a s a

Alternative (Decoder a s)

Methods

empty :: Decoder a s a

(<|>) :: Decoder a s a -> Decoder a s a -> Decoder a s a

some :: Decoder a s a -> Decoder a s [a]

many :: Decoder a s a -> Decoder a s [a]

MonadPlus (Decoder a s)

Methods

mzero :: Decoder a s a

mplus :: Decoder a s a -> Decoder a s a -> Decoder a s a

type TypedDecoder a s = forall t. Type a t -> Decoder a s t

makeDecoder :: (s -> t) -> Decoder a s t

decoderFor :: (s -> Decoder a s t) -> Decoder a s t

split :: (s -> Either String (t, s)) -> Decoder a s t

symbol :: Decoder a [s] s

setInput :: s -> Decoder a s ()