Portability | non-portable (kind annotations, rank-2 types) |
---|---|

Stability | experimental |

Maintainer | Edward Kmett <ekmett@gmail.com> |

Composition of higher order functors

# Documentation

class HComposition c whereSource

hcompose :: f (g x) a -> c f g x aSource

hdecompose :: c f g x a -> f (g x) aSource

hassociateComp :: (HFunctor f, HComposition c) => c (c f g) h a b -> c f (c g h) a bSource

hcoassociateComp :: (HFunctor f, HComposition c) => c f (c g h) a b -> c (c f g) h a bSource