LIO.Concurrent.LMVar.Safe
Description
This module exports a safe subset of the labeled MVar interface. See LIO.Concurrent.LMVar.TCB for the documentation.
Documentation
module LIO.Concurrent.LMVar.TCB
lio-0.1.1: Labeled IO Information Flow Control Library
LIO.Concurrent.LMVar.Safe
Description
This module exports a safe subset of the labeled MVar interface. See LIO.Concurrent.LMVar.TCB for the documentation.
module LIO.Concurrent.LMVar.TCB