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

最新推荐文章于 2025-06-22 13:07:42 发布

转载最新推荐文章于 2025-06-22 13:07:42 发布 · 577 阅读

Haskell 专栏收录该内容

25 篇文章

订阅专栏

本文探讨了使用 Hamlet 进行网页内容渲染的方法，并通过实例讲解如何定义数据类型与渲染函数，实现 HTML 元素的动态生成及正确处理变量替换。

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