Control.Comonad.Context.Class

Documentation

class Comonad w => ComonadContext s w | w -> s where

Methods

getC :: w a -> s

modifyC :: (s -> s) -> w a -> a

Instances

ComonadContext s (Context s)

Comonad w => ComonadContext s (ContextT s w)

putC :: ComonadContext s w => s -> w a -> a

experiment :: (ComonadContext s w, Functor f) => f (s -> s) -> w a -> f a