lio-0.1.3: Labeled IO Information Flow Control Library

Safe HaskellTrustworthy

LIO.MonadLIO

Description

This module provides a function liftLIO for executing LIO computations from transformed versions of the LIO monad. There is also a method liftIO, which is a synonym for liftLIO, to help with porting code that expects to run in the IO monad.

Synopsis

Documentation

class (Monad m, LabelState l p s) => MonadLIO m l p s | m -> l p s whereSource

MonadIO-like class.

Methods

liftLIO :: LIO l p s a -> m aSource

liftIO :: LIO l p s a -> m aSource

Instances

(MonadLIO m l p s, MonadTrans t, Monad (t m)) => MonadLIO (t m) l p s 
LabelState l p s => MonadLIO (LIO l p s) l p s