lio-eci11-0.2: Labeled IO library
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.
type DCCatSet = LabelSource
A DCLabel category set.
type DCPriv = PrivSource
A DCLabel (untrusted) privilege.
type DCPrivTCB = TCBPrivSource
A DCLabel privilege.
type DC = LIO DCLabel ()Source
The monad for LIO computations using DCLabel as the label.
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.
Produced by Haddock version 2.9.2