category-extras-0.44.1: Various modules and constructs inspired by category theory. Source code Contents Index

Control.Functor.Composition Portability non-portable (class-associated types) Stability experimental Maintainer Edward Kmett <ekmett@gmail.com>

Description

Generalized functor composeosition.

Documentation

newtype CompF f g a Source

Constructors CompF runCompF :: f (g a) Instances 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)

type :.: f g a = CompF f g a Source

associateComp :: (Functor f, Composition c) => (c (c f g) h) a -> (c f (c g h)) a Source

coassociateComp :: (Functor f, Composition c) => (c f (c g h)) a -> (c (c f g) h) a Source

Produced by Haddock version 2.1.0