seclib-1.1.0.2: A simple library for static information-flow security in Haskell

Index

CanFlowToSecLib.TCB.Lattice
HSecLib.LowHigh
ioTCBSecLib.TCB.SecIO
LSecLib.LowHigh
LessSecLib.TCB.Lattice, SecLib.Lattice
MkSecSecLib.TCB.Sec
MkSecIOSecLib.TCB.SecIO
newRefSecIOSecLib.TCB.Ref, SecLib.Ref
plugSecLib.TCB.SecIO, SecLib.SecIO
publicSecLib.LowHigh
readRefSecIOSecLib.TCB.Ref, SecLib.Ref
RefSecLib.TCB.Ref, SecLib.Ref
revealSecLib.Reveal
runSecLib.TCB.SecIO, SecLib.SecIO
SecSecLib.TCB.Sec, SecLib.Sec
SecIOSecLib.TCB.SecIO, SecLib.SecIO
tcbRefSecLib.TCB.Ref, SecLib.Ref
toSecIOSecLib.TCB.SecIO, SecLib.SecIO
unsecSecLib.TCB.Sec
upSecLib.TCB.Sec, SecLib.Sec
writeRefSecIOSecLib.TCB.Ref, SecLib.Ref