| Safe Haskell | Unsafe |
|---|
Hails.PolicyModule.TCB
Description
This module exports a newtype wrapper for DBAction that restricts
certain combinators solely to policy modules. Specifically, this
policy module monad (PMAction) is used when setting labels,
specifing policies, creating collections, etc. The newtype is used to
restrict such functionality to policy modules; apps cannot and should
not be concerned with specifying data models and policies.
- newtype PMAction a = PMActionTCB {
- unPMActionTCB :: DBAction a
Documentation
A policy module action (PMAction) is simply a wrapper for
database action (DBAction). The wrapper is used to restrict app
code from specifying policies; only policy module may execute
PMActions, and thus create collections, set a label on their
databases, etc.
Constructors
| PMActionTCB | |
Fields
| |