Web.Async.View

(source)

Definitions

bubbles : Event -> Bool

cancelable : Event -> Bool

addEventListener : EventTarget -> String -> (Event -> IO1 ()) -> IO1 ()

Totality: total
Visibility: export

preventDefault : Event -> IO1 ()

Totality: total
Visibility: export

stopPropagation : Event -> IO1 ()

Totality: total
Visibility: export

registerDOMEvent : Sink e => Bool -> Bool -> EventTarget -> DOMEvent e -> IO1 ()

  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

setAttribute : Element -> Attribute t -> IO1 ()

Totality: total
Visibility: export

children : Has JSErr es => Ref t -> HTMLNodes -> JS es ()

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

Totality: total
Visibility: export

child : Has JSErr es => Ref t -> HTMLNode -> JS es ()

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

Totality: total
Visibility: export

text : Has JSErr es => Ref t -> String -> JS es ()

  Replaces the given node's children with a text node
  displaying the given string.

Totality: total
Visibility: export

show : Has JSErr es => Show b => Ref t -> b -> JS es ()

  Replaces the given node's children with a text node
  showing the given value.

Totality: total
Visibility: export

raw : Has JSErr es => Ref t -> String -> JS es ()

  Replaces the given node's children with the raw
  HTML passed as a string argument.

Totality: total
Visibility: export

style : Has JSErr es => Ref Style -> List (Rule 1) -> JS es ()

  Replaces the given `<style>` node's CSS rules.

Totality: total
Visibility: export

afterMany : Has JSErr es => Ref t -> HTMLNodes -> JS es ()

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

Totality: total
Visibility: export

after : Has JSErr es => Ref t -> HTMLNode -> JS es ()

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

Totality: total
Visibility: export

beforeMany : Has JSErr es => Ref t -> HTMLNodes -> JS es ()

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

Totality: total
Visibility: export

before : Has JSErr es => Ref t -> HTMLNode -> JS es ()

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

Totality: total
Visibility: export

appendMany : Has JSErr es => Ref t -> HTMLNodes -> JS es ()

  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 : Has JSErr es => Ref t -> HTMLNode -> JS es ()

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

Totality: total
Visibility: export

prependMany : Has JSErr es => Ref t -> HTMLNodes -> JS es ()

  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 : Has JSErr es => Ref t -> HTMLNode -> JS es ()

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

Totality: total
Visibility: export

replaceMany : Has JSErr es => Ref t -> HTMLNodes -> JS es ()

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

Totality: total
Visibility: export

replace : Has JSErr es => Ref t -> HTMLNode -> JS es ()

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

Totality: total
Visibility: export

remove : Has JSErr es => Ref t -> JS es ()

  Removes the given element from the DOM.

Totality: total
Visibility: export

attr : Has JSErr es => Ref t -> Attribute t -> JS es ()

  Sets an attribute at the given node.

Totality: total
Visibility: export

checked : Has JSErr es => Ref Input -> Bool -> JS es ()

  Sets the `checked` property of the given element

Totality: total
Visibility: export

disabled : Has JSErr es => Ref t -> Bool -> JS es ()

  Sets the `disabled` attribute of the given element

Totality: total
Visibility: export

disabledE : Has JSErr es => Ref t -> Either a b -> JS es ()

  Sets the `disabled` attribute of the given element
  if the given values is a `Left`.
  
  This is useful for disabling components such as buttons
  in the UI in case of invalid user input.

Totality: total
Visibility: export

disabledM : Has JSErr es => Ref t -> Maybe a -> JS es ()

  Sets the `disabled` attribute of the given element
  if the given values is a `Nothing`.
  
  This is useful for disabling components such as buttons
  in the UI in case of invalid user input.

Totality: total
Visibility: export

focus : Has JSErr es => Ref t -> JS es ()

  Focus the given HTMLElemet

Totality: total
Visibility: export

blur : Has JSErr es => Ref t -> JS es ()

  Blur (lose focus on) the given HTMLElemet

Totality: total
Visibility: export

dialogShow : Has JSErr es => Ref t -> JS es ()

  Show the given dialog element.

Totality: total
Visibility: export

showModal : Has JSErr es => Ref t -> JS es ()

  Show the given dialog element in "modal" mode.

Totality: total
Visibility: export

dialogClose : Has JSErr es => Ref t -> JS es ()

  Close the given dialog element.

Totality: total
Visibility: export

elemChildren : Loggable JS JSErr => DomID -> HTMLNodes -> JS [] ()

Totality: total
Visibility: export

elemChild : Loggable JS JSErr => DomID -> HTMLNode -> JS [] ()

Totality: total
Visibility: export

elemAppend : Loggable JS JSErr => DomID -> HTMLNode -> JS [] ()

Totality: total
Visibility: export

elemAppendMany : Loggable JS JSErr => DomID -> HTMLNodes -> JS [] ()

Totality: total
Visibility: export

elemPrepend : Loggable JS JSErr => DomID -> HTMLNode -> JS [] ()

Totality: total
Visibility: export

elemPrependMany : Loggable JS JSErr => DomID -> HTMLNodes -> JS [] ()

Totality: total
Visibility: export

clearElem : Loggable JS JSErr => DomID -> JS [] ()

Totality: total
Visibility: export

removeElem : Loggable JS JSErr => DomID -> JS [] ()

Totality: total
Visibility: export

replaceElem : Loggable JS JSErr => DomID -> HTMLNode -> JS [] ()

Totality: total
Visibility: export

btnAttr : Loggable JS JSErr => DomID -> Attribute Button -> JS [] ()

Totality: total
Visibility: export