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


Properties

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, 0.53.5.1, 1.0, 1.0.1, 1.0.2
Dependenciesarray, base (>3), ghc (>=6.9), mtl (>=1.1) or
base, ghc (<6.9), mtl (>=1.1)
LicenseBSD3
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 <ekmett@gmail.com>
Stabilityexperimental
CategoryControl, Monads, Comonads
Home pagehttp://comonad.com/reader/
UploadedThu May 22 06:38:06 UTC 2008 by EdwardKmett
Downloads2297 total (125 in last 30 days)
StatusDocs not available [build log]
All reported builds failed [all 1 reports]

Modules

Flags

NameDescriptionDefault
arrowsubclassescategoryIndicates Control.Category is available and that the standard library has its arrows subclass Control.Category.CategoryEnabled
redefinableeithermonadIndicates Control.Monad.Error isn't baked into the PreludeEnabled
typefamiliesSupport for Type Families is available to usEnabled
optimizeEnable optimizationsDisabled

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

Downloads

Maintainers' corner

For package maintainers and hackage trustees