lmonad-0.1.0.0: LMonad is an Information Flow Control (IFC) framework for Haskell applications.

Index

bottomLMonad.TCB, LMonad
canFlowToLMonad.TCB, LMonad
canSetLabelLMonad.TCB, LMonad
canUnlabelLMonad.TCB, LMonad
ConjunctionLMonad.Label.DisjunctionCategory
conjunctionAndLMonad.Label.DisjunctionCategory
conjunctionInsertDisjunctionLMonad.Label.DisjunctionCategory
conjunctionOrLMonad.Label.DisjunctionCategory
dcConfidentialityLMonad.Label.DisjunctionCategory
dcConfidentialitySingletonLMonad.Label.DisjunctionCategory
dcIntegrityLMonad.Label.DisjunctionCategory
dcIntegritySingletonLMonad.Label.DisjunctionCategory
DCLabel 
1 (Type/Class)LMonad.Label.DisjunctionCategory
2 (Data Constructor)LMonad.Label.DisjunctionCategory
dcSingletonLMonad.Label.DisjunctionCategory
DisjunctionLMonad.Label.DisjunctionCategory
existsLMonad.Label.DisjunctionCategory
forallLMonad.Label.DisjunctionCategory
getClearanceLMonad.TCB, LMonad
getCurrentLabelLMonad.TCB, LMonad
glbLMonad.TCB, LMonad
impliesLMonad.Label.DisjunctionCategory
LabelLMonad.TCB, LMonad
labelLMonad.TCB, LMonad
LabeledLMonad.TCB, LMonad
labelOfLMonad.TCB, LMonad
lAllowLiftLMonad.TCB, LMonad
lFailLMonad.TCB, LMonad
lLiftLMonad.TCB, LMonad
LMonadLMonad.TCB, LMonad
LMonadTLMonad.TCB, LMonad
lowerLabelTCBLMonad.TCB
lubLMonad.TCB, LMonad
lubCurrentLabelLMonad.TCB, LMonad
psConfidentialitySingletonLMonad.Label.PowerSet
psIntegritySingletonLMonad.Label.PowerSet
PSLabel 
1 (Type/Class)LMonad.Label.PowerSet
2 (Data Constructor)LMonad.Label.PowerSet
psLabelConfidentialityLMonad.Label.PowerSet
PSLabeledLMonad.Label.PowerSet
psLabelIntegrityLMonad.Label.PowerSet
psSingletonLMonad.Label.PowerSet
raiseClearanceTCBLMonad.TCB
runLMonadLMonad.TCB, LMonad
setClearanceLMonad.TCB, LMonad
setLabelLMonad.TCB, LMonad
subsetLMonad.Label.DisjunctionCategory
swapBaseLMonad.TCB, LMonad
taintLabelLMonad.TCB, LMonad
toConfidentialityLabelLMonad.TCB, LMonad
toIntegrityLabelLMonad.TCB, LMonad
ToLabelLMonad.TCB, LMonad
toLabeledTCBLMonad.TCB
unlabelLMonad.TCB, LMonad