gbr/ui/core/model

UIAttrs

List of attribute to render an element

Wrapper to lustre/element.Element

pub type UIAttrs(a) =
  List(attribute.Attribute(a))

UIBox

</>

Box layout of generic event a

pub type UIBox(a) {
  UIBox(
    title: element.Element(a),
    content: element.Element(a),
    footer: element.Element(a),
    attrs: List(attribute.Attribute(a)),
  )
}

Constructors

UIBox(
  title: element.Element(a),
  content: element.Element(a),
  footer: element.Element(a),
  attrs: List(attribute.Attribute(a)),
)

UIBoxes

</>

List of gbr/ui/core/model.UIBox

pub type UIBoxes(a) =
  List(UIBox(a))

UIKeyed

</>

Id keyed elements

To avoid conflict of element id into html.

Helper to lustre/element/keyed

pub type UIKeyed(a) =
  #(String, element.Element(a))

UIOptRender

</>

Option gbr/ui/core/model.UIRender

pub type UIOptRender(a) =
  option.Option(element.Element(a))

UIOptRenders

</>

List of option gbr/ui/core/model.UIOptRender.

pub type UIOptRenders(a) =
  List(option.Option(element.Element(a)))

UIProperties

</>

Alias to list of property

pub type UIProperties =
  List(#(String, String))

UIProperty

</>

Alias html property <tag name="value"

pub type UIProperty =
  #(String, String)

UIRender

</>

Render element of generic event a.

Wrapper to lustre/element.Elment

pub type UIRender(a) =
  element.Element(a)

UIRenders

</>

List of gbr/ui.{type UIRender}.

pub type UIRenders(a) =
  List(element.Element(a))

UISwitch

</>

Alias to switch by identification

This type is a helper to lustre.attribute.classes

pub type UISwitch =
  #(String, Bool)

UISwitches

</>

pub type UISwitches =
  List(#(String, Bool))

gbr_ui - v1.0.1

Types