Control.Hasim.WatchMap

This module defines a WatchMap, a data structure that keeps track of which processes watch which other processes.

Abstract data type

data WatchMap

A watch map. This data structure represents a relation on processes.

Creation and inspection

emptyWM :: WatchMap

An empty WatchMap.

watchers

Arguments

:: WatchMap

The WatchMap to be queried

-> Process

p2

-> [Process]

The list of p1's

Find all p1 such that (p1, p2) is in the relation.

Modification

register

Arguments

:: Process

p1

-> Process

p2

-> WatchMap

old WatchMap

-> WatchMap

new WatchMap

Add the tuple (p1, p2) to the relation.

unregister

Arguments

:: Process

p1

-> Process

p2

-> WatchMap

old WatchMap

-> WatchMap

new WatchMap

Remove the tuple (p1, p2) from the relation, if it existed.