Current section
Files
Jump to
Current section
Files
src/m3e/button.gleam
//// Button is a button users interact with to perform an action.
////
//// This file was generated by m3e/generator
////
//// DO NOT EDIT
////
import gleam/function
import gleam/list
import gleam/option.{type Option, None}
import lustre/attribute.{type Attribute}
import lustre/element.{type Element}
import m3e/attr
import m3e/button_shape.{type ButtonShape}
import m3e/button_size.{type ButtonSize}
import m3e/button_variant.{type ButtonVariant}
import m3e/form_submitter_type.{type FormSubmitterType}
import m3e/link_target.{type LinkTarget}
// --- Types ---
/// Button is a View Model for this component
///
/// ## Fields:
///
/// - disabled: Whether the element is disabled.
/// - disabled_interactive: Whether the element is disabled and interactive.
/// - download: A value indicating whether the `target` of the link button will be downloaded, optionally specifying the new name of the file.
/// - href: The URL to which the link button points.
/// - name: The name of the element, submitted as a pair with the element's `value` as part of form data, when the element is used to submit a form.
/// - rel: The relationship between the `target` of the link button and the document.
/// - selected: Whether the toggle button is selected.
/// - shape: The shape of the button.
/// - size: The size of the button.
/// - target: The target of the link button.
/// - toggle: Whether the button will toggle between selected and unselected states.
/// - type_: The type of the element.
/// - value: The value associated with the element's name when it's submitted with form data.
/// - variant: The appearance variant of the button.
///
pub opaque type Button {
Button(
disabled: Disabled,
disabled_interactive: DisabledInteractive,
download: Option(String),
href: String,
name: String,
rel: String,
selected: Selected,
shape: ButtonShape,
size: ButtonSize,
target: Option(LinkTarget),
toggle: Toggle,
type_: FormSubmitterType,
value: String,
variant: ButtonVariant,
)
}
/// Disabled is whether the element is disabled.
///
pub type Disabled {
IsDisabled
IsNotDisabled
}
/// DisabledInteractive is whether the element is disabled and interactive.
///
pub type DisabledInteractive {
IsDisabledInteractive
IsNotDisabledInteractive
}
/// Selected is whether the toggle button is selected.
///
pub type Selected {
IsSelected
IsNotSelected
}
/// Toggle is whether the button will toggle between selected and unselected states.
///
pub type Toggle {
IsToggle
IsNotToggle
}
// --- Defaults ---
pub const default_disabled: Disabled = IsNotDisabled
pub const default_disabled_interactive: DisabledInteractive = IsNotDisabledInteractive
pub const default_download: Option(String) = None
pub const default_href: String = ""
pub const default_name: String = ""
pub const default_rel: String = ""
pub const default_selected: Selected = IsNotSelected
pub const default_shape: ButtonShape = button_shape.Rounded
pub const default_size: ButtonSize = button_size.Small
pub const default_target: Option(LinkTarget) = None
pub const default_toggle: Toggle = IsNotToggle
pub const default_type_: FormSubmitterType = form_submitter_type.Button
pub const default_value: String = ""
pub const default_variant: ButtonVariant = button_variant.Text
/// Slots are used in child elements to insert content into this component
///
pub type Slot {
Icon
// Renders an icon before the button's label.
Selected
// Renders the label of the button, when selected.
SelectedIcon
// Renders an icon before the button's label, when selected.
TrailingIcon
// Renders an icon after the button's label.
}
// --- Configuration ---
/// Config is a public record for configuring this component.
///
pub type Config {
Config(
disabled: Disabled,
disabled_interactive: DisabledInteractive,
download: Option(String),
href: String,
name: String,
rel: String,
selected: Selected,
shape: ButtonShape,
size: ButtonSize,
target: Option(LinkTarget),
toggle: Toggle,
type_: FormSubmitterType,
value: String,
variant: ButtonVariant,
)
}
/// default_config is the default configuration for this component.
///
pub fn default_config() -> Config {
Config(
disabled: IsNotDisabled,
disabled_interactive: IsNotDisabledInteractive,
download: None,
href: "",
name: "",
rel: "",
selected: IsNotSelected,
shape: button_shape.Rounded,
size: button_size.Small,
target: None,
toggle: IsNotToggle,
type_: form_submitter_type.Button,
value: "",
variant: button_variant.Text,
)
}
// --- Constructors ---
/// from_config creates a new Button from the given configuration.
///
pub fn from_config(config: Config) -> Button {
Button(
disabled: config.disabled,
disabled_interactive: config.disabled_interactive,
download: config.download,
href: config.href,
name: config.name,
rel: config.rel,
selected: config.selected,
shape: config.shape,
size: config.size,
target: config.target,
toggle: config.toggle,
type_: config.type_,
value: config.value,
variant: config.variant,
)
}
/// new creates a new Button with the default configuration.
///
pub fn new() -> Button {
from_config(default_config())
}
// --- Setters ---
/// disabled sets the value of disabled for this Button.
///
pub fn disabled(record: Button, disabled: Disabled) -> Button {
Button(..record, disabled: disabled)
}
/// disabled_interactive sets the value of disabled_interactive for this Button.
///
pub fn disabled_interactive(
record: Button,
disabled_interactive: DisabledInteractive,
) -> Button {
Button(..record, disabled_interactive: disabled_interactive)
}
/// download sets the value of download for this Button.
///
pub fn download(record: Button, download: Option(String)) -> Button {
Button(..record, download: download)
}
/// href sets the value of href for this Button.
///
pub fn href(record: Button, href: String) -> Button {
Button(..record, href: href)
}
/// name sets the value of name for this Button.
///
pub fn name(record: Button, name: String) -> Button {
Button(..record, name: name)
}
/// rel sets the value of rel for this Button.
///
pub fn rel(record: Button, rel: String) -> Button {
Button(..record, rel: rel)
}
/// selected sets the value of selected for this Button.
///
pub fn selected(record: Button, selected: Selected) -> Button {
Button(..record, selected: selected)
}
/// shape sets the value of shape for this Button.
///
pub fn shape(record: Button, shape: ButtonShape) -> Button {
Button(..record, shape: shape)
}
/// size sets the value of size for this Button.
///
pub fn size(record: Button, size: ButtonSize) -> Button {
Button(..record, size: size)
}
/// target sets the value of target for this Button.
///
pub fn target(record: Button, target: Option(LinkTarget)) -> Button {
Button(..record, target: target)
}
/// toggle sets the value of toggle for this Button.
///
pub fn toggle(record: Button, toggle: Toggle) -> Button {
Button(..record, toggle: toggle)
}
/// type_ sets the value of type_ for this Button.
///
pub fn type_(record: Button, type_: FormSubmitterType) -> Button {
Button(..record, type_: type_)
}
/// value sets the value of value for this Button.
///
pub fn value(record: Button, value: String) -> Button {
Button(..record, value: value)
}
/// variant sets the value of variant for this Button.
///
pub fn variant(record: Button, variant: ButtonVariant) -> Button {
Button(..record, variant: variant)
}
// --- Renderers ---
/// render creates a Lustre Element for a Button
///
pub fn render(
model: Button,
attributes: List(Attribute(msg)),
children: List(Element(msg)),
) -> Element(msg) {
element.element(
"m3e-button",
list.flatten([
[
attr.boolean("disabled", model.disabled == IsDisabled),
attr.boolean(
"disabled-interactive",
model.disabled_interactive == IsDisabledInteractive,
),
attr.option(
model.download,
fn(_) { "download" },
function.identity,
default_download,
),
attr.with_default("href", model.href, default_href),
attr.with_default("name", model.name, default_name),
attr.with_default("rel", model.rel, default_rel),
attr.boolean("selected", model.selected == IsSelected),
attr.with_default(
"shape",
button_shape.to_string(model.shape),
button_shape.to_string(default_shape),
),
attr.with_default(
"size",
button_size.to_string(model.size),
button_size.to_string(default_size),
),
attr.option(
model.target,
fn(_) { "target" },
link_target.to_string,
default_target,
),
attr.boolean("toggle", model.toggle == IsToggle),
attr.with_default(
"type",
form_submitter_type.to_string(model.type_),
form_submitter_type.to_string(default_type_),
),
attr.with_default("value", model.value, default_value),
attr.with_default(
"variant",
button_variant.to_string(model.variant),
button_variant.to_string(default_variant),
),
],
attributes,
])
|> list.filter(fn(a) { a != attribute.none() }),
children,
)
}
/// render_config creates a Lustre Element from a Button Config
///
pub fn render_config(
c: Config,
attributes: List(Attribute(msg)),
children: List(Element(msg)),
) -> Element(msg) {
render(from_config(c), attributes, children)
}
/// slot returns a Lustre Attribute(msg) for the given slot name
///
pub fn slot(s: Slot) -> Attribute(msg) {
case s {
Icon -> attribute.attribute("slot", "icon")
Selected -> attribute.attribute("slot", "selected")
SelectedIcon -> attribute.attribute("slot", "selected-icon")
TrailingIcon -> attribute.attribute("slot", "trailing-icon")
}
}