Control.Functor.Composition

Generalized functor composeosition.

Documentation

newtype CompF f g a

Constructors

CompF

Fields

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)

class Composition c where

Methods

decompose :: c f g x -> f (g x)

compose :: f (g x) -> c f g x

Instances

Composition CompF

Composition ACompF

Composition DistCompF

Composition PreCompF

Composition PostCompF

Composition PointedCompF

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

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

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