Web.Route.Invertible.Common

The basic routing API, sufficient for route and routing map construction. There is usually no need to import this module directly as it is re-exported by most other exposed interfaces.

This package supports route construction as follows:

1. Endpoint specification, which consists of a Route key and action value.

   • Describe the parameters of each endpoint using Route, which is constructed by composing the route* functions (routeHost, routePath, routeMethod, routeQuery, etc.) using Control.Invertible.Monoidal operators. Typically these predicates should be specified in order for sensible routing, but you can also use normRoute to reorder them automatically.
   • Join the route with a target using `RouteAction`. This target action is the value associated with the route key, and is usually an action to produce a response in your preferred framework (but could be anything).
   • The RouteAction should typically be assigned to a top-level variable. While the type of the Route parameter can differ for each route, all action values must have the same result type.

   getThing :: RouteAction Int (IO Response)
   getThing =
     routePath ("thing" *< parameter) >*
     routeMethod GET
     `RouteAction` \thingId -> do
       return Response{..}
   
   postThingValue :: RouteAction (Int, String) (IO Response)
   postThingValue =
     routeSecure True *<
     routePath ("thing" *< parameter >* "value" >*< parameter) >*
     routeMethod POST
     RouteAction \(thingId, attribute) ->
       set thingId attribute =<< getRequestBody
       return Response{..}
   

2. Route Map specification.

   • Apply each of the RouteActions in your program to routeCase (or routeNormCase -- see normRoute).
   • Apply routes to a list of the resulting RouteCases to form a RouteMap.

   myRoutes = routes
     [ routeCase getThing
     , routeCase postThingValue
     , ..
     ]
   

You can also add support for new parameter types by creating your own instances of Parameter.

Route construction

data Route a

A Monoidal collection of routing predicates. For example:

routeHost ("www" >* "domain.com") *< routePath ("object" *< parameter) :: Route Int

Instances

Monoidal Route

Defined in Web.Route.Invertible.Route

Methods

unit :: Route ()

(>*<) :: Route a -> Route b -> Route (a, b)

MonoidalAlt Route

Defined in Web.Route.Invertible.Route

Methods

zero :: Route Void

(>|<) :: Route a -> Route b -> Route (Either a b)

Functor Route

Defined in Web.Route.Invertible.Route

Methods

fmap :: (a <-> b) -> Route a -> Route b

Show (Route a)

Defined in Web.Route.Invertible.Route

Methods

showsPrec :: Int -> Route a -> ShowS

show :: Route a -> String

showList :: [Route a] -> ShowS

routeHost :: Host h -> Route h

Limit a route to matching hosts. By default, routes apply to any hosts not matched by any other routes in the map. When combining (with routes) or normalizing (with normRoute) routes, this has the highest precedence.

routeSecure :: Bool -> Route ()

Limit a route to only secure (https:) or insecure (http:) protocols. By default, routes apply to both.

routePath :: Path p -> Route p

Limit a route to matching paths. By default, routes apply to any paths not matched by any other routes in the map (e.g., 404 handler, though it can be more general to handle a RouteNotFound result directly) that also match all previous predicates.

routeMethod :: IsMethod m => m -> Route ()

Limit a route to a method. By default, routes apply to all methods not handled by any other routes for the same earlier matching predicates (e.g., within the same path).

routeMethods :: (Eq m, IsMethod m) => [m] -> Route m

Limit a route to a list of methods and return that method. Supplying a method not in this list when generating (reverse) routes will result in a run-time error.

routeQuery :: QueryString -> Placeholder QueryString a -> Route a

Limit a route to requests with a matching URL query parameter. By default, other routes match only when the given parameter is missing.

routeAccept :: ContentType -> Route ()

Limit a route to requests with the given "Content-type" header, i.e., POST requests containing a request body of a certain type. Note that this does not relate to the type of the response or the "Accept" header. By default, routes match only requests without bodies or with content-type headers not matched by any other routes.

routeAccepts :: [ContentType] -> Route ContentType

Limit a route to a list of methods and return that method. Supplying a method not in this list when generating (reverse) routes will result in a run-time error.

routeCustom :: Typeable a => (Request -> Maybe a) -> (a -> Request -> Request) -> Route a

