Guix will hold its first online conference November 22nd. Propose a talk before November 6th. Learn more!

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 Traversable and Foldable that can be folded with just a Semigroup are added.