|
Control.Monad.Hyper | Portability | non-portable (functional-dependencies) | Stability | experimental | Maintainer | Edward Kmett <ekmett@gmail.com> |
|
|
|
Description |
Based on the construction of hyperfunctions as parameterized monads in
http://crab.rutgers.edu/~pjohann/f14-ghani.pdf
|
|
Synopsis |
|
|
|
Documentation |
|
class ContraFunctor f where | Source |
|
| Methods | contramap :: (a -> b) -> f b -> f a | Source |
|
| | Instances | |
|
|
|
A generic recursive hyperfunction-like combinator
|
|
|
Traditional Hyper functions
|
|
|
Constructors | | Instances | |
|
|
Produced by Haddock version 2.4.2 |