name: Coroutine version: 0.1.0.0 copyright: (c) 2008 Ryan Ingram license: BSD3 license-file: LICENSE author: Ryan Ingram maintainer: Ryan Ingram category: Control synopsis: Type-safe coroutines using lightweight session types. description: This package provides a pure interface for composing independent functions that have a well-defined communication protocol. It is loosely based on Jesse Tov's Haskell Symposium 2008 paper "Haskell Session Types with (almost) no class" (http://www.ccs.neu.edu/home/tov/pubs/session08.html) stability: experimental build-type: Simple cabal-version: >= 1.2.1 library exposed-modules: Control.Coroutine, Control.Monad.Indexed extensions: NoImplicitPrelude, EmptyDataDecls, TypeFamilies, RankNTypes, TypeOperators, ExistentialQuantification build-depends: base >= 3.0