A custom routing predicate that can perform arbitrary tests on the request and reverse routing. The first argument is used in forward routing to check the request, and only passes if it returns Just. The second argument is used in reverse routing to modify the request according to the parameter. By default, routes match all requests -- unlike other predicates, matching a custom rule does not exclude other routes. This should be used sparingly and towards the end of a route as, unlike most other predicates, it only provides O(n) lookups, as these functions must be called for every route candidate (those where all previous predicates match).

routePriority :: Int -> Route ()

Set the priority of a route. Routes with higher priority take precedence when there is a conflict. By default, routes have priority 0. When combining (with routes) or normalizing (with normRoute) routes, this has the lowest precedence (so that conflicts are handled only after matching all other predicates).

data RouteAction a b infix 1

Specify the action to take for a given route, often used as an infix operator between the route specification and the function used to produce the result (which usually generates the HTTP response, but could be anything).

Constructors

RouteAction infix 1

Fields

• actionRoute :: !(Route a)
• routeAction :: !(a -> b)

Instances

Functor (RouteAction a)

Defined in Web.Route.Invertible.Route

Methods

fmap :: (a0 -> b) -> RouteAction a a0 -> RouteAction a b

(<$) :: a0 -> RouteAction a b -> RouteAction a a0

mapActionRoute :: (a <-> b) -> RouteAction a r -> RouteAction b r

RouteAction is invariant in its first argument. Apply a bijection to the routing argument, leaving the action alone.

Supporting types

data Host a

A hostname matcher. These should typically be constructed using the IsString and Parameterized instances. This matches hostnames in reverse order (from TLD down), but the Monoidal instance and splitHost automatically deal with this for you. Example:

parameter >* "domain" >* "com" :: Host String

matches (or generates) *.domain.com and returns the * component.

Instances

Monoidal Host

Defined in Web.Route.Invertible.Host

Methods

unit :: Host ()

(>*<) :: Host a -> Host b -> Host (a, b)

MonoidalAlt Host

Defined in Web.Route.Invertible.Host

Methods

zero :: Host Void

(>|<) :: Host a -> Host b -> Host (Either a b)

Functor Host

Defined in Web.Route.Invertible.Host

Methods

fmap :: (a <-> b) -> Host a -> Host b

Parameterized HostString Host

Defined in Web.Route.Invertible.Host

Methods

parameter :: Parameter HostString a => Host a

Show (Host a)

Defined in Web.Route.Invertible.Host

Methods

showsPrec :: Int -> Host a -> ShowS

show :: Host a -> String

showList :: [Host a] -> ShowS

IsString (Host ())

Since domain components cannot contain ".", "foo.com" is equivalent to "foo" *< "com" (unlike other Sequences).

Defined in Web.Route.Invertible.Host

Methods

fromString :: String -> Host ()

data Path a

A URL path parser/generator. These should typically be constructed using the IsString and Parameterized instances. Note that the individual components are decoded path segments, so a literal slash in a component (e.g., as produced with fromString) will match "%2F". Example:

"get" *< parameter >*< "value" *< parameter :: Path (String, Int)

matches (or generates) /get/$x/value/$y for any string $x and any int $y and returns those values.

Instances

Monoidal Path

Defined in Web.Route.Invertible.Path

Methods

unit :: Path ()

(>*<) :: Path a -> Path b -> Path (a, b)

MonoidalAlt Path

Defined in Web.Route.Invertible.Path

Methods

zero :: Path Void

(>|<) :: Path a -> Path b -> Path (Either a b)

Functor Path

Defined in Web.Route.Invertible.Path

Methods

fmap :: (a <-> b) -> Path a -> Path b

Parameterized PathString Path

Defined in Web.Route.Invertible.Path

Methods

parameter :: Parameter PathString a => Path a

Show (Path a)

Defined in Web.Route.Invertible.Path

Methods

showsPrec :: Int -> Path a -> ShowS

show :: Path a -> String

showList :: [Path a] -> ShowS

IsString (Path ())

Defined in Web.Route.Invertible.Path

Methods

fromString :: String -> Path ()

class IsMethod m

