LIO.Core.Trans

Description

Synopsis

• getLabel :: (MonadLIO l m, Label l) => m l
• setLabel :: (MonadLIO l m, Label l) => l -> m ()
• setLabelP :: (MonadLIO l m, PrivDesc l p) => Priv p -> l -> m ()
• getClearance :: (MonadLIO l m, Label l) => m l
• setClearance :: (MonadLIO l m, Label l) => l -> m ()
• setClearanceP :: (MonadLIO l m, PrivDesc l p) => Priv p -> l -> m ()
• guardAlloc :: (MonadLIO l m, Label l) => l -> m ()
• guardAllocP :: (MonadLIO l m, PrivDesc l p) => Priv p -> l -> m ()
• taint :: (MonadLIO l m, Label l) => l -> m ()
• taintP :: (MonadLIO l m, PrivDesc l p) => Priv p -> l -> m ()
• guardWrite :: (MonadLIO l m, Label l) => l -> m ()
• guardWriteP :: (MonadLIO l m, PrivDesc l p) => Priv p -> l -> m ()

Documentation