Name:                full-sessions
Version:             0.6.2.1
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- or term- annotations. 
  Examples inculude a SMTP client and a simple chat client with its own protocol.
  Alternatives are: the simple-sessions package
  (<http://hackage.haskell.org/package/simple-sessions>) and the sessions
  package  (<http://hackage.haskell.org/package/sessions>).
synopsis:            a monad for protocol-typed network programming
category:            Control, Network
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
                    examples/EnableGUI.hs
                    examples/Chatter.hs
                    examples/client.hs
                    examples/server.hs
                    examples/GuiChatter.hs
                    examples/guiclient.hs
                    examples/guiserver.hs
                    examples/smtp-client.hs

Library
  build-depends:     ghc > 6.10, network
  if impl(ghc >= 6.10) {
      build-depends:  base >= 4, base < 5
  } else {
      build-depends:  base >= 3, base < 4
  }

  exposed-modules:   Control.Concurrent.FullSession
  other-modules:     FullSession.Base
                     FullSession.TypeEq
                     FullSession.Types
                     FullSession.TypeAlgebra
                     FullSession.Ended
                     FullSession.SMonad
                     FullSession.Recursion
                     FullSession.FullSession
                     FullSession.NwSession
                     FullSession.Incoherent
                     FullSession.DeferredInstances
  hs-source-dirs:    src
  extensions:        
                      MultiParamTypeClasses
                      FunctionalDependencies
                      FlexibleInstances
                      FlexibleContexts
                      UndecidableInstances
                      OverlappingInstances
                      NoMonomorphismRestriction
                      Rank2Types
                      TypeOperators
                      EmptyDataDecls
                      KindSignatures
                      TypeFamilies