category-extras-0.44.1: Various modules and constructs inspired by category theory.Source codeContentsIndex
Control.Functor.Composition
Portabilitynon-portable (class-associated types)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Description
Generalized functor composeosition.
Documentation
newtype CompF f g a Source
Constructors
CompF
runCompF :: f (g a)
show/hide Instances
type :.: f g a = CompF f g aSource
associateComp :: (Functor f, Composition c) => (c (c f g) h) a -> (c f (c g h)) aSource
coassociateComp :: (Functor f, Composition c) => (c f (c g h)) a -> (c (c f g) h) aSource
Produced by Haddock version 2.1.0