Safe Haskell | Trustworthy |
---|---|
Language | Haskell98 |
Synchronization primitives
- type MACMVar l a = Res l (MVar a)
- newMACMVar :: Less l l' => a -> MAC l (MACMVar l' a)
- newMACEmptyMVar :: Less l l' => MAC l (MACMVar l' a)
- takeMACMVar :: Less l l => MACMVar l a -> MAC l a
- putMACMVar :: Less l l => MACMVar l a -> a -> MAC l ()
Documentation
newMACMVar :: Less l l' => a -> MAC l (MACMVar l' a) Source
Creation of a labeled MVar
newMACEmptyMVar :: Less l l' => MAC l (MACMVar l' a) Source
Creation of an empty labeled MVar
takeMACMVar :: Less l l => MACMVar l a -> MAC l a Source
Securely taking a labeled MVar
putMACMVar :: Less l l => MACMVar l a -> a -> MAC l () Source
Securely writing into a labeled MVar