hoare

Simple tools for communicating sequential processes

Stackage Nightly 2025-05-21:	0.1.1.0
Latest on Hackage:	0.1.1.0

See all snapshots hoare appears in

Zlib licensed by Matt Kline

Maintained by [email protected]

This version can be pinned in stack with:hoare-0.1.1.0@sha256:28c2c83e33a6a9a637872a3262f3c5fef5d6011884433fdc2aa53777d7971330,2077

Module documentation for 0.1.1.0

Control
- Control.Concurrent
  - Control.Concurrent.Channel
    - Control.Concurrent.Channel.Endless
  - Control.Concurrent.TBCQueue

Depends on 4 packages(full list with versions):

async, base, deepseq, stm

Hoare was right—many concurrent programs can be simply expressed as a series of concurrent actors (threads) consuming and producing messages. Haskell provides uniquely great tools (green threads and STM) for doing so. This package provides:

Functions for using bounded STM types like TBQueue and TMVar as channels between threads.
A closeable TBCQueue for programs where the input ends.