Data.Profunctor.Composition

Documentation

data Procompose f g d c where

Constructors

Procompose :: f d a -> g a c -> Procompose f g d c

Instances

(Profunctor f, Profunctor g) => Profunctor (Procompose f g)

Profunctor g => Functor (Procompose f g a)

proidl :: Profunctor g => Procompose (->) g d c -> g d c

proidr :: Profunctor f => Procompose f (->) d c -> f d c

coproidl :: g d c -> Procompose (->) g d c

coproidr :: f d c -> Procompose f (->) d c