lio-0.1.3: Labeled IO Information Flow Control Library

Safe HaskellSafe



This module implements labeled IORefs. The interface is analogous to Data.IORef, but the operations take place in the LIO monad. (See LIO.LIORef.TCB for documentation.) Moreover, reading the LIORef calls taint, while writing it calls aguard. This module exports only the safe subset (non TCB) of the LIORef module -- trusted code can import LIO.LIORef.TCB.