Idris2Doc : CyBy.UI.HTML

CyBy.UI.HTML

(source)

Reexports

importpublic CyBy.UI.CSS.Classes
importpublic Text.HTML
importpublic Text.HTML.DomID

Definitions

nodeSep : HTMLNode
Totality: total
Visibility: export
spacer : HTMLNode
Totality: total
Visibility: export
separate : HTMLNodes->HTMLNodes
Totality: total
Visibility: export
select : HTMLNode
  Icon for selecting items in the UI

Totality: total
Visibility: export
erase : HTMLNode
  Icon of an eraser

Totality: total
Visibility: export
trash : HTMLNode
  Icon of a trash can

Totality: total
Visibility: export
undo : HTMLNode
  Undo icon (counter clockwise arrow)

Totality: total
Visibility: export
redo : HTMLNode
  Redo icon (clockwise arrow)

Totality: total
Visibility: export
center : HTMLNode
  Icon for centering a molecule

Totality: total
Visibility: export
zoomIn : HTMLNode
  Lens with a plus sign

Totality: total
Visibility: export
zoomOut : HTMLNode
  Lens with a minus sign

Totality: total
Visibility: export
single : HTMLNode
  A single bond (TODO: fix its size)

Totality: total
Visibility: export
double : HTMLNode
  A double bond

Totality: total
Visibility: export
triple : HTMLNode
  A triple bond

Totality: total
Visibility: export
bondUp : HTMLNode
  A wedged bond towards the viewer

Totality: total
Visibility: export
bondDown : HTMLNode
  A wedged bond away from the viewer

Totality: total
Visibility: export
bondEither : HTMLNode
  A wavy bond

Totality: total
Visibility: export
cyclopropane : HTMLNode
Totality: total
Visibility: export
cyclobutane : HTMLNode
Totality: total
Visibility: export
cyclopentane : HTMLNode
Totality: total
Visibility: export
cyclohexane : HTMLNode
Totality: total
Visibility: export
cycloheptane : HTMLNode
Totality: total
Visibility: export
cyclooctane : HTMLNode
Totality: total
Visibility: export
benzene : HTMLNode
Totality: total
Visibility: export
rotate : String
  base-64 encoded png of the rotate icon

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