%% | LIO.DCLabel |
/\ | LIO.DCLabel |
Annotatable | LIO.Error |
annotate | LIO.Error |
AnyLabelError | |
1 (Type/Class) | LIO.Error, LIO.Core, LIO |
2 (Data Constructor) | LIO.Error, LIO.Core, LIO |
atomicModifyLIORef | LIO.LIORef |
atomicModifyLIORefP | LIO.LIORef |
blessPTCB | LIO.TCB.LObj |
blessTCB | LIO.TCB.LObj |
bracket | LIO.Exception, LIO |
callGate | LIO.Delegate, LIO |
canFlowTo | LIO.Label, LIO |
canFlowToP | LIO.Label, LIO |
catch | LIO.Exception, LIO |
cFalse | LIO.DCLabel |
cFromList | LIO.DCLabel |
CNF | LIO.DCLabel |
cToSet | LIO.DCLabel |
cTrue | LIO.DCLabel |
DC | LIO.DCLabel |
dcDefaultState | LIO.DCLabel |
dcIntegrity | LIO.DCLabel |
DCLabel | |
1 (Type/Class) | LIO.DCLabel |
2 (Data Constructor) | LIO.DCLabel |
DCLabeled | LIO.DCLabel |
DCPriv | LIO.DCLabel |
dcPublic | LIO.DCLabel |
dcSecrecy | LIO.DCLabel |
delegate | LIO.Delegate, LIO |
dFromList | LIO.DCLabel |
Disjunction | LIO.DCLabel |
downgradeP | LIO.Label, LIO |
dToSet | LIO.DCLabel |
evalDC | LIO.DCLabel |
evalLIO | LIO.Run, LIO.Core, LIO |
evaluate | LIO.Exception, LIO |
Exception | LIO.Exception, LIO |
finally | LIO.Exception, LIO |
forkLIO | LIO.Concurrent |
fromException | LIO.Exception, LIO |
Gate | LIO.Delegate, LIO |
gate | LIO.Delegate, LIO |
GenericPrivDesc | |
1 (Type/Class) | LIO.Error |
2 (Data Constructor) | LIO.Error |
getClearance | LIO.Core, LIO |
getLabel | LIO.Core, LIO |
getLIOStateTCB | LIO.TCB |
glb | LIO.Label, LIO |
guardAlloc | LIO.Core, LIO |
guardAllocP | LIO.Core, LIO |
GuardIO | LIO.TCB.LObj |
guardIOTCB | LIO.TCB.LObj |
guardWrite | LIO.Core, LIO |
guardWriteP | LIO.Core, LIO |
handle | LIO.Exception, LIO |
inspContext | LIO.Error, LIO.Core, LIO |
inspFailure | LIO.Error, LIO.Core, LIO |
inspNeeded | LIO.Error, LIO.Core, LIO |
inspSupplied | LIO.Error, LIO.Core, LIO |
InsufficientPrivs | |
1 (Type/Class) | LIO.Error, LIO.Core, LIO |
2 (Data Constructor) | LIO.Error, LIO.Core, LIO |
insufficientPrivs | LIO.Error |
ioTCB | LIO.TCB |
isEmptyLMVar | LIO.Concurrent.LMVar, LIO.Concurrent |
isEmptyLMVarP | LIO.Concurrent.LMVar, LIO.Concurrent |
Label | LIO.Label, LIO |
label | LIO.Labeled, LIO |
Labeled | LIO.TCB, LIO.Labeled, LIO |
LabeledResult | LIO.TCB, LIO.Concurrent |
LabeledResultTCB | LIO.TCB |
LabeledTCB | LIO.TCB |
LabelError | |
1 (Type/Class) | LIO.Error, LIO.Core, LIO |
2 (Data Constructor) | LIO.Error, LIO.Core, LIO |
labelError | LIO.Error |
labelErrorP | LIO.Error |
LabelOf | LIO.TCB, LIO.Labeled, LIO |
labelOf | LIO.TCB, LIO.Labeled, LIO |
labelP | LIO.Labeled, LIO |
lAp | LIO.Labeled, LIO |
lerrContext | LIO.Error, LIO.Core, LIO |
lerrCurClearance | LIO.Error, LIO.Core, LIO |
lerrCurLabel | LIO.Error, LIO.Core, LIO |
lerrFailure | LIO.Error, LIO.Core, LIO |
lerrFromException | LIO.Error |
lerrLabels | LIO.Error, LIO.Core, LIO |
lerrPrivs | LIO.Error, LIO.Core, LIO |
lerrToException | LIO.Error |
lFmap | LIO.Labeled, LIO |
lFork | LIO.Concurrent |
lForkP | LIO.Concurrent |
liftLIO | LIO.Core, LIO |
LIO | LIO.TCB, LIO.Core, LIO |
lioClearance | LIO.TCB, LIO.Run, LIO.Core, LIO |
lioLabel | LIO.TCB, LIO.Run, LIO.Core, LIO |
LIORef | LIO.LIORef |
LIOState | |
1 (Type/Class) | LIO.TCB, LIO.Run, LIO.Core, LIO |
2 (Data Constructor) | LIO.TCB, LIO.Run, LIO.Core, LIO |
LIOTCB | LIO.TCB |
LMVar | LIO.Concurrent.LMVar, LIO.Concurrent |
LObj | LIO.TCB.LObj |
LObjTCB | LIO.TCB.LObj |
lresBlockTCB | LIO.TCB |
LResEmpty | LIO.TCB |
lresLabelTCB | LIO.TCB |
LResLabelTooHigh | LIO.TCB |
LResResult | LIO.TCB |
LResStatus | LIO.TCB |
lresStatusTCB | LIO.TCB |
lresThreadIdTCB | LIO.TCB |
lub | LIO.Label, LIO |
lWait | LIO.Concurrent |
lWaitP | LIO.Concurrent |
makeCatchable | LIO.TCB |
modifyLIORef | LIO.LIORef |
modifyLIORefP | LIO.LIORef |
modifyLIOStateTCB | LIO.TCB |
MonadLIO | LIO.Core, LIO |
newEmptyLMVar | LIO.Concurrent.LMVar, LIO.Concurrent |
newEmptyLMVarP | LIO.Concurrent.LMVar, LIO.Concurrent |
newLIORef | LIO.LIORef |
newLIORefP | LIO.LIORef |
newLMVar | LIO.Concurrent.LMVar, LIO.Concurrent |
newLMVarP | LIO.Concurrent.LMVar, LIO.Concurrent |
NoPrivs | |
1 (Type/Class) | LIO.Label, LIO |
2 (Data Constructor) | LIO.Label, LIO |
noPrivs | LIO.Label, LIO |
onException | LIO.Exception, LIO |
Principal | LIO.DCLabel |
principal | LIO.DCLabel |
principalBS | LIO.DCLabel |
principalName | LIO.DCLabel |
Priv | LIO.TCB, LIO.Label, LIO |
PrivDesc | LIO.Label, LIO |
privDesc | LIO.Label, LIO |
privInit | LIO.Run |
PrivTCB | LIO.TCB |
putLIOStateTCB | LIO.TCB |
putLMVar | LIO.Concurrent.LMVar, LIO.Concurrent |
putLMVarP | LIO.Concurrent.LMVar, LIO.Concurrent |
readLIORef | LIO.LIORef |
readLIORefP | LIO.LIORef |
readLMVar | LIO.Concurrent.LMVar, LIO.Concurrent |
readLMVarP | LIO.Concurrent.LMVar, LIO.Concurrent |
relabelLabeledP | LIO.Labeled, LIO |
relActualLabel | LIO.Error, LIO.Concurrent |
relContext | LIO.Error, LIO.Concurrent |
relDeclaredLabel | LIO.Error, LIO.Concurrent |
relLocation | LIO.Error, LIO.Concurrent |
ResultExceedsLabel | |
1 (Type/Class) | LIO.Error, LIO.Concurrent |
2 (Data Constructor) | LIO.Error, LIO.Concurrent |
runLIO | LIO.Run, LIO.Core, LIO |
scopeClearance | LIO.Core, LIO |
setClearance | LIO.Core, LIO |
setClearanceP | LIO.Core, LIO |
setLabel | LIO.Core, LIO |
setLabelP | LIO.Core, LIO |
ShowTCB | LIO.TCB |
showTCB | LIO.TCB |
SomeException | |
1 (Data Constructor) | LIO.Exception, LIO |
2 (Type/Class) | LIO.Exception, LIO |
SpeaksFor | LIO.Label, LIO |
speaksFor | LIO.Label, LIO |
swapLMVar | LIO.Concurrent.LMVar, LIO.Concurrent |
swapLMVarP | LIO.Concurrent.LMVar, LIO.Concurrent |
taint | LIO.Core, LIO |
taintLabeled | LIO.Labeled, LIO |
taintLabeledP | LIO.Labeled, LIO |
taintP | LIO.Core, LIO |
takeLMVar | LIO.Concurrent.LMVar, LIO.Concurrent |
takeLMVarP | LIO.Concurrent.LMVar, LIO.Concurrent |
throwLIO | LIO.Exception, LIO |
timedlWait | LIO.Concurrent |
timedlWaitP | LIO.Concurrent |
ToCNF | LIO.DCLabel |
toCNF | LIO.DCLabel |
toException | LIO.Exception, LIO |
try | LIO.Exception, LIO |
tryDC | LIO.DCLabel |
tryLIO | LIO.Run |
trylWait | LIO.Concurrent |
trylWaitP | LIO.Concurrent |
tryPutLMVar | LIO.Concurrent.LMVar, LIO.Concurrent |
tryPutLMVarP | LIO.Concurrent.LMVar, LIO.Concurrent |
tryTakeLMVar | LIO.Concurrent.LMVar, LIO.Concurrent |
tryTakeLMVarP | LIO.Concurrent.LMVar, LIO.Concurrent |
UncatchableTCB | |
1 (Type/Class) | LIO.TCB |
2 (Data Constructor) | LIO.TCB |
unlabel | LIO.Labeled, LIO |
unlabelP | LIO.Labeled, LIO |
withClearance | LIO.Core, LIO |
withClearanceP | LIO.Core, LIO |
withContext | LIO.Error |
writeLIORef | LIO.LIORef |
writeLIORefP | LIO.LIORef |
\/ | LIO.DCLabel |