The category-extras package

[Tags:bsd3, library]

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, 1.0.1, 1.0.2
Dependencies array, base, mtl [details]
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/
Uploaded Tue May 6 10:31:54 UTC 2008 by EdwardKmett
Distributions NixOS:1.0.2
Downloads 5110 total (39 in the last 30 days)
Votes
0 []
Status Docs not available [build log]
All reported builds failed as of 2015-12-11 [all 6 reports]

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

Maintainer's Corner

For package maintainers and hackage trustees