hails-0.9.2.2: Multi-app web platform framework

Safe HaskellUnsafe

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.

Synopsis

Documentation

newtype PMAction a Source

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