category-extras: 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, functor fixedpoints and various recursion operaters ala Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire.
Modules
[Index]
- Control
- Applicative
- Arrow
- Control.Category
- Control.Comonad
- Control.Functor
- Control.Functor.Adjunction
- Control.Functor.Algebra
- Control.Functor.Categorical
- Combinators
- Control.Functor.Composition
- Control.Functor.Cone
- Control.Functor.Contra
- Control.Functor.Exponential
- Control.Functor.Extras
- Control.Functor.Fix
- Control.Functor.Full
- Control.Functor.HigherOrder
- Control.Functor.Indexed
- Control.Functor.KanExtension
- Control.Functor.Lambek
- Control.Functor.Limit
- Control.Functor.Pointed
- Control.Functor.Representable
- Control.Functor.Strong
- Control.Functor.Yoneda
- Control.Functor.Zap
- Control.Functor.Zip
- Monad
- Morphism
- Control.Morphism.Ana
- Control.Morphism.Apo
- Control.Morphism.Build
- Control.Morphism.Cata
- Control.Morphism.Chrono
- Control.Morphism.Destroy
- Control.Morphism.Dyna
- Control.Morphism.Exo
- Control.Morphism.Futu
- Control.Morphism.Histo
- Control.Morphism.Hylo
- Meta
- Control.Morphism.Para
- Control.Morphism.Postpro
- Control.Morphism.Prepro
- Control.Morphism.Span
- Control.Morphism.Synchro
- Control.Morphism.Universal
- Control.Morphism.Zygo
- Data
Flags
Automatic Flags
| Name | Description | Default |
|---|---|---|
| arrowsubclassescategory | Indicates Control.Category is available and that the standard library has its arrows subclass Control.Category.Category | Enabled |
| typefamilies | Support for Type Families is available to us | Enabled |
| optimize | Enable optimizations | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
Downloads
- category-extras-0.53.1.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 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, 0.53.5.1, 1.0, 1.0.1, 1.0.2 |
|---|---|
| Dependencies | array, base (<4.3), ghc, mtl (>=1.1 && <2) [details] |
| License | BSD-3-Clause |
| 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 <ekmett@gmail.com> |
| Revised | Revision 1 made by HerbertValerioRiedel at 2017-06-01T07:22:05Z |
| Category | Control, Monads, Comonads |
| Home page | http://comonad.com/reader/ |
| Uploaded | by EdwardKmett at 2008-06-09T02:18:14Z |
| Distributions | |
| Reverse Dependencies | 11 direct, 11 indirect [details] |
| Downloads | 22744 total (76 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs uploaded by user Build status unknown [no reports yet] |