#if __GLASGOW_HASKELL__ >= 702
#endif
module LIO.Safe ( Label(..)
, Priv(..), noPrivs
, getPrivileges, withPrivileges
, withCombinedPrivs
, dropPrivileges
, LIO, LabelState
, evalLIO
, getLabel, setLabelP
, getClearance, lowerClr, lowerClrP, withClearance
, labelOf
, label, labelP
, unlabel, unlabelP
, taintLabeled
, untaintLabeled, untaintLabeledP
, relabelP
, toLabeled, toLabeledP, discard, discardP
, taint, taintP
, wguard, wguardP, aguard, aguardP
, Labeled
, LabelFault(..)
, catchP, handleP, onExceptionP, bracketP
, evaluate
, PrivDesc
, Gate, mkGate, mkGateP, callGate
) where
import LIO.TCB ( Label(..)
, Priv(..), noPrivs
, getPrivileges, withPrivileges
, withCombinedPrivs
, dropPrivileges
, LIO, LabelState
, evalLIO
, getLabel, setLabelP
, getClearance, lowerClr, lowerClrP, withClearance
, labelOf
, label, labelP
, unlabel, unlabelP
, taintLabeled
, untaintLabeled, untaintLabeledP
, relabelP
, toLabeled, toLabeledP, discard, discardP
, taint, taintP
, wguard, wguardP, aguard, aguardP
, Labeled
, LabelFault(..)
, catchP, handleP, onExceptionP, bracketP
, evaluate
, PrivDesc
, Gate, mkGate, mkGateP, callGate
)