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/.


Versions0.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
Change logNone available
Dependenciesarray, base, ghc, mtl (>=1.1) [details]
CopyrightCopyright (C) 2008 Edward A. Kmett Copyright (C) 2004--2008 Dave Menendez Copyright (C) 2007 Iavor Diatchki
AuthorEdward A. Kmett, Dave Menendez
MaintainerEdward A. Kmett <>
CategoryControl, Monads, Comonads
Home page
UploadedThu May 22 06:38:06 UTC 2008 by EdwardKmett
Downloads4028 total (196 in last 30 days)
0 []
StatusDocs not available [build log]
All reported builds failed as of 2015-10-06 [all 3 reports]



arrowsubclassescategoryIndicates Control.Category is available and that the standard library has its arrows subclass Control.Category.CategoryEnabledAutomatic
redefinableeithermonadIndicates Control.Monad.Error isn't baked into the PreludeEnabledAutomatic
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


Maintainers' corner

For package maintainers and hackage trustees