ui/slider
Types
Keyboard messages for slider component.
pub type Msg {
Decrease
Increase
SetMin
SetMax
PageIncrease
PageDecrease
}
Constructors
-
DecreaseDecrease value (ArrowLeft or ArrowDown)
-
IncreaseIncrease value (ArrowRight or ArrowUp)
-
SetMinSet to minimum value (Home)
-
SetMaxSet to maximum value (End)
-
PageIncreaseIncrease value by larger step (PageUp)
-
PageDecreaseDecrease value by larger step (PageDown)
Slider orientation.
pub type Orientation {
Horizontal
Vertical
}
Constructors
-
Horizontal -
Vertical
Values
pub fn aria_label(label: String) -> attribute.Attribute(a)
pub fn aria_valuemax(value: Int) -> attribute.Attribute(a)
pub fn aria_valuemin(value: Int) -> attribute.Attribute(a)
pub fn aria_valuenow(value: Int) -> attribute.Attribute(a)
pub fn keymap(
key_event: keyboard.KeyEvent,
orientation: Orientation,
) -> option.Option(Msg)
Keymap for slider keyboard navigation. Follows WAI-ARIA slider pattern:
- ArrowLeft/ArrowDown: Decrease value
- ArrowRight/ArrowUp: Increase value
- Home: Set to minimum value
- End: Set to maximum value
- PageUp: Increase by larger step (optional)
- PageDown: Decrease by larger step (optional)
pub fn max(value: Int) -> attribute.Attribute(a)
pub fn min(value: Int) -> attribute.Attribute(a)
pub fn orientation(o: Orientation) -> attribute.Attribute(a)
Set slider orientation.
pub fn size(s: Size) -> attribute.Attribute(a)
pub fn slider(
attributes: List(attribute.Attribute(a)),
) -> element.Element(a)
pub fn thumb_size(s: Size) -> attribute.Attribute(a)
pub fn value(value: Int) -> attribute.Attribute(a)
pub fn variant(v: Variant) -> attribute.Attribute(a)