|
|
|
| Description |
| Defines the state-in-context comonad, which is dual to the state monad.
Each operation in the context comonad runs in a context determined
by later operations. (Observe, for example, experiment, which runs
the preceeding operations multiple times in different contexts and
returns a list of results.)
|
|
| Synopsis |
|
|
|
| Documentation |
|
|
| Constructors | |  Instances | |
|
|
|
| Returns the context
|
|
|
| Returns the result of the preceeding operations running in
a modified context
|
|
|
| Returns a list of results created by running prior operations
in modified contexts created by the list of context-modifiers.
|
|
|
Lifts an operation into the context comonad. Syntactic sugar
for fmap when chaining comonad operations.
liftCtx == extract . fmap f
w =>> liftCtx f == fmap f w
|
|
| Produced by Haddock version 2.3.0 |
