Webcrank.Wai

Documentation

type WaiResource m = Resource (WaiCrankT m)

data WaiCrankT m a

Monad transformer that all resource functions will run in. Provides the ability to read the WAI Request inside resource functions.

Instances

MonadTrans WaiCrankT

Monad m => MonadState ReqData (WaiCrankT m)

Monad m => MonadWriter LogData (WaiCrankT m)

Monad m => Monad (WaiCrankT m)

Functor m => Functor (WaiCrankT m)

Monad m => Applicative (WaiCrankT m)

MonadThrow m => MonadThrow (WaiCrankT m)

MonadCatch m => MonadCatch (WaiCrankT m)

MonadMask m => MonadMask (WaiCrankT m)

MonadIO m => MonadIO (WaiCrankT m)

Monad m => MonadReader (WaiData (WaiCrankT m)) (WaiCrankT m)

dispatch

Arguments

:: (Applicative m, MonadIO m, MonadCatch m)

=> (forall a. m a -> IO a)

run

-> ByteString

base uri

-> Dispatcher (WaiResource m)

-> Application

Function for turning Dispatchers into Applications. A run function must be provided for executing the application logic. In the simplest case, where m is IO, this can just be id.

class HasRequest s a | s -> a where

Methods

request :: Lens' s a

Instances

HasRequest (WaiData m) Request

class HasRequestDate s a | s -> a where

Methods

requestDate :: Lens' s a

Instances

HasRequestDate (WaiData m) HTTPDate

data WaiData m

Holds the request and resource state during request processing.

Instances

HasResourceData (WaiData m) m

HasRequestDate (WaiData m) HTTPDate

HasRequest (WaiData m) Request

Monad m => MonadReader (WaiData (WaiCrankT m)) (WaiCrankT m)

data ReqData :: *

Container used to keep track of the decision state and what is known about response while processing a request.

Instances

HasReqData ReqData

Monad m => MonadState ReqData (WaiCrankT m)

getRequestBodyLBS :: (MonadIO m, MonadReader s m, HasRequest s Request) => m ByteString

module Webcrank

module Webcrank.Dispatch