Ideas.Encoding.Evaluator

Documentation

data EncoderState st a b

Instances

Arrow (EncoderState st)

ArrowZero (EncoderState st)

ArrowPlus (EncoderState st)

ArrowChoice (EncoderState st)

ArrowApply (EncoderState st)

Category (EncoderState st)

Monad (EncoderState st a)

Functor (EncoderState st a)

MonadPlus (EncoderState st a)

Applicative (EncoderState st a)

Monoid b => Monoid (EncoderState st a b)

BuildXML b => BuildXML (EncoderState st a b)

simpleEncoder :: (a -> b) -> EncoderState st a b

maybeEncoder :: (a -> Maybe b) -> EncoderState st a b

eitherEncoder :: (a -> Either String b) -> EncoderState st a b

encoderFor :: (a -> EncoderState st a b) -> EncoderState st a b

encoderStateFor :: (st -> a -> EncoderState st a b) -> EncoderState st a b

encodeTyped :: Typed a t => EncoderState st t b -> EncoderState st (TypedValue (Type a)) b

runEncoderState :: EncoderState st a b -> st -> a -> Either String b

runEncoderStateM :: Monad m => EncoderState st a b -> st -> a -> m b

(//) :: EncoderState st a c -> a -> EncoderState st b c

getState :: EncoderState st a st

withState :: (st -> b) -> EncoderState st a b

pure :: Applicative f => forall a. a -> f a

Lift a value.

(<$>) :: Functor f => (a -> b) -> f a -> f b

An infix synonym for fmap.

(<**>) :: Applicative f => f a -> f (a -> b) -> f b

A variant of <*> with the arguments reversed.

module Data.Monoid

liftA2 :: Applicative f => (a -> b -> c) -> f a -> f b -> f c

Lift a binary function to actions.

data Evaluator a b where

Constructors

Evaluator :: (TypedValue (Type a) -> IO b) -> (forall t. Type a t -> IO t) -> Evaluator a b

evalService :: Evaluator a b -> Service -> IO b