Control.Monad.Codec

Documentation

data CodecFor r w c a

A serializer/deserializer pair reading a in context r and writing c in context w.

Constructors

Codec

Fields

• codecIn :: r a
• codecOut :: c -> w a

Instances

(Functor r, Functor w) => Profunctor (CodecFor r w)

Methods

dimap :: (a -> b) -> (c -> d) -> CodecFor r w b c -> CodecFor r w a d

lmap :: (a -> b) -> CodecFor r w b c -> CodecFor r w a c

rmap :: (b -> c) -> CodecFor r w a b -> CodecFor r w a c

(#.) :: Coercible * c b => (b -> c) -> CodecFor r w a b -> CodecFor r w a c

(.#) :: Coercible * b a => CodecFor r w b c -> (a -> b) -> CodecFor r w a c

(Monad r, Monad w) => Monad (CodecFor r w c)

Methods

(>>=) :: CodecFor r w c a -> (a -> CodecFor r w c b) -> CodecFor r w c b

(>>) :: CodecFor r w c a -> CodecFor r w c b -> CodecFor r w c b

return :: a -> CodecFor r w c a

fail :: String -> CodecFor r w c a

(Functor w, Functor r) => Functor (CodecFor r w c)

Methods

fmap :: (a -> b) -> CodecFor r w c a -> CodecFor r w c b

(<$) :: a -> CodecFor r w c b -> CodecFor r w c a

(Applicative r, Applicative w) => Applicative (CodecFor r w c)

Methods

pure :: a -> CodecFor r w c a

(<*>) :: CodecFor r w c (a -> b) -> CodecFor r w c a -> CodecFor r w c b

(*>) :: CodecFor r w c a -> CodecFor r w c b -> CodecFor r w c b

(<*) :: CodecFor r w c a -> CodecFor r w c b -> CodecFor r w c a

type Codec r w a = CodecFor r w a a

(=.) :: (c' -> c) -> CodecFor r w c a -> CodecFor r w c' a

Compose a function into the serializer of a Codec. Useful to modify a Codec so that it writes a particular record field.

fmapArg :: Functor f => (a -> f ()) -> a -> f a

Modify a serializer function so that it also returns the serialized value, Useful for implementing codecs.