| category-extras-0.53.6: Various modules and constructs inspired by category theory | Contents | Index |
|
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 |
| Methods | contramap :: (a -> b) -> f b -> f a |
| | Instances | |
|
|
type Hyper h a = Fix (PHyper h) |
A generic recursive hyperfunction-like combinator
|
|
type Hyp e a = Hyper (ContraF e) a |
Traditional Hyper functions
|
|
newtype PHyper h a b |
Constructors | | Instances | |
|
|
Produced by Haddock version 2.1.0 |