hails-0.1.1: IFC enforcing web platform framework

Safe HaskellTrustworthy

Hails.Database

Synopsis

Documentation

mkPolicy :: forall dbp. (DatabasePolicy dbp, Typeable dbp) => DC dbpSource

Create a DatabasePolicy with the appropriate underline databse name and privileges, determined by the actual instance requested.

withDB :: DatabasePolicy dbp => dbp -> DCAction a -> DC (Either Failure a)Source

Given a database name and a database action, execute the action on the database.