LIO.Labeled.Trans

MonadLIO generalizations for LIO.Labeled.

Documentation

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

See label.

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

See labelP.

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

See unlabel.

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

See unlabelP.

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

See relabelLabeledP.

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

See taintLabeled.

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

See taintLabeledP.

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

See lFmap.

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

See lAp.