Haskell之Yesod开发–简单网站开发(三)_haskell之yesod开发

现在我们进入第五章的学习
首先复制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，导致不能直接输出字符串在{..}中，必须采用构造值的形式传入，例如上述的例子。该问题影响面较广，留待以后解决。