MAC.Control

Provide primitives to communicate among family members. It provides an API for sequential joinMAC and concurrent (forkMAC) setting

Documentation

joinMAC :: Less l l' => MAC l' a -> MAC l (Labeled l' a)

Primitive which allows family members to safely communicate. The function finishes even if an exception is raised---the exception is rethrown when the returned value gets inspected. This function must not be used in a concurrent setting.

forkMAC :: Less l l' => MAC l' () -> MAC l ()

Safely spawning new threads

forkMACMVar :: (Less l' l', Less l l') => MAC l' a -> MAC l (MACMVar l' a)

Safely spawning new threads. The function returns a labeled MVar where the outcome of the thread is stored