Haskell Snap 框架 - 带有 Heist 的动态超链接

Question

我正在尝试使用 Heist 模板系统创建动态链接。问题是链接显示为文本，而不是被解释为 html。有没有一种特定的方法可以使用 Heist 创建像这样的动态列表？

构造链接的函数：

renderCategories :: Monad m => Db.Category -> I.Splice m
renderCategories (Db.Category catid catname catdesc) =
  I.runChildrenWithText [ ("categoryId", T.concat $ ["<a    href='http://localhost:8000/thread_home?cateid=", T.pack . show $ catid, "'>", T.pack . show $ catid, "</a>"])
    , ("categoryName", catname)
    , ("categoryDesc", catdesc)]

标签在网页上显示为“http://localhost:8000/thread_home?cateid=1'>1”文本。而源码显示如下：

<a href='http://localhost:8000/thread_home?cateid=1'>1</a>

我认为我需要让它打印实际的 ，但我不确定如何实现这一点。 由于我目前正在运行 runChildrenWithText 来填充这个 Heist 模板，更改为只是 runChildrenWith 需要拼接而不是文本，所以我希望有一些方法可以在没有 '' 的情况下 runChildrenWithText 被转换为 '&lt'和'&gt'。 任何帮助表示赞赏！

编辑

我正在尝试使用以下方法手动创建链接：

renderCategories :: Monad m => Db.Category -> I.Splice m
renderCategories (Db.Category catid catname catdesc) =
  I.runChildrenWith [ ("categoryId", return $ X.Element "a"[("href", "http://localhost")] $ X.TextNode (T.pack $ show catid))]

但是我遇到了两个错误：

Couldn't match type `X.Node' with `[X.Node]'
Expected type: I.Splice m
  Actual type: heist-0.11.1:Heist.Types.HeistT m m X.Node
In the expression:
  return
  $ X.Element "a" [("href", "http://localhost")]
    $ X.TextNode (T.pack $ show catid)

和

Couldn't match expected type `[X.Node]' with actual type `X.Node'
In the return type of a call of `X.TextNode'
In the second argument of `($)', namely
  `X.TextNode (T.pack $ show catid)'

我目前并不真正理解这些错误，感谢任何帮助。

返回链接和普通文本的工作函数：

renderCategories :: Monad m => Db.Category -> I.Splice m
renderCategories (Db.Category catid catname catdesc) =
I.runChildrenWith [( "categoryId", return $ [X.Element "a" [("href", T.concat $     ["http://localhost:8000/thread_home?cateid=", T.pack $ show catid] )] [X.TextNode (T.pack $  show catid)] ] )
, ("categoryName", I.textSplice catname)
, ("categoryDesc",  I.textSplice catdesc)]

Answer 1

您看到的行为正是预期的。您遇到问题的原因是因为您使用的是runChildrenWithText，这是一个更高级别的函数，专为您返回文本节点的情况而设计。它适用于您想要页面上的实际文本时。您所看到的是实现这一目标的正确方法。

拼接是返回节点列表的计算。

type Splice n = HeistT n n [Node]

Node 是 DOM 作为 Haskell 类型的表示，所以如果你想返回一个链接，你应该这样做：

return $ [Element "a" [("href", "http://localhost")] [TextNode (T.pack $ show catid)]]

要使用这种接头，您需要使用runChildrenWith 而不是runChildrenWithText。

如果手动创建Nodes 对您来说很难看，还有一个更方便的选择。如果您导入模块 Text.Blaze.Renderer.XmlHtml，您会在其中找到可让您使用 blaze-html 语法生成 Node 树的函数。