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, functor fixedpoints and various recursion operaters 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
Dependencies	array, base, mtl
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	ekmett@gmail.com
Stability	experimental
Category	Control, Monads, Comonads
Home page	http://comonad.com/reader/
Upload date	Tue May 6 10:31:54 UTC 2008
Uploaded by	EdwardKmett
Build failure	ghc-6.10 (log), ghc-6.12 (log), ghc-6.8 (log)

Modules

Control
- Applicative
  - Control.Applicative.Indexed
  - Control.Applicative.Parameterized
- Arrow
  - Control.Arrow.BiKleisli
  - Control.Arrow.CoKleisli
- Control.Bifunctor
  - Control.Bifunctor.Associative
  - Control.Bifunctor.Biff
  - Control.Bifunctor.Braided
  - Control.Bifunctor.Composition
  - Control.Bifunctor.Constant
  - Control.Bifunctor.Fix
  - Control.Bifunctor.Functor
  - Control.Bifunctor.Monoidal
  - Control.Bifunctor.Swap
- Control.Comonad
  - Control.Comonad.Cofree
  - Control.Comonad.Context
  - Control.Comonad.HigherOrder
  - Control.Comonad.Indexed
  - Control.Comonad.Parameterized
  - Control.Comonad.Pointer
  - Control.Comonad.Reader
  - Control.Comonad.Supply
- Functor
  - Control.Functor.Adjunction
  - Control.Functor.Algebra
  - Control.Functor.Bifunctor
  - Control.Functor.Composition
    - Control.Functor.Composition.Class
  - Control.Functor.Constant
  - Control.Functor.Contravariant
  - Control.Functor.Exponential
  - Control.Functor.Extras
  - Control.Functor.Fix
  - Control.Functor.Full
  - Control.Functor.HigherOrder
  - Control.Functor.Indexed
  - Control.Functor.KanExtension
  - Control.Functor.Pointed
    - Control.Functor.Pointed.Composition
    - Control.Functor.Pointed.Indexed
    - Control.Functor.Pointed.Parameterized
  - Control.Functor.Representable
  - Control.Functor.Strong
  - Control.Functor.Zap
  - Control.Functor.Zip
- Monad
  - Control.Monad.Either
  - Control.Monad.Free
  - Control.Monad.HigherOrder
  - Control.Monad.Hyper
  - Control.Monad.Indexed
    - Control.Monad.Indexed.Cont
    - Control.Monad.Indexed.State
  - Control.Monad.Parameterized
    - Control.Monad.Parameterized.Class
- Morphism
  - Control.Morphism.Ana
  - Control.Morphism.Apo
  - Control.Morphism.Cata
  - Control.Morphism.Chrono
  - Control.Morphism.Dyna
  - Control.Morphism.Futu
  - Control.Morphism.Histo
  - Control.Morphism.Hylo
  - Control.Morphism.Meta
  - Control.Morphism.Para
  - Control.Morphism.Zygo
Data
- Data.Void

Downloads

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