Portability | non-portable (MPTCs) |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
The Context Comonad Transformer is related to the left Kan Extension Lan
of
a comonad along itself, except the type of the context is fixed, and
not existentially quantified.
Documentation
module Control.Comonad
class Comonad w => ComonadContext s w | w -> s whereSource
ComonadContext s (Context s) | |
Comonad w => ComonadContext s (ContextT s w) | |
ComonadContext e (ACompF ((,) e) ((->) e)) | |
ComonadContext e m => ComonadContext e (Lan m m) |
putC :: ComonadContext s w => s -> w a -> aSource
experiment :: (ComonadContext s w, Functor f) => f (s -> s) -> w a -> f aSource
Context (s -> a) s |
runContext :: (Context s s -> Context s b) -> s -> (b, s)Source