lio-0.1.3: Labeled IO Information Flow Control Library (Index - S)

lio-0.1.3: Labeled IO Information Flow Control Library

A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
W
.
<
>
All

Index - S

secrecy	LIO.DCLabel
setLabelP	LIO.TCB, LIO.Safe, LIO
setLabelTCB	LIO.TCB
setPrivileges	LIO.TCB
ShowTCB	LIO.TCB
showTCB	LIO.TCB
singleton	LIO.DCLabel
stripSlash	LIO.FS
swapLMVar	LIO.Concurrent.LMVar.TCB, LIO.Concurrent.LMVar.Safe, LIO.Concurrent.LMVar
swapLMVarP	LIO.Concurrent.LMVar.TCB, LIO.Concurrent.LMVar.Safe, LIO.Concurrent.LMVar
swapLMVarTCB	LIO.Concurrent.LMVar.TCB