wai-routing-0.1: Declarative routing for WAI.

Safe Haskell	None

Network.Wai.Routing.Route

Synopsis

Documentation

data Routes m a Source

The Routes monad is used to add routing declarations via addRoute or one of get, post, etc.

Instances

Monad (Routes m)
Functor (Routes m)
Applicative (Routes m)

type Renderer = Error -> Maybe ByteString Source

Function to turn an Error value into a ByteString. Clients can provide their own renderer using renderer.

route :: Monad m => Routes m a -> Request -> m Response Source

A WAI Application (generalised from IO to Monad) which routes requests to handlers based on predicated route declarations.

expand :: Monad m => Routes m a -> [(ByteString, Req -> m Response)]Source

Run the Routes monad and return the handlers per path.

renderer :: Renderer -> Routes m ()Source

Set a custom render function, i.e. a function to turn Errors into ByteStrings.

addRoute Source

Arguments

:: (Monad m, Predicate p Req, FVal p ~ Error)
=> Method
-> ByteString	path
-> (TVal p -> m Response)	handler
-> p	`Predicate`
-> Routes m ()

Add a route for some Method and path (potentially with variable captures) and constrained by some Predicate.

Arguments

:: (Monad m, Predicate p Req, FVal p ~ Error)
=> ByteString	path
-> (TVal p -> m Response)	handler
-> p	`Predicate`
-> Routes m ()

Specialisation of addRoute for a specific HTTP Method.

Arguments

:: (Monad m, Predicate p Req, FVal p ~ Error)
=> ByteString	path
-> (TVal p -> m Response)	handler
-> p	`Predicate`
-> Routes m ()

Specialisation of addRoute for a specific HTTP Method.

Arguments

:: (Monad m, Predicate p Req, FVal p ~ Error)
=> ByteString	path
-> (TVal p -> m Response)	handler
-> p	`Predicate`
-> Routes m ()

Specialisation of addRoute for a specific HTTP Method.

Arguments

:: (Monad m, Predicate p Req, FVal p ~ Error)
=> ByteString	path
-> (TVal p -> m Response)	handler
-> p	`Predicate`
-> Routes m ()

Specialisation of addRoute for a specific HTTP Method.

Arguments

:: (Monad m, Predicate p Req, FVal p ~ Error)
=> ByteString	path
-> (TVal p -> m Response)	handler
-> p	`Predicate`
-> Routes m ()

Specialisation of addRoute for a specific HTTP Method.

Arguments

:: (Monad m, Predicate p Req, FVal p ~ Error)
=> ByteString	path
-> (TVal p -> m Response)	handler
-> p	`Predicate`
-> Routes m ()

Specialisation of addRoute for a specific HTTP Method.

Arguments

:: (Monad m, Predicate p Req, FVal p ~ Error)
=> ByteString	path
-> (TVal p -> m Response)	handler
-> p	`Predicate`
-> Routes m ()

Specialisation of addRoute for a specific HTTP Method.

Arguments

:: (Monad m, Predicate p Req, FVal p ~ Error)
=> ByteString	path
-> (TVal p -> m Response)	handler
-> p	`Predicate`
-> Routes m ()

Specialisation of addRoute for a specific HTTP Method.