#if __GLASGOW_HASKELL__ >= 704
#endif
module Hails.TCB.Types ( AppName
, AppConf(..)
, AppReqHandler
, AppRoute
) where
import qualified Data.ByteString.Lazy as L
import Data.IterIO.Http
import Data.IterIO.HttpRoute
import DCLabel.TCB
import LIO.DCLabel
type L = L.ByteString
type AppName = String
data AppConf = AppConf { appUser :: !Principal
, appName :: !AppName
, appPriv :: !TCBPriv
, appReq :: HttpReq ()
}
type AppReqHandler = HttpReq ()
-> DCLabeled L
-> DC (HttpResp DC)
type AppRoute = HttpRoute DC ()