Text.HTML.Select

Utilities for working with `<select>` elements

Definitions

data SelectEntry : Type -> Type

Totality: total
Visibility: public export
Constructors:

Title : String -> SelectEntry t

Entry : t -> String -> SelectEntry t

selectEntries : List (SelectEntry t) -> (t -> Bool) -> (t -> e) -> List (Attribute Select e) -> Node e

Totality: total
Visibility: export

selectFromListBy : List t -> (t -> Bool) -> (t -> String) -> (t -> e) -> List (Attribute Select e) -> Node e

  Create a `<select>` element displaying the options in the given
  list.
  
  @values  : the list of options
  @sel     : true if the given item in the list should be selected
  @display : how to display an option at the UI
  @toEvent : how to convert an option to an event
  @attrs   : additional attributes

Totality: total
Visibility: export

selectFromList : Eq t => List t -> Maybe t -> (t -> String) -> (t -> e) -> List (Attribute Select e) -> Node e

  Like `selectFromListBy` but uses an optional initial value
  to determine the initially selected value.
  
  @values  : the list of options
  @init    : the initially selected option (if any)
  @display : how to display an option at the UI
  @toEvent : how to convert an option to an event
  @attrs   : additional attributes

Totality: total
Visibility: export