hails-0.1.1: IFC enforcing web platform framework

Safe HaskellUnsafe

Hails.TCB.Types

Synopsis

Documentation

type AppName = StringSource

Application name

data AppConf Source

Application configuration.

Constructors

AppConf 

Fields

appUser :: !Principal

User the app is running on behalf of

appName :: !AppName

The app's name

appPriv :: !TCBPriv

The app's privileges.

appReq :: HttpReq ()

The request message

type AppReqHandler = HttpReq () -> DCLabeled L -> DC (HttpResp DC)Source

Application handler.

type AppRoute = HttpRoute DC ()Source

Application route.