@hackage category-extras0.53.5

Various modules and constructs inspired by category theory

A vastly expanded collection of modules implementing various ideas from category theory. Notable bits include: comonads, adjunctions, and various recursion schemes ala Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire.

  • Installation

  • Dependencies (0)

  • Dependents (0)

    • Package Flags

      arrowsubclassescategory
       (on by default)

      Indicates Control.Category is available and that the standard library has its arrows subclass Control.Category.Category

      typefamilies
       (on by default)

      Support for Type Families is available to us

      optimize
       (off by default)

      Enable optimizations