Documentation
data Procompose f g d c whereSource
Procompose :: f d a -> g a c -> Procompose f g d c |
(Profunctor f, Profunctor g) => Profunctor (Procompose f g) | |
Profunctor g => Functor (Procompose f g a) |
proidl :: Profunctor g => Procompose (->) g d c -> g d cSource
proidr :: Profunctor f => Procompose f (->) d c -> f d cSource
coproidl :: g d c -> Procompose (->) g d cSource
coproidr :: f d c -> Procompose f (->) d cSource