Lucid的“术语”类型的真实含义

我一直在与Haskell合作,尝试使用Servant和Lucid创建一个非常简单的网站。目前,我到达“我的代码有效,我不知道为什么”的阶段。 我尝试创建Bootstrap按钮。根据文档,应将其定义为:

<button type="button" class="btn btn-primary">Primary</button>

因此,我找到了Lucid.Html5文档:https://hackage.haskell.org/package/lucid-2.9.11/docs/Lucid-Html5.html,并得出了创建按钮的功能:

button_ :: Term arg result => arg -> result

花了一些时间试图找出正确的语法后,我想到了:

-- correctly replicates the html pasted above
button_ [type_ "button",class_ "btn btn-primary"] "Primary"

通常我会称其为胜利,并专注于其他任务,但这对我来说似乎是一件真正的魔术。

文档说“ button_”是一个接受参数“ arg”并返回通用类型“ result”的值的函数。但是,在我的应用程序中,“ button_”显然带有两个参数并返回“ Html()”。

-- f                       arg                     arg again ??
button_ [type_ "button",class_ "btn btn-primary"] "Primary"

它必须对“ Term”类型类进行某些操作,但是我不确定如何理解它。有人可以帮我弄这个吗 ?我尝试将模块加载到ghci中并使用“:t”检查类型,但这并没有太大帮助。

wanderer0 回答:Lucid的“术语”类型的真实含义

Term类型类非常方便-我们不需要不同的term函数来创建带有或不带有属性的元素-但可能有点难以理解。

button_的定义是

-- | @button@ element
button_ :: Term arg result => arg -> result
button_ = term "button"

termTerm类型类的方法,其类型为:

term :: Text -> arg -> result   

也就是说,您给它提供元素的名称,一些其类型取决于特定实例的参数,并返回一些其类型取决于特定实例的结果。但是哪些实例可用?有三个:

Term Text Attribute
-- here,term :: Text -> Text -> Attribute

这是用于创建属性而不是元素的

Applicative m => Term (HtmlT m a) (HtmlT m a)
-- here,term :: Text -> HtmlT m a -> HtmlT m a

这是用于创建没有属性的元素的。我们作为参数传递给arg的{​​{1}}是代表孩子的html片段,作为回报,我们得到了另一段html。

term

这是最令人困惑的,也是代码中正在使用的那个。这里,(Applicative m,f ~ HtmlT m a) => Term [Attribute] (f -> HtmlT m a) -- here,term :: Text -> [Attribute] -> HtmlT m a -> HtmlT m a Attribute值的列表。那很清楚。但是arg是函数的类型!传递属性后,我们剩下的是另一个函数result-> HtmlT m a,该函数使我们能够提供按钮的内容(在您的情况下为“主要”)。 / p>

HtmlT m a是另一个皱纹,与该答案无关。它只是说f ~ HtmlT m a等于f。那为什么不直接放呢?好吧,在某些情况下,它可以以理想的方式帮助drive type inference

本文链接:https://www.f2er.com/3169836.html

大家都在问