ui/checkbox_group

Types

Keyboard messages for checkbox group component.

pub type Msg {
  MoveNext
  MovePrev
  MoveFirst
  MoveLast
  Toggle
}

</>

pub type Size {
  Small
  Medium
  Large
}

</>

pub type Variant {
  Default
  Muted
}

</>

pub fn checkbox_element_id(index: Int) -> String

Get the element ID for a checkbox at the given index.

</>

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

</>

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

</>

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

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

</>

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

</>

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

</>

pub fn variant(v: Variant) -> attribute.Attribute(a)