Rhone.JS.Reactimate

Definitions

registerDOMEvent : Handler JSIO e => EventTarget -> DOMEvent e -> JSIO ()

  Low level method for registering `DOMEvents` at
  HTML elements.
  
  Use this, for instance, to register `DOMEvents` at
  a HTMLElement of a static document.

Totality: total
Visibility: export

handleEvent : Handler JSIO e => ElemRef t -> DOMEvent e -> JSIO ()

  Manually register an event handler at the given element

Totality: total
Visibility: export

setAttribute : Handler JSIO e => Element -> Attribute e -> JSIO ()

Totality: total
Visibility: export

setAttributeRef : Handler JSIO e => ElemRef t -> Attribute e -> JSIO ()

Totality: total
Visibility: export

setAttributesRef : Handler JSIO e => ElemRef t -> List (Attribute e) -> JSIO ()

Totality: total
Visibility: export

replaceChildren : Element -> DocumentFragment -> JSIO ()

  Replaces all children of the given node with a new document fragment.

Totality: total
Visibility: export

appendDF : Element -> DocumentFragment -> JSIO ()

  Appends the given document fragment to a DOM element's children

Totality: total
Visibility: export

prependDF : Element -> DocumentFragment -> JSIO ()

  Prepends the given document fragment to a DOM element's children

Totality: total
Visibility: export

afterDF : Element -> DocumentFragment -> JSIO ()

  Inserts the given document fragment after a DOM element.

Totality: total
Visibility: export

beforeDF : Element -> DocumentFragment -> JSIO ()

  Inserts the given document fragment before a DOM element.

Totality: total
Visibility: export

replaceDF : Element -> DocumentFragment -> JSIO ()

  Inserts the given document fragment before a DOM element.

Totality: total
Visibility: export

data DOMUpdate : Type -> Type

Totality: total
Visibility: public export
Constructors:

Children : ElemRef t -> List (Node e) -> DOMUpdate e

Replace : ElemRef t -> List (Node e) -> DOMUpdate e

Append : ElemRef t -> List (Node e) -> DOMUpdate e

Prepend : ElemRef t -> List (Node e) -> DOMUpdate e

After : ElemRef t -> List (Node e) -> DOMUpdate e

Before : ElemRef t -> List (Node e) -> DOMUpdate e

Attr : ElemRef t -> Attribute e -> DOMUpdate e

Remove : ElemRef t -> DOMUpdate e

innerHtmlAtN : Handler JSIO e => ElemRef t -> List (Node e) -> JSIO ()

  Sets up the reactive behavior of the given `Node`s and
  inserts them as the children of the given target.

Totality: total
Visibility: export

innerHtmlAt : Handler JSIO e => ElemRef t -> Node e -> JSIO ()

  Sets up the reactive behavior of the given `Node` and
  inserts it as the only child of the given target.

Totality: total
Visibility: export

afterN : Handler JSIO e => ElemRef t -> List (Node e) -> JSIO ()

  Sets up the reactive behavior of the given `Node`s and
  inserts them after the given child node.

Totality: total
Visibility: export

after : Handler JSIO e => ElemRef t -> Node e -> JSIO ()

  Sets up the reactive behavior of the given `Node` and
  inserts it after the given child node.

Totality: total
Visibility: export

beforeN : Handler JSIO e => ElemRef t -> List (Node e) -> JSIO ()

  Sets up the reactive behavior of the given `Node`s and
  inserts them before the given child node.

Totality: total
Visibility: export

before : Handler JSIO e => ElemRef t -> Node e -> JSIO ()

  Sets up the reactive behavior of the given `Node` and
  inserts it before the given child node.

Totality: total
Visibility: export

appendN : Handler JSIO e => ElemRef t -> List (Node e) -> JSIO ()

  Sets up the reactive behavior of the given `Node`s and
  appends them to the given element's list of children

Totality: total
Visibility: export

append : Handler JSIO e => ElemRef t -> Node e -> JSIO ()

  Sets up the reactive behavior of the given `Node` and
  appends it to the given element's list of children

Totality: total
Visibility: export

prependN : Handler JSIO e => ElemRef t -> List (Node e) -> JSIO ()

  Sets up the reactive behavior of the given `Node`s and
  prepends them to the given element's list of children

Totality: total
Visibility: export

prepend : Handler JSIO e => ElemRef t -> Node e -> JSIO ()

  Sets up the reactive behavior of the given `Node` and
  prepends it to the given element's list of children

Totality: total
Visibility: export

replaceN : Handler JSIO e => ElemRef t -> List (Node e) -> JSIO ()

  Sets up the reactive behavior of the given `Node`s and
  replaces the given element.

Totality: total
Visibility: export

replace : Handler JSIO e => ElemRef t -> Node e -> JSIO ()

  Sets up the reactive behavior of the given `Node` and
  replaces the given element.

Totality: total
Visibility: export

updateDOM1 : Handler JSIO e => DOMUpdate e -> JSIO ()

  Execute a single DOM update instruction

Totality: total
Visibility: export

updateDOM : Handler JSIO e => List (DOMUpdate e) -> JSIO ()

  Execute several DOM update instructions

Totality: total
Visibility: export