Module JoinCount

module JoinCount: sig .. end

Counting n asynchronous events

The following submodules are successive refinements of the count n events programming idiom. Here an event is a message sent on an asynchronous channel.

• JoinCount.Down just counts n messages sent on a tick channel.
• JoinCount.Collector additionnaly computes a resut from the messages sent on a collect channel.
• JoinCount.Dynamic is a refinement of Collector where n is not known in advance.
• JoinCount.Monitor is an enhancement of Dynamic adding the ability to access the list of pending computations.

module Down: sig .. end

module Collector: sig .. end

module Dynamic: sig .. end

module Monitor: sig .. end