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
class ContraFunctor f whereSource
ContraFunctor (Const a) | |
ContraFunctor (ContraF a) | |
ContraFunctor (Const2 t a) | |
(Bifunctor p Hask Hask Hask, ContraFunctor f, ContraFunctor g) => ContraFunctor (Lift p f g) |
ContraFunctor h => PPointed (PHyper h) | |
ContraFunctor h => PApplicative (PHyper h) | |
ContraFunctor h => PMonad (PHyper h) | |
ContraFunctor h => QFunctor (PHyper h) Hask Hask | |
PFunctor (PHyper h) Hask Hask | |
ContraFunctor h => Bifunctor (PHyper h) Hask Hask Hask |