name:                   category-extras
category:               Control, Monads, Comonads
version:                0.44.4
x-revision: 1
license:                BSD3
license-file:           LICENSE
build-depends:          base > 3 && < 4.3, mtl, array
author:                 Edward A. Kmett, Dave Menendez
maintainer:             Edward A. Kmett <ekmett@gmail.com>
stability:              experimental
homepage:               http://comonad.com/reader/
synopsis:               Various modules and constructs inspired by category theory
build-type:             Simple
copyright:              Copyright (C) 2008 Edward A. Kmett
                        Copyright (C) 2004--2008 Dave Menendez
                        Copyright (C) 2007 Iavor Diatchki
description:            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/.

extensions:
        CPP,
        EmptyDataDecls,
        FlexibleContexts,
        FlexibleInstances,
        FunctionalDependencies,
        MultiParamTypeClasses,
        TypeOperators,
        UndecidableInstances,
        ExistentialQuantification,
        Rank2Types

exposed-modules:
	Control.Applicative.Parameterized,
	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.Functor,
	Control.Bifunctor.Fix,
	Control.Bifunctor.Monoidal,
	Control.Bifunctor.Pointed,
	Control.Bifunctor.Swap,
	Control.Comonad,
	Control.Comonad.Cofree,
	Control.Comonad.Context,
	Control.Comonad.Fix,
	Control.Comonad.Indexed,
	Control.Comonad.HigherOrder,
	Control.Comonad.Parameterized,
	Control.Comonad.Pointer,
	Control.Comonad.Reader,
	Control.Comonad.Supply
	Control.Functor.Adjunction,
	Control.Functor.Adjunction.HigherOrder,
	Control.Functor.Algebra,
	Control.Functor.Bifunctor,
	Control.Functor.Composition
	Control.Functor.Contravariant,
	Control.Functor.Constant,
	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.Strong,
	Control.Functor.Pointed,
	Control.Functor.Pointed.Composition,
	Control.Functor.Representable,
	Control.Functor.Zip,
	Control.Functor.Zap,
	Control.Monad.Free,
	Control.Monad.HigherOrder,
	Control.Monad.Indexed,
	Control.Monad.Indexed.State,
	Control.Monad.Indexed.Cont,
	Control.Monad.Parameterized,
	Control.Monad.Hyper,
	Control.Monad.Either,
	Control.Morphism.Hylo,
	Control.Morphism.Cata,
	Control.Morphism.Ana,
	Control.Morphism.Meta,
	Control.Morphism.Futu,
	Control.Morphism.Chrono,
	Control.Morphism.Para,
	Control.Morphism.Dyna,
	Control.Morphism.Apo,
	Control.Morphism.Zygo,
	Control.Morphism.Histo,
	Data.Void

ghc-options:            -Wall -funbox-strict-fields -O2
hs-source-dirs:         src