#if defined(__GLASGOW_HASKELL__) && (__GLASGOW_HASKELL__ >= 702)
#endif
module LIO.Safe ( Label(..)
, Priv(..), NoPrivs(..)
, LIO, LabelState
, evalLIO
, getLabel, setLabelP
, getClearance, lowerClr, lowerClrP, withClearance
, labelOf
, label, labelP
, unlabel, unlabelP
, taintLabeled
, toLabeled, toLabeledP, discard, discardP
, taint, taintP
, wguard, wguardP, aguard, aguardP
, Labeled
, LabelFault(..)
, catchP, handleP, onExceptionP, bracketP
, evaluate
) where
import LIO.TCB ( Label(..)
, Priv(..), NoPrivs(..)
, LIO, LabelState
, evalLIO
, getLabel, setLabelP
, getClearance, lowerClr, lowerClrP, withClearance
, labelOf
, label, labelP
, unlabel, unlabelP
, taintLabeled
, toLabeled, toLabeledP, discard, discardP
, taint, taintP
, wguard, wguardP, aguard, aguardP
, Labeled
, LabelFault(..)
, catchP, handleP, onExceptionP, bracketP
, evaluate
)