Control.Concurrent.CHPSpec

This module re-exports all of the functionality of the chp-spec library, except the Control.Concurrent.CHPSpec.LazySmallCheck module.

The documentation for this library may seem relatively spartan; only the functions and modules with significant differences/caveats from CHP API are documented. All the details of how each aspect is modelled is available in the original series of blog posts.

Documentation

module Control.Concurrent.CHPSpec.Alt

module Control.Concurrent.CHPSpec.Barriers

module Control.Concurrent.CHPSpec.Channels

module Control.Concurrent.CHPSpec.Enroll

module Control.Concurrent.CHPSpec.Monad

module Control.Concurrent.CHPSpec.Parallel