Portability | portable |
---|---|
Stability | provisional |
Maintainer | Edward Kmett <ekmett@gmail.com> |
The environment comonad transformer (aka coreader). This adds an extra value that can be accessed in the environment.
Left adjoint to the reader comonad.
Portability | portable |
---|---|
Stability | provisional |
Maintainer | Edward Kmett <ekmett@gmail.com> |
The environment comonad transformer (aka coreader). This adds an extra value that can be accessed in the environment.
Left adjoint to the reader comonad.