Web.MVC.View

Definitions

registerDOMEvent : (e -> JSIO ()) -> Bool -> Bool -> 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

setAttribute : (e -> JSIO ()) -> Element -> Attribute t e -> JSIO ()

Totality: total
Visibility: export

children : Ref t -> List (Node e) -> Cmd e

  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 : Ref t -> Node e -> Cmd e

  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 : Ref t -> String -> Cmd e

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

Totality: total
Visibility: export

show : Show b => Ref t -> b -> Cmd e

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

Totality: total
Visibility: export

raw : Ref t -> String -> Cmd e

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

Totality: total
Visibility: export

style : Ref Style -> List (Rule 1) -> Cmd e

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

Totality: total
Visibility: export

afterMany : Ref t -> List (Node e) -> Cmd e

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

Totality: total
Visibility: export

after : Ref t -> Node e -> Cmd e

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

Totality: total
Visibility: export

beforeMany : Ref t -> List (Node e) -> Cmd e

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

Totality: total
Visibility: export

before : Ref t -> Node e -> Cmd e

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

Totality: total
Visibility: export

appendMany : Ref t -> List (Node e) -> Cmd e

  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 : Ref t -> Node e -> Cmd e

  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 : Ref t -> List (Node e) -> Cmd e

  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 : Ref t -> Node e -> Cmd e

  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 : Ref t -> List (Node e) -> Cmd e

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

Totality: total
Visibility: export

replace : Ref t -> Node e -> Cmd e

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

Totality: total
Visibility: export

validityMsg : Ref t -> ValidityTag t => String -> Cmd e

  Sets a custom validity message at the given node.

Totality: total
Visibility: export

validate : Ref t -> ValidityTag t => Either String b -> Cmd e

  Sets or unsets a custom validity message at the given node.

Totality: total
Visibility: export

attr : Ref t -> Attribute t e -> Cmd e

  Sets an attribute at the given node.

Totality: total
Visibility: export

checked : Ref Input -> Bool -> Cmd e

  Sets the `checked` property of the given element

Totality: total
Visibility: export

disabled : Ref t -> Bool -> Cmd e

  Sets the `disabled` attribute of the given element

Totality: total
Visibility: export

disabledE : Ref t -> Either a b -> Cmd e

  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 : Ref t -> Maybe a -> Cmd e

  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

remove : Ref t -> Cmd e

  Removes the given element from the DOM.

Totality: total
Visibility: export

value : Ref t -> ValueTag t => String -> Cmd e

  Sets the `value` attribute of the given element.

Totality: total
Visibility: export

renderWithMetrics : Ref Canvas -> (TextMeasure => CanvasDims -> Scene) -> Cmd e

  Renders a scene at a canvas element

Totality: total
Visibility: export

renderWithDims : Ref Canvas -> (CanvasDims -> Scene) -> Cmd e

  Renders a scene at a canvas element

Totality: total
Visibility: export

render : Ref Canvas -> Scene -> Cmd e

  Renders a scene at a canvas element

Totality: total
Visibility: export

setCanvasDims : Ref Canvas -> CanvasDims -> Cmd e

  Adjusts the dimensions of a `HTMLCanvasElement`

Totality: total
Visibility: export

focus : Ref t -> Cmd e

  Focus the given HTMLElemet

Totality: total
Visibility: export

blur : Ref t -> Cmd e

  Blur (lose focus on) the given HTMLElemet

Totality: total
Visibility: export

withMetricsFor : Ref Canvas -> (TextMeasure => Cmd e) -> Cmd e

  Provides a `TextMeasure` utility from the given `Canvas` to run the given
  command.

Totality: total
Visibility: export