Portability | non-portable (functional-dependencies) |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Based on the construction of hyperfunctions as parameterized monads in http://crab.rutgers.edu/~pjohann/f14-ghani.pdf
Documentation
ContravariantFunctor h => Bifunctor (HyperB h) | |
ContravariantFunctor h => PMonad (HyperB h) |