m3e/drawer_toggle

DrawerToggle is an element, nested within a clickable element, used to toggle the opened state of a drawer.

This file was generated by m3e/generator

     DO NOT EDIT

Types

opaque </>

DrawerToggle is a View Model for this component

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

pub opaque type DrawerToggle

</>

pub const default_for: option.Option(String)

</>

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

for sets the value of for for this DrawerToggle.

</>

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

new creates a new DrawerToggle with the default configuration.

</>

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

render creates a Lustre Element for a DrawerToggle