Portability | non-portable (rank-2 polymorphism) |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Neil Ghani and Particia Johann''s higher order functors from http://crab.rutgers.edu/~pjohann/tlca07-rev.pdf
Documentation
HFunctor ListT | |
HFunctor CoYoneda | |
HFunctor Yoneda | |
HFunctor (WriterT e) | |
HFunctor (StateT e) | |
HFunctor (ReaderT e) | |
Bifunctor p Hask Hask Hask => HFunctor (Ap p) | |
Functor f => HFunctor (CompF f) | |
Functor f => HFunctor (ACompF f) | |
Functor g => HFunctor (Lan g) | |
HFunctor (Ran g) | |
(HFunctor f, HFunctor g) => HFunctor (CompH f g) |
class HFunctor w => HCopointed w whereSource
type HCoalgebra f g = g :~> f gSource