category-extras-0.53.6: Various modules and constructs inspired by category theoryContentsIndex
category-extras-0.53.6: 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
show/hideControl
Control.Allegory
show/hideApplicative
Control.Applicative.Parameterized
show/hideArrow
Control.Arrow.BiKleisli
Control.Arrow.CoKleisli
show/hideCategory
Control.Category.Associative
Control.Category.Braided
show/hideControl.Category.Cartesian
Control.Category.Cartesian.Closed
Control.Category.Discrete
Control.Category.Distributive
Control.Category.Dual
Control.Category.Hask
Control.Category.Monoidal
Control.Category.Object
show/hideControl.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
show/hideControl.Functor
show/hideControl.Functor.Adjunction
Control.Functor.Adjunction.HigherOrder
show/hideControl.Functor.Algebra
Control.Functor.Algebra.Elgot
Control.Functor.Categorical
show/hideCombinators
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
show/hideControl.Functor.HigherOrder
Control.Functor.HigherOrder.Composition
Control.Functor.Indexed
show/hideControl.Functor.KanExtension
Control.Functor.KanExtension.Interpreter
Control.Functor.Lambek
Control.Functor.Limit
show/hideControl.Functor.Pointed
Control.Functor.Pointed.Composition
Control.Functor.Representable
Control.Functor.Strong
Control.Functor.Yoneda
Control.Functor.Zap
Control.Functor.Zip
show/hideMonad
Control.Monad.Categorical
Control.Monad.Codensity
Control.Monad.Either
Control.Monad.Free
Control.Monad.HigherOrder
Control.Monad.Hyper
Control.Monad.Ideal
show/hideControl.Monad.Indexed
Control.Monad.Indexed.Cont
Control.Monad.Indexed.Fix
Control.Monad.Indexed.State
Control.Monad.Indexed.Trans
Control.Monad.Parameterized
show/hideMorphism
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
show/hideMeta
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
show/hideData
Data.Void
Produced by Haddock version 2.1.0