Threepenny-GUI:将属性值作为字符串获取
Threepenny-GUI: Get Attribute Value as String
有没有办法将元素的属性值(尤其是id)作为字符串获取?
例如,以下行导致“()”:
field <- UI.new
# set (attr "id") "some text"
on UI.drop field $ \_ -> do
-- Some label to print the attribute value to
label <- getElementById window "labelID"
id <- get (attr "id") field
(element (fromJust label)) # set text (show id)
由于 attr
returns WriteAttr
,get
可能无法正常工作。有解决方法吗?
提前致谢!
你好
从 threepenny-gui v0.8.1.0 开始,目前还没有实现。这当然是可能的,我只是还没有抽出时间去做。欢迎在 Github!
上提出问题
(请注意,如果缺少功能,您始终可以使用 runFunction
和 ffi
函数直接调用 JavaScript。)
有没有办法将元素的属性值(尤其是id)作为字符串获取? 例如,以下行导致“()”:
field <- UI.new
# set (attr "id") "some text"
on UI.drop field $ \_ -> do
-- Some label to print the attribute value to
label <- getElementById window "labelID"
id <- get (attr "id") field
(element (fromJust label)) # set text (show id)
由于 attr
returns WriteAttr
,get
可能无法正常工作。有解决方法吗?
提前致谢!
你好
从 threepenny-gui v0.8.1.0 开始,目前还没有实现。这当然是可能的,我只是还没有抽出时间去做。欢迎在 Github!
上提出问题(请注意,如果缺少功能,您始终可以使用 runFunction
和 ffi
函数直接调用 JavaScript。)