forward-chan-0.0.0.0: forward-chan.cabal

name:                forward-chan
version:             0.0.0.0
synopsis:            Concurrent channels with a forwarding primitive
description:
  An implementation of the forward primitive, useful for proof terms from the sequent caluclus formulation of linear logic
  .
  See <http://github.com/mmirman/forward-chan> and <http://www.cs.cmu.edu/~fp/papers/tldi12.pdf> for more information on this primitive.

homepage:            http://github.com/mmirman/forward-chan
license:             Apache
license-file:        LICENSE
author:              Matthew Mirman
maintainer:          matt@mirman.com

category:            Concurrency
build-type:          Simple
cabal-version:       >=1.8

source-repository head
  type:    git
  location: git://github.com/mmirman/forward-chan.git

library
  exposed-modules:     Control.Concurrent.Chan.Forwardable
  exposed-modules:     Control.Concurrent.Chan.Forwardable.Internals
  build-depends:       base >= 4.7.0.0 && < 6.0,
                       unagi-chan < 1.0,
                       SafeSemaphore >= 0.7 && < 1.0,
                       stm

  hs-source-dirs:      .