Ideas.Encoding.Encoder

Converter type class

class Converter f where

Methods

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

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

Instances

Converter Decoder

Converter Encoder

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

getStdGen :: Converter f => f a s StdGen

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

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

Options

data Options a

simpleOptions :: Exercise a -> Options a

makeOptions :: DomainReasoner -> Request -> IO (Some Options)

Encoder datatype

data Encoder a s t

Instances

Converter Encoder

Category * (Encoder a)

Arrow (Encoder a)

Monad (Encoder a s)

Functor (Encoder a s)

MonadPlus (Encoder a s)

Applicative (Encoder a s)

Monoid t => Monoid (Encoder a s t)

BuildXML t => BuildXML (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

Alternative (Decoder a s)

Monad (Decoder a s)

Functor (Decoder a s)

MonadPlus (Decoder a s)

Applicative (Decoder a s)

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 ()

module Data.Monoid

module Control.Applicative

module Control.Arrow