Name:                full-sessions
Version:             0.4.181
Description:
  This library defines a @Session@ monad, which provides static checking of
  safe and consistent use of communication channels according to protocols.
  It requires almost no type- and term- annotations.
  Alternatives are: the simple-sessions package
  (<http://hackage.haskell.org/cgi-bin/hackage-scripts/package/simple-sessions>) and the sessions
  package  (<http://hackage.haskell.org/cgi-bin/hackage-scripts/package/sessions>).
synopsis:            yet another implementation of session types which does not require annotations
category:            Control
stability:           experimental
License:             BSD3
License-file:        LICENSE
Author:              Keigo IMAI
Maintainer:          keigo.imai@gmail.com
homepage:            http://www.agusa.i.is.nagoya-u.ac.jp/person/sydney/full-sessions.html
Build-Type:          Simple
Cabal-Version:       >=1.2.3
extra-source-files: README
                    AUTHORS
		    fullsession-test.hs
Library
  build-depends:     ghc > 6.8
  if impl(ghc >= 6.10) {
      build-depends:  base >= 4, base < 5
  } else {
      build-depends:  base >= 3, base < 4
  }

  exposed-modules:   Control.Concurrent.FullSession.Misc
                     Control.Concurrent.FullSession.UChan
                     Control.Concurrent.FullSession.Types
                     Control.Concurrent.FullSession.Session
  hs-source-dirs:    src
  extensions:        
                      MultiParamTypeClasses
                      FunctionalDependencies
                      FlexibleInstances
                      FlexibleContexts
                      UndecidableInstances
                      IncoherentInstances
                      NoMonomorphismRestriction
                      Rank2Types
                      RankNTypes
                      MagicHash
                      TypeOperators
                      EmptyDataDecls
                      KindSignatures