A Haskell implementation of the Jinja2 template language.
A note of warning: the git repository at https://bitbucket.org/tdammers/ginger has been deleted and restored with a rewritten commit tree on 2016-04-06 in order to clean up the messy history. This means that if you have a checkout from before that date, merging the bitbucket repo will most likely break things; please do a fresh clone to fix this. Sorry for the inconvenience.
Ginger provides most of the original Jinja2 template language, as much as that makes sense in a Haskell host application.
We do, however, avoid some of the most blatant Pythonisms, especially where we felt the features in question were more of an accidental result of binding template constructs to Python constructs.
On top of that, we deviate on a few points, and add some features that we think are very useful and help make the language better and more consistent.
Ginger is available from Hackage, and it is in Stackage, so you can use it in plain Cabal projects as well as Stack ones.
cabal install ginger
stack install ginger
Add the following to your .cabal's build-depends:
ginger >=0.7.4.0 && <0.8
Full template syntax documentation is available from the /docs subdirectory
in the project repository itself, or from the User Guide section on the
Ginger website.
<!DOCTYPE html>
<html>
<head>
<title>{{ title }}</title>
</head>
{# This is a comment. Comments are removed from the output. #}
<body>
<menu id="nav-main">
{% for item in navigation %}
<li><a href="{{ item.url }}">{{ item.label }}</a></li>
{% endfor %}
</menu>
<div class="layout-content-main">
<h1>{{ title }}</h1>
{{ body }}
</div>
</body>
</html>
There are three kinds of delimiters:
- Interpolation, to inject values into the output; these default to
{{and}} - Flow Control, to create conditionals, loops, and other control constructs;
these default to
{%and%} - Comments, which are removed from the output; these default to
{#and#}.
These delimiters can be changed on the Haskell side. In principle, any string is accepted for any delimiter; you may, however, get surprising results if you pick delimiters that clash with other Ginger syntax, or with one another (e.g., using the same string to start interpolations and flow control constructs will not work).
The Haskell API is documented fully through Haddock documentation, available from Hackage. We'll just provide a short overview here.
On the Haskell side of things, executing a template is a two-step process. First, template source code is parsed into a 'Template' data structure, which is then fed to 'runGinger' or 'runGingerT'.
Because Ginger templates can include other templates, the parser needs a way of resolving template names. Instead of hard-wiring the parser into 'IO' though, Ginger will work on any Monad type, but requires the caller to provide a suitable template resolver function. For 'IO', the resolver would typically load a file from a template directory, but other monads might have access to some sort of cache, or expose template compiled into a program, or simply return 'Nothing' unconditionally to disable any and all imports. A suitable example implementation for 'IO' would look like this:
loadFile fn = openFile fn ReadMode >>= hGetContents
loadFileMay fn =
tryIOError (loadFile fn) >>= \e ->
case e of
Right contents ->
return (Just contents)
Left err -> do
print err -- remove this line if you want to fail silently
return Nothing
(Taken from cli/GingerCLI.hs). This interprets the template name as a
filename relative to the CWD, and returns the file contents on success or
'Nothing' if there is any error.
If you don't need a monadic context for resolving includes (e.g. because you have pre-loaded all template sources), you can use the pure 'parseGinger' flavor, which does not rely on a host monad.
The core function for running a template is 'runGinger' (or its monadic flavor 'runGingerT'); in order to pass an initial context to the template engine, pass a suitable 'GingerContext', which you can create using the 'makeContext' / 'makeContextM' functions.
An example call (for running a template in 'IO') would look something like this:
runGingerT (makeContextM scopeLookup (putStr . Text.unpack . htmlSource)) tpl