comonad-transformers-1.7: comonad-transformers.cabal

name:          comonad-transformers
category:      Control, Comonads
version:       1.7
license:       BSD3
cabal-version: >= 1.6
license-file:  LICENSE
author:        Edward A. Kmett
maintainer:    Edward A. Kmett <ekmett@gmail.com>
stability:     provisional
homepage:      git://github.com/ekmett/comonad-transformers/
copyright:     Copyright (C) 2008-2011 Edward A. Kmett
synopsis:      Comonad transformers
description:   Comonad transformers
build-type:    Simple
extra-source-files: coq/Store.v

source-repository head
  type: git
  location: git://github.com/ekmett/comonad-transformers.git

flag DeriveDataTypeable
  manual: False
  default: True

library
  build-depends: 
    base >= 4 && < 4.4,
    comonad >= 1.1 && < 1.2,
    containers >= 0.3 && < 0.5,
    contravariant >= 0.1.2 && < 0.2,
    distributive >= 0.2 && < 0.3,
    semigroupoids >= 1.2.2 && < 1.3,
    semigroups >= 0.5 && < 0.6,
    transformers >= 0.2.0 && <= 0.3

  if flag(DeriveDataTypeable)
    extensions: DeriveDataTypeable
    cpp-options: -DLANGUAGE_DeriveDataTypeable

  extensions: CPP

  exposed-modules:
    Control.Comonad.Hoist.Class
    Control.Comonad.Trans.Class
    Control.Comonad.Trans.Cofree
    Control.Comonad.Trans.Discont
    Control.Comonad.Trans.Discont.Lazy
    Control.Comonad.Trans.Discont.Strict
    Control.Comonad.Trans.Discont.Memo
    Control.Comonad.Trans.Env
    Control.Comonad.Trans.Env.Lazy
    Control.Comonad.Trans.Env.Strict
    Control.Comonad.Trans.Identity
    Control.Comonad.Trans.Store
    Control.Comonad.Trans.Store.Lazy
    Control.Comonad.Trans.Store.Strict
    Control.Comonad.Trans.Store.Memo
    Control.Comonad.Trans.Traced
    Control.Comonad.Trans.Traced.Memo

    Control.Monad.Trans.Free

    Data.Functor.Coproduct
    Data.Functor.Composition

    Data.Lens.Common
    Data.Lens.Lazy
    Data.Lens.Strict

  ghc-options:      -Wall