lio-fs-0.0.0.1: Labeled File System interface for LIO

Safe HaskellSafe
LanguageHaskell98

LIO.FS.Simple.DCLabel

Description

This module exposes some wrapper functions for executing LIO actions using DCLabels with simple (LIO.FS.Simple) filesystem support.

Synopsis

Documentation

evalDCWithRoot Source

Arguments

:: FilePath

Filesystem root

-> DC a

LIO action

-> IO a 

Like evalDC, execute a DC action, but with filesystem support. The filesystme root is supplied, while the root label is dcPublic. See LIO.FS.Simple for a description of the simple filesystem API.

tryDCWithRoot Source

Arguments

:: FilePath

Filesystem root

-> DC a

LIO action

-> IO (Either SomeException a, LIOState DCLabel) 

Similar to evalDCWithRoot, but catches the end exception. See tryDC.