name: category-extras version: 0.53.6 license: BSD3 copyright: Copyright (C) 2008 Edward A. Kmett, Copyright (C) 2004--2008 Dave Menendez, Copyright (C) 2007 Iavor Diatchki maintainer: Edward A. Kmett stability: experimental homepage: http://comonad.com/reader/ package-url: description: 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/. category: Control, Monads, Comonads author: Edward A. Kmett exposed: True exposed-modules: Control.Category.Monoidal Control.Category.Cartesian Control.Category.Cartesian.Closed Control.Applicative.Parameterized Control.Allegory Control.Arrow.BiKleisli Control.Arrow.CoKleisli Control.Category.Associative Control.Category.Braided Control.Category.Discrete Control.Category.Distributive Control.Category.Dual Control.Category.Hask Control.Category.Object Control.Comonad Control.Comonad.Cofree Control.Comonad.Context Control.Comonad.Coideal Control.Comonad.Density Control.Comonad.Exponent Control.Comonad.Fix Control.Comonad.Indexed Control.Comonad.HigherOrder 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 Control.Functor.Cone Control.Functor.Composition Control.Functor.Combinators.Const Control.Functor.Combinators.Lift Control.Functor.Combinators.Join Control.Functor.Combinators.Biff Control.Functor.Combinators.Flip Control.Functor.Combinators.Of Control.Functor.Contra Control.Functor.Extras Control.Functor.Exponential 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.Zip Control.Functor.Zap Control.Monad.Categorical Control.Monad.Codensity Control.Monad.Free Control.Monad.HigherOrder 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 Control.Monad.Hyper Control.Monad.Either 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 Control.Morphism.Meta.Gibbons Control.Morphism.Meta.Erwig Control.Morphism.Para Control.Morphism.Postpro Control.Morphism.Prepro Control.Morphism.Span Control.Morphism.Synchro Control.Morphism.Universal Control.Morphism.Zygo Data.Void hidden-modules: Control.Functor.Internal.Adjunction Control.Functor.Internal.Ideal import-dirs: /usr/local/lib/category-extras-0.53.6/ghc-6.9.20080401 library-dirs: /usr/local/lib/category-extras-0.53.6/ghc-6.9.20080401 hs-libraries: HScategory-extras-0.53.6 extra-libraries: extra-ghci-libraries: include-dirs: includes: depends: ghc-6.9.20080401 base-3.0 array-0.1 mtl-1.1.0.0 hugs-options: cc-options: ld-options: framework-dirs: frameworks: haddock-interfaces: /usr/local/share/doc/category-extras-0.53.6/html/category-extras.haddock haddock-html: /usr/local/share/doc/category-extras-0.53.6/html