Index
| %% | 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 | |
| 1 (Function) | LIO.LIORef |
| 2 (Function) | LIO.LIORef.Trans |
| atomicModifyLIORefP | |
| 1 (Function) | LIO.LIORef |
| 2 (Function) | LIO.LIORef.Trans |
| blessPTCB | LIO.TCB.LObj |
| blessReadOnlyPTCB | LIO.TCB.LObj |
| blessReadOnlyTCB | LIO.TCB.LObj |
| blessTCB | LIO.TCB.LObj |
| blessWriteOnlyPTCB | LIO.TCB.LObj |
| blessWriteOnlyTCB | 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 |
| displayException | LIO.Exception, LIO |
| downgradeP | LIO.Label, LIO |
| dToSet | LIO.DCLabel |
| dupLChan | |
| 1 (Function) | LIO.Concurrent.LChan |
| 2 (Function) | LIO.Concurrent.LChan.Trans |
| dupLChanP | |
| 1 (Function) | LIO.Concurrent.LChan |
| 2 (Function) | LIO.Concurrent.LChan.Trans |
| evalDC | LIO.DCLabel |
| evalLIO | LIO.Run, LIO.Core, LIO |
| evaluate | LIO.Exception, LIO |
| Exception | LIO.Exception, LIO |
| ExternalML | |
| 1 (Type/Class) | LIO.TCB.MLObj |
| 2 (Data Constructor) | LIO.TCB.MLObj |
| 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 | |
| 1 (Function) | LIO.Core, LIO |
| 2 (Function) | LIO.Core.Trans |
| getLabel | |
| 1 (Function) | LIO.Core, LIO |
| 2 (Function) | LIO.Core.Trans |
| getLIOStateTCB | LIO.TCB |
| glb | LIO.Label, LIO |
| guardAlloc | |
| 1 (Function) | LIO.Core, LIO |
| 2 (Function) | LIO.Core.Trans |
| guardAllocP | |
| 1 (Function) | LIO.Core, LIO |
| 2 (Function) | LIO.Core.Trans |
| guardGate | LIO.Delegate, LIO |
| GuardIO | LIO.TCB.LObj |
| guardIOTCB | LIO.TCB.LObj |
| guardWrite | |
| 1 (Function) | LIO.Core, LIO |
| 2 (Function) | LIO.Core.Trans |
| guardWriteP | |
| 1 (Function) | LIO.Core, LIO |
| 2 (Function) | LIO.Core.Trans |
| 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 |
| InternalML | |
| 1 (Type/Class) | LIO.TCB.MLObj |
| 2 (Data Constructor) | LIO.TCB.MLObj |
| ioTCB | LIO.TCB |
| isEmptyLMVar | |
| 1 (Function) | LIO.Concurrent.LMVar, LIO.Concurrent |
| 2 (Function) | LIO.Concurrent.LMVar.Trans |
| isEmptyLMVarP | |
| 1 (Function) | LIO.Concurrent.LMVar, LIO.Concurrent |
| 2 (Function) | LIO.Concurrent.LMVar.Trans |
| isPriv | LIO.Label |
| Label | LIO.Label, LIO |
| label | |
| 1 (Function) | LIO.Labeled, LIO |
| 2 (Function) | LIO.Labeled.Trans |
| 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 | |
| 1 (Function) | LIO.Error |
| 2 (Function) | LIO.Error.Trans |
| labelErrorP | |
| 1 (Function) | LIO.Error |
| 2 (Function) | LIO.Error.Trans |
| LabelIO | LIO.TCB.MLObj |
| labelIO | LIO.TCB.MLObj |
| LabelOf | LIO.TCB, LIO.Labeled, LIO |
| labelOf | LIO.TCB, LIO.Labeled, LIO |
| labelOfMlabel | LIO.TCB.MLObj |
| labelP | |
| 1 (Function) | LIO.Labeled, LIO |
| 2 (Function) | LIO.Labeled.Trans |
| lAp | |
| 1 (Function) | LIO.Labeled, LIO |
| 2 (Function) | LIO.Labeled.Trans |
| LChan | LIO.Concurrent.LChan |
| 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 | |
| 1 (Function) | LIO.Labeled, LIO |
| 2 (Function) | LIO.Labeled.Trans |
| lFork | LIO.Concurrent |
| lForkP | LIO.Concurrent |
| liftLIO | LIO.Monad, 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 |
| mblessPTCB | LIO.TCB.MLObj |
| mblessTCB | LIO.TCB.MLObj |
| MLabel | LIO.TCB.MLObj |
| MLabelOf | LIO.TCB.MLObj |
| mLabelOf | LIO.TCB.MLObj |
| MLabelPolicy | LIO.TCB.MLObj |
| mlabelPolicy | LIO.TCB.MLObj |
| MLabelPolicyDefault | LIO.TCB.MLObj |
| mlabelPolicyDefault | LIO.TCB.MLObj |
| MLabelTCB | LIO.TCB.MLObj |
| mlLabel | LIO.TCB.MLObj |
| mlLabelLabel | LIO.TCB.MLObj |
| MLObj | LIO.TCB.MLObj |
| MLObjTCB | LIO.TCB.MLObj |
| mlObjTCB | LIO.TCB.MLObj |
| mlPolicy | LIO.TCB.MLObj |
| mlPolicyObjTCB | LIO.TCB.MLObj |
| mlUsers | LIO.TCB.MLObj |
| modifyLIORef | |
| 1 (Function) | LIO.LIORef |
| 2 (Function) | LIO.LIORef.Trans |
| modifyLIORefP | |
| 1 (Function) | LIO.LIORef |
| 2 (Function) | LIO.LIORef.Trans |
| modifyLIOStateTCB | LIO.TCB |
| modifyMLabelP | LIO.TCB.MLObj |
| modifyMLObjLabelP | LIO.TCB.MLObj |
| MonadLIO | LIO.Monad, LIO.Core, LIO |
| newEmptyLMVar | |
| 1 (Function) | LIO.Concurrent.LMVar, LIO.Concurrent |
| 2 (Function) | LIO.Concurrent.LMVar.Trans |
| newEmptyLMVarP | |
| 1 (Function) | LIO.Concurrent.LMVar, LIO.Concurrent |
| 2 (Function) | LIO.Concurrent.LMVar.Trans |
| newLChan | |
| 1 (Function) | LIO.Concurrent.LChan |
| 2 (Function) | LIO.Concurrent.LChan.Trans |
| newLChanP | |
| 1 (Function) | LIO.Concurrent.LChan |
| 2 (Function) | LIO.Concurrent.LChan.Trans |
| newLIORef | |
| 1 (Function) | LIO.LIORef |
| 2 (Function) | LIO.LIORef.Trans |
| newLIORefP | |
| 1 (Function) | LIO.LIORef |
| 2 (Function) | LIO.LIORef.Trans |
| newLMVar | |
| 1 (Function) | LIO.Concurrent.LMVar, LIO.Concurrent |
| 2 (Function) | LIO.Concurrent.LMVar.Trans |
| newLMVarP | |
| 1 (Function) | LIO.Concurrent.LMVar, LIO.Concurrent |
| 2 (Function) | LIO.Concurrent.LMVar.Trans |
| newMLabelP | LIO.TCB.MLObj |
| 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 | |
| 1 (Function) | LIO.Concurrent.LMVar, LIO.Concurrent |
| 2 (Function) | LIO.Concurrent.LMVar.Trans |
| putLMVarP | |
| 1 (Function) | LIO.Concurrent.LMVar, LIO.Concurrent |
| 2 (Function) | LIO.Concurrent.LMVar.Trans |
| readLChan | |
| 1 (Function) | LIO.Concurrent.LChan |
| 2 (Function) | LIO.Concurrent.LChan.Trans |
| readLChanP | |
| 1 (Function) | LIO.Concurrent.LChan |
| 2 (Function) | LIO.Concurrent.LChan.Trans |
| readLIORef | |
| 1 (Function) | LIO.LIORef |
| 2 (Function) | LIO.LIORef.Trans |
| readLIORefP | |
| 1 (Function) | LIO.LIORef |
| 2 (Function) | LIO.LIORef.Trans |
| readLMVar | |
| 1 (Function) | LIO.Concurrent.LMVar, LIO.Concurrent |
| 2 (Function) | LIO.Concurrent.LMVar.Trans |
| readLMVarP | |
| 1 (Function) | LIO.Concurrent.LMVar, LIO.Concurrent |
| 2 (Function) | LIO.Concurrent.LMVar.Trans |
| readMLabelP | LIO.TCB.MLObj |
| relabelLabeledP | |
| 1 (Function) | LIO.Labeled, LIO |
| 2 (Function) | LIO.Labeled.Trans |
| 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 | |
| 1 (Function) | LIO.Core, LIO |
| 2 (Function) | LIO.Core.Trans |
| setClearanceP | |
| 1 (Function) | LIO.Core, LIO |
| 2 (Function) | LIO.Core.Trans |
| setLabel | |
| 1 (Function) | LIO.Core, LIO |
| 2 (Function) | LIO.Core.Trans |
| setLabelP | |
| 1 (Function) | LIO.Core, LIO |
| 2 (Function) | LIO.Core.Trans |
| 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 | |
| 1 (Function) | LIO.Concurrent.LMVar, LIO.Concurrent |
| 2 (Function) | LIO.Concurrent.LMVar.Trans |
| swapLMVarP | |
| 1 (Function) | LIO.Concurrent.LMVar, LIO.Concurrent |
| 2 (Function) | LIO.Concurrent.LMVar.Trans |
| taint | |
| 1 (Function) | LIO.Core, LIO |
| 2 (Function) | LIO.Core.Trans |
| taintLabeled | |
| 1 (Function) | LIO.Labeled, LIO |
| 2 (Function) | LIO.Labeled.Trans |
| taintLabeledP | |
| 1 (Function) | LIO.Labeled, LIO |
| 2 (Function) | LIO.Labeled.Trans |
| taintP | |
| 1 (Function) | LIO.Core, LIO |
| 2 (Function) | LIO.Core.Trans |
| takeLMVar | |
| 1 (Function) | LIO.Concurrent.LMVar, LIO.Concurrent |
| 2 (Function) | LIO.Concurrent.LMVar.Trans |
| takeLMVarP | |
| 1 (Function) | LIO.Concurrent.LMVar, LIO.Concurrent |
| 2 (Function) | LIO.Concurrent.LMVar.Trans |
| 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 | |
| 1 (Function) | LIO.Concurrent.LMVar, LIO.Concurrent |
| 2 (Function) | LIO.Concurrent.LMVar.Trans |
| tryPutLMVarP | |
| 1 (Function) | LIO.Concurrent.LMVar, LIO.Concurrent |
| 2 (Function) | LIO.Concurrent.LMVar.Trans |
| tryTakeLMVar | |
| 1 (Function) | LIO.Concurrent.LMVar, LIO.Concurrent |
| 2 (Function) | LIO.Concurrent.LMVar.Trans |
| tryTakeLMVarP | |
| 1 (Function) | LIO.Concurrent.LMVar, LIO.Concurrent |
| 2 (Function) | LIO.Concurrent.LMVar.Trans |
| UncatchableTCB | |
| 1 (Type/Class) | LIO.TCB |
| 2 (Data Constructor) | LIO.TCB |
| unlabel | |
| 1 (Function) | LIO.Labeled, LIO |
| 2 (Function) | LIO.Labeled.Trans |
| unlabelP | |
| 1 (Function) | LIO.Labeled, LIO |
| 2 (Function) | LIO.Labeled.Trans |
| withClearance | LIO.Core, LIO |
| withClearanceP | LIO.Core, LIO |
| withContext | LIO.Error |
| withMLabelP | LIO.TCB.MLObj |
| writeLChan | |
| 1 (Function) | LIO.Concurrent.LChan |
| 2 (Function) | LIO.Concurrent.LChan.Trans |
| writeLChanP | |
| 1 (Function) | LIO.Concurrent.LChan |
| 2 (Function) | LIO.Concurrent.LChan.Trans |
| writeLIORef | |
| 1 (Function) | LIO.LIORef |
| 2 (Function) | LIO.LIORef.Trans |
| writeLIORefP | |
| 1 (Function) | LIO.LIORef |
| 2 (Function) | LIO.LIORef.Trans |
| \/ | LIO.DCLabel |