lio-0.1.2: Labeled IO Information Flow Control Library (Index - N)

lio-0.1.2: 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 - N

name	LIO.DCLabel
newDC	LIO.DCLabel
newEmptyLMVar	LIO.Concurrent.LMVar.TCB, LIO.Concurrent.LMVar.Safe, LIO.Concurrent.LMVar
newEmptyLMVarP	LIO.Concurrent.LMVar.TCB, LIO.Concurrent.LMVar.Safe, LIO.Concurrent.LMVar
newEmptyLMVarTCB	LIO.Concurrent.LMVar.TCB
newLIORef	LIO.LIORef.TCB, LIO.LIORef.Safe, LIO.LIORef
newLIORefP	LIO.LIORef.TCB, LIO.LIORef.Safe, LIO.LIORef
newLIORefTCB	LIO.LIORef.TCB
newLMVar	LIO.Concurrent.LMVar.TCB, LIO.Concurrent.LMVar.Safe, LIO.Concurrent.LMVar
newLMVarP	LIO.Concurrent.LMVar.TCB, LIO.Concurrent.LMVar.Safe, LIO.Concurrent.LMVar
newLMVarTCB	LIO.Concurrent.LMVar.TCB
NewPriv	LIO.DCLabel
newPriv	LIO.DCLabel
newState	LIO.TCB
newTCBPriv	LIO.DCLabel
noPriv	LIO.DCLabel
noPrivs	LIO.TCB, LIO.Safe, LIO