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.
Documentation
module LIO.LIORef.Safe