Routing and Handlers

If we look at Yesod as a Model-View-Controller framework, routing and handlers make up the controller. For contrast, let’s describe two other routing approaches used in other web development environments:

  • Dispatch based on file name. This is how PHP and ASP work, for example.

  • Have a centralized routing function that parses routes based on regular expressions. Django and Rails follow this approach.

Yesod is closer in principle to the latter technique. Even so, there are significant differences. Instead of using regular expressions, Yesod matches on pieces of a route. Instead of having a one-way route-to-handler mapping, Yesod has an intermediate data type (called the route datatype, or a type-safe URL) and creates two-way conversion functions.

Coding this more advanced system manually is tedious and error prone. Therefore, Yesod defines a Domain Specific Language (DSL) for specifying routes, and provides Template Haskell functions to convert this DSL to Haskell code. This chapter will explain the syntax of the routing declarations, give you a glimpse of what code is generated for you, and explain the interaction between routing and handler functions.

Route Syntax

Instead of trying to shoe-horn route declarations into an existing syntax, Yesod’s approach is to use a simplified syntax designed just for routes. This has the advantage of making the code not only easy to write, but simple enough for someone with no Yesod experience to read and understand the sitemap of your application.

A basic example of this syntax is:

  1. / HomeR GET
  2. /blog BlogR GET POST
  3. /blog/#BlogId BlogPostR GET POST
  4. /static StaticR Static getStatic

The next few sections will explain the full details of what goes on in the route declaration.

Pieces

One of the first thing Yesod does when it gets a request is split up the requested path into pieces. The pieces are tokenized at all forward slashes. For example:

  1. toPieces "/" = []
  2. toPieces "/foo/bar/baz/" = ["foo", "bar", "baz", ""]

