1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
|
# blazeT [](https://travis-ci.org/johannesgerer/blazeT) [](https://hackage.haskell.org/package/blazeT)
A true monad (transformer) version of the
[blaze-markup](https://hackage.haskell.org/package/blaze-markup) and
[blaze-html](https://hackage.haskell.org/package/blaze-html)
libraries:
> BlazeHtml is a blazingly fast HTML combinator library for the
> Haskell programming language. It embeds HTML templates in Haskell
> code for optimal efficiency and composability.
— from https://jaspervdj.be/blaze/.
## What’s wrong with blaze?
Blaze’s `Markup` and `Html` **cannot be used as Monads**, let alone Monad transformers.
While blaze's `Markup` and `Html` types have `Monad` instances and can
leverage the concise `do` notation, they do not satisfy the
[Monad Laws](https://hackage.haskell.org/package/base-4.8.0.0/docs/Control-Monad.html#t:Monad).
## How do Monads help? - Use Cases
The `MarkupT` Monad Transformer enables us to write Markup (e.g. HTML)
templates that have access to all those Monads you cannot live without
anymore.
The first things that come to mind:
* Accessing an environment
([MonadReader](https://hackage.haskell.org/package/mtl-2.2.1/docs/Control-Monad-Reader-Class.html))
* Logging and other diagnostic output
([MonadWriter](https://hackage.haskell.org/package/mtl-2.2.1/docs/Control-Monad-Writer-Class.html)),
* `IO` (e.g. for database access)
The reason for the existence of this library is its use
in [Lykah](http://johannesgerer.com/Lykah), which powers my personal
website
[http://johannesgerer.com](http://johannesgerer.com/johannesgerer.com). In
Lykah, the HTML templates have access to the whole site structure (to
build things like menus or blog post lists) and automatically check,
insert and keep track of referenced pages and assets, which turns out
to be very useful functionality of a static website generator.
## Usage
### Integrating with your existing code
The library is intended to serve as a drop-in replacement for the
`blaze-markup` and `blaze-html` libraries and should be backwards
compatible:
Simply replace your `module Text.Blaze.*` imports with `module
Text.BlazeT.*` and it should give the same results.
For usage of blaze check out
their [documentation](https://jaspervdj.be/blaze/).
### Unleash the monads
[Text.BlazeT](https://hackage.haskell.org/package/blazeT/docs/Text-BlazeT.html)
exports `runWith` and `execWith`, which work on any
`Text.BlazeT.Renderer.*`. The rendered markup will be returned within
the base monad, whose actions can be
[`lift`ed](https://hackage.haskell.org/package/transformers-0.5.2.0/docs/Control-Monad-Trans-Class.html)
into the Markup, as shown in the following example (from
[here](src/Readme.hs)):
```Haskell
{-# LANGUAGE OverloadedStrings #-}
import Data.Time (getCurrentTime)
import Text.BlazeT.Html5 hiding (main)
import Text.BlazeT.Renderer.String
import Control.Monad.Trans.Class (lift)
-- Backwords compatible Blaze HTML
old :: Markup
old = do
p $ "created with blaze-html"
-- BlazeT HTML with lifted IO actions
new :: MarkupT IO ()
new = do
time <- lift getCurrentTime
p $ string $ "created with blazeT at " ++ show time
main :: IO ()
main = do
putStrLn $ renderMarkup old
putStrLn =<< execWith renderMarkup new
```
prints:
```HTML
<p>created with blaze-html</p>
<p>created with blazeT at 2016-10-26 01:09:16.969147361 UTC</p>
```
## Installation
1. To make it available on your system (or sandbox) use `cabal install blazeT`.
2. To play around with the source, obtain by cloning this repo or use
`cabal get blazet`, enter the directory and run:
```bash
cabal sandbox init #optional
cabal install
```
## Documentation on [Hackage](https://hackage.haskell.org/package/blazeT)
## Implementation
... is contained
in
[Text.BlazeT.Internals](https://hackage.haskell.org/package/blazeT/docs/Text-BlazeT-Internals.html).
Everything is build around the simple `newtype` definition of the
`MarkupT` transformer, which makes use
the
[Monoid](https://hackage.haskell.org/package/base-4.7.0.2/docs/Data-Monoid.html) instance
of `Blaze.Markup` and is simply a `WriterT` writing `Blaze.Markup`:
```Haskell
newtype MarkupT m a = MarkupT { fromMarkupT :: WriterT B.Markup m a }
```
The old `Text.Blaze.Markup` type is replaced by a rank-2 version of
the transformer:
```Haskell
type Markup = forall m . Monad m => MarkupT m ()
```
Wrappers used to lift all `Blaze` entities into `BlazeT` are trivially
expressible using basic `WriterT` class methods. Wrapping
`Blaze.Markup` is simply `WriterT.tell`:
```Haskell
wrapMarkupT :: Monad m => B.Markup -> MarkupT m ()
wrapMarkupT = tell
```
Wrapping functions that modify `Blaze.Markup` is simply `WriterT.censor`:
```Haskell
wrapMarkupT2 :: Monad m => (B.Markup -> B.Markup) -> MarkupT m a -> MarkupT m a
wrapMarkupT2 = censor
```
|
