glizzy - v0.1.0

ui/tag_group

Types

Msg

</>

Messages for tag group keyboard navigation

pub type Msg {
  MoveNext
  MovePrev
  MoveFirst
  MoveLast
  Remove
  Edit
  Activate
}

Constructors 

  • MoveNext
  • MovePrev
  • MoveFirst
  • MoveLast
  • Remove
  • Edit
  • Activate

SelectionMode

</> 
pub type SelectionMode {
  None
  Single
  Multiple
}

Constructors 

  • None
  • Single
  • Multiple

Size

</> 
pub type Size {
  Small
  Medium
  Large
}

Constructors 

  • Small
  • Medium
  • Large

Variant

</> 
pub type Variant {
  Default
  Secondary
  Outline
}

Constructors 

  • Default
  • Secondary
  • Outline

Values

aria_label

</> 
pub fn aria_label(label: String) -> attribute.Attribute(a)

keymap

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

Keymap for tag group keyboard navigation

Keyboard interactions:

  • Arrow keys: Navigate between tags
  • Delete: Remove tag
  • Enter: Edit/activate tag
  • Home: First tag
  • End: Last tag

Follows WAI-ARIA Tag Group pattern.

selection_mode

</> 
pub fn selection_mode(m: SelectionMode) -> attribute.Attribute(a)

size

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

tag

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

tag_group

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

tag_with_remove

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

variant

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