Element

io.eezo.core.html.Html.Element
final case class Element(name: String, attrs: Vector[Attr], key: Option[String], children: Vector[Html])

An element. Void ness is a property of the tag name, looked up in an internal void tag table at render time, so Element("br", …, void = false) is not a state that exists.

key is a field rather than an ordinary attribute because modules/live addresses list children by identity, and a requirement one module places on another belongs in a type rather than in a string two modules agree on by convention. It renders as data-eezo-key.

Attributes

Source
Html.scala

Members list

Value members

Inherited methods

def ++(that: Html): Html

Concatenation, flattening adjacent fragments rather than nesting them.

Concatenation, flattening adjacent fragments rather than nesting them.

Attributes

Inherited from:
Html
Source
Html.scala
def productElementNames: Iterator[String]

An iterator over the names of all the elements of this product.

An iterator over the names of all the elements of this product.

Attributes

Inherited from:
Product
Source
Product.scala
def productIterator: Iterator[Any]

An iterator over all the elements of this product.

An iterator over all the elements of this product.

Attributes

Returns

in the default implementation, an Iterator[Any]

Inherited from:
Product
Source
Product.scala
def render: String

The rendered markup, as a String. The HTTP boundary encodes it as UTF-8.

The rendered markup, as a String. The HTTP boundary encodes it as UTF-8.

Attributes

Inherited from:
Html
Source
Html.scala