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 () and the sessions package (). 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