ghc-semigroupoids 5.3.3 Semigroupoids operations for Haskell
This library provides a wide array of (semi)groupoids and operations for working with them. A
Semigroupoid is a
Category without the requirement of identity arrows for every object in the category. A
Category is any
Semigroupoid for which the Yoneda lemma holds. Finally, to work with these weaker structures it is beneficial to have containers that can provide stronger guarantees about their contents, so versions of
Foldable that can be folded with just a
Semigroup are added.