lio-0.11.6.0: Labeled IO Information Flow Control Library

LIO.Monad

Synopsis

class (Label l, Monad m) => MonadLIO l m | m -> l where Source #

Synonym for monad in which LIO is the base monad.

LIO

Minimal complete definition

liftLIO

Methods

liftLIO :: LIO l a -> m a Source #

Lift an LIO computation.

Instances

liftLIO :: LIO l a -> LIO l a Source #