|
Control.Functor.HigherOrder.Composition | Portability | non-portable (kind annotations, rank-2 types) | Stability | experimental | Maintainer | Edward Kmett <ekmett@gmail.com> |
|
|
|
Description |
Composition of higher order functors
|
|
|
Documentation |
|
|
Constructors | | Instances | |
|
|
class HComposition o where | Source |
|
| Methods | hcompose :: f (g h) a -> (f `o` g) h a | Source |
| | hdecompose :: (f `o` g) h a -> f (g h) a | Source |
|
| | Instances | |
|
|
|
|
|
|
Produced by Haddock version 2.4.2 |