Idris2Doc : CyBy.UI.HTML

CyBy.UI.HTML

(source)

Reexports

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

Definitions

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

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