lio-0.10.0.0: Labeled IO Information Flow Control Library (Index - P)

lio-0.10.0.0: Labeled IO Information Flow Control Library

A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W
%
/
\
All

Index - P

partDowngradeP	LIO.Privs, LIO
partDowngradePrivDesc	LIO.Privs, LIO
Principal
1 (Type/Class)	LIO.DCLabel.Core, LIO.DCLabel
2 (Data Constructor)	LIO.DCLabel.Core, LIO.DCLabel
principal	LIO.DCLabel.Core, LIO.DCLabel
principalName	LIO.DCLabel.Core, LIO.DCLabel
Priv	LIO.TCB, LIO.Privs, LIO
PrivDesc	LIO.Privs, LIO
privDesc	LIO.Privs, LIO
PrivTCB	LIO.TCB
putLIOStateTCB	LIO.TCB
putLMVar	LIO.Concurrent.LMVar, LIO.Concurrent
putLMVarP	LIO.Concurrent.LMVar, LIO.Concurrent