-
Effekt Library
- web/dom
- Node
- getElementById
- createElement
- createTextNode
- setAttribute
- getAttribute
- appendChild
- innerHTML
- IdleDeadline
- requestIdleCallback
- didDimeout
- timeRemaining
- onClick
- sleep
- clear
- web/dom Jump to source: libraries/js/web/dom.effekt
- Node
- getElementById
(id: String): Node / {} - createElement
(tag: String): Node / {} - createTextNode
(text: String): Node / {} - setAttribute
(node: Node, key: String, value: String): Node / {} - getAttribute
(node: Node, key: String): String / {} - appendChild
(node: Node, child: Node): Node / {} - innerHTML
(node: Node, contents: String): Node / {} - IdleDeadline
- requestIdleCallback
(callback: (IdleDeadline) => Unit at {io}): Unit / {} - didDimeout
(deadline: IdleDeadline): Bool / {} - timeRemaining
(deadline: IdleDeadline): Double / {} - onClick
(node: Node, handler: => Unit at {io}): Node / {} - sleep
(n: Int): Unit / {} - clear
(node: Node)
Example usage: examples/stdlib/web/dom