Any types that represent an HTTP method.

Minimal complete definition

toMethod, fromMethod

Instances

IsMethod ByteString

Defined in Web.Route.Invertible.Method

Methods

toMethod :: ByteString -> Method

fromMethod :: Method -> Maybe ByteString

IsMethod Method

Defined in Web.Route.Invertible.Method

Methods

toMethod :: Method -> Method0

fromMethod :: Method0 -> Maybe Method

IsMethod StdMethod

Defined in Web.Route.Invertible.Method

Methods

toMethod :: StdMethod -> Method

fromMethod :: Method -> Maybe StdMethod

IsMethod Method

Defined in Web.Route.Invertible.Method

Methods

toMethod :: Method -> Method0

fromMethod :: Method0 -> Maybe Method

IsMethod Method

Defined in Web.Route.Invertible.Method

Methods

toMethod :: Method -> Method

fromMethod :: Method -> Maybe Method

IsMethod (Either ByteString StdMethod)

Defined in Web.Route.Invertible.Method

Methods

toMethod :: Either ByteString StdMethod -> Method

fromMethod :: Method -> Maybe (Either ByteString StdMethod)

type QueryString = ByteString

The type of URL query strings, variables, and parameters, after URI decoding but before UTF-8 decoding.

type ContentType = ByteString

String representation of content types, e.g., from HTTP "Content-type" headers.

Parser construction

module Control.Invertible.Monoidal

wildcard :: (Parameterized s f, MonoidalAlt f, Parameter s a) => [a] -> f ()

Ignore an arbitrary sequence of parameters (usually as a tail), always generating the same thing.

Placeholder parameters

class (Eq s, IsString s, Hashable s, Monoid s) => RouteString s

Representions of request data that can be used in routing

Minimal complete definition

toString

Instances

RouteString String

Defined in Web.Route.Invertible.String

Methods

toString :: String -> String

RouteString ByteString

Defined in Web.Route.Invertible.String

Methods

toString :: ByteString -> String

RouteString Text

Defined in Web.Route.Invertible.String

Methods

toString :: Text -> String

class (RouteString s, Typeable a) => Parameter s a where

A parameter value a that can be parsed from or rendered into string data s. parseParameter must invert renderParameter:

• parseParameter . renderParameter == Just

Minimal complete definition

Nothing

Methods

parseParameter :: s -> Maybe a

Parse string data into a value. Often equivalent (and defaults) to readMaybe.

renderParameter :: a -> s

Render a value into a string. Often equivalent (and defaults) to show.

parseParameter :: Read a => s -> Maybe a

Parse string data into a value. Often equivalent (and defaults) to readMaybe.

renderParameter :: Show a => a -> s

Render a value into a string. Often equivalent (and defaults) to show.

Instances

RouteString s => Parameter s Void

Defined in Web.Route.Invertible.Parameter

Methods

parseParameter :: s -> Maybe Void

renderParameter :: Void -> s

RouteString s => Parameter s Double

Defined in Web.Route.Invertible.Parameter

Methods

parseParameter :: s -> Maybe Double

renderParameter :: Double -> s

RouteString s => Parameter s Float

Defined in Web.Route.Invertible.Parameter

Methods

parseParameter :: s -> Maybe Float

renderParameter :: Float -> s

RouteString s => Parameter s Word64

Defined in Web.Route.Invertible.Parameter

Methods

parseParameter :: s -> Maybe Word64

renderParameter :: Word64 -> s

RouteString s => Parameter s Word32

Defined in Web.Route.Invertible.Parameter

Methods

parseParameter :: s -> Maybe Word32

renderParameter :: Word32 -> s

RouteString s => Parameter s Word16

Defined in Web.Route.Invertible.Parameter

Methods

parseParameter :: s -> Maybe Word16

renderParameter :: Word16 -> s

RouteString s => Parameter s Word8

Defined in Web.Route.Invertible.Parameter

Methods

parseParameter :: s -> Maybe Word8

renderParameter :: Word8 -> s

RouteString s => Parameter s Word

Defined in Web.Route.Invertible.Parameter

Methods

parseParameter :: s -> Maybe Word

renderParameter :: Word -> s

