m3e - v2.0.0-alpha.1

m3e/menu_item_checkbox

MenuItemCheckbox is an item of a menu which supports a checkable state.

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

     DO NOT EDIT

Types

Checked

</>

Checked is whether the element is checked.

pub type Checked {
  IsChecked
  IsNotChecked
}

Constructors 

  • IsChecked
  • IsNotChecked

Config

</>

Config is a public record for configuring this component.

pub type Config {
  Config(disabled: Disabled, checked: Checked)
}

Constructors

Disabled

</>

Disabled is whether the element is disabled.

pub type Disabled {
  IsDisabled
  IsNotDisabled
}

Constructors 

  • IsDisabled
  • IsNotDisabled
opaque </>

MenuItemCheckbox is a View Model for this component

Fields:

  • disabled: Whether the element is disabled.
  • checked: Whether the element is checked.
pub opaque type MenuItemCheckbox

Slot

</>

Slots are used in child elements to insert content into this component

pub type Slot {
  Icon
  TrailingIcon
}

Constructors 

  • Icon
  • TrailingIcon

Values

checked

</> 
pub fn checked(
  record: MenuItemCheckbox,
  checked: Checked,
) -> MenuItemCheckbox

checked sets the value of checked for this MenuItemCheckbox.

default_checked

</> 
pub const default_checked: Checked

default_config

</> 
pub fn default_config() -> Config

default_config is the default configuration for this component.

default_disabled

</> 
pub const default_disabled: Disabled

disabled

</> 
pub fn disabled(
  record: MenuItemCheckbox,
  disabled: Disabled,
) -> MenuItemCheckbox

disabled sets the value of disabled for this MenuItemCheckbox.

from_config

</> 
pub fn from_config(config: Config) -> MenuItemCheckbox

from_config creates a new MenuItemCheckbox from the given configuration.

new

</> 
pub fn new() -> MenuItemCheckbox

new creates a new MenuItemCheckbox with the default configuration.

render

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

render creates a Lustre Element for a MenuItemCheckbox

render_config

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

render_config creates a Lustre Element from a MenuItemCheckbox Config

slot

</> 
pub fn slot(s: Slot) -> attribute.Attribute(msg)

slot returns a Lustre Attribute(msg) for the given slot name

✨ Search Document