category-extras-0.53.5: Various modules and constructs inspired by category theory Contents Index

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

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

Control Control.Allegory Applicative Control.Applicative.Parameterized Arrow Control.Arrow.BiKleisli Control.Arrow.CoKleisli 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

Produced by Haddock version 2.4.2