Safe Haskell | Trustworthy |
---|
This module provides bindings for the DCLabel
module, with some
renaming to resolve name clashes. The delegation of privilege and
other trusted code is not exported by this module and code wishing to
use this should import DCLabel.TCB
.
- module DCLabel.Safe
- type DCCatSet = Component
- type DCPriv = Priv
- type DCPrivTCB = TCBPriv
- type DCLabeled a = Labeled DCLabel a
- type DC = LIO DCLabel DCPrivTCB ()
- evalDC :: DC a -> IO (a, DCLabel)
- evalDCWithRoot :: FilePath -> Maybe DCLabel -> DC a -> IO (a, DCLabel)
- type DCGate = Gate DCLabel DCPriv
- lpub :: DCLabel
DCLabel export
module DCLabel.Safe
Renamed privileges
Useful aliases for the LIO Monad
evalDC :: DC a -> IO (a, DCLabel)Source
Runs a computation in the LIO Monad, returning both the computation's result and the label of the result.
evalDCWithRoot :: FilePath -> Maybe DCLabel -> DC a -> IO (a, DCLabel)Source
Same as evalDC
, but with support for filesystem.