Portability	non-portable (kind annotations, rank-2 types)
Stability	experimental
Maintainer	Edward Kmett <ekmett@gmail.com>

Control.Functor.HigherOrder.Composition

Description

Composition of higher order functors

Documentation

newtype CompH f g a b Source

Constructors

CompH
Fields runCompH :: f (g a) b

Instances

HComposition CompH
(HFunctor f, HFunctor g) => HFunctor (CompH f g)

Methods

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

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

Instances

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