Portability | non-portable (class-associated types) |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Generalized functor composeosition.
Documentation
Composition CompF | |
(Functor f, Functor g) => Functor (CompF f g) | |
(Full f, Full g) => Full (CompF f g) | |
(ExpFunctor f, ExpFunctor g) => ExpFunctor (CompF f g) |
associateComp :: (Functor f, Composition c) => c (c f g) h a -> c f (c g h) aSource
coassociateComp :: (Functor f, Composition c) => c f (c g h) a -> c (c f g) h aSource