m3e/elevation

Elevation is visually depicts elevation using a shadow.

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

     DO NOT EDIT

Types

</>

Config is a public record for configuring this component.

pub type Config {
  Config(
    disabled: Disabled,
    for: option.Option(String),
    level: option.Option(elevation_level.ElevationLevel),
  )
}

Config(
  disabled: Disabled,
  for: option.Option(String),
  level: option.Option(elevation_level.ElevationLevel),
)

</>

Disabled is whether hover and press events will not trigger changes in elevation, when attached to an interactive element.

pub type Disabled {
  IsDisabled
  IsNotDisabled
}

opaque </>

Elevation is a View Model for this component

disabled: Whether hover and press events will not trigger changes in elevation, when attached to an interactive element.
for: The identifier of the interactive control to which this element is attached.
level: The level at which to visually depict elevation.

pub opaque type Elevation

</>

pub fn default_config() -> Config

default_config is the default configuration for this component.

</>

pub const default_disabled: Disabled

</>

pub const default_for: option.Option(String)

</>

pub const default_level: option.Option(
  elevation_level.ElevationLevel,
)

</>

pub fn disabled(
  record: Elevation,
  disabled: Disabled,
) -> Elevation

disabled sets the value of disabled for this Elevation.

</>

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

for sets the value of for for this Elevation.

</>

pub fn from_config(config: Config) -> Elevation

from_config creates a new Elevation from the given configuration.

</>

pub fn level(
  record: Elevation,
  level: option.Option(elevation_level.ElevationLevel),
) -> Elevation

level sets the value of level for this Elevation.

</>

pub fn new() -> Elevation

new creates a new Elevation with the default configuration.

</>

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

render creates a Lustre Element for a Elevation

</>

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 Elevation Config