The chan-split package
An implementation of concurrent channels identical to Control.Concurrent.Chan, except that the channel is represented as a pair, one of which allows only read operations, the other write operations.
This makes code easier to reason about (the types strictly delegate read/write permission), suggests useful instances (e.g. Functor and Contravariant are easily defined) on the chan pairs, and simplifies the API.
Furthermore this allows messages sent to channels with no readers to be trivially garbage-collected, without relying on inlining optimizations.
We also provide a module that defines a class SplitChan which defines the basic methods any pair of Chan types should provide, allowing easy swapping of Chan implementations.
To use standard Chans with these polymorphic functions, import as follows:
import Control.Concurrent.Chan hiding (readChan,writeChan,writeList2Chan) import Control.Concurrent.Chan.Class
When used alongside standard Chans, the Split module can be imported qualified like:
import qualified Control.Concurrent.Chan.Split as S
Its interface is mostly backwards compatible with Chan. Note, we do not implement the deprecated unGetChan and isEmptyChan functions.
This module is used internally by the simple-actors package.
CHANGES: 0.3.0 -> 0.4.0
In/OutChans now implemented from scratch (after Leon P Smith's implementation)
no longer implement Functor/Contravariant instances; drop contravariant dependency
implement Eq and Typeable instances
- No changelog available
|Versions||0.1.2, 0.1.3, 0.2.0, 0.3.0, 0.4.0, 0.5.0|
|Source repository||head: git clone https://github.com/jberryman/chan-split.git|
|Upload date||Fri Jul 20 13:57:47 UTC 2012|
- chan-split-0.4.0.tar.gz [browse] (Cabal source package)
- Package description (included in the package)
For package maintainers and hackage trustees