|
Control.Comonad.Context | Portability | non-portable (MPTCs) | Stability | experimental | Maintainer | Edward 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 |
|
|
| Methods | | | modifyC :: (s -> s) -> w a -> a | Source |
|
| | Instances | |
|
|
|
|
|
|
|
Constructors | | Instances | |
|
|
|
|
|
Constructors | ContextT | | runContextT :: (w s -> a, w s) | |
|
| Instances | |
|
|
Produced by Haddock version 2.4.2 |