bottom | LMonad.TCB, LMonad |
canFlowTo | LMonad.TCB, LMonad |
canSetLabel | LMonad.TCB, LMonad |
canUnlabel | LMonad.TCB, LMonad |
Conjunction | LMonad.Label.DisjunctionCategory |
conjunctionAnd | LMonad.Label.DisjunctionCategory |
conjunctionInsertDisjunction | LMonad.Label.DisjunctionCategory |
conjunctionOr | LMonad.Label.DisjunctionCategory |
dcConfidentiality | LMonad.Label.DisjunctionCategory |
dcConfidentialitySingleton | LMonad.Label.DisjunctionCategory |
dcIntegrity | LMonad.Label.DisjunctionCategory |
dcIntegritySingleton | LMonad.Label.DisjunctionCategory |
DCLabel | |
1 (Type/Class) | LMonad.Label.DisjunctionCategory |
2 (Data Constructor) | LMonad.Label.DisjunctionCategory |
dcSingleton | LMonad.Label.DisjunctionCategory |
Disjunction | LMonad.Label.DisjunctionCategory |
exists | LMonad.Label.DisjunctionCategory |
forall | LMonad.Label.DisjunctionCategory |
getClearance | LMonad.TCB, LMonad |
getCurrentLabel | LMonad.TCB, LMonad |
glb | LMonad.TCB, LMonad |
implies | LMonad.Label.DisjunctionCategory |
Label | LMonad.TCB, LMonad |
label | LMonad.TCB, LMonad |
Labeled | LMonad.TCB, LMonad |
labelOf | LMonad.TCB, LMonad |
lAllowLift | LMonad.TCB, LMonad |
lFail | LMonad.TCB, LMonad |
lLift | LMonad.TCB, LMonad |
LMonad | LMonad.TCB, LMonad |
LMonadT | LMonad.TCB, LMonad |
lowerLabelTCB | LMonad.TCB |
lub | LMonad.TCB, LMonad |
lubCurrentLabel | LMonad.TCB, LMonad |
psConfidentialitySingleton | LMonad.Label.PowerSet |
psIntegritySingleton | LMonad.Label.PowerSet |
PSLabel | |
1 (Type/Class) | LMonad.Label.PowerSet |
2 (Data Constructor) | LMonad.Label.PowerSet |
psLabelConfidentiality | LMonad.Label.PowerSet |
PSLabeled | LMonad.Label.PowerSet |
psLabelIntegrity | LMonad.Label.PowerSet |
psSingleton | LMonad.Label.PowerSet |
raiseClearanceTCB | LMonad.TCB |
runLMonad | LMonad.TCB, LMonad |
setClearance | LMonad.TCB, LMonad |
setLabel | LMonad.TCB, LMonad |
subset | LMonad.Label.DisjunctionCategory |
swapBase | LMonad.TCB, LMonad |
taintLabel | LMonad.TCB, LMonad |
toConfidentialityLabel | LMonad.TCB, LMonad |
toIntegrityLabel | LMonad.TCB, LMonad |
ToLabel | LMonad.TCB, LMonad |
toLabeledTCB | LMonad.TCB |
unlabel | LMonad.TCB, LMonad |