RouteString s => Parameter s Int64

Defined in Web.Route.Invertible.Parameter

Methods

parseParameter :: s -> Maybe Int64

renderParameter :: Int64 -> s

RouteString s => Parameter s Int32

Defined in Web.Route.Invertible.Parameter

Methods

parseParameter :: s -> Maybe Int32

renderParameter :: Int32 -> s

RouteString s => Parameter s Int16

Defined in Web.Route.Invertible.Parameter

Methods

parseParameter :: s -> Maybe Int16

renderParameter :: Int16 -> s

RouteString s => Parameter s Int8

Defined in Web.Route.Invertible.Parameter

Methods

parseParameter :: s -> Maybe Int8

renderParameter :: Int8 -> s

RouteString s => Parameter s Int

Defined in Web.Route.Invertible.Parameter

Methods

parseParameter :: s -> Maybe Int

renderParameter :: Int -> s

RouteString s => Parameter s Integer

Defined in Web.Route.Invertible.Parameter

Methods

parseParameter :: s -> Maybe Integer

renderParameter :: Integer -> s

RouteString s => Parameter s String

Defined in Web.Route.Invertible.Parameter

Methods

parseParameter :: s -> Maybe String

renderParameter :: String -> s

Parameter String Char

Defined in Web.Route.Invertible.Parameter

Methods

parseParameter :: String -> Maybe Char

renderParameter :: Char -> String

Parameter ByteString Char

Defined in Web.Route.Invertible.Parameter

Methods

parseParameter :: ByteString -> Maybe Char

renderParameter :: Char -> ByteString

Parameter ByteString ByteString

Defined in Web.Route.Invertible.Parameter

Methods

parseParameter :: ByteString -> Maybe ByteString

renderParameter :: ByteString -> ByteString

Parameter ByteString Text

Defined in Web.Route.Invertible.Parameter

Methods

parseParameter :: ByteString -> Maybe Text

renderParameter :: Text -> ByteString

Parameter ByteString Method

Defined in Web.Route.Invertible.Method

Methods

parseParameter :: ByteString -> Maybe Method

renderParameter :: Method -> ByteString

Parameter Text Char

Defined in Web.Route.Invertible.Parameter

Methods

parseParameter :: Text -> Maybe Char

renderParameter :: Char -> Text

Parameter Text Double

Defined in Web.Route.Invertible.Parameter

Methods

parseParameter :: Text -> Maybe Double

renderParameter :: Double -> Text

Parameter Text Float

Defined in Web.Route.Invertible.Parameter

Methods

parseParameter :: Text -> Maybe Float

renderParameter :: Float -> Text

Parameter Text Int

Defined in Web.Route.Invertible.Parameter

Methods

parseParameter :: Text -> Maybe Int

renderParameter :: Int -> Text

Parameter Text Int8

Defined in Web.Route.Invertible.Parameter

Methods

parseParameter :: Text -> Maybe Int8

renderParameter :: Int8 -> Text

Parameter Text Int16

Defined in Web.Route.Invertible.Parameter

Methods

parseParameter :: Text -> Maybe Int16

renderParameter :: Int16 -> Text

Parameter Text Int32

Defined in Web.Route.Invertible.Parameter

Methods

parseParameter :: Text -> Maybe Int32

renderParameter :: Int32 -> Text

Parameter Text Int64

Defined in Web.Route.Invertible.Parameter

Methods

parseParameter :: Text -> Maybe Int64

renderParameter :: Int64 -> Text

Parameter Text Integer

Defined in Web.Route.Invertible.Parameter

Methods

parseParameter :: Text -> Maybe Integer

renderParameter :: Integer -> Text

Parameter Text Word

Defined in Web.Route.Invertible.Parameter

Methods

parseParameter :: Text -> Maybe Word

renderParameter :: Word -> Text

Parameter Text Word8

Defined in Web.Route.Invertible.Parameter

Methods

parseParameter :: Text -> Maybe Word8

renderParameter :: Word8 -> Text

Parameter Text Word16

Defined in Web.Route.Invertible.Parameter

Methods

parseParameter :: Text -> Maybe Word16

renderParameter :: Word16 -> Text

