LIO.Core.Trans

MonadLIO generalizations for LIO.Core.

Documentation

getLabel :: (MonadLIO l m, Label l) => m l

See getLabel.

setLabel :: (MonadLIO l m, Label l) => l -> m ()

See setLabel.

setLabelP :: (MonadLIO l m, PrivDesc l p) => Priv p -> l -> m ()

See setLabelP.

getClearance :: (MonadLIO l m, Label l) => m l

See getClearance.

setClearance :: (MonadLIO l m, Label l) => l -> m ()

See setClearance.

setClearanceP :: (MonadLIO l m, PrivDesc l p) => Priv p -> l -> m ()

See setClearanceP.

guardAlloc :: (MonadLIO l m, Label l) => l -> m ()

See guardAlloc.

guardAllocP :: (MonadLIO l m, PrivDesc l p) => Priv p -> l -> m ()

See guardAllocP.

taint :: (MonadLIO l m, Label l) => l -> m ()

See taint.

taintP :: (MonadLIO l m, PrivDesc l p) => Priv p -> l -> m ()

See taintP.

guardWrite :: (MonadLIO l m, Label l) => l -> m ()

See guardWrite.

guardWriteP :: (MonadLIO l m, PrivDesc l p) => Priv p -> l -> m ()

See guardWriteP.