m3e/datepicker_toggle

DatepickerToggle is an element, nested within a clickable element, used to toggle a datepicker.

This file was generated: By: m3e/generator version 0.1.0 At: 2026-05-05T14:38:23+10:00

     DO NOT EDIT

Types

DatepickerToggle

opaque </>

DatepickerToggle is a View Model for this component

Fields:

for: The identifier of the interactive control to which this element is attached.

pub opaque type DatepickerToggle

Values

default_for

</>

pub const default_for: option.Option(String)

for

</>

pub fn for(
  arg: DatepickerToggle,
  for: option.Option(String),
) -> DatepickerToggle

for sets the value of for for this DatepickerToggle.

new

</>

pub fn new(for: option.Option(String)) -> DatepickerToggle

new creates a new DatepickerToggle with the default configuration.

render

</>

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

render creates a Lustre Element for a DatepickerToggle