glizzy - v0.1.0

ui/radio_group

Types

Msg

</>

Keyboard messages for radio group component.

pub type Msg {
  MoveNext
  MovePrev
  MoveFirst
  MoveLast
  Select
}

Constructors 

  • MoveNext

    Move to next radio button (ArrowRight or ArrowDown)

  • MovePrev

    Move to previous radio button (ArrowLeft or ArrowUp)

  • MoveFirst

    Move to first radio button (Home)

  • MoveLast

    Move to last radio button (End)

  • Select

    Select the currently focused radio button (Space)

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 radio group keyboard navigation. Follows WAI-ARIA radio group pattern:

  • ArrowRight/ArrowDown: Move to next radio button (wraps)
  • ArrowLeft/ArrowUp: Move to previous radio button (wraps)
  • Home: Move to first radio button
  • End: Move to last radio button
  • Space: Select the currently focused radio button

option

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

radio_element_id

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

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

radio_group

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

size

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

variant

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