Portability | non-portable (rank-2 polymorphism) |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
extending Neil Ghani and Patrician Johann's HFunctor to higher order comonads
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
class HCopointed w => HComonad w whereSource