category-extras-0.53.6: Various modules and constructs inspired by category theory Contents Index

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

newtype CompH f g a b

Constructors CompH runCompH :: f (g a) b Instances HComposition CompH (HFunctor f, HFunctor g) => HFunctor (CompH f g) (HAdjunction f1 g1, HAdjunction f2 g2) => HAdjunction (CompH f2 f1) (CompH g1 g2) (HFunctor f, HFunctor g, Functor h) => Functor (CompH f g h)

class HComposition o where

Methods hcompose :: f (g h) a -> (f `o` g) h a hdecompose :: (f `o` g) h a -> f (g h) a Instances HComposition CompH

hassociateComposition :: (HFunctor f, HComposition o) => ((f `o` g) `o` h) a b -> (f `o` (g `o` h)) a b

hcoassociateComposition :: (HFunctor f, HComposition o) => (f `o` (g `o` h)) a b -> ((f `o` g) `o` h) a b

Produced by Haddock version 2.1.0