purescript-halogen
に要素を選択する機能がありますか、それともid
で要素を選択する必要がありますか(それは私にとっては非常に奇妙なようです)。PurescriptでIdで要素を選択する
私は追求のドキュメントを読んでおり、Util
にはselectElement
の機能がありますが、id
で選択できるものはありません。
私はElement
を取得するためにgetElementById :: ElementId -> NonElementParentNode -> Eff() (Nullable Element)
を使用することができますが、私はHTMLElement
にこのElement
をオンにする方法がわかりません。
Pursuitの型検索機能も欠けているので、この素朴な質問をお詫び申し上げます。
安全に 'Element'を' HTMLElement'にすることはできません。 'selectElement"#id "'を試してください。しかし、より良い方法は、ハロゲンが 'HTMLElement'を後で必要としないので、' Halogen.VDom.Driver.runUI'の署名で 'HTMLElement'を' Node'に変更することです。 –