Hails.PolicyModule.TCB

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.

Documentation

newtype PMAction a

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

unPMActionTCB :: DBAction a

Instances

Monad PMAction

Functor PMAction

Applicative PMAction

MonadDB PMAction

MonadLIO DCLabel PMAction