Control.Comonad.Context

The state-in-context comonad and comonad transformer

Documentation

data Context s a

Constructors

Context (s -> a) s

Instances

ComonadContext s (Context s)

Functor (Context s)

Comonad (Context s)

newtype ContextT s w a

Constructors

ContextT

Fields

runContextT :: (w s -> a, w s)

Instances

Comonad w => ComonadContext s (ContextT s w)

Functor (ContextT b f)

Comonad w => Comonad (ContextT b w)