Purescript галоген: добавить IProp в HTML

Question

Есть ли способ добавить IProp к HTML?

Вот пример того, что я пытаюсь сделать:

foo :: forall p i. H.HTML p i -> H.HTML p i
foo myElement = 
  addProp (HP.id_ "SomeId") myElement

Где addPropпринимает myElement, дает ему Id (или любое другое произвольное свойство) и возвращает обратно этот новый элемент, который в основном такой же, но к которому добавлено это новое свойство?

Или другими словами,эта функция addProp существует каким-то образом?

Answer 1

Нет, нет, как если бы это было так, это обошло бы проверку типов допустимых свойств, которые могут быть установлены для данного элемента, плюс это позволило бы вам говорить бессмысленные вещи, такие как addProp наHH.text значение.

Писать не невозможно, так как проверка свойств не является неотъемлемой частью представления HTML - это слой сверху, который его уточняет.HTML просто состоит из нормальных типов данных, поэтому вы можете сопоставлять шаблоны с HTML значениями для манипулирования при необходимости.