Portability | non-portable (class-associated types) |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Exponential functors, see http://comonad.com/reader/2008/rotten-bananas/
Documentation
class ExpFunctor f whereSource
ExpFunctor (Const a) | |
(ExpFunctor f, ExpFunctor g) => ExpFunctor (CompF f g) | |
(ExpFunctor f, ExpFunctor g) => ExpFunctor (ACompF f g) | |
(ExpFunctor f, ExpFunctor g) => ExpFunctor (DistCompF f g) | |
(ExpFunctor f, ExpFunctor mw) => ExpFunctor (PreCompF f mw) | |
(ExpFunctor mw, ExpFunctor f) => ExpFunctor (PostCompF mw f) | |
(ExpFunctor f, ExpFunctor g) => ExpFunctor (PointedCompF f g) | |
ExpFunctor (Const2 t a) | |
(Bifunctor p Hask Hask Hask, ExpFunctor f, ExpFunctor g) => ExpFunctor (Lift p f g) |