m3e/timepicker_input

TimepickerInput is a keyboard‑based time surface for choosing hours and minutes.

This file was generated by m3e/generator

     DO NOT EDIT

Types

Config

</>

Config is a public record for configuring this component.

pub type Config {
  Config(
    format: timepicker_format.TimepickerFormat,
    hide_labels: HideLabels,
    hour: option.Option(Float),
    max_time: option.Option(time_parts.TimeParts),
    min_time: option.Option(time_parts.TimeParts),
    minute: option.Option(Float),
    second: option.Option(Float),
    show_seconds: ShowSeconds,
    orientation: timepicker_orientation.TimepickerOrientation,
    period: timepicker_period.TimepickerPeriod,
    view: timepicker_view.TimepickerView,
    hour_label: String,
    minute_label: String,
    second_label: String,
    period_toggle_label: String,
    for: option.Option(String),
  )
}

Constructors

Config(
  format: timepicker_format.TimepickerFormat,
  hide_labels: HideLabels,
  hour: option.Option(Float),
  max_time: option.Option(time_parts.TimeParts),
  min_time: option.Option(time_parts.TimeParts),
  minute: option.Option(Float),
  second: option.Option(Float),
  show_seconds: ShowSeconds,
  orientation: timepicker_orientation.TimepickerOrientation,
  period: timepicker_period.TimepickerPeriod,
  view: timepicker_view.TimepickerView,
  hour_label: String,
  minute_label: String,
  second_label: String,
  period_toggle_label: String,
  for: option.Option(String),
)

HideLabels

</>

HideLabels is whether to hide field labels.

pub type HideLabels {
  IsHideLabels
  IsNotHideLabels
}

Constructors

```
IsHideLabels
```
```
IsNotHideLabels
```

ShowSeconds

</>

ShowSeconds is whether to show seconds.

pub type ShowSeconds {
  IsShowSeconds
  IsNotShowSeconds
}

Constructors

```
IsShowSeconds
```
```
IsNotShowSeconds
```

TimepickerInput

opaque </>

TimepickerInput is a View Model for this component

Fields:

format: Whether to use a 12‑hour or 24‑hour clock.
hide_labels: Whether to hide field labels.
hour: The hour, in 24-hour time, from 0..23.
max_time: The maximum time that can be selected.
min_time: The minimum time that can be selected.
minute: The minute, from 0..59.
second: The second, from 0..59.
show_seconds: Whether to show seconds.
orientation: The orientation of the input.
period: The 12-hour time period.
view: The view used to input time.
hour_label: The label for the hour field.
minute_label: The label for the minute field.
second_label: The label for the second field.
period_toggle_label: The accessible label given to the period toggle.
for: The identifier of the interactive control to which this element is attached.

pub opaque type TimepickerInput

Values

default_config

</>

pub fn default_config() -> Config

default_config is the default configuration for this component.

default_for

</>

pub const default_for: option.Option(String)

default_format

</>

pub const default_format: timepicker_format.TimepickerFormat

default_hide_labels

</>

pub const default_hide_labels: HideLabels

default_hour

</>

pub const default_hour: option.Option(Float)

default_hour_label

</>

pub const default_hour_label: String

default_max_time

</>

pub const default_max_time: option.Option(time_parts.TimeParts)

default_min_time

</>

pub const default_min_time: option.Option(time_parts.TimeParts)

default_minute

</>

pub const default_minute: option.Option(Float)

default_minute_label

</>

pub const default_minute_label: String

default_orientation

</>

pub const default_orientation: timepicker_orientation.TimepickerOrientation

default_period

</>

pub const default_period: timepicker_period.TimepickerPeriod

default_period_toggle_label

</>

pub const default_period_toggle_label: String

default_second

</>

pub const default_second: option.Option(Float)

default_second_label

</>

pub const default_second_label: String

default_show_seconds

</>

pub const default_show_seconds: ShowSeconds

default_view

</>

pub const default_view: timepicker_view.TimepickerView

for

</>

pub fn for(
  record: TimepickerInput,
  for: option.Option(String),
) -> TimepickerInput

for sets the value of for for this TimepickerInput.

format

</>

pub fn format(
  record: TimepickerInput,
  format: timepicker_format.TimepickerFormat,
) -> TimepickerInput

format sets the value of format for this TimepickerInput.

from_config

</>

pub fn from_config(config: Config) -> TimepickerInput

from_config creates a new TimepickerInput from the given configuration.

hide_labels

</>

pub fn hide_labels(
  record: TimepickerInput,
  hide_labels: HideLabels,
) -> TimepickerInput

hide_labels sets the value of hide_labels for this TimepickerInput.

hour

</>

pub fn hour(
  record: TimepickerInput,
  hour: option.Option(Float),
) -> TimepickerInput

hour sets the value of hour for this TimepickerInput.

hour_label

</>

pub fn hour_label(
  record: TimepickerInput,
  hour_label: String,
) -> TimepickerInput

hour_label sets the value of hour_label for this TimepickerInput.

max_time

</>

pub fn max_time(
  record: TimepickerInput,
  max_time: option.Option(time_parts.TimeParts),
) -> TimepickerInput

max_time sets the value of max_time for this TimepickerInput.

min_time

</>

pub fn min_time(
  record: TimepickerInput,
  min_time: option.Option(time_parts.TimeParts),
) -> TimepickerInput

min_time sets the value of min_time for this TimepickerInput.

minute

</>

pub fn minute(
  record: TimepickerInput,
  minute: option.Option(Float),
) -> TimepickerInput

minute sets the value of minute for this TimepickerInput.

minute_label

</>

pub fn minute_label(
  record: TimepickerInput,
  minute_label: String,
) -> TimepickerInput

minute_label sets the value of minute_label for this TimepickerInput.

new

</>

pub fn new() -> TimepickerInput

new creates a new TimepickerInput with the default configuration.

orientation

</>

pub fn orientation(
  record: TimepickerInput,
  orientation: timepicker_orientation.TimepickerOrientation,
) -> TimepickerInput

orientation sets the value of orientation for this TimepickerInput.

period

</>

pub fn period(
  record: TimepickerInput,
  period: timepicker_period.TimepickerPeriod,
) -> TimepickerInput

period sets the value of period for this TimepickerInput.

period_toggle_label

</>

pub fn period_toggle_label(
  record: TimepickerInput,
  period_toggle_label: String,
) -> TimepickerInput

period_toggle_label sets the value of period_toggle_label for this TimepickerInput.

render

</>

pub fn render(
  model: TimepickerInput,
  attributes: List(attribute.Attribute(msg)),
) -> element.Element(msg)

render creates a Lustre Element for a TimepickerInput

render_config

</>

pub fn render_config(
  c: Config,
  attributes: List(attribute.Attribute(msg)),
) -> element.Element(msg)

render_config creates a Lustre Element from a TimepickerInput Config

second

</>

pub fn second(
  record: TimepickerInput,
  second: option.Option(Float),
) -> TimepickerInput

second sets the value of second for this TimepickerInput.

second_label

</>

pub fn second_label(
  record: TimepickerInput,
  second_label: String,
) -> TimepickerInput

second_label sets the value of second_label for this TimepickerInput.

show_seconds

</>

pub fn show_seconds(
  record: TimepickerInput,
  show_seconds: ShowSeconds,
) -> TimepickerInput

show_seconds sets the value of show_seconds for this TimepickerInput.

view

</>

pub fn view(
  record: TimepickerInput,
  view: timepicker_view.TimepickerView,
) -> TimepickerInput

view sets the value of view for this TimepickerInput.