lio-0.11.6.0: Labeled IO Information Flow Control Library

Safe HaskellTrustworthy
LanguageHaskell98

LIO.Labeled.Trans

Description

MonadLIO generalizations for LIO.Labeled.

Synopsis

Documentation

label :: (MonadLIO l m, Label l) => l -> a -> m (Labeled l a) Source #

See label.

labelP :: (MonadLIO l m, PrivDesc l p) => Priv p -> l -> a -> m (Labeled l a) Source #

See labelP.

unlabel :: (MonadLIO l m, Label l) => Labeled l a -> m a Source #

See unlabel.

unlabelP :: (MonadLIO l m, PrivDesc l p) => Priv p -> Labeled l a -> m a Source #

relabelLabeledP :: (MonadLIO l m, PrivDesc l p) => Priv p -> l -> Labeled l a -> m (Labeled l a) Source #

taintLabeled :: (MonadLIO l m, Label l) => l -> Labeled l a -> m (Labeled l a) Source #

taintLabeledP :: (MonadLIO l m, PrivDesc l p) => Priv p -> l -> Labeled l a -> m (Labeled l a) Source #

lFmap :: (MonadLIO l m, Label l) => Labeled l a -> (a -> b) -> m (Labeled l b) Source #

See lFmap.

lAp :: (MonadLIO l m, Label l) => Labeled l (a -> b) -> Labeled l a -> m (Labeled l b) Source #

See lAp.