lio-0.9.1.1: Labeled IO Information Flow Control Library

Index

/\LIO.DCLabel.DSL, LIO.DCLabel
addDaysLIO.Data.Time
addGregorianMonthsClipLIO.Data.Time
addGregorianMonthsRollOverLIO.Data.Time
addGregorianYearsClipLIO.Data.Time
addGregorianYearsRollOverLIO.Data.Time
addUTCTimeLIO.Data.Time
allPrivTCBLIO.DCLabel.Privs.TCB
anybodyLIO.DCLabel.DSL, LIO.DCLabel
AppendModeLIO.Handle
AsyncExceptionLIO.Concurrent
atomicModifyLIORefLIO.LIORef
atomicModifyLIORefPLIO.LIORef
atomicModifyLIORefTCBLIO.LIORef.TCB
BlockBufferingLIO.Handle
bottomLIO.Label, LIO
bracketLIO.Core, LIO
bracketPLIO.Core, LIO
BufferModeLIO.Handle
buildTimeLIO.Data.Time
callGateLIO.Gate, LIO
canFlowToLIO.Label, LIO
canFlowToPLIO.Privs, LIO
CanFlowToViolationLIO.Core, LIO
catchLIOLIO.Core, LIO
catchLIOPLIO.Core, LIO
catchTCBLIO.TCB
Clause 
1 (Type/Class)LIO.DCLabel.Core, LIO.DCLabel
2 (Data Constructor)LIO.DCLabel.Core
clauseLIO.DCLabel.Core, LIO.DCLabel
ClearanceViolationLIO.Core, LIO
ComponentLIO.DCLabel.Core, LIO.DCLabel
createDirectoryLIO.Handle
createDirectoryPLIO.Handle
createDirectoryTCBLIO.FS.TCB
createFileTCBLIO.FS.TCB
CurrentLabelViolationLIO.Core, LIO
DayLIO.Data.Time
dayFractionToTimeOfDayLIO.Data.Time
DCLIO.DCLabel
dcAndLIO.DCLabel.Core
dcDelegatePrivLIO.DCLabel.Privs, LIO.DCLabel
DCFalseLIO.DCLabel.Core
dcFalseLIO.DCLabel.Core, LIO.DCLabel
DCFormulaLIO.DCLabel.Core
dcFormulaLIO.DCLabel.Core, LIO.DCLabel
DCGateLIO.DCLabel
dcImpliesLIO.DCLabel.Core
dcIntegrityLIO.DCLabel.Core, LIO.DCLabel
DCLabel 
1 (Type/Class)LIO.DCLabel.Core, LIO.DCLabel
2 (Data Constructor)LIO.DCLabel.Core
dcLabelLIO.DCLabel.Core, LIO.DCLabel
DCLabeledLIO.DCLabel
DCLabeledExceptionLIO.DCLabel
dcLabelNoReduceLIO.DCLabel.Core
dcOrLIO.DCLabel.Core
dcOwnsLIO.DCLabel.Privs, LIO.DCLabel
DCPrivLIO.DCLabel.Privs.TCB, LIO.DCLabel.Privs, LIO.DCLabel
DCPrivDescLIO.DCLabel.Privs.TCB, LIO.DCLabel.Privs, LIO.DCLabel
dcPrivDescLIO.DCLabel.DSL, LIO.DCLabel
DCPrivTCBLIO.DCLabel.Privs.TCB
dcPubLIO.DCLabel.Core, LIO.DCLabel
dcReduceLIO.DCLabel.Core
DCRefLIO.DCLabel
dcSecrecyLIO.DCLabel.Core, LIO.DCLabel
DCStateLIO.DCLabel
dcTrueLIO.DCLabel.Core, LIO.DCLabel
decodeLabelLIO.FS.TCB
defaultStateLIO.DCLabel
diffDaysLIO.Data.Time
DiffTimeLIO.Data.Time
diffUTCTimeLIO.Data.Time
encodeLabelLIO.FS.TCB
evalDCLIO.DCLabel
evalLIOLIO.Core, LIO
evaluateLIO.Core, LIO
evalWithRootFSLIO.Handle
everybodyLIO.DCLabel.DSL, LIO.DCLabel
finallyLIO.Core, LIO
finallyPLIO.Core, LIO
forkLIOLIO.Concurrent
formatCharacterLIO.Data.Time
FormatTimeLIO.Data.Time
formatTimeLIO.Data.Time
fromGregorianLIO.Data.Time
fromGregorianValidLIO.Data.Time
fromListLIO.DCLabel.DSL, LIO.DCLabel
FSErrorLIO.FS.TCB
FSIllegalFileNameLIO.FS.TCB
FSLabelCorruptLIO.FS.TCB
FSObjNeedLabelLIO.FS.TCB
FSRootCorruptLIO.FS.TCB
FSRootExistsLIO.FS.TCB
FSRootInvalidLIO.FS.TCB
FSRootNeedLabelLIO.FS.TCB
FSRootNoExistLIO.FS.TCB
GateLIO.Gate, LIO
gateLIO.Gate, LIO
getClearanceLIO.Core, LIO
getCurrentTimeLIO.Data.Time
getCurrentTimeZoneLIO.Data.Time
getDirectoryContentsLIO.Handle
getDirectoryContentsPLIO.Handle
getLabelLIO.Core, LIO
getLIOStateTCBLIO.TCB
getModJulianDateLIO.Data.Time
getPathLabelTCBLIO.FS.TCB
getRootDirTCBLIO.FS.TCB
getTimeZoneLIO.Data.Time
getZonedTimeLIO.Data.Time
glbLIO.Label, LIO
gregorianMonthLengthLIO.Data.Time
guardAllocLIO.Core, LIO
guardAllocPLIO.Core, LIO
guardWriteLIO.Core, LIO
guardWritePLIO.Core, LIO
HandleLIO.Handle
HandleOpsLIO.Handle
hCloseLIO.Handle
hClosePLIO.Handle
HeapOverflowLIO.Concurrent
hFlushLIO.Handle
hFlushPLIO.Handle
hGetLIO.Handle
hGetBufferingLIO.Handle
hGetBufferingPLIO.Handle
hGetContentsLIO.Handle
hGetContentsPLIO.Handle
hGetLineLIO.Handle
hGetLinePLIO.Handle
hGetNonBlockingLIO.Handle
hGetNonBlockingPLIO.Handle
hGetPLIO.Handle
hIsClosedLIO.Handle
hIsClosedPLIO.Handle
hIsEOFLIO.Handle
hIsEOFPLIO.Handle
hIsOpenLIO.Handle
hIsOpenPLIO.Handle
hIsReadableLIO.Handle
hIsReadablePLIO.Handle
hIsWritableLIO.Handle
hIsWritablePLIO.Handle
hoursToTimeZoneLIO.Data.Time
hPutLIO.Handle
hPutPLIO.Handle
hPutStrLIO.Handle
hPutStrLnLIO.Handle
hPutStrLnPLIO.Handle
hPutStrPLIO.Handle
hSetBinaryModeLIO.Handle
hSetBinaryModePLIO.Handle
hSetBufferingLIO.Handle
hSetBufferingPLIO.Handle
initFSTCBLIO.FS.TCB
InsufficientPrivsLIO.Core, LIO
IOModeLIO.Handle
ioTCBLIO.TCB
isEmptyLMVarLIO.Concurrent.LMVar
isEmptyLMVarPLIO.Concurrent.LMVar
isEmptyLMVarTCBLIO.Concurrent.LMVar.TCB
isFalseLIO.DCLabel.Core, LIO.DCLabel
isLeapYearLIO.Data.Time
isTrueLIO.DCLabel.Core, LIO.DCLabel
LabelLIO.Label, LIO
labelLIO.Labeled, LIO
LabeledLIO.Labeled.TCB, LIO.Labeled, LIO
LabeledExceptionLIO.TCB, LIO.Core, LIO
LabeledExceptionTCBLIO.TCB
LabeledFunctorLIO.Labeled, LIO
LabeledHandleLIO.Handle
LabeledResultLIO.Concurrent.TCB, LIO.Concurrent
LabeledResultTCBLIO.Concurrent.TCB
LabeledTCBLIO.Labeled.TCB
LabelOfLIO.Label, LIO
labelOfLIO.Label, LIO
labelOfFilePathLIO.FS.TCB
labelOfLabeledLIO.Labeled.TCB
labelOfLIORefLIO.LIORef.TCB
labelOfLMVarLIO.Concurrent.LMVar.TCB
labelPLIO.Labeled, LIO
labelTCBLIO.Labeled.TCB
lazyEncodeLabelLIO.FS.TCB
lBracketLIO.Concurrent
lBracketPLIO.Concurrent
LFilePathLIO.FS.TCB
LFilePathTCBLIO.FS.TCB
lFmapLIO.Labeled, LIO
lForkLIO.Concurrent
lForkPLIO.Concurrent
liftLIOLIO.TCB, LIO.Core, LIO
LineBufferingLIO.Handle
LIOLIO.TCB, LIO.Core, LIO
lioClearanceLIO.TCB, LIO.Core, LIO
lioLabelLIO.TCB, LIO.Core, LIO
LIORefLIO.LIORef.TCB, LIO.LIORef
LIORefTCBLIO.LIORef.TCB
LIOState 
1 (Type/Class)LIO.TCB, LIO.Core, LIO
2 (Data Constructor)LIO.TCB, LIO.Core, LIO
LIOTCBLIO.TCB
LMVarLIO.Concurrent.LMVar.TCB, LIO.Concurrent.LMVar
LMVarTCBLIO.Concurrent.LMVar.TCB
localDayLIO.Data.Time
LocalTime 
1 (Data Constructor)LIO.Data.Time
2 (Type/Class)LIO.Data.Time
localTimeOfDayLIO.Data.Time
localTimeToUT1LIO.Data.Time
localTimeToUTCLIO.Data.Time
localToUTCTimeOfDayLIO.Data.Time
lowerBoundLIO.Label, LIO
lresResultTCBLIO.Concurrent.TCB
lresThreadIdTCBLIO.Concurrent.TCB
lubLIO.Label, LIO
lWaitLIO.Concurrent
lWaitPLIO.Concurrent
makeTimeOfDayValidLIO.Data.Time
middayLIO.Data.Time
midnightLIO.Data.Time
MintTCBLIO.Privs.TCB
mintTCBLIO.Privs.TCB
minutesToTimeZoneLIO.Data.Time
mkFSTCBLIO.FS.TCB
ModifiedJulianDayLIO.Data.Time
modifyLIORefLIO.LIORef
modifyLIORefPLIO.LIORef
modifyLIORefTCBLIO.LIORef.TCB
ModJulianDateLIO.Data.Time
MonadDCLIO.DCLabel
MonadLIOLIO.TCB, LIO.Core, LIO
MonitorFailureLIO.Core, LIO
monitorFailureLIO.Core, LIO
monitorMessageLIO.Core, LIO
myThreadIdLIO.Concurrent
newEmptyLMVarLIO.Concurrent.LMVar
newEmptyLMVarPLIO.Concurrent.LMVar
newEmptyLMVarTCBLIO.Concurrent.LMVar.TCB
newLIORefLIO.LIORef
newLIORefPLIO.LIORef
newLIORefTCBLIO.LIORef.TCB
newLMVarLIO.Concurrent.LMVar
newLMVarPLIO.Concurrent.LMVar
newLMVarTCBLIO.Concurrent.LMVar.TCB
NoBufferingLIO.Handle
NominalDiffTimeLIO.Data.Time
noPrivLIO.DCLabel.Privs, LIO.DCLabel
NoPrivs 
1 (Type/Class)LIO.Privs, LIO
2 (Data Constructor)LIO.Privs, LIO
NumericPadOptionLIO.Data.Time
onExceptionLIO.Core, LIO
onExceptionPLIO.Core, LIO
openFileLIO.Handle
openFilePLIO.Handle
paranoidDCLIO.DCLabel
paranoidLIOLIO.Core, LIO
ParseTimeLIO.Data.Time
parseTimeLIO.Data.Time
partDowngradePLIO.Privs, LIO
picosecondsToDiffTimeLIO.Data.Time
Principal 
1 (Type/Class)LIO.DCLabel.Core, LIO.DCLabel
2 (Data Constructor)LIO.DCLabel.Core
principalLIO.DCLabel.Core, LIO.DCLabel
principalNameLIO.DCLabel.Core, LIO.DCLabel
PrivLIO.Privs, LIO
PrivDescLIO.Privs.TCB, LIO.Privs, LIO
privDescLIO.Privs.TCB, LIO.Privs, LIO
PrivTCBLIO.Privs.TCB
putLIOStateTCBLIO.TCB
putLMVarLIO.Concurrent.LMVar
putLMVarPLIO.Concurrent.LMVar
putLMVarTCBLIO.Concurrent.LMVar.TCB
readFileLIO.Handle
readFilePLIO.Handle
readLIORefLIO.LIORef
readLIORefPLIO.LIORef
readLIORefTCBLIO.LIORef.TCB
readLMVarLIO.Concurrent.LMVar
readLMVarPLIO.Concurrent.LMVar
readLMVarTCBLIO.Concurrent.LMVar.TCB
ReadModeLIO.Handle
readsPrecTCBLIO.TCB
readsTimeLIO.Data.Time
ReadTCBLIO.TCB
readTCBLIO.TCB
readTimeLIO.Data.Time
ReadWriteModeLIO.Handle
relabelLabeledPLIO.Labeled, LIO
rethrowIoTCBLIO.TCB
runDCLIO.DCLabel
runLIOLIO.Core, LIO
secondsToDiffTimeLIO.Data.Time
setClearanceLIO.Core, LIO
setClearancePLIO.Core, LIO
setFSTCBLIO.FS.TCB
setLabelLIO.Core, LIO
setLabelPLIO.Core, LIO
setPathLabelTCBLIO.FS.TCB
showGregorianLIO.Data.Time
ShowTCBLIO.TCB
showTCBLIO.TCB
SLabelLIO.FS.TCB, LIO.Handle
SMonadLIOLIO.Handle
StackOverflowLIO.Concurrent
swapLMVarLIO.Concurrent.LMVar
swapLMVarPLIO.Concurrent.LMVar
swapLMVarTCBLIO.Concurrent.LMVar.TCB
taintLIO.Core, LIO
taintLabeledLIO.Labeled, LIO
taintLabeledPLIO.Labeled, LIO
taintPLIO.Core, LIO
takeLMVarLIO.Concurrent.LMVar
takeLMVarPLIO.Concurrent.LMVar
takeLMVarTCBLIO.Concurrent.LMVar.TCB
threadDelayLIO.Concurrent
ThreadIdLIO.Concurrent.TCB, LIO.Concurrent
ThreadKilledLIO.Concurrent
throwLIOLIO.Core, LIO
TimeOfDay 
1 (Data Constructor)LIO.Data.Time
2 (Type/Class)LIO.Data.Time
timeOfDayToDayFractionLIO.Data.Time
timeOfDayToTimeLIO.Data.Time
timeToTimeOfDayLIO.Data.Time
TimeZone 
1 (Data Constructor)LIO.Data.Time
2 (Type/Class)LIO.Data.Time
timeZoneMinutesLIO.Data.Time
timeZoneNameLIO.Data.Time
timeZoneOffsetStringLIO.Data.Time
timeZoneOffsetString'LIO.Data.Time
timeZoneSummerOnlyLIO.Data.Time
ToComponentLIO.DCLabel.DSL, LIO.DCLabel
toComponentLIO.DCLabel.DSL, LIO.DCLabel
todHourLIO.Data.Time
todMinLIO.Data.Time
todSecLIO.Data.Time
toGregorianLIO.Data.Time
toListLIO.DCLabel.DSL, LIO.DCLabel
toModifiedJulianDayLIO.Data.Time
topLIO.Label, LIO
tryDCLIO.DCLabel
tryLIOLIO.Core, LIO
trylWaitLIO.Concurrent
trylWaitPLIO.Concurrent
tryPutLMVarLIO.Concurrent.LMVar
tryPutLMVarPLIO.Concurrent.LMVar
tryPutLMVarTCBLIO.Concurrent.LMVar.TCB
tryTakeLMVarLIO.Concurrent.LMVar
tryTakeLMVarPLIO.Concurrent.LMVar
tryTakeLMVarTCBLIO.Concurrent.LMVar.TCB
unClauseLIO.DCLabel.Core
unDCFormulaLIO.DCLabel.Core
unDCPrivLIO.DCLabel.Privs.TCB
UniversalTimeLIO.Data.Time
unlabelLIO.Labeled, LIO
unlabeledThrowTCBLIO.TCB
unlabelFilePathTCBLIO.FS.TCB
unlabelLIORefTCBLIO.LIORef.TCB
unlabelLMVarTCBLIO.Concurrent.LMVar.TCB
unlabelPLIO.Labeled, LIO
unlabelTCBLIO.Labeled.TCB
unLIOTCBLIO.TCB
untaintLabeledLIO.Labeled, LIO
untaintLabeledPLIO.Labeled, LIO
updateLIOStateTCBLIO.TCB
upperBoundLIO.Label, LIO
UserInterruptLIO.Concurrent
ut1ToLocalTimeLIO.Data.Time
utcLIO.Data.Time
utctDayLIO.Data.Time
utctDayTimeLIO.Data.Time
UTCTime 
1 (Data Constructor)LIO.Data.Time
2 (Type/Class)LIO.Data.Time
utcToLocalTimeLIO.Data.Time
utcToLocalTimeOfDayLIO.Data.Time
utcToLocalZonedTimeLIO.Data.Time
utcToZonedTimeLIO.Data.Time
VMonitorFailure 
1 (Type/Class)LIO.Core, LIO
2 (Data Constructor)LIO.Core, LIO
withClearanceLIO.Core, LIO
withClearancePLIO.Core, LIO
writeFileLIO.Handle
writeFilePLIO.Handle
writeLIORefLIO.LIORef
writeLIORefPLIO.LIORef
writeLIORefTCBLIO.LIORef.TCB
WriteModeLIO.Handle
ZonedTime 
1 (Data Constructor)LIO.Data.Time
2 (Type/Class)LIO.Data.Time
zonedTimeToLocalTimeLIO.Data.Time
zonedTimeToUTCLIO.Data.Time
zonedTimeZoneLIO.Data.Time
\/LIO.DCLabel.DSL, LIO.DCLabel