Network.Wai.Middleware.Routes

This package provides typesafe URLs for Wai applications.

Quasi Quoters

parseRoutes :: QuasiQuoter

A quasi-quoter to parse a string into a list of Resources. Checks for overlapping routes, failing if present; use parseRoutesNoCheck to skip the checking. See documentation site for details on syntax.

Parse Routes declared inline

parseRoutesFile :: FilePath -> Q Exp

Parse routes declared in a file

parseRoutesNoCheck :: QuasiQuoter

Same as parseRoutes, but performs no overlap checking.

Parse routes declared inline, without checking for overlaps

parseRoutesFileNoCheck :: FilePath -> Q Exp

Parse routes declared in a file, without checking for overlaps

Template Haskell methods

mkRoute :: String -> [ResourceTree String] -> Q [Dec]

Generates all the things needed for efficient routing, including your application's Route datatype, and RenderRoute, ParseRoute, and RouteAttr instances

Dispatch

routeDispatch :: Routable master => master -> Middleware

Generates the application middleware from a Routable master datatype

URL rendering and parsing

showRoute :: RenderRoute master => Route master -> Text

Renders a Route as Text

readRoute :: ParseRoute master => Text -> Maybe (Route master)

Read a route from Text Returns Nothing if Route reading failed. Just route otherwise

Application Handlers

type Handler master = master -> RequestData -> ResourceT IO Response

A Handler generates an App from the master datatype

Generated Datatypes

class Routable master where

A Routable instance can be used in dispatching. An appropriate instance for your site datatype is automatically generated by mkRoute

Methods

dispatcher :: Handler master

Used internally. However needs to be exported for TH to work.

class Eq (Route a) => RenderRoute a where

Associated Types

data Route a1

The type-safe URLs associated with a site argument.

Methods

renderRoute :: Route a -> ([Text], [(Text, Text)])

A RenderRoute instance for your site datatype is automatically generated by mkRoute

class RenderRoute a => ParseRoute a where

Methods

parseRoute :: ([Text], [(Text, Text)]) -> Maybe (Route a)

A ParseRoute instance for your site datatype is automatically generated by mkRoute

class RenderRoute a => RouteAttrs a where

Methods

routeAttrs :: Route a -> Set Text

A RouteAttrs instance for your site datatype is automatically generated by mkRoute

Accessing Raw Request Data

data RequestData

An abstract representation of the request data. You can get the wai request object by using waiReq

waiReq :: RequestData -> Request

Extract the wai Request object from RequestData

nextApp :: RequestData -> Application

Extract the next Application in the stack

runNext :: RequestData -> ResourceT IO Response

Run the next application in the stack

Run the next application in the stack

Route Monad makes it easy to compose routes together

data RouteM a

The Route Monad

Instances

Monad RouteM

Functor RouteM

MonadIO RouteM

defaultAction :: Application -> RouteM ()

Set the default action of the Application. You should only call this once in an application. Subsequent invocations override the previous settings.

Set the default action for a app

middleware :: Middleware -> RouteM ()

Add a middleware to the application. Middleware is nested so the one declared earlier is outer.

Add another middleware to the app

route :: Routable master => master -> RouteM ()

Add a route to the application. Routes are ordered so the one declared earlier is matched first.

Add another routed middleware to the app

toWaiApp :: RouteM () -> IO Application

Convert a RouteM Monadic value into a wai application.

Convert a RouteM to a wai Application

HandlerM Monad makes it easy to build a handler

data HandlerM master a

The HandlerM Monad

Instances

Monad (HandlerM master)

Functor (HandlerM master)

MonadIO (HandlerM master)

runHandlerM :: HandlerM master Response -> Handler master

Run HandlerM, resulting in a Handler

Run a HandlerM to get a Handler

request :: HandlerM master Request

Get the request

Access the request data

master :: HandlerM master master

Get the master

Access the master datatype

next :: HandlerM master Response

Run the next application

Run the next application in the stack