Idris2Doc : Text.HTML.Extra.Node

Text.HTML.Extra.Node

(source)

Reexports

importpublic Text.HTML
importpublic Text.HTML.DomID
importpublic Text.HTML.Extra.Class
importpublic 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 : Sinke=>e->String->List (AttributeButton) ->HTMLNode
  A clickable button in the UI firing the given event on a left click.

Totality: total
Visibility: export
icn : Sinke=> {defaulticon_ : Class} ->HTMLNode->e->List (AttributeButton) ->HTMLNode
  A clickable button in the UI firing the given event on a left click.

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

Totality: total
Visibility: export
sel : Sinkt=>Eqv=> (v->t) -> (v->String) ->Listv->Maybev->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