3便士-gui:如何获取文本？

Question

使用Threepenny-gui中的'set text‘，您可以在给定一个元素和一个字符串的情况下设置该元素的文本：

Prelude Graphics.UI.Threepenny.Core> :t set
set :: ReadWriteAttr x i o -> i -> UI x -> UI x
Prelude Graphics.UI.Threepenny.Core> :t set text
set text :: String -> UI Element -> UI Element

get函数的存在使我认为应该可以在给定元素的情况下获取文本。

Prelude Graphics.UI.Threepenny.Core> :t get
get :: ReadWriteAttr x i o -> x -> UI o
Prelude Graphics.UI.Threepenny.Core> :t text
text :: WriteAttr Element String
Prelude Graphics.UI.Threepenny.Core> :t get text
get text :: Element -> UI ()

然而，'get text‘的返回类型并不是我所期望的。如何从元素中恢复原始字符串？

Answer 1

如果我没记错的话，问题是元素的文本值将它的所有子元素都包含为HTML代码。我建议使用value，它适用于输入字段。

ReadAttr和WriteAttr是以ReadWriteAttr的形式实现的，以避免过载。正如类型所示，get不会对WriteAttr做任何有用的事情，set也不会对ReadAttr做任何有用的事情。