glizzy - v0.1.0

ui/number_field

Types

Msg

</>

Messages for number field keyboard navigation

pub type Msg {
  Increment
  Decrement
  SetMin
  SetMax
  Clear
}

Constructors 

  • Increment
  • Decrement
  • SetMin
  • SetMax
  • Clear

Size

</> 
pub type Size {
  Small
  Medium
  Large
}

Constructors 

  • Small
  • Medium
  • Large

Variant

</> 
pub type Variant {
  Default
  Muted
}

Constructors 

  • Default
  • Muted

Values

file

</> 
pub fn file() -> attribute.Attribute(a)

input

</> 
pub fn input(
  attributes: List(attribute.Attribute(a)),
) -> element.Element(a)

keymap

</> 
pub fn keymap(key_event: keyboard.KeyEvent) -> option.Option(Msg)

Keymap for number field keyboard navigation

Keyboard interactions:

  • ArrowUp: Increment value
  • ArrowDown: Decrement value
  • Home: Minimum value
  • End: Maximum value
  • Escape: Clear value

Follows WAI-ARIA Spinbutton pattern.

size

</> 
pub fn size(s: Size) -> attribute.Attribute(a)

variant

</> 
pub fn variant(v: Variant) -> attribute.Attribute(a)
✨ Search Document