glizzy - v0.1.0

ui/toggle_button_group

Types

Msg

</>

Keyboard messages for toggle button group component.

pub type Msg {
  MoveNext
  MovePrev
  MoveFirst
  MoveLast
  Toggle
}

Constructors 

  • MoveNext

    Move to next toggle button (ArrowRight or ArrowDown)

  • MovePrev

    Move to previous toggle button (ArrowLeft or ArrowUp)

  • MoveFirst

    Move to first toggle button (Home)

  • MoveLast

    Move to last toggle button (End)

  • Toggle

    Toggle the currently focused button (Space or Enter)

Size

</> 
pub type Size {
  Small
  Medium
  Large
}

Constructors 

  • Small
  • Medium
  • Large

Variant

</> 
pub type Variant {
  Default
  Muted
}

Constructors 

  • Default
  • Muted

Values

keymap

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

Keymap for toggle button group keyboard navigation. Follows WAI-ARIA toggle button group pattern:

  • ArrowRight/ArrowDown: Move to next toggle button
  • ArrowLeft/ArrowUp: Move to previous toggle button
  • Home: Move to first toggle button
  • End: Move to last toggle button
  • Space/Enter: Toggle the currently focused button

size

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

toggle_button_element_id

</> 
pub fn toggle_button_element_id(index: Int) -> String

Get the element ID for a toggle button at the given index.

toggle_button_group

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

variant

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