Idris2Doc : Text.HTML.Extra.Class

Text.HTML.Extra.Class

(source)

Reexports

importpublic Text.CSS.Class

Definitions

level : LogLevel->Class
Totality: total
Visibility: export
asyncLog : Class
  A class for the async logging element

Totality: total
Visibility: export
hidden : Class
  A class for hidden elements (CSS: `display: None`)

Totality: total
Visibility: export
sep : Class
  A class for widget separators

Totality: total
Visibility: export
spacer : Class
  A class for spacers in flex boxes

Totality: total
Visibility: export
btn : Class
  A UI widget that should be styled similar to a regular button.

Totality: total
Visibility: export
icon : Class
  A button with a background image

Totality: total
Visibility: export
roundIcon : Class
  A round icon

Totality: total
Visibility: export
validatedInput : Class
  A div-wrapper around a validated DOM element and
its validation icon.

Totality: total
Visibility: export
iconMissing : Class
  An icon to signal that some mandatory input is missing.

Totality: total
Visibility: export
iconError : Class
  An icon to signal that some input is invalid

Totality: total
Visibility: export
expandIcon : Class
  An icon used to expand a collapsed section in the UI

Totality: total
Visibility: export
deleteIcon : Class
  An icon used to remove/delete a piece of data.

Totality: total
Visibility: export
okIcon : Class
  An icon used to confirm an action.

Totality: total
Visibility: export
addIcon : Class
  An icon used to add some data.

Totality: total
Visibility: export
trueIcon : Class
  An icon representing a `True` value.

Totality: total
Visibility: export
falseIcon : Class
  An icon representing a `False` value.

Totality: total
Visibility: export