The category-extras package

This package is obsolete.

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.

Properties

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, 0.53.5.1, 1.0, 1.0.1, 1.0.2
Dependencies	array, base (<5), ghc (<6.9), mtl (≥1.1 & <2) or array, base (>3 & <5), ghc (≥6.9), mtl (≥1.1 & <2)
License	BSD3
Copyright	Copyright (C) 2008 Edward A. Kmett, Copyright (C) 2004--2008 Dave Menendez, Copyright (C) 2007 Iavor Diatchki
Author	Edward A. Kmett
Maintainer	Edward A. Kmett <ekmett@gmail.com>
Stability	experimental
Category	Control, Monads, Comonads
Home page	http://comonad.com/reader/
Upload date	Sat Sep 10 19:46:42 UTC 2011
Uploaded by	RussellOConnor
Build failure	ghc-7.2 (log)

Modules

Control
- Control.Allegory
- Applicative
  - Control.Applicative.Parameterized
- Arrow
  - Control.Arrow.BiKleisli
  - Control.Arrow.CoKleisli
- Control.Category
  - Control.Category.Associative
  - Control.Category.Braided
  - Control.Category.Cartesian
    - Control.Category.Cartesian.Closed
  - Control.Category.Discrete
  - Control.Category.Distributive
  - Control.Category.Dual
  - Control.Category.Hask
  - Control.Category.Monoidal
  - Control.Category.Object
- Control.Comonad
  - Control.Comonad.Cofree
  - Control.Comonad.Coideal
  - Control.Comonad.Context
  - Control.Comonad.Density
  - Control.Comonad.Exponent
  - Control.Comonad.Fix
  - Control.Comonad.HigherOrder
  - Control.Comonad.Indexed
  - Control.Comonad.Parameterized
  - Control.Comonad.Pointer
  - Control.Comonad.Reader
  - Control.Comonad.Stream
  - Control.Comonad.Supply
  - Control.Comonad.Trans
- Control.Dyad
- Control.Functor
  - Control.Functor.Adjunction
    - Control.Functor.Adjunction.HigherOrder
  - Control.Functor.Algebra
    - Control.Functor.Algebra.Elgot
  - Control.Functor.Categorical
  - Combinators
    - Control.Functor.Combinators.Biff
    - Control.Functor.Combinators.Const
    - Control.Functor.Combinators.Flip
    - Control.Functor.Combinators.Join
    - Control.Functor.Combinators.Lift
    - Control.Functor.Combinators.Of
  - 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.HigherOrder.Composition
  - Control.Functor.Indexed
  - Control.Functor.KanExtension
    - Control.Functor.KanExtension.Interpreter
  - Control.Functor.Lambek
  - Control.Functor.Limit
  - Control.Functor.Pointed
    - Control.Functor.Pointed.Composition
  - Control.Functor.Representable
  - Control.Functor.Strong
  - Control.Functor.Yoneda
  - Control.Functor.Zap
  - Control.Functor.Zip
- Monad
  - Control.Monad.Categorical
  - Control.Monad.Codensity
  - Control.Monad.Either
  - Control.Monad.Free
  - Control.Monad.HigherOrder
  - Control.Monad.Hyper
  - Control.Monad.Ideal
  - Control.Monad.Indexed
    - Control.Monad.Indexed.Cont
    - Control.Monad.Indexed.Fix
    - Control.Monad.Indexed.State
    - Control.Monad.Indexed.Trans
  - Control.Monad.Parameterized
- 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.Meta.Erwig
    - Control.Morphism.Meta.Gibbons
  - Control.Morphism.Para
  - Control.Morphism.Postpro
  - Control.Morphism.Prepro
  - Control.Morphism.Span
  - Control.Morphism.Synchro
  - Control.Morphism.Universal
  - Control.Morphism.Zygo
Data
- Data.Void

Downloads

category-extras-0.53.5.1.tar.gz (Cabal source package)
package description (included in the package)