现在我们进入第五章的学习
首先复制P71页的代码。这里我们看到了很多新的东西,例如setTitle
,toWidget
,addScriptRemote
,这些具体函数我们会在后面讨论到。我们先复习一下前面的知识,来改写一下现有的逻辑代码。
我们先增强一下网页的正文内容,我们看到有一个
[hamlet|
<h1>Here's one way of including content
|]
还记得我们上一章的总结么,hamlet
可以渲染其中的@{..}
语法,但是需要接一个data->[(Text,Text)]->Text
的函数
我们先来补充这样一个data
和函数
data Fruits = Apple | Banana
renderFruits :: Fruits->[(Text,Text)]->Text
renderFruits Apple _ = "Apple"
renderFruits Banana _ = "Banana"
嗯,OK了。我们来做一个拼接
toWidget
[hamlet|
...
<a href=@{Apple}>apple
|] renderFruits
Oh,不错所料,出错了,为什么呢。因为[hamlet|..|] render
的结果类型为Text.Blaze.ToMarkup a
,而toWidget
需要的类型为MonadWidget m, ToWidget(HandlerSite m) a) a
,那么不匹配怎么办呢,别急,我们还有万能的toHtml
,toHtml::Text.Blaze.ToMarkup=>a -> Html
我们实际可以运行的代码如下
toWidget
$ toHtml $[hamlet|
...
<a href=@{Apple}>
|] renderFruits
接下来我们处理仅替换变量的[hamlet||]
。我们看到
toWidgetHead
[hamlet|
<meta name=keywords content="some sample"
|]
我们来试一下直接在后面添加where
语句
data Fruits = Apple|Banana deriving Show
toWidgetHead
[hamlet|
<meta name=keywords content="some sample">
<meta name=search content=#{show keywords}
|]
where keywords=Apple
但是在这里要注意,content=#{show keyword}
当转成Html
时,会自动在content=
之后的值两侧加上引号
,所以#{..}
会对其中的值做Encode
,导致不能直接输出字符串
在{..}
中,必须采用构造值的形式传入,例如上述的例子。该问题影响面较广,留待以后解决。