Network.Wai.Middleware.Verbs

Documentation

newtype Verbs e u m r

Constructors

Verbs

Fields

unVerbs :: Map Verb (ResponseSpec e u m r)

Instances

Functor (Verbs e u m)

Monoid (Verbs e u m r)

Monad m => MonadState (Verbs e u m r) (VerbListenerT r e u m)

type Verb = StdMethod

getVerb :: Request -> Verb

type HandleUpload e m u = Request -> ExceptT (Maybe e) m u

type RespondUpload e u r = Request -> Either (Maybe e) u -> r

type ResponseSpec e u m r = (HandleUpload e m u, RespondUpload e u r)

supplyReq :: Request -> Map Verb (ResponseSpec e u m r) -> Map Verb (ExceptT (Maybe e) m u, Either (Maybe e) u -> r)

lookupVerb :: Verb -> Request -> Verbs e u m r -> Maybe (ExceptT (Maybe e) m u, Either (Maybe e) u -> r)

Take a verb map and a request, and return the lookup after providing the request (for upload cases).

lookupVerbM :: Monad m => Verb -> Request -> Verbs e u m r -> m (Maybe r)

newtype VerbListenerT r e u m a

Constructors

VerbListenerT

Fields

runVerbListenerT :: StateT (Verbs e u m r) m a

Instances

MonadTrans (VerbListenerT r e u)

Monad m => Monad (VerbListenerT r e u m)

Functor m => Functor (VerbListenerT r e u m)

Monad m => Applicative (VerbListenerT r e u m)

MonadIO m => MonadIO (VerbListenerT r e u m)

Monad m => MonadState (Verbs e u m r) (VerbListenerT r e u m)

execVerbListenerT :: Monad m => VerbListenerT r e u m a -> m (Verbs e u m r)

verbsToMiddleware :: MonadIO m => VerbListenerT (MiddlewareT m) e u m () -> MiddlewareT m

get :: Monad m => r -> VerbListenerT r e u m ()

For simple GET responses

getReq :: Monad m => (Request -> r) -> VerbListenerT r e u m ()

Inspect the Request object supplied by WAI

post :: (Monad m, MonadIO m) => HandleUpload e m u -> (Either (Maybe e) u -> r) -> VerbListenerT r e u m ()

For simple POST responses

postReq :: (Monad m, MonadIO m) => HandleUpload e m u -> RespondUpload e u r -> VerbListenerT r e u m ()

Inspect the Request object supplied by WAI

put :: (Monad m, MonadIO m) => HandleUpload e m u -> (Either (Maybe e) u -> r) -> VerbListenerT r e u m ()

For simple PUT responses

putReq :: (Monad m, MonadIO m) => HandleUpload e m u -> RespondUpload e u r -> VerbListenerT r e u m ()

Inspect the Request object supplied by WAI

delete :: Monad m => r -> VerbListenerT r e u m ()

For simple DELETE responses

deleteReq :: Monad m => (Request -> r) -> VerbListenerT r e u m ()

Inspect the Request object supplied by WAI