| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Control.Monad.Codec
Documentation
A serializer/deserializer pair reading a in context r and writing c in context w.
Instances
| (Functor r, Functor w) => Profunctor (CodecFor r w) # | |
Defined in Control.Monad.Codec 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) # | |
| (Functor r, Functor w) => Functor (CodecFor r w c) # | |
| (Applicative r, Applicative w) => Applicative (CodecFor r w c) # | |
Defined in Control.Monad.Codec Methods pure :: a -> CodecFor r w c a # (<*>) :: CodecFor r w c (a -> b) -> CodecFor r w c a -> CodecFor r w c b # liftA2 :: (a -> b -> c0) -> CodecFor r w c a -> CodecFor r w c b -> CodecFor r w c c0 # (*>) :: 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 # | |