You may notice that there are some funny things going on with trailing slashes, or double slashes (“/foo//bar//“), or a few other things. Yesod believes in having canonical URLs; if users request a URL with a trailing slash, or with a double slash, they are automatically redirected to the canonical version. This ensures you have one URL for one resource, and can help with your search rankings.

What this means for you is that you needn’t concern yourself with the exact structure of your URLs: you can safely think about pieces of a path, and Yesod automatically handles intercalating the slashes and escaping problematic characters.

If, by the way, you want more fine-tuned control of how paths are split into pieces and joined together again, you’ll want to look at the cleanPath and joinPath methods in the Yesod typeclass chapter.

Types of Pieces

When you are declaring your routes, you have three types of pieces at your disposal:

Static

This is a plain string that must be matched against precisely in the URL.

Dynamic single

This is a single piece (ie, between two forward slashes), but represents a user-submitted value. This is the primary method of receiving extra user input on a page request. These pieces begin with a hash (#) and are followed by a data type. The datatype must be an instance of PathPiece.

Dynamic multi

The same as before, but can receive multiple pieces of the URL. This must always be the last piece in a resource pattern. It is specified by an asterisk (*) followed by a datatype, which must be an instance of PathMultiPiece. Multi pieces are not as common as the other two, though they are very important for implementing features like static trees representing file structure or wikis with arbitrary hierarchies.

Let us take a look at some standard kinds of resource patterns you may want to write. Starting simply, the root of an application will just be /. Similarly, you may want to place your FAQ at /page/faq.

Now let’s say you are going to write a Fibonacci website. You may construct your URLs like /fib/#Int. But there’s a slight problem with this: we do not want to allow negative numbers or zero to be passed into our application. Fortunately, the type system can protect us:

  1. newtype Natural = Natural Int
  2. instance PathPiece Natural where
  3. toPathPiece (Natural i) = T.pack $ show i
  4. fromPathPiece s =
  5. case reads $ T.unpack s of
  6. (i, ""):_
  7. | i < 1 -> Nothing
  8. | otherwise -> Just $ Natural i
  9. [] -> Nothing

On line 1 we define a simple newtype wrapper around Int to protect ourselves from invalid input. We can see that PathPiece is a typeclass with two methods. toPathPiece does nothing more than convert to a Text. fromPathPiece attempts to convert a Text to our datatype, returning Nothing when this conversion is impossible. By using this datatype, we can ensure that our handler function is only ever given natural numbers, allowing us to once again use the type system to battle the boundary issue.

In a real life application, we would also want to ensure we never accidentally constructed an invalid Natural value internally to our app. To do so, we could use an approach like smart constructors. For the purposes of this example, we’ve kept the code simple.

Defining a PathMultiPiece is just as simple. Let’s say we want to have a Wiki with at least two levels of hierarchy; we might define a datatype such as:

  1. data Page = Page Text Text [Text] -- 2 or more
  2. instance PathMultiPiece Page where
  3. toPathMultiPiece (Page x y z) = x : y : z
  4. fromPathMultiPiece (x:y:z) = Just $ Page x y z
  5. fromPathMultiPiece _ = Nothing

Resource name

Each resource pattern also has a name associated with it. That name will become the constructor for the type safe URL datatype associated with your application. Therefore, it has to start with a capital letter. By convention, these resource names all end with a capital R. There is nothing forcing you to do this, it is just common practice.

The exact definition of our constructor depends upon the resource pattern it is attached to. Whatever datatypes are included in single and multi pieces of the pattern become arguments to the datatype. This gives us a 1-to-1 correspondence between our type-safe URL values and valid URLs in our application.

This doesn’t necessarily mean that every value is a working page, just that it is a potentially valid URL. As an example, the value PersonR "Michael" may not resolve to a valid page if there is no Michael in the database.

Let’s get some real examples going here. If you had the resource patterns /person/#Text named PersonR, /year/#Int named YearR and /page/faq named FaqR, you would end up with a route data type roughly looking like:

  1. data MyRoute = PersonR Text
  2. | YearR Int
  3. | FaqR

If a user requests /year/2009, Yesod will convert it into the value YearR 2009. /person/Michael becomes PersonR "Michael" and /page/faq becomes FaqR. On the other hand, /year/two-thousand-nine, /person/michael/snoyman and /page/FAQ would all result in 404 errors without ever seeing your code.

Handler specification

The last piece of the puzzle when declaring your resources is how they will be handled. There are three options in Yesod:

  • A single handler function for all request methods on a given route.

  • A separate handler function for each request method on a given route. Any other request method will generate a 405 Method Not Allowed response.

  • You want to pass off to a subsite.

The first two can be easily specified. A single handler function will be a line with just a resource pattern and the resource name, such as /page/faq FaqR. In this case, the handler function must be named handleFaqR.

A separate handler for each request method will be the same, plus a list of request methods. The request methods must be all capital letters. For example, /person/#String PersonR GET POST DELETE. In this case, you would need to define three handler functions: getPersonR, postPersonR and deletePersonR.

Subsites are a very useful— but more complicated— topic in Yesod. We will cover writing subsites later, but using them is not too difficult. The most commonly used subsite is the static subsite, which serves static files for your application. In order to serve static files from /static, you would need a resource line like:

  1. /static StaticR Static getStatic

In this line, /static just says where in your URL structure to serve the static files from. There is nothing magical about the word static, you could easily replace it with /my/non-dynamic/files.

The next word, StaticR, gives the resource name. The next two words specify that we are using a subsite. Static is the name of the subsite foundation datatype, and getStatic is a function that gets a Static value from a value of your master foundation datatype.

Let’s not get too caught up in the details of subsites now. We will look more closely at the static subsite in the scaffolded site chapter.

Dispatch

Once you have specified your routes, Yesod will take care of all the pesky details of URL dispatch for you. You just need to make sure to provide the appropriate handler functions. For subsite routes, you do not need to write any handler functions, but you do for the other two. We mentioned the naming rules above (MyHandlerR GET becomes getMyHandlerR, MyOtherHandlerR becomes handleMyOtherHandlerR).

Now that we know which functions we need to write, let’s figure out what their type signatures should be.

Return Type

Let’s look at a simple handler function:

  1. mkYesod "Simple" [parseRoutes|
  2. / HomeR GET
  3. |]
  4. getHomeR :: Handler Html
  5. getHomeR = defaultLayout [whamlet|<h1>This is simple|]

There are two components to this returns type: Handler and Html. Let’s analyze each in more depth.

Handler monad

Like the Widget type, the Handler data type is not defined anywhere in the Yesod libraries. Instead, the libraries provide the data type:

  1. data HandlerT site m a

And like WidgetT, this has three arguments: a base monad m, a monadic value a, and the foundation data type site. Each application defines a Handler synonym which constrains site to that application’s foundation data type, and sets m to IO. If your foundation is MyApp, in other words, you’d have the synonym:

  1. type Handler = HandlerT MyApp IO

We need to be able to modify the underlying monad when writing subsites, but otherwise we’ll use IO.

The HandlerT monad provides access to information about the user request (e.g. query-string parameters), allows modifying the response (e.g., response headers), and more. This is the monad that most of your Yesod code will live in.

In addition, there’s a type class called MonadHandler. Both HandlerT and WidgetT are instances of this type class, allowing many common functions to be used in both monads. If you see MonadHandler in any API documentation, you should remember that the function can be used in your Handler functions.

Html

There’s nothing too surprising about this type. This function returns some HTML content, represented by the Html data type. But clearly Yesod would not be useful if it only allowed HTML responses to be generated. We want respond with CSS, Javascript, JSON, images, and more. So the question is: what data types can be returned?

In order to generate a response, we need to know two pieces of information: the content type (e.g., text/html, image/png) and how to serialize it to a stream of bytes. This is represented by the TypedContent data type:

  1. data TypedContent = TypedContent !ContentType !Content

We also have a type class for all data types which can be converted to a TypedContent:

  1. class ToTypedContent a where
  2. toTypedContent :: a -> TypedContent

Many common data types are instances of this type class, including Html, Value (from the aeson package, representing JSON), Text, and even () (for representing an empty response).

Arguments

Let’s return to our simple example from above:

  1. mkYesod "Simple" [parseRoutes|
  2. / HomeR GET
  3. |]
  4. getHomeR :: Handler Html
  5. getHomeR = defaultLayout [whamlet|<h1>This is simple|]

Not every route is as simple as this HomeR. Take for instance our PersonR route from earlier. The name of the person needs to be passed to the handler function. This translation is very straight-forward, and hopefully intuitive. For example:

  1. {-# LANGUAGE OverloadedStrings #-}
  2. {-# LANGUAGE QuasiQuotes #-}
  3. {-# LANGUAGE TemplateHaskell #-}
  4. {-# LANGUAGE TypeFamilies #-}
  5. import Data.Text (Text)
  6. import qualified Data.Text as T
  7. import Yesod
  8. data App = App
  9. instance Yesod App
  10. mkYesod "App" [parseRoutes|
  11. /person/#Text PersonR GET
  12. /year/#Integer/month/#Text/day/#Int DateR
  13. /wiki/*Texts WikiR GET
  14. |]
  15. getPersonR :: Text -> Handler Html
  16. getPersonR name = defaultLayout [whamlet|<h1>Hello #{name}!|]
  17. handleDateR :: Integer -> Text -> Int -> Handler Text -- text/plain
  18. handleDateR year month day =
  19. return $
  20. T.concat [month, " ", T.pack $ show day, ", ", T.pack $ show year]
  21. getWikiR :: [Text] -> Handler Text
  22. getWikiR = return . T.unwords
  23. main :: IO ()
  24. main = warp 3000 App

The arguments have the types of the dynamic pieces for each route, in the order specified. Also, notice how we are able to use both Html and Text return values.

The Handler functions

Since the majority of your code will live in the Handler monad, it’s important to invest some time in understanding it better. The remainder of this chapter will give a brief introduction to some of the most common functions living in the Handler monad. I am specifically not covering any of the session functions; that will be addressed in the sessions chapter.

Application Information

There are a number of functions that return information about your application as a whole, and give no information about individual requests. Some of these are:

getYesod

Returns your applicaton foundation value. If you store configuration values in your foundation, you will probably end up using this function a lot.

getUrlRender

Returns the URL rendering function, which converts a type-safe URL into a Text. Most of the time- like with Hamlet- Yesod calls this function for you, but you may occasionally need to call it directly.

getUrlRenderParams

A variant of getUrlRender that converts both a type-safe URL and a list of query-string parameters. This function handles all percent-encoding necessary.

Request Information

The most common information you will want to get about the current request is the requested path, the query string parameters and POSTed form data. The first of those is dealt with in the routing, as described above. The other two are best dealt with using the forms module.

That said, you will sometimes need to get the data in a more raw format. For this purpose, Yesod exposes the YesodRequest datatype along with the getRequest function to retrieve it. This gives you access to the full list of GET parameters, cookies, and preferred languages. There are some convenient functions to make these lookups easier, such as lookupGetParam, lookupCookie and languages. For raw access to the POST parameters, you should use runRequestBody.

If you need even more raw data, like request headers, you can use waiRequest to access the Web Application Interface (WAI) request value. See the WAI appendix for more details.

Short Circuiting

The following functions immediately end execution of a handler function and return a result to the user.

redirect

Sends a redirect response to the user (a 303 response). If you want to use a different response code (e.g., a permanent 301 redirect), you can use redirectWith.

Yesod uses a 303 response for HTTP/1.1 clients, and a 302 response for HTTP/1.0 clients. You can read up on this sordid saga in the HTTP spec.

notFound

Return a 404 response. This can be useful if a user requests a database value that doesn’t exist.

permissionDenied

Return a 403 response with a specific error message.

invalidArgs

A 400 response with a list of invalid arguments.

sendFile

Sends a file from the filesystem with a specified content type. This is the preferred way to send static files, since the underlying WAI handler may be able to optimize this to a sendfile system call. Using readFile for sending static files should not be necessary.

sendResponse

Send a normal response with a 200 status code. This is really just a convenience for when you need to break out of some deeply nested code with an immediate response. Any instance of ToTypedContent may be used.

sendWaiResponse

When you need to get low-level and send out a raw WAI response. This can be especially useful for creating streaming responses or a technique like server-sent events.

Response Headers

setCookie

Set a cookie on the client. Instead of taking an expiration date, this function takes a cookie duration in minutes. Remember, you won’t see this cookie using lookupCookie until the following request.

deleteCookie

Tells the client to remove a cookie. Once again, lookupCookie will not reflect this change until the next request.

setHeader

Set an arbitrary response header.

setLanguage

Set the preferred user language, which will show up in the result of the languages function.

cacheSeconds

Set a Cache-Control header to indicate how many seconds this response can be cached. This can be particularly useful if you are using varnish on your server.

neverExpires

Set the Expires header to the year 2037. You can use this with content which should never expire, such as when the request path has a hash value associated with it.

alreadyExpired

Sets the Expires header to the past.

expiresAt

Sets the Expires header to the specified date/time.

I/O and debugging

The HandlerT and WidgetT monad transformers are both instances of a number of typeclasses. For this section, the important typeclasses are MonadIO and MonadLogger. The former allows you to perform arbitrary IO actions inside your handler, such as reading from a file. In order to achieve this, you just need to prepend liftIO to the call.

MonadLogger provides a built-in logging system. There are many ways you can customize this system, including what messages get logged and where logs are sent. By default, logs are sent to standard output, in development all messages are logged, and in production, warnings and errors are logged.

Often times when logging, we want to know where in the source code the logging occured. For this, MonadLogger provides a number of convenience Template Haskell functions which will automatically insert source code location into the log messages. These functions are $logDebug, $logInfo, $logWarn, and $logError. Let’s look at a short example of some of these functions.

  1. {-# LANGUAGE OverloadedStrings #-}
  2. {-# LANGUAGE QuasiQuotes #-}
  3. {-# LANGUAGE TemplateHaskell #-}
  4. {-# LANGUAGE TypeFamilies #-}
  5. import Control.Exception (IOException, try)
  6. import Control.Monad (when)
  7. import Yesod
  8. data App = App
  9. instance Yesod App where
  10. -- This function controls which messages are logged
  11. shouldLog App src level =
  12. True -- good for development
  13. -- level == LevelWarn || level == LevelError -- good for production
  14. mkYesod "App" [parseRoutes|
  15. / HomeR GET
  16. |]
  17. getHomeR :: Handler Html
  18. getHomeR = do
  19. $logDebug "Trying to read data file"
  20. edata <- liftIO $ try $ readFile "datafile.txt"
  21. case edata :: Either IOException String of
  22. Left e -> do
  23. $logError $ "Could not read datafile.txt"
  24. defaultLayout [whamlet|An error occurred|]
  25. Right str -> do
  26. $logInfo "Reading of data file succeeded"
  27. let ls = lines str
  28. when (length ls < 5) $ $logWarn "Less than 5 lines of data"
  29. defaultLayout
  30. [whamlet|
  31. <ol>
  32. $forall l <- ls
  33. <li>#{l}
  34. |]
  35. main :: IO ()
  36. main = warp 3000 App

Query string and hash fragments

We’ve looked at a number of functions which work on URL-like things, such as redirect. These functions all work with type-safe URLs, but what else do they work with? There’s a typeclass called RedirectUrl which contains the logical for converting some type into a textual URL. This includes type-safe URLs, textual URLs, and two special instances:

  1. A tuple of a URL and a list of key/value pairs of query string parameters.

  2. The Fragment datatype, used for adding a hash fragment to the end of a URL.

Both of these instances allow you to “add on” extra information to a type-safe URL. Let’s see some examples of how these can be used:

  1. {-# LANGUAGE OverloadedStrings #-}
  2. {-# LANGUAGE QuasiQuotes #-}
  3. {-# LANGUAGE TemplateHaskell #-}
  4. {-# LANGUAGE TypeFamilies #-}
  5. import Data.Set (member)
  6. import Data.Text (Text)
  7. import Yesod
  8. import Yesod.Auth
  9. import Yesod.Auth.Dummy
  10. data App = App
  11. mkYesod "App" [parseRoutes|
  12. / HomeR GET
  13. /link1 Link1R GET
  14. /link2 Link2R GET
  15. /link3 Link3R GET
  16. /link4 Link4R GET
  17. |]
  18. instance Yesod App where
  19. getHomeR :: Handler Html
  20. getHomeR = defaultLayout $ do
  21. setTitle "Redirects"
  22. [whamlet|
  23. <p>
  24. <a href=@{Link1R}>Click to start the redirect loop!
  25. |]
  26. getLink1R, getLink2R, getLink3R :: Handler ()
  27. getLink1R = redirect Link2R -- /link1
  28. getLink2R = redirect (Link3R, [("foo", "bar")]) -- /link3?foo=bar
  29. getLink3R = redirect $ Link4R :#: ("baz" :: Text) -- /link4#baz
  30. getLink4R :: Handler Html
  31. getLink4R = defaultLayout
  32. [whamlet|
  33. <p>You made it!
  34. |]
  35. main :: IO ()
  36. main = warp 3000 App

Of course, inside a Hamlet template this is usually not necessary, as you can simply include the hash after the URL directly, e.g.:

  1. <a href=@{Link1R}#somehash>Link to hash

Summary

Routing and dispatch is arguably the core of Yesod: it is from here that our type-safe URLs are defined, and the majority of our code is written within the Handler monad. This chapter covered some of the most important and central concepts of Yesod, so it is important that you properly digest it.

This chapter also hinted at a number of more complex Yesod topics that we will be covering later. But you should be able to write some very sophisticated web applications with just the knowledge you have learned up until here.