chan-split: Concurrent Chans as read/write pairs. Also provides generic Chan pair class.
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
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
which defines the basic methods any pair of Chan types
should provide, allowing easy swapping of Chan
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
|Versions||0.1.2, 0.1.3, 0.2.0, 0.3.0, 0.4.0, 0.5.0|
|Dependencies||base (==4.*) [details]|
|Source repo||head: git clone https://github.com/jberryman/chan-split.git|
|Uploaded||by BrandonSimmons at Fri Jul 20 13:57:47 UTC 2012|
|Downloads||2446 total (14 in the last 30 days)|
|Rating||(no votes yet) [estimated by rule of succession]|
|Status||Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI
For package maintainers and hackage trustees