category-extras-0.44.1: Various modules and constructs inspired by category theory. Source code Contents Index

Control.Comonad.Context Portability non-portable (MPTCs) Stability experimental Maintainer Edward Kmett <ekmett@gmail.com>

Description

The state-in-context comonad and comonad transformer

Documentation

data Context s a Source

Constructors Context (s -> a) s Instances ComonadContext s (Context s) Functor (Context s) Comonad (Context s)

newtype ContextT s w a Source

Constructors ContextT runContextT :: (w s -> a, w s) Instances Comonad w => ComonadContext s (ContextT s w) Functor (ContextT b f) Comonad w => Comonad (ContextT b w)

Produced by Haddock version 2.1.0