m3e/app_bar
AppBar is a bar, placed a the top of a screen, used to help users navigate through an application.
This file was generated: By: m3e/generator version 0.1.0 At: 2026-05-05T14:38:23+10:00
DO NOT EDIT
Types
AppBar is a View Model for this component
Fields:
- centered: Whether the title and subtitle are centered.
- for: The identifier of the interactive control to which this element is attached.
- size: The size of the bar.
pub opaque type AppBar
Centered is whether the title and subtitle are centered.
pub type Centered {
IsCentered
IsNotCentered
}
Constructors
-
IsCentered -
IsNotCentered
Config is a public record for configuring this component.
pub type Config {
Config(
centered: Centered,
for: option.Option(String),
size: app_bar_size.AppBarSize,
)
}
Constructors
-
Config( centered: Centered, for: option.Option(String), size: app_bar_size.AppBarSize, )
Values
pub fn centered(record: AppBar, centered: Centered) -> AppBar
centered sets the value of centered for this AppBar.
pub const default_centered: Centered
pub fn default_config() -> Config
default_config is the default configuration for this component.
pub const default_for: option.Option(String)
pub const default_size: app_bar_size.AppBarSize
pub fn for(record: AppBar, for: option.Option(String)) -> AppBar
for sets the value of for for this AppBar.
pub fn from_config(config: Config) -> AppBar
from_config creates a new AppBar from the given configuration.
pub fn render(
model: AppBar,
attributes: List(attribute.Attribute(msg)),
children: List(element.Element(msg)),
) -> element.Element(msg)
render creates a Lustre Element for a AppBar
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 AppBar Config
pub fn size(
record: AppBar,
size: app_bar_size.AppBarSize,
) -> AppBar
size sets the value of size for this AppBar.
pub fn slot(s: Slot) -> attribute.Attribute(msg)
slot returns a Lustre Attribute(msg) for the given slot name