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

[ bsd3, comonads, control, library, monads ] [ Propose Tags ] [ Report a vulnerability ]

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.

Modules

[Last Documentation]

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

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

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), 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
Maintainer	Edward A. Kmett <ekmett@gmail.com>
Revised	Revision 1 made by HerbertValerioRiedel at 2017-06-01T07:15:48Z
Category	Control, Monads, Comonads
Home page	http://comonad.com/reader/
Uploaded	by RussellOConnor at 2011-09-10T19:46:42Z
Distributions
Reverse Dependencies	11 direct, 11 indirect [details]
Downloads	22938 total (32 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 2016-12-27 [all 8 reports]