category-extras-0.53.5: Various modules and constructs inspired by category theorySource codeContentsIndex
Control.Comonad.Context
Portabilitynon-portable (MPTCs)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Description
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
Methods
getC :: w a -> sSource
modifyC :: (s -> s) -> w a -> aSource
show/hide Instances
putC :: ComonadContext s w => s -> w a -> aSource
experiment :: (ComonadContext s w, Functor f) => f (s -> s) -> w a -> f aSource
data Context s a Source
Constructors
Context (s -> a) s
show/hide Instances
runContext :: (Context s s -> Context s b) -> s -> (b, s)Source
newtype ContextT s w a Source
Constructors
ContextT
runContextT :: (w s -> a, w s)
show/hide Instances
Produced by Haddock version 2.4.2