lio-0.11.4.2: Labeled IO Information Flow Control Library

Index

%%LIO.DCLabel
/\LIO.DCLabel
AnnotatableLIO.Error
annotateLIO.Error
AnyLabelError 
1 (Type/Class)LIO.Error, LIO.Core, LIO
2 (Data Constructor)LIO.Error, LIO.Core, LIO
atomicModifyLIORefLIO.LIORef
atomicModifyLIORefPLIO.LIORef
blessPTCBLIO.TCB.LObj
blessTCBLIO.TCB.LObj
bracketLIO.Exception, LIO
callGateLIO.Delegate, LIO
canFlowToLIO.Label, LIO
canFlowToPLIO.Label, LIO
catchLIO.Exception, LIO
cFalseLIO.DCLabel
cFromListLIO.DCLabel
CNFLIO.DCLabel
cToSetLIO.DCLabel
cTrueLIO.DCLabel
DCLIO.DCLabel
dcDefaultStateLIO.DCLabel
dcIntegrityLIO.DCLabel
DCLabel 
1 (Type/Class)LIO.DCLabel
2 (Data Constructor)LIO.DCLabel
DCLabeledLIO.DCLabel
DCPrivLIO.DCLabel
dcPublicLIO.DCLabel
dcSecrecyLIO.DCLabel
delegateLIO.Delegate, LIO
dFromListLIO.DCLabel
DisjunctionLIO.DCLabel
downgradePLIO.Label, LIO
dToSetLIO.DCLabel
evalDCLIO.DCLabel
evalLIOLIO.Run, LIO.Core, LIO
evaluateLIO.Exception, LIO
ExceptionLIO.Exception, LIO
ExternalML 
1 (Type/Class)LIO.TCB.MLObj
2 (Data Constructor)LIO.TCB.MLObj
finallyLIO.Exception, LIO
forkLIOLIO.Concurrent
fromExceptionLIO.Exception, LIO
GateLIO.Delegate, LIO
gateLIO.Delegate, LIO
GenericPrivDesc 
1 (Type/Class)LIO.Error
2 (Data Constructor)LIO.Error
getClearanceLIO.Core, LIO
getLabelLIO.Core, LIO
getLIOStateTCBLIO.TCB
glbLIO.Label, LIO
guardAllocLIO.Core, LIO
guardAllocPLIO.Core, LIO
guardGateLIO.Delegate, LIO
GuardIOLIO.TCB.LObj
guardIOTCBLIO.TCB.LObj
guardWriteLIO.Core, LIO
guardWritePLIO.Core, LIO
handleLIO.Exception, LIO
inspContextLIO.Error, LIO.Core, LIO
inspFailureLIO.Error, LIO.Core, LIO
inspNeededLIO.Error, LIO.Core, LIO
inspSuppliedLIO.Error, LIO.Core, LIO
InsufficientPrivs 
1 (Type/Class)LIO.Error, LIO.Core, LIO
2 (Data Constructor)LIO.Error, LIO.Core, LIO
insufficientPrivsLIO.Error
InternalML 
1 (Type/Class)LIO.TCB.MLObj
2 (Data Constructor)LIO.TCB.MLObj
ioTCBLIO.TCB
isEmptyLMVarLIO.Concurrent.LMVar, LIO.Concurrent
isEmptyLMVarPLIO.Concurrent.LMVar, LIO.Concurrent
isPrivLIO.Label
LabelLIO.Label, LIO
labelLIO.Labeled, LIO
LabeledLIO.TCB, LIO.Labeled, LIO
LabeledResultLIO.TCB, LIO.Concurrent
LabeledResultTCBLIO.TCB
LabeledTCBLIO.TCB
LabelError 
1 (Type/Class)LIO.Error, LIO.Core, LIO
2 (Data Constructor)LIO.Error, LIO.Core, LIO
labelErrorLIO.Error
labelErrorPLIO.Error
LabelIOLIO.TCB.MLObj
labelIOLIO.TCB.MLObj
LabelOfLIO.TCB, LIO.Labeled, LIO
labelOfLIO.TCB, LIO.Labeled, LIO
labelOfMlabelLIO.TCB.MLObj
labelPLIO.Labeled, LIO
lApLIO.Labeled, LIO
lerrContextLIO.Error, LIO.Core, LIO
lerrCurClearanceLIO.Error, LIO.Core, LIO
lerrCurLabelLIO.Error, LIO.Core, LIO
lerrFailureLIO.Error, LIO.Core, LIO
lerrFromExceptionLIO.Error
lerrLabelsLIO.Error, LIO.Core, LIO
lerrPrivsLIO.Error, LIO.Core, LIO
lerrToExceptionLIO.Error
lFmapLIO.Labeled, LIO
lForkLIO.Concurrent
lForkPLIO.Concurrent
liftLIOLIO.Core, LIO
LIOLIO.TCB, LIO.Core, LIO
lioClearanceLIO.TCB, LIO.Run, LIO.Core, LIO
lioLabelLIO.TCB, LIO.Run, LIO.Core, LIO
LIORefLIO.LIORef
LIOState 
1 (Type/Class)LIO.TCB, LIO.Run, LIO.Core, LIO
2 (Data Constructor)LIO.TCB, LIO.Run, LIO.Core, LIO
LIOTCBLIO.TCB
LMVarLIO.Concurrent.LMVar, LIO.Concurrent
LObjLIO.TCB.LObj
LObjTCBLIO.TCB.LObj
lresBlockTCBLIO.TCB
LResEmptyLIO.TCB
lresLabelTCBLIO.TCB
LResLabelTooHighLIO.TCB
LResResultLIO.TCB
LResStatusLIO.TCB
lresStatusTCBLIO.TCB
lresThreadIdTCBLIO.TCB
lubLIO.Label, LIO
lWaitLIO.Concurrent
lWaitPLIO.Concurrent
makeCatchableLIO.TCB
mblessPTCBLIO.TCB.MLObj
mblessTCBLIO.TCB.MLObj
MLabelLIO.TCB.MLObj
MLabelOfLIO.TCB.MLObj
mLabelOfLIO.TCB.MLObj
MLabelPolicyLIO.TCB.MLObj
mlabelPolicyLIO.TCB.MLObj
MLabelPolicyDefaultLIO.TCB.MLObj
mlabelPolicyDefaultLIO.TCB.MLObj
MLabelTCBLIO.TCB.MLObj
mlLabelLIO.TCB.MLObj
mlLabelLabelLIO.TCB.MLObj
MLObjLIO.TCB.MLObj
MLObjTCBLIO.TCB.MLObj
mlObjTCBLIO.TCB.MLObj
mlPolicyLIO.TCB.MLObj
mlPolicyObjTCBLIO.TCB.MLObj
mlUsersLIO.TCB.MLObj
modifyLIORefLIO.LIORef
modifyLIORefPLIO.LIORef
modifyLIOStateTCBLIO.TCB
modifyMLabelPLIO.TCB.MLObj
modifyMLObjLabelPLIO.TCB.MLObj
MonadLIOLIO.Core, LIO
newEmptyLMVarLIO.Concurrent.LMVar, LIO.Concurrent
newEmptyLMVarPLIO.Concurrent.LMVar, LIO.Concurrent
newLIORefLIO.LIORef
newLIORefPLIO.LIORef
newLMVarLIO.Concurrent.LMVar, LIO.Concurrent
newLMVarPLIO.Concurrent.LMVar, LIO.Concurrent
newMLabelPLIO.TCB.MLObj
NoPrivs 
1 (Type/Class)LIO.Label, LIO
2 (Data Constructor)LIO.Label, LIO
noPrivsLIO.Label, LIO
onExceptionLIO.Exception, LIO
PrincipalLIO.DCLabel
principalLIO.DCLabel
principalBSLIO.DCLabel
principalNameLIO.DCLabel
PrivLIO.TCB, LIO.Label, LIO
PrivDescLIO.Label, LIO
privDescLIO.Label, LIO
privInitLIO.Run
PrivTCBLIO.TCB
putLIOStateTCBLIO.TCB
putLMVarLIO.Concurrent.LMVar, LIO.Concurrent
putLMVarPLIO.Concurrent.LMVar, LIO.Concurrent
readLIORefLIO.LIORef
readLIORefPLIO.LIORef
readLMVarLIO.Concurrent.LMVar, LIO.Concurrent
readLMVarPLIO.Concurrent.LMVar, LIO.Concurrent
readMLabelPLIO.TCB.MLObj
relabelLabeledPLIO.Labeled, LIO
relActualLabelLIO.Error, LIO.Concurrent
relContextLIO.Error, LIO.Concurrent
relDeclaredLabelLIO.Error, LIO.Concurrent
relLocationLIO.Error, LIO.Concurrent
ResultExceedsLabel 
1 (Type/Class)LIO.Error, LIO.Concurrent
2 (Data Constructor)LIO.Error, LIO.Concurrent
runLIOLIO.Run, LIO.Core, LIO
scopeClearanceLIO.Core, LIO
setClearanceLIO.Core, LIO
setClearancePLIO.Core, LIO
setLabelLIO.Core, LIO
setLabelPLIO.Core, LIO
ShowTCBLIO.TCB
showTCBLIO.TCB
SomeException 
1 (Data Constructor)LIO.Exception, LIO
2 (Type/Class)LIO.Exception, LIO
SpeaksForLIO.Label, LIO
speaksForLIO.Label, LIO
swapLMVarLIO.Concurrent.LMVar, LIO.Concurrent
swapLMVarPLIO.Concurrent.LMVar, LIO.Concurrent
taintLIO.Core, LIO
taintLabeledLIO.Labeled, LIO
taintLabeledPLIO.Labeled, LIO
taintPLIO.Core, LIO
takeLMVarLIO.Concurrent.LMVar, LIO.Concurrent
takeLMVarPLIO.Concurrent.LMVar, LIO.Concurrent
throwLIOLIO.Exception, LIO
timedlWaitLIO.Concurrent
timedlWaitPLIO.Concurrent
ToCNFLIO.DCLabel
toCNFLIO.DCLabel
toExceptionLIO.Exception, LIO
tryLIO.Exception, LIO
tryDCLIO.DCLabel
tryLIOLIO.Run
trylWaitLIO.Concurrent
trylWaitPLIO.Concurrent
tryPutLMVarLIO.Concurrent.LMVar, LIO.Concurrent
tryPutLMVarPLIO.Concurrent.LMVar, LIO.Concurrent
tryTakeLMVarLIO.Concurrent.LMVar, LIO.Concurrent
tryTakeLMVarPLIO.Concurrent.LMVar, LIO.Concurrent
UncatchableTCB 
1 (Type/Class)LIO.TCB
2 (Data Constructor)LIO.TCB
unlabelLIO.Labeled, LIO
unlabelPLIO.Labeled, LIO
withClearanceLIO.Core, LIO
withClearancePLIO.Core, LIO
withContextLIO.Error
withMLabelPLIO.TCB.MLObj
writeLIORefLIO.LIORef
writeLIORefPLIO.LIORef
\/LIO.DCLabel