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