| Safe Haskell | Safe-Infered |
|---|
Data.Profunctor.Composition
Documentation
data Procompose f g d c whereSource
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 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