Name: full-sessions Version: 0.4.189 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. Alternatives are: the simple-sessions package () and the sessions package (). 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