Idris2Doc : Text.HTML.Class

Text.HTML.Class

(source)
Reexports
import public Text.CSS.Class
Definitions
Widget : SnocList Class
  A UI widget (typically, an interactive element such as a button
  or text input field)

  Totality: total
  Visibility: export
Btn : SnocList Class
  A clickable button with some text.

  Totality: total
  Visibility: export
Comp : SnocList Class
  A larger UI component

  Totality: total
  Visibility: export
Cell : SnocList Class
  A cell in a table

  Totality: total
  Visibility: export
Icon : SnocList Class
  A clickable icon

  Totality: total
  Visibility: export
Inp : SnocList Class
  A text input field

  Totality: total
  Visibility: export
Sel : SnocList Class
  A select element

  Totality: total
  Visibility: export
Lbl : SnocList Class
  A text typically linked to some input element

  Totality: total
  Visibility: export
Lst : SnocList Class
  A larger view displaying a list of values

  Totality: total
  Visibility: export
Row : SnocList Class
  A single row in a list of values

  Totality: total
  Visibility: export
Title : SnocList Class
  A title in a UI component

  Totality: total
  Visibility: export
collapsed : Class
  A collapsed UI element (hiding some details)

  Totality: total
  Visibility: export
expanded : Class
  An expanded UI element

  Totality: total
  Visibility: export
cls : SnocList Class -> Class -> Attribute t e
  Totality: total
  Visibility: export
cls1 : Class -> Attribute t e
  Totality: total
  Visibility: export
lbl : Cast i DomID => Class -> i -> String -> Node e
  Creates a text label for a probably editable field
  
  @ uid   : ID used in "for" attribute
  @ class : CSS class to use
  @ txt   : actual textual content

  Totality: total
  Visibility: export
cell : Class -> List (Attribute Div e) -> List (Node e) -> Node e
  A cell in a table

  Totality: total
  Visibility: export
list : Class -> List (Attribute Ul e) -> List (Node e) -> Node e
  A list of elements.

  Totality: total
  Visibility: export
row : Class -> List (Attribute Div e) -> List (Node e) -> Node e
  A single row in a list of elements.

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

  Totality: total
  Visibility: export
icon : Class -> e -> List (Attribute Button e) -> Node e
  A clickable icon in the UI firing the given event on a left click.

  Totality: total
  Visibility: export
iok : Cast i DomID => i -> e -> Node e
  A clickable icon with predefined class.
  
  This takes a `DomID` as additional argument since we want
  to be able to disable it in case of invalid input.

  Totality: total
  Visibility: export
iadd : e -> Node e
  A clickable icon with predefined class.

  Totality: total
  Visibility: export
icancel : e -> Node e
  A clickable icon with predefined class.

  Totality: total
  Visibility: export
idelete : e -> Node e
  A clickable icon with predefined class.

  Totality: total
  Visibility: export
inp : Class -> (String -> e) -> List (Attribute Input e) -> Node e
  An `<input>` element of the given class.

  Totality: total
  Visibility: export
sel : Eq t => (v -> t) -> (v -> String) -> List v -> Class -> Maybe t -> Node t
  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