Portability | portable (depends on ghc) |
---|---|
Stability | provisional |
Maintainer | bastiaan.heeren@ou.nl |
Safe Haskell | None |
- data 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
- (<$>) :: Functor f => (a -> b) -> f a -> f b
- (<**>) :: Applicative f => f a -> f (a -> b) -> f b
- module Data.Monoid
- liftA2 :: Applicative f => (a -> b -> c) -> f a -> f b -> f c
- data Evaluator a m b where
- Evaluator :: (TypedValue (Type a) -> m b) -> (forall t. Type a t -> m t) -> Evaluator a m b
- evalService :: Monad m => Evaluator a m b -> Service -> m b
Documentation
data EncoderState st a b Source
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 bSource
maybeEncoder :: (a -> Maybe b) -> EncoderState st a bSource
eitherEncoder :: (a -> Either String b) -> EncoderState st a bSource
encoderFor :: (a -> EncoderState st a b) -> EncoderState st a bSource
encoderStateFor :: (st -> a -> EncoderState st a b) -> EncoderState st a bSource
encodeTyped :: Typed a t => EncoderState st t b -> EncoderState st (TypedValue (Type a)) bSource
runEncoderState :: EncoderState st a b -> st -> a -> Either String bSource
runEncoderStateM :: Monad m => EncoderState st a b -> st -> a -> m bSource
(//) :: EncoderState st a c -> a -> EncoderState st b cSource
getState :: EncoderState st a stSource
withState :: (st -> b) -> EncoderState st a bSource
pure :: Applicative f => forall a. a -> f a
Lift a value.
(<**>) :: 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 m b whereSource
Evaluator :: (TypedValue (Type a) -> m b) -> (forall t. Type a t -> m t) -> Evaluator a m b |
evalService :: Monad m => Evaluator a m b -> Service -> m bSource