category-extras: Various modules and constructs inspired by category theory.

[ bsd3, comonads, control, library, monads ] [ Propose Tags ]

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

[Last Documentation]

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 [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

Package maintainers

DanDoel, DanielWagner, EdwardKmett, RussellOConnor

For package maintainers and hackage trustees

edit package information

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), mtl [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	ekmett@gmail.com
Revised	Revision 1 made by HerbertValerioRiedel at 2017-06-01T07:35:17Z
Category	Control, Monads, Comonads
Home page	http://comonad.com/reader/
Uploaded	by EdwardKmett at 2008-05-06T10:31:54Z
Distributions
Reverse Dependencies	11 direct, 11 indirect [details]
Downloads	22465 total (63 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs not available [build log] All reported builds failed as of 2017-01-03 [all 8 reports]