Safe.hs

{-# LANGUAGE CPP #-}
#if defined(__GLASGOW_HASKELL__) && (__GLASGOW_HASKELL__ >= 702)
{-# LANGUAGE Trustworthy #-}
#else
#warning "This module is not using SafeHaskell"
#endif

-- |This module exports the safe subset of the "LIO.LIORef.TCB" module.
-- It is important that untrusted code be limited to this subset; information
-- flow can easily be violated if the TCB functions are exported.
module LIO.LIORef.Safe ( module LIO.LIORef.TCB ) where
import LIO.LIORef.TCB ( LIORef
                      , newLIORef, labelOfLIORef
                      , readLIORef, writeLIORef, atomicModifyLIORef
                      , newLIORefP
                      , readLIORefP, writeLIORefP, atomicModifyLIORefP
                      )