lio-0.11.6.0: Labeled IO Information Flow Control Library

Safe HaskellTrustworthy
LanguageHaskell98

LIO.Monad

Synopsis

Documentation

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

Synonym for monad in which LIO is the base monad.

Minimal complete definition

liftLIO

Methods

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

Lift an LIO computation.

Instances

Label l => MonadLIO l (LIO l) Source # 

Methods

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