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

import LIO.LIORef.Safe