html/dom
Types
DOMNode
Event
Effects
Dom
body
∀ 't2 . DOMNode / { Dom<'t2> }
create_element
fn(tag: Str) -> DOMNode / { Dom<'t2> }
append_child
fn(parent: DOMNode, child: DOMNode) -> 't3 / { Dom<'t2> }
create_text_node
fn(text: Str) -> DOMNode / { Dom<'t2> }
set_text
fn(node: DOMNode, content: Str) -> 't4 / { Dom<'t2> }
remove_child
fn(parent: DOMNode, child: DOMNode) -> 't5 / { Dom<'t2> }
replace_child
fn(parent: DOMNode, new_child: DOMNode, old_child: DOMNode) -> 't6 / { Dom<'t2> }
set_attribute
fn(element: DOMNode, name: Str, value: Str) -> 't7 / { Dom<'t2> }
remove_attribute
fn(element: DOMNode, name: Str) -> 't8 / { Dom<'t2> }
clone_template
fn(html: Str) -> DOMNode / { Dom<'t2> }
first_child
fn(node: DOMNode) -> DOMNode / { Dom<'t2> }
next_sibling
fn(node: DOMNode) -> DOMNode / { Dom<'t2> }
insert_before
fn(parent: DOMNode, new_node: DOMNode, ref: DOMNode) -> 't9 / { Dom<'t2> }
set_handler
fn(element: DOMNode, name: Str, callback: fn (Event) -> 't2 / 't10) -> Bool / { Dom<'t2> }
remove_handler
fn(element: DOMNode, name: Str) -> 't11 / { Dom<'t2> }
listen
fn(root: DOMNode, event_name: Str) -> 't2 / { Dom<'t2> }
Functions
start_listening
fn(root: DOMNode, event_name: Str) -> () / { Dom<'t61>, Channel<'t61> }
Handlers
dom
∀ 't16 , 't15 , 't17 . fn ('t16 / 't15) -> 't16 / { 't15, {unknown}, -Dom<'t17>, {unknown}, -Dom<'t17>, {unknown}, -Dom<'t17>, {unknown}, -Dom<'t17>, {unknown}, -Dom<'t17>, {unknown}, -Dom<'t17>, {unknown}, -Dom<'t17>, {unknown}, -Dom<'t17>, {unknown}, -Dom<'t17>, {unknown}, -Dom<'t17>, {unknown}, -Dom<'t17>, {unknown}, -Dom<'t17>, {unknown}, -Dom<'t17>, {unknown}, -Dom<'t17>, {unknown}, -Dom<'t17>, {unknown}, -Dom<'t17> }