| Safe Haskell | Safe-Inferred |
|---|
Data.Profunctor.Monoid
- eta :: (Profunctor p, Category p) => (->) :-> p
- mu :: Category p => Procompose p p :-> p
Documentation
eta :: (Profunctor p, Category p) => (->) :-> pSource
a Category that is also a Profunctor is a Monoid in Prof
mu :: Category p => Procompose p p :-> pSource