The category-extras package

[Tags:bsd3, library]

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


Versions 0.1, 0.2, 0.44.1, 0.44.2, 0.44.4, 0.50.1, 0.50.3, 0.51.0, 0.51.2, 0.51.3, 0.52.0, 0.52.1, 0.52.3, 0.53.0, 0.53.1, 0.53.3, 0.53.4, 0.53.5,, 1.0, 1.0.1, 1.0.2
Dependencies array, base, ghc, mtl (>=1.1) [details]
License BSD3
Copyright Copyright (C) 2008 Edward A. Kmett Copyright (C) 2004--2008 Dave Menendez Copyright (C) 2007 Iavor Diatchki
Author Edward A. Kmett, Dave Menendez
Maintainer Edward A. Kmett <>
Stability experimental
Category Control, Monads, Comonads
Home page
Uploaded Tue May 27 11:43:54 UTC 2008 by EdwardKmett
Distributions NixOS:1.0.2
Downloads 5458 total (18 in the last 30 days)
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]




arrowsubclassescategoryIndicates Control.Category is available and that the standard library has its arrows subclass Control.Category.CategoryEnabledAutomatic
typefamiliesSupport for Type Families is available to usEnabledAutomatic
optimizeEnable optimizationsDisabledAutomatic

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Maintainer's Corner

For package maintainers and hackage trustees