wguard | Hails.App, Hails.Policy |
wguardP | Hails.App, Hails.Policy |
withClearance | Hails.App, Hails.Policy |
withCombinedPrivs | Hails.App, Hails.Policy |
withDB | Hails.Database, Hails.Policy |
withLabel | Hails.Database.MongoDB.TCB.DCAccess, Hails.Database.MongoDB, Hails.Policy |
withPrivileges | Hails.App, Hails.Policy |
words | Hails.Data.LBson.Safe, Hails.Data.LBson, Hails.Database.MongoDB |
writeFile | Hails.Data.LBson.Safe, Hails.Data.LBson, Hails.Database.MongoDB, Hails.Policy |
writeFile' | Hails.Data.LBson.Safe, Hails.Data.LBson, Hails.Database.MongoDB, Hails.Policy |