Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
- tryTaint :: (MonadLIO l m, Label l) => l -> m r -> (AnyLabelError -> m r) -> m r
- tryGuardWrite :: (MonadLIO l m, Label l) => l -> m r -> (AnyLabelError -> m r) -> m r
- guardWriteOk :: MonadLIO l m => l -> m Bool
- dcBottom :: DCLabel
- dcTop :: DCLabel
Documentation
tryTaint :: (MonadLIO l m, Label l) => l -> m r -> (AnyLabelError -> m r) -> m r
tryGuardWrite :: (MonadLIO l m, Label l) => l -> m r -> (AnyLabelError -> m r) -> m r
guardWriteOk :: MonadLIO l m => l -> m Bool
Test whether guard-write against a given label violates current clearance. In other words: whether given label can flow to clearance.
dcBottom :: DCLabel
dcTop :: DCLabel