Idris2Doc : Text.HTML.Extra.Node

Text.HTML.Extra.Node

(source)

Reexports

import public Text.HTML
import public Text.HTML.DomID
import public Text.HTML.Extra.Class
import public Text.HTML.Select

Definitions

AsyncLog : DomID
  ID of an element to which logging messages can be sent.

Totality: total
Visibility: export
nodeSep : HTMLNode
Totality: total
Visibility: export
spacer : HTMLNode
Totality: total
Visibility: export
separate : HTMLNodes -> HTMLNodes
Totality: total
Visibility: export
iwarn : HTMLNode
  An icon showing a warning triangle with an exclamation mark

Totality: total
Visibility: export
iok : HTMLNode
Totality: total
Visibility: export
iadd : HTMLNode
Totality: total
Visibility: export
icancel : HTMLNode
Totality: total
Visibility: export
idelete : HTMLNode
Totality: total
Visibility: export
iexpanded : HTMLNode
Totality: total
Visibility: export
icollapsed : HTMLNode
Totality: total
Visibility: export
ireload : HTMLNode
Totality: total
Visibility: export
isortDec : HTMLNode
Totality: total
Visibility: export
isortInc : HTMLNode
Totality: total
Visibility: export
inoSort : HTMLNode
Totality: total
Visibility: export
lbl : DomID -> String -> HTMLNode
  Creates a text label for a probably editable field

@ uid : ID used in "for" attribute
@ txt : actual textual content

Totality: total
Visibility: export
btn : Sink e => e -> String -> List (Attribute Button) -> HTMLNode
  A clickable button in the UI firing the given event on a left click.

Totality: total
Visibility: export
icn : Sink e => {default icon _ : Class} -> HTMLNode -> e -> List (Attribute Button) -> HTMLNode
  A clickable button in the UI firing the given event on a left click.

Totality: total
Visibility: export
deleteNode : Sink e => e -> HTMLNode
Totality: total
Visibility: export
addNode : Sink e => e -> HTMLNode
Totality: total
Visibility: export
inp : Sink e => (String -> e) -> List (Attribute Input) -> HTMLNode
  An `<input>` element of the given class.

Totality: total
Visibility: export
sel : Sink t => Eq v => (v -> t) -> (v -> String) -> List v -> Maybe v -> HTMLNode
  A select element displaying the values of type `v`
shown in the given list.

It fires events of type `t`, and uses two functions, one for
converting elements to events and one for displaying elements.

Totality: total
Visibility: export