Attr

An attribute. The value is optional rather than a plain AttrValue so that value := "" and disabled stay distinct: None renders the bare name, Some(Literal("")) renders value="". Collapsing the two would make an empty text input indistinguishable from a boolean flag.

The constructor is package private, the same shape as Html.Text, so := on an AttrName is the only way to build one from outside io.eezo.core.html, while the pattern match that the differ in modules/live needs still compiles from anywhere. Pairing a name of a call site's own choosing with an AttrValue.Link is what would otherwise reopen the set of url bearing names that Attrs closes.