Name:               sessions
Version:            2008.6.17
Stability:          Beta
Copyright:          Matthew Sackman
Category:           Control
Maintainer:         matthew@wellquite.org
Author:             Matthew Sackman
Homepage:           http://www.wellquite.org/sessions/
License:            GPL
License-File:       LICENSE
Cabal-Version:      >= 1.2
Build-Type:         Simple
Synopsis:           Session Types for Haskell
Extra-Source-Files: ChangeLog.txt, Tests/Tests.hs, Tests/Queens.hs, Tests/TestNetwork.hs, Tests/Speed.hs
Description:
  Session Types for Haskell. Allows the specification of communication
  protocols and then validation that an implementation does not
  violate said protocol.

  Ignore the build failure for hackage - it's just haddock being
  rubbish.

Library {
        Build-depends:     base, mtl, containers, network, bytestring, binary
        Exposed-modules:   Control.Concurrent.Session
                           Control.Concurrent.Session.Network.Socket
                           Control.Concurrent.Session.Interleaving
                           Control.Concurrent.Session.Pid
                           Control.Concurrent.Session.Runtime
                           Control.Concurrent.Session.SessionType
                           Control.Concurrent.Session.SessionTypeMonad
                           Control.Concurrent.Session.Types
                           Control.Concurrent.Session.Base.SMonad
                           Control.Concurrent.Session.Base.Bool
                           Control.Concurrent.Session.Base.Number
                           Control.Concurrent.Session.Base.List
                           Control.Concurrent.Session.Base.Map
                           System.Session
        ghc-options:       -Wall -fno-warn-name-shadowing -fno-warn-orphans -fno-warn-missing-signatures
}