Yesod (web framework) explained

Yesod
Author:	Michael Snoyman
Developer:	Michael Snoyman et al.
Operating System:	Cross-platform
Language:	English
Programming Language:	Haskell
Genre:	Web framework
License:	MIT

Yesod (pronounced as /je'sod/; Hebrew: יְסוֺד, "Foundation") is a web framework based on the programming language Haskell for productive development of type-safe, representational state transfer (REST) model based (where uniform resource locators (URLs) identify resources, and Hypertext Transfer Protocol (HTTP) methods identify transitions), high performance web applications, developed by Michael Snoyman, et al. It is free and open-source software released under an MIT License.

Yesod is based on templates, to generate instances for listed entities, and dynamic content process functions, through Template Haskell constructs to host domain-specific language (eDSL) content templates called QuasiQuotes, where the content is translated into code expressions by metaprogramming instructions.^[1]

There are also web-like language snippet templates that admit code expression interpolations, making them fully type-checked at compile time.^[2]

Yesod divides its functions in separate libraries (database, html rendering, forms, etc.) so functions may used as needed.

MVC architecture

See also: Model–view–controller. (MVC)

Controller

Server interface

Yesod uses a Web application interface (WAI),^[3] a type of application programming interface (API), to isolate servlets, aka web apps., from servers, with handlers for the server protocols Common Gateway Interface (CGI),^[4] FastCGI,^[5] Simple Common Gateway Interface (SCGI),^[6] Warp,^[7] Launch (open as local URL to the default browser, closing the server when the window is closed),^[8]

The foundation type

See ref.^[9] Yesod requires a data type that instantiates the model–view–controller classes. This is called the foundation type. In the example below, it is named "MyApp".

The REST model identifies a web resource with a web path. Here, REST resources are given names with an R suffix (like "HomeR") and are listed in a parseRoutes site map description template. From this list, route names and dispatch handler names are derived.

Yesod makes use of Template Haskell metaprogramming to generate code from templates at compile time, assuring that the names in the templates match and everything typechecks (e.g. web resource names and handler names).

By inserting a mkYesod call, this will call Template Haskell primitives to generate the code^[10] corresponding to the route type members, and the instances of the dispatch controller classes as to dispatch GET calls to route HomeR to a routine named composing them both as "getHomeR", expecting an existing handler that matches the name.

Hello World

"Hello, World!" program example based on a Common Gateway Interface (CGI) server interface (the handler types have changed, but the philosophy remains):

import "wai" Network.Waiimport "wai-extra" Network.Wai.Handler.CGI (run) -- interchangeable WAI handler

import "yesod" Yesodimport "yesod-core" Yesod.Handler (getRequest)import "text" Data.Text (Text)import "shakespeare" Text.Cassius (Color(..), colorBlack)

-- the Foundation typedata MyApp = MyApp

-- sitemap template, listing path, resource name and methods accepted-- `mkYesod` takes the foundation type name as param. for name composition of dispatch functionsmkYesod "MyApp" [parseRoutes| / HomeR GET |]

instance Yesod MyApp

-- indentation structured CSS templatemyStyle :: [Text] → CssUrl urlmyStyle paramStyle = [cassius| .box border: 1px solid #{boxColor} |] where boxColor = case paramStyle of ["high-contrast"] → colorBlack _ → Color 0 0 255

-- indentation structured HTML templatemyHtml :: [(Text, Text)] → HtmlUrl urlmyHtml params = [hamlet| </syntaxhighlight> <syntaxhighlight lang="html+velocity"> <!-- indentation, or lack of it, under starting tags or commands ('$' prefix) describe the content or sequence tree structure --> <!-- '.' or '#' prefixes in tags introduce css styled "class" or "id" attribute values --> <!-- interpolation of haskell expressions follow the "shakespeare templates" #{expr} syntax --> <p>Hello World! There are <span .box>#{length params} parameters</span>: $if null params <p>Nothing to list $else <ul> $forall param <- params <li>#{fst param}: #{snd param} |]getHomeR :: Handler RepHtmlgetHomeR = do req <- getRequest let params = reqGetParams req paramStyle <- lookupGetParams "style" defaultLayout $ do -- adding widgets to the Widget monad (a Writer monad) setTitle "Yesod example" toWidgetHead $ myStyle paramStyle toWidgetBody $ myHtml params

-- there are run function variants for different WAI handlers

main = toWaiApp MyApp >>= run

1. cgi test

export REMOTE_ADDR=127.0.0.1export REQUEST_METHOD=GETexport PATH_INFO=/export QUERY_STRING='p1=abc;p2=def;style=high-contrast'./wai-cgi-hello^[9]

Resources, routes, HTTP method handlers

See ref.^{[11] [12]} Yesod follows the representational state transfer model of access to web documents, identifying docs. and directories as resources with a Route constructor, named with an uppercase R suffix (for example, HomeR).

The routes table: The parseRoutes template should list the resources specifying route pieces, resource name and dispatch methods to be accepted.

URL segment capture as parameter is possible specifying a '#' prefix for single segment capture or '*' for multisegment capture, followed by the parameter type.

-- given a MyApp foundation type

mkYesod "MyApp" [parseRoutes| / HomeR -- no http methods stated: all methods accepted /blog BlogR GET POST -- the '#' prefix specify the path segment as a route handler parameter /article/#ArticleId ArticleR GET PUT -- the '*' prefix specify the parameter as a sequence of path pieces /branch/*Texts BranchR GET -- to simplify the grammar, compound types must use an alias, eg. type Texts for ''[Text]|]

• Applying the previous template generates the following route constructors:

data Route MyApp = HomeR -- referenced in templates as: @ | BlogR -- in templates: @ | ArticleR ArticleId -- in templates: @ | BranchR Texts -- in templates: @

• For every supported HTTP method a handler function must be created to match the dispatch names generated by mkYesod from the parseRoutes template, by prefixing the method name (or the prefix "handler" if no method stated) to the resource, as described (actual versions handler types have changed, but the philosophy remains):

-- for "/ HomeR" -- no http methods stated ⇒ only one handler with prefix handlerhandlerHomeR :: HasReps t ⇒ Handler t

-- for "/blog BlogR GET POST"getBlogR :: HasReps t ⇒ Handler tpostBlogR :: HasReps t ⇒ Handler t

-- for "/article/#ArticleId ArticleR GET PUT"getArticleR :: HasReps t ⇒ ArticleId → Handler tputArticleR :: HasReps t ⇒ ArticleId → Handler t

Request data, parameters, cookies, languages, other header info

See ref.^[11]

Authentication, authorization

See ref.^[13] Authentication plugins: OpenID, BrowserID, Email, GoogleEmail, HashDB, RpxNow.^[14]

There is an important setting for automatic redirection after authentication.^[15]

Sessions

See ref.^[16] Session back-ends: ClientSession^[17] (it stores the session in a cookie), ServerSession^{[18] [19]} (it stores most of the session data at the server)

>> To avoid undue bandwidth overhead, production sites can serve their static content from a separate domain name to avoid the overhead of transmitting the session cookie for each request

Session messages

A success, failure or indicative message can be stored (setMessage) in the Session and will be shown, if it exists, by the default_layout routine through the default_layout.hamlet template, being cleared on consultation.^[20]

Subsites

Common URL prefix subsites for workflows, file serving or site partitioning. See ref.^{[21] [22]}

Built-in subsites: Static,^{[23] [24]} Auth^[25]

Form processing, layout generation

See ref.^[26]

The Form type here is an object that is used in the controller to parse and process the form fields user input and produce a (FormResult, Widget) pair were the widget holds the layout of the next rendering of the form with error messages and marks. It can also be used to generate a new form with blanks or default values.

The form type takes the shape of a function of an html snippet to be embedded in the view, that will hold security purpose hidden fields.

A form object is generated from an Applicative – Monadic composition of fields for a combined, sequential parsing of field inputs.

There are three types of forms:

• Applicative (with tabular layout),
• Monadic (with free layout style), both in the Yesod.Form.Functions module,
• Input (for parsing only, no view generated) in the Yesod.Form.Input module.

The field generators, whose names are composed by the form type initial (a|m|i) followed by (req|opt){- required or optional -}, have a fieldParse component and a fieldView one.^[27]

• the function runForm{Post|Get} runs the field parsers against the form field inputs and generates a (FormResult, Widget) pair from the views offering a new form widget with the received form field values as defaults. The function suffix is the http method used in the form submission.
• while generateForm{Post|Get} ignores inputs from the client and generates a blank or defaults form widget.^[28]

The actual function parameters and types have changed through Yesod versions. Check the Yesod book and libraries signatures.

The magic is in the data type Applicative instance, where collects the error messages for the case of FormFailure [textErrMsg] result values^[29]

Monadic forms permit free form layout and better treatment of members.^[26]

A sample of an Applicative^[30] form:-- a record for our form fieldsdata Person = Person

-- the Form type has an extra parameter for an html snippet to be embedded, containing a CSRF token hidden field for securitytype Form sub master x = Html → MForm sub master (FormResult x, Widget)

personForm :: MyFoundationType → [Text] → Maybe Person → Form sub master PersonpersonForm master languages mbPersonDefaults = renderTable $ Person <$> areq textField fldSettingsName mbNameDefault <*> areq customPersonAgeField fldSettingsAge mbAgeDefault <*> aopt textareaField fldSettingsLikings mbLikingsDefault where mbNameDefault = fmap personName mbPersonDefaults mbAgeDefault = fmap personAge mbPersonDefaults mbLikingsDefault = fmap personLikings mbPersonDefaults

-- "fieldSettingsLabel" returns an initial fieldSettings record -- recently the "FieldSettings" record can be defined from a String label since it implements IsString fldSettingsName = (fieldSettingsLabel MsgName) fldSettingsAge = fieldSettingsLabel MsgAge fldSettingsLikings = (fieldSettingsLabel MsgLikings)

customPersonAgeField = check validateAge intField

validateAge y | y < 18 = Left $ renderMessage master languages MsgUnderAge | otherwise = Right y

View

The types shown correspond to an older version, but the philosophy remains.

The Handler monad returns content in one or more of several formats as components of types that implement the class^[31] .^{[32] [33]} Json examples:^{[34] [35] [36]}

The default implementation of chooses the document representation to be returned according to the preferred content-type list of the client header.^[31]

• Widgets^[37] are HTML DOM code snippets made by specific commands (e.g. setTitle) or from templates of structure (HTML) / behaviour (JavaScript) / style (CSS), whose types instantiate the classes ToWidget, ToWidgetHead or ToWidgetBody.

A Widget monad,^[38] based on a Writer^[39] one and argument to, facilitate to piece the widgets together.

Indentation based templates for tree structured markup

• the quasiquoter (a parser to compile-time Template Haskell code)^{[1] [40]} specified in the T.H. Oxford brackets syntax [qq| ... |] introduces an indentation based structured html template. (See doc.).^[41]

'$' prefixes lines of logic statements.

Automatic closing tags are generated only for the tag at line start position.

• the quasiquoter returns a Widget expression. (saves to Widget before [hamlet|..|]).

toWidget [hamlet| $doctype 5 <html> <!-- only the tag at the beginning of the line will be automatically closed --> <!-- '.' or '#' prefixes in tags introduce class/id names, à la CSS --> <!-- ":boolVar:" prefix in attributes makes them conditionally generated --> <!-- interpolation of haskell expressions follow the "shakespearean templates" syntax introduced in the so named section --> <head> <title>#{pageTitle} - My Site <link rel=stylesheet href=@{Stylesheet_route}> <body> <header> ^{headerTemplate} <section #mySectionId> <p><span .titleClass>_{MsgArticleListTitle}</span> $if null articles <p :isRed:style="color:red">_{MsgSorryNoArticles} $else <ul> $forall art <- articles <li>#{articleNumber art} .- #{articleTitle art} <footer> ^{footerTemplate} |]

Template interpolation - Shakespearean templates

See ref.^[42] These are content view templates that follow a common substitution pattern of code expressions within curly brackets with different character prefix to refer to

template expressions with ^{...}: refers to other templates of the same type, with given parameters as ^{template params},

route expressions with @{...}: safe (typed) urls as @{HomeR},

message expressions with _{...}: i18n message rendering as _{MsgMessageLabel params}

other Haskell expressions with #{...}: haskell expression rendering as #{haskell_expression} which type must be convertible

• • in case of hamlet html templates, the expression type must be an instance of Text.Blaze.ToMarkup^[43]
  • in case of CSS templates, the expression type must be an instance of Text.Cassius.ToCss^[44]
  • in case of JavaScript templates, the expression type must be an instance of Text.Julius.ToJavascript ^[45]
  • in case of i18n message definitions (in "<isoLanguage>.msg" files) with parameter interpolations, the expression type must be an instance of Text.Shakespeare.I18N.ToMessage ^[46]
  • in case of text/plain templates (for use in emails), the expression type must be an instance of Text.Shakespeare.Text.ToText ^[47]

Using non-English text in expressions requires use of the Unicode-aware type, since the Glasgow Haskell Compiler's (GHC's) for the type renders non-ASCII characters as escaped numerical codes.

External file templates:

• at compile time: Template content can be loaded from external files using compile time calls as $(expr).^[48]
• at run time: There is a reload mode for reparsing external template files at every service call, except for HTML templates: See doc.^[49]

Other templates

for JavaScript, CoffeeScript, Roy: the quasiquoter: introduces a JavaScript template.^[50] JavaScript variants CoffeeScript and Roy-language^[51] have also specific .^{[1] [50]}

for CSS:

• the quasiquoter: introduces a css template with indentation based structuring.^[52]
• the quasiquoter: introduces a css template with standard syntax plus shakespeare-template style substitutions.^[53]

TypeScript and JSX templates: the and quasiquoters. Only on UNIX derivatives (no Windows by now).^[54]

text/plain templates: for e-mail or text/plain http content type.^[55]

1. templates: : lazy text, : strict text
2. templates for text with a left margin delimiter '|': (lazy), (strict)

Localizable messages

See ref.^[56]

Yesod app messages are localizable (i18n). They should be held within the folder, in files named based on ISO, as <iso-language>.msg

Message entries follow the EBNF pattern:

-- EBNF: identifier,, ":", text with interpolationsArticleUnexistent param@Int64 : unexistent article #

• message constructors are formed prepending "Msg" to the message label identifier.
• the message datatype is formed appending "Message" to the foundation type name.

-- in codemyMsg :: MyAppMessage -- datatype appending "Message" to the foundation typemyMsg = MsgArticleUnexistent myArticleId -- constructor prepending "Msg" to the msg. label

-- in widget templates _

Actual i18n support is missing from the app template. The mkMessage "MyApp" messagesFolder isoLangDefault must be added to the "Foundation.hs" file to get the messages instantiated.^[57]

Navigation breadcrumbs

• Navigation breadcrumbs.^[58] A YesodBreadcrumbs instance must be provided for the site where the generator function should return for each route a title and parent one. Then, the query function will return the present route title and the ancestors' (route, title) pairs.

Search engine XML Sitemap

• Search engines XML Sitemaps,^[59] where returns an XML Sitemap as http response, with the routes we want the search engines to crawl, and attributes to instruct the crawler, from a provided list of records.

Web feed views

• Web feed views (RDF Site Summary (RSS) – Atom).^[60] Handlers return, or dual content (to be selected on headers' preferred content-type list) from a given structure.

Model

Using in-memory mutable data (in the foundation datatype)

E.g. a visitor count. See ref.^[61]

The Database layer

• persistent is the name of the database access layer with templates for generating types for entities and keys as well as schema initialization.^{[62] [63] [64]}

There is first class support for PostgreSQL, SQLite, MongoDB, CouchDB and MySQL, with experimental support for Redis.^[62]

The Database layout is described in a template listing the entities, fields and constraints.^[65]

• For every entity listed, an integer key column "id" is generated with autoincrement and primary index attributes, with a type alias appending Id to the entity name
• For every entity listed, a record type named as the entity is generated were record fields names are composed prefixing the entity name to the field name like "personName". An EntityField type "PersonName" is also generated for foreign key referencing from other entities.
• There is an automatic database schema migration mechanism for DB schema updates, which, to succeed, requires, when adding columns to existent tables, to specify 'Default-column-value constraints with sql level notation.^[66]
• "At most one" cardinality has a special mechanism around the type Checkmark.^[67]
• Weak entities (childs in life constrained owner-child relationships) have no special support for cascade delete triggers, but there are functions to deleteCascade manually in the Database.Persist.Class module.^[68]

automatic table creation, schema update and table migration: Modifications of the entities template produces an schema update with automatic table creation, and migration for the DBMS's that support "ALTER TABLE" SQL commands in a migrateAll procedure, generated from the template content. See "Migrations" in ref.^[62] to look for migration aware DBMS.

share [mkPersist sqlSettings, mkMigrate "migrateAll" -- generates the migration procedure with the specified name ] [persist| User -- table name and entity record type -- implicit autoincrement column "id" as primary key, typed UserId ident Text -- refers to db. table column "ident"; -- generates a record field prefixing the table name as "userIdent" password Text Maybe -- Maybe indicates Nullable field UniqueUser ident -- unique constraint with space sep. field sequence Email -- table name and entity record type -- implicit autoincrement column "id" as primary key, typed EmailId email Text user UserId -- foreign key by specifying other tables EntityField types verkey Text Maybe newlyAddedColumn Text "default='sometext'::character varying" -- sql level Default constraint UniqueEmail email -- unique constraint |]

• Esqueleto: is a haskell combinators layer to generate correct relational queries to persistent.^[69]

Example for persistent rawSQL and Esqueleto queries.^[70]

E-mail

The following packages are part of the yesod-platform:^[71]

• email-validate: Validating an email address.^[72]
• mime-mail: Compose and send MIME email messages.^[73]

Facebook

• Useful glue functions between the fb library and Yesod.^[74]

Development cycle

New Yesod apps are generated from the HaskellStack tool^[75] templates, replacing previous command "yesod init"

Stack based app. template names are prefixed by yesod as "yesod-"

• Since HaskellStack uses the stackage repo by default, extra packages from the hackage repo should be referred in the "stack.yaml" extra-deps section.
• Packages may be customized to a local subfolder. They must be referred in the "stack.yaml" packages section.

The "Yesod helper" tool

• The yesod helper tool ^[76]
  • yesod devel run from the project site, recompiles and restarts the project at every file tree modification.
  • yesod add-handler adds a new handler and module to the project, adding an import clause for the handler in the "Application" module.

Deploying with Keter: A web app server monitor and reverse proxy server

See refs.^{[77] [78] [79]}

Keter is a process as a service that handles deployment and restart of Yesod web app servers, and, per web app, database creation for PostgreSQL.

The console command yesod keter packs the web app. as a keter bundle for uploading to a keter folder named "incoming".

Keter monitors the "incoming" folder and unpacks the app. to a temporary one, then assigns the web app a port to listen to, and starts it.

Initially it worked with Nginx as reverse proxy (keter version 0.1*), adding virtual server entries to its configuration and making Nginx reload it, but now Keter itself provides its own reverse proxy functionality, removing Nginx dependency and acting as the main web server.^[80]

Old documentation (Nginx based).^{[81] [82]}

Integration with JavaScript generated from functional languages

See ref.^{[83] [84] [85]}

See also

• Snap (web framework)

External links

• • Presentations: InfoQ, Haskell eXchange 2012
• Slides: A.C.M. at Johns Hopkins University - ReST-ful Websites with Yesod
• ScreenCast: Yesod 1.0 at Vimeo
• O'Reilly ebook - Developing Web Applications with Haskell and Yesod - Safety-Driven Web Development
• Q&A: StackOverflow.com - Yesod tagged Q&A

Blog tutorials

• FPComplete.com - My First Web Site, Playing with Routes and Links
• Yesod for newbies
• hamberg.no - handlerToIO: use forkIO in Yesod handlers

Comparisons

• HaskellWiki - Haskell web frameworks
• A Hopefully Fair and Useful Comparison of Haskell Web Frameworks
• University of Kent - Comparing Dynamic and Static Language Approaches to Web Frameworks - Yesod vs Ruby on Rails

Other languages

• Haskell Biblio. - Yesod University of Cadiz

At Linux distributions

• Yesod at Debian
• Yesod at Ubuntu

Notes and References

1. Web site: HaskellWiki - QuasiQuotation . Haskell.org . 2012-05-26 . 2012-10-23.
2. Web site: University of Kent - Comparing Dynamic and Static Language Approaches to Web Frameworks - Yesod vs Ruby on Rails . PDF . 2012-10-23.
3. Web site: The wai package . Hackage.haskell.org . 2012-10-23.
4. Web site: The wai-extra package with CGI WAI handler . Hackage.haskell.org . 2012-10-23.
5. Web site: The wai-handler-fastcgi package . Hackage.haskell.org . 2012-10-23.
6. Web site: The wai-handler-scgi package . Hackage.haskell.org . 2012-10-23.
7. Web site: The warp package . Hackage.haskell.org . 2012-10-23.
8. Web site: The wai-handler-launch package . Hackage.haskell.org . 2012-10-23.
9. Web site: book - Basics . Yesodweb.com . 2012-10-23.
10. http://hackage.haskell.org/package/yesod-core/docs/src/Yesod-Core-Internal-TH.html#mkYesod The mkYesod code
11. Web site: book - Routing and Handlers . Yesodweb.com . 2012-10-23.
12. Web site: Playing with Routes and Links . FPComplete.com . 2012-10-17 . 2012-10-28.
13. Web site: book - Authentication and Authorization . Yesodweb.com . 2012-10-23.
14. Web site: The yesod-auth package . Hackage.haskell.org . 2012-10-26.
15. Web site: book - Sessions - See section "Ultimate Destination". Yesodweb.com . 2012-11-17.
16. Web site: Sessions . Yesodweb.com . 2012-10-23.
17. Web site: Web.ClientSession . Hackage.haskell.org . 2012-10-25.
18. Web site: ServerSession: secure modular server-side sessions . Hackage.haskell.org . 2018-10-29.
19. Web site: Web.ServerSession.Frontend.Yesod . Hackage.haskell.org . 2018-10-29.
20. Web site: Session Messages . Yesodweb.com . 2018-10-23.
21. Web site: Creating a Subsite . Yesodweb.com . 2012-10-25.
22. Web site: Yesod and subsites: a no-brainer . Monoid.se . 2012-08-22 . 2012-10-28. []
23. Web site: The Magic of Yesod, part 2 - See section "Static Subsite" . Yesodweb.com . 2010-12-25 . 2012-10-25.
24. Web site: The package yesod-static - Static Subsite . Hackage.haskell.org . 2012-10-25.
25. Web site: The package yesod-auth - Auth Subsite . Hackage.haskell.org . 2012-10-25.
26. Web site: book - Forms . Yesodweb.com . 2012-10-23.
27. Web site: Yesod.Form.Fields . Hackage.haskell.org . 2012-10-23.
28. Web site: Yesod.Form.Functions runFormPost . Hackage.haskell.org . 2012-10-25.
29. Web site: Yesod.Form.Types . Hackage.haskell.org . 2012-10-23.
30. Web site: HaskellWiki - Applicative functor . haskell.org . 2012-10-24.
31. Web site: The class HasReps . Hackage.haskell.org . 2012-10-23.
32. Web site: RESTful Content . Yesodweb.com . 2012-10-23.
33. Web site: The class ToContent . Hackage.haskell.org . 2012-10-23.
34. Web site: More Client Side Yesod: todo sample . Yesodweb.com . 2012-04-23 . 2012-10-23.
35. Web site: JSON Web Service . Yesodweb.com . 2012-10-23.
36. Web site: The yesod-json package . Hackage.haskell.org . 2012-10-23.
37. Web site: book - Widgets . Yesodweb.com . 2012-10-23.
38. Web site: The widget monad . Hackage.haskell.org . 2012-10-23.
39. Web site: The Writer monad . Haskell.org . 2012-10-23.
40. Web site: Template Haskell Quasi-quotation . Haskell.org . 2012-11-02.
41. Web site: The hamlet template module . Hackage.haskell.org . 2012-10-23.
42. Web site: book - Shakesperean templates . Yesodweb.com . 2012-10-23.
43. Web site: Class Text.Blaze.ToMarkup . Hackage.haskell.org . 2012-10-23.
44. Web site: Class Text.Cassius.ToCss . Hackage.haskell.org . 2012-10-23.
45. Web site: Class Text.Julius.ToJavascript . Hackage.haskell.org . 2012-10-23.
46. Web site: Class Text.Shakespeare.I18N.ToMessage . Hackage.haskell.org . 2012-10-24.
47. Web site: Class Text.Shakespeare.Text.ToText . Hackage.haskell.org . 2012-10-24.
48. Web site: Template Haskell . haskell.org . 2012-11-03.
49. Web site: book - Shakesperean templates # Calling shakespeare . Yesodweb.com . 2012-10-23.
50. Web site: The Julius template module . Hackage.haskell.org . 2012-10-23.
51. Web site: Roy language . Roy.brianmckenna.org . 2012-10-23.
52. Web site: The Cassius template module . Hackage.haskell.org . 2012-10-23.
53. Web site: The Lucius template module . Hackage.haskell.org . 2012-10-23.
54. Web site: The Typescript template module . Hackage.haskell.org . 2018-10-10.
55. Web site: Shakespeare plain text templates module . Hackage.haskell.org . 2012-10-24.
56. Web site: book - Internationalization . Yesodweb.com . 2012-10-23.
57. https://hackage.haskell.org/package/shakespeare/docs/Text-Shakespeare-I18N.html#v:mkMessage mkMessage
58. Web site: The YesodBreadcrumbs class . Hackage.haskell.org . 2012-11-05.
59. Web site: The yesod-sitemap package . Hackage.haskell.org . 2012-10-26.
60. Web site: The yesod-newsfeed package for RSS / Atom views . Hackage.haskell.org . 2012-10-26.
61. Web site: Book - Initializing data in the foundation datatype . Yesodweb.com . 2014-05-26.
62. Web site: book - Persistent . Yesodweb.com . 2012-10-23.
63. Web site: Yesod-persistent package . Hackage.haskell.org . 2012-10-23.
64. Web site: Yesod-persistent docs . github.com . 2018-10-16.
65. Web site: Yesod-persistent entity syntax . github.com . 2018-10-16.
66. Web site: Redundant migrations for fields' default values. GitHub.com . 2012-12-04.
67. Web site: "At most one" cardinality enforcement in persistent with type Checkmark. Hackage.haskell.org . 2018-10-16.
68. Web site: How can I create a foreign key constraint using Yesod/Persistent?. stackoverflow.com . 2018-10-16.
69. Web site: esqueleto package . Hackage.haskell.org . 2012-10-23.
70. Web site: Query example at . Stackoverflow.com . 2012-09-19 . 2012-10-23.
71. Web site: The yesod package . Hackage.haskell.org . 2019-06-26.
72. Web site: The email-validate package . Hackage.haskell.org . 2012-10-26.
73. Web site: The mime-mail package. . Hackage.haskell.org . 2012-10-26.
74. Web site: The yesod-fb package. . Hackage.haskell.org . 2012-10-26.
75. https://docs.haskellstack.org/en/stable/README/#how-to-install Haskell Stack - How to install
76. https://hackage.haskell.org/package/yesod-bin#readme The yesod-bin pkg with the helper tool (with instructions for use with the stack tool)
77. Web site: book - Deploying your Webapp . Yesodweb.com . 2012-10-23.
78. Web site: Readme.Md . Yesod keter readme . GitHub . 2012-10-23.
79. Web site: The keter package . Hackage.haskell.org . 2012-10-23.
80. Web site: Keter updates . Yesodweb.com . 2012-10-25 . 2012-10-25.
81. Web site: Keter: Web App Deployment . Yesodweb.com . 2012-05-11 . 2012-10-23.
82. Web site: Keter: It's Alive! . Yesodweb.com . 2012-05-17 . 2012-10-23.
83. Web site: Javascript Options . github.com . 2014-03-12.
84. Web site: Yesod, AngularJS and Fay . yesodweb.com . 2012-10-30 . 2014-03-12.
85. Web site: HaskellWiki - The JavaScript Problem . haskell.org . 2014-04-12.