Есть ли функция в purescript-halogen
, чтобы выбрать элемент по его id
, или мне нужно выполнить его собственную роль (что было бы очень странно для меня).Выбор элементов по идентификатору в Purescript
Я читаю документацию по преследованию, и я вижу функцию selectElement
в Util
, но нигде я не вижу что-то, что позволяет мне выбирать по id
.
я могу использовать getElementById :: ElementId -> NonElementParentNode -> Eff() (Nullable Element)
получить Element
, но я не знаю, как превратить этот Element
в HTMLElement
.
Функция поиска типа в Pursuit также отсутствует, поэтому извиняюсь за этот наивный вопрос.
Вы не можете безопасно превратить элемент 'Element' в' HTMLElement'. Попробуйте 'selectElement" #id "'. Но лучший способ - изменить 'HTMLElement' на' Node' подписи 'Halogen.VDom.Driver.runUI', потому что галоген не нуждается в' HTMLElement' позже. –