packages feed

simple-sessions-0.1.2: simple-sessions.cabal

Name:           simple-sessions
Version:        0.1.2
Cabal-Version:  >= 1.2
License:        BSD3
License-File:   LICENSE
Stability:      experimental
Author:         Jesse A. Tov <tov@eecs.harvard.edu>
Maintainer:     tov@eecs.harvard.edu
Homepage:       http://www.eecs.harvard.edu/~tov/pubs/haskell-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
    CHANGES
    Control/Concurrent/SimpleSession/Examples/Implicit.lhs
    Control/Concurrent/SimpleSession/Examples/Positional.lhs

Library
  Build-Depends:        base <5,
                        indexed,
                        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