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.

Documentation