orc-1.1: Orchestration-style co-ordination EDSL

StabilityPortability : concurrency, unsafeIntereaveIO
MaintainerJohn Launchbury <john@galois.com>

Control.Concurrent.Hierarchical

Description

Hierarchical concurrent threads

Synopsis

Documentation

data HIO a Source

Instances

runHIO :: HIO b -> IO bSource

newPrimGroup :: IO GroupSource

newGroup :: HIO GroupSource

local :: Group -> HIO a -> HIO aSource

close :: Group -> HIO ()Source

type Group = (TVar Int, TVar Inhabitants)Source

The thread-registry environment is a hierarchical structure of local thread neighborhoods.

finished :: Group -> HIO ()Source