packages feed

simple-sessions-0.1.1: simple-sessions.cabal

Name:           simple-sessions
Version:        0.1.1
Cabal-Version:  >= 1.2
License:        BSD3
License-File:   LICENSE
Stability:      experimental
Author:         Jesse A. Tov <tov@ccs.neu.edu>
Maintainer:     tov@ccs.neu.edu
Homepage:       http://www.ccs.neu.edu/~tov/session-types
Category:       Control
Synopsis:       A simple implementation of session types
Build-type:     Simple
Description:
        This library is based on the session types implementation
        from \"Haskell Session Types with (Almost) No Class,\" from
        the 2008 Haskell Symposium.  For a full-featured session types
        library, see the sessions package
        (<http://hackage.haskell.org/cgi-bin/hackage-scripts/package/sessions>).

Extra-Source-Files:
    TODO
    Control/Concurrent/SimpleSession/Examples/Implicit.lhs
    Control/Concurrent/SimpleSession/Examples/Positional.lhs

Library
  Build-Depends:        base,
                        category-extras,
                        synchronous-channels
  Exposed-modules:
    Control.Concurrent.SimpleSession.SessionTypes,
    Control.Concurrent.SimpleSession.Implicit,
    Control.Concurrent.SimpleSession.Positional
  Other-modules:
    Control.Concurrent.SimpleSession.TChan,
    Control.Concurrent.SimpleSession.UChan