Purely UI callbacks that don't generate events

[gergoerdi]

Purely UI callbacks that don't generate events

[rbarreiro]

I think it should no be too hard to it. You can check https://github.com/rbarreiro/idrisjs/blob/master/Js/Html.idr. You can create another module like this with some extra nodes or attributes that you need. Please let me know how it goes.

[rbarreiro]

What you want to do is probably possible with stringAttribute.

[gergoerdi]

Indeed. I didn't realize that stringAttribute is the ultimate escape hatch for arbitrary attribute values including callbacks.