LIO.Handle

This module abstracts the basic FileHandle methods provided by the system library, and provides an LHandle (Labeled Handle) type that can be manipulated from within the LIO Monad. Two lower level functions, mkDir and mkLHandle may be useful for functions that wish to open file names that are not relative to rootDir. (There is no notion of changeable current working directory in the LIO Monad.)

The actual storage of labeled files is handled by the LIO.FS module.

Documentation

class Monad m => DirectoryOps h m | m -> h where

Methods

getDirectoryContents :: FilePath -> m [FilePath]

createDirectory :: FilePath -> m ()

openFile :: FilePath -> IOMode -> m h

Instances

DirectoryOps Handle IO

Label l => DirectoryOps (LHandle l Handle) (LIO l s)

class Monad m => CloseOps h m where

Methods

hClose :: h -> m ()

hFlush :: h -> m ()

Instances

CloseOps Handle IO

Label l => CloseOps (LHandle l Handle) (LIO l s)

class CloseOps h m => HandleOps h b m where

Methods

hGet :: h -> Int -> m b

hGetNonBlocking :: h -> Int -> m b

hGetContents :: h -> m b

hPut :: h -> b -> m ()

hPutStrLn :: h -> b -> m ()

Instances

HandleOps Handle ByteString IO

(Label l, CloseOps (LHandle l h) (LIO l s), HandleOps h b IO) => HandleOps (LHandle l h) b (LIO l s)

data LHandle l h

Instances

(Label l, CloseOps (LHandle l h) (LIO l s), HandleOps h b IO) => HandleOps (LHandle l h) b (LIO l s)

Label l => MintTCB (LHandle l Handle) (Handle, l)

Label l => CloseOps (LHandle l Handle) (LIO l s)

Label l => DirectoryOps (LHandle l Handle) (LIO l s)

hlabelOf :: Label l => LHandle l h -> l

mkDir

Arguments

:: Priv l p

=> p

Privileges

-> l

Label for the new directory

-> Name l

Start point

-> FilePath

Name to create

-> LIO l s ()

mkLHandle

Arguments

:: Priv l p

=> p

Privileges to minimize taint

-> l

Label if new file is created

-> Name l

Starting point of pathname

-> FilePath

Path of file relative to prev

-> IOMode

Mode of handle

-> LIO l s (LHandle l Handle)

readFile :: (DirectoryOps h m, HandleOps h b m) => FilePath -> m b

writeFile :: (DirectoryOps h m, HandleOps h b m, OnExceptionTCB m) => FilePath -> b -> m ()

createDirectoryPR :: Priv l p => p -> Name l -> FilePath -> LIO l s ()

openFilePR :: Priv l p => p -> Name l -> FilePath -> IOMode -> LIO l s (LHandle l Handle)

writeFilePR :: (Priv l p, HandleOps Handle b IO) => p -> Name l -> FilePath -> b -> LIO l s ()

createDirectoryP :: Priv l p => p -> FilePath -> LIO l s ()

openFileP :: Priv l p => p -> FilePath -> IOMode -> LIO l s (LHandle l Handle)

writeFileP :: (Priv l p, HandleOps Handle b IO) => p -> FilePath -> b -> LIO l s ()

data IOMode

See System.IO.openFile

Constructors

ReadMode

WriteMode

AppendMode

ReadWriteMode

Instances

Enum IOMode

Eq IOMode

Ord IOMode

Read IOMode

Show IOMode

Ix IOMode