Text.HTML.Select

Definitions

data SelectEntry : Type -> Type

Totality: total
Visibility: public export
Constructors:

Title : String -> SelectEntry t

Entry : t -> String -> SelectEntry t

selectEntries : Sink e => List (SelectEntry t) -> (t -> Bool) -> (t -> e) -> List (Attribute Select) -> HTMLNode

Totality: total
Visibility: export

selectFromListBy : Sink e => List t -> (t -> Bool) -> (t -> String) -> (t -> e) -> List (Attribute Select) -> HTMLNode

  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 : Sink e => Eq t => List t -> Maybe t -> (t -> String) -> (t -> e) -> List (Attribute Select) -> HTMLNode

  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