Parameter Text Word32

Defined in Web.Route.Invertible.Parameter

Methods

parseParameter :: Text -> Maybe Word32

renderParameter :: Word32 -> Text

Parameter Text Word64

Defined in Web.Route.Invertible.Parameter

Methods

parseParameter :: Text -> Maybe Word64

renderParameter :: Word64 -> Text

Parameter Text ByteString

Defined in Web.Route.Invertible.Parameter

Methods

parseParameter :: Text -> Maybe ByteString

renderParameter :: ByteString -> Text

Parameter Text Text

Defined in Web.Route.Invertible.Parameter

Methods

parseParameter :: Text -> Maybe Text

renderParameter :: Text -> Text

class Parameterized s p | p -> s

Parsers p that operate over string data s, and so can parse placeholder Parameter values.

Minimal complete definition

parameter

Instances

Parameterized PathString Path

Defined in Web.Route.Invertible.Path

Methods

parameter :: Parameter PathString a => Path a

Parameterized HostString Host

Defined in Web.Route.Invertible.Host

Methods

parameter :: Parameter HostString a => Host a

RouteString s => Parameterized s (Placeholder s)

Defined in Web.Route.Invertible.Placeholder

Methods

parameter :: Parameter s a => Placeholder s a

Parameterized s (Sequence s)

Defined in Web.Route.Invertible.Sequence

Methods

parameter :: Parameter s a => Sequence s a

parameter :: (Parameterized s p, Parameter s a) => p a

Create a parser for a parameter of type a.

param :: (Parameterized s p, Parameter s a) => a -> p a

Create a placeholder parameter with the type of the argument, which is ignored.

data Placeholder s a

A segment of a parser over strings s, which may be a fixed string (usually created through IsString), only accepting a single fixed value, or a dynamic parameter (created through Parameterized), which encapsulates a Parameter type.

Instances

RouteString s => Parameterized s (Placeholder s)

Defined in Web.Route.Invertible.Placeholder

Methods

parameter :: Parameter s a => Placeholder s a

Eq s => Eq (Placeholder s a)

Defined in Web.Route.Invertible.Placeholder

Methods

(==) :: Placeholder s a -> Placeholder s a -> Bool

(/=) :: Placeholder s a -> Placeholder s a -> Bool

Ord s => Ord (Placeholder s a)

Defined in Web.Route.Invertible.Placeholder

Methods

compare :: Placeholder s a -> Placeholder s a -> Ordering

(<) :: Placeholder s a -> Placeholder s a -> Bool

(<=) :: Placeholder s a -> Placeholder s a -> Bool

(>) :: Placeholder s a -> Placeholder s a -> Bool

(>=) :: Placeholder s a -> Placeholder s a -> Bool

max :: Placeholder s a -> Placeholder s a -> Placeholder s a

min :: Placeholder s a -> Placeholder s a -> Placeholder s a

Show s => Show (Placeholder s a)

Defined in Web.Route.Invertible.Placeholder

Methods

showsPrec :: Int -> Placeholder s a -> ShowS

show :: Placeholder s a -> String

showList :: [Placeholder s a] -> ShowS

IsString s => IsString (Placeholder s ())

Defined in Web.Route.Invertible.Placeholder

Methods

fromString :: String -> Placeholder s ()

Forward routing

type RouteCase = RouteMapT ((->) Dynamics)

The type of a route map element created from a single Route. These may be combined into a final RouteMap. (Currently these are in fact the same representation, but this may change.)

routeCase :: RouteAction a b -> RouteCase b

Convert a Route and result generator to a single entry in the routing table.

routeNormCase :: RouteAction a b -> RouteCase b

Combine routeCase and normRoute. See the description of normRoute for an explaination.

type RouteMap = RouteCase

A map for efficiently looking up requests based on a set of individual route specifications.

routes :: [RouteCase a] -> RouteMap a

Combine a list of routes to a single map.

fallbackHEADtoGET :: RouteMap a -> RouteMap a

Make any handler for a GET method in the map also apply to HEAD requests, provided there is not an existing handler. A number of frameworks can automatically convert your GET responses into HEAD responses, so this is useful (if slightly wasteful) in those cases.