MAC.MVar

Synchronization primitives

Documentation

type MACMVar l a = Res l (MVar a)

Labeled MVars

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

Creation of a labeled MVar

newMACEmptyMVar :: Less l l' => MAC l (MACMVar l' a)

Creation of an empty labeled MVar

takeMACMVar :: Less l l => MACMVar l a -> MAC l a

Securely taking a labeled MVar

putMACMVar :: Less l l => MACMVar l a -> a -> MAC l ()

Securely writing into a labeled MVar