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

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 - G

Gate
1 (Type/Class)	LIO.TCB, LIO.Safe, LIO
2 (Data Constructor)	LIO.TCB
genericBracket	LIO.MonadCatch
getClearance	LIO.TCB, LIO.Safe, LIO
getDirectoryContents	LIO.Handle
getDirectoryContentsP	LIO.Handle
getLabel	LIO.TCB, LIO.Safe, LIO
getLabelStateTCB	LIO.TCB
getObjLabelTCB	LIO.FS
getPrivileges	LIO.TCB, LIO.Safe, LIO
getTCB	LIO.TCB
glb	LIO.TCB, LIO.Safe, LIO