lio-0.11.6.0: Labeled IO Information Flow Control Library

Safe HaskellSafe
LanguageHaskell98

LIO.Error.Trans

Description

MonadLIO generalizations for LIO.Error.

Synopsis

Documentation

labelError Source #

Arguments

:: (MonadLIO l m, Label l) 
=> String

Function that failed.

-> [l]

Labels involved in error.

-> m a 

labelErrorP Source #

Arguments

:: (MonadLIO l m, Label l, PrivDesc l p) 
=> String

Function that failed.

-> Priv p

Privileges involved.

-> [l]

Labels involved.

-> m a