lio-0.11.7.0: Labeled IO Information Flow Control Library
LIO.Monad
class (Label l, Monad m) => MonadLIO l m | m -> l where Source #
Synonym for monad in which LIO is the base monad.
LIO
Methods
liftLIO :: LIO l a -> m a Source #
Lift an LIO computation.
Defined in LIO.Monad
liftLIO :: LIO l a -> LIO l a Source #