Std.Html Std.Html — the typed HTML element surface (Layer 3 Sky source). Types type Html msg = HElement String (List (Attribute msg)) (List (Html msg)) | HText String | HRaw String Values a : List (Attribute msg) -> List (Html msg) -> Html msg area : List (Attribute msg) -> Html msg article : List (Attribute msg) -> List (Html msg) -> Html msg aside : List (Attribute msg) -> List (Html msg) -> Html msg NOTE: the `<main>` landmark element is `mainNode` (defined below), NOT `main`. attrToString : Attribute msg -> String Serialise a single attribute to its `key="value"` string form. audio : List (Attribute msg) -> List (Html msg) -> Html msg base : List (Attribute msg) -> Html msg blockquote : List (Attribute msg) -> List (Html msg) -> Html msg body : List (Attribute msg) -> List (Html msg) -> Html msg br : List (Attribute msg) -> Html msg canvas : List (Attribute msg) -> List (Html msg) -> Html msg code : List (Attribute msg) -> List (Html msg) -> Html msg codeNode : List (Attribute msg) -> List (Html msg) -> Html msg col : List (Attribute msg) -> Html msg details : List (Attribute msg) -> List (Html msg) -> Html msg dialog : List (Attribute msg) -> List (Html msg) -> Html msg div : List (Attribute msg) -> List (Html msg) -> Html msg doctype : List (Html msg) -> Html msg doctype wraps the document children in a <!DOCTYPE html> root. em : List (Attribute msg) -> List (Html msg) -> Html msg embed : List (Attribute msg) -> Html msg escapeAttr : String -> String Escape a string for safe use inside a double-quoted attribute. escapeHtml : String -> String HTML-escape a text string (for safe interpolation into content). fieldset : List (Attribute msg) -> List (Html msg) -> Html msg figcaption : List (Attribute msg) -> List (Html msg) -> Html msg figure : List (Attribute msg) -> List (Html msg) -> Html msg form : List (Attribute msg) -> List (Html msg) -> Html msg h1 : List (Attribute msg) -> List (Html msg) -> Html msg h2 : List (Attribute msg) -> List (Html msg) -> Html msg h3 : List (Attribute msg) -> List (Html msg) -> Html msg h4 : List (Attribute msg) -> List (Html msg) -> Html msg h5 : List (Attribute msg) -> List (Html msg) -> Html msg h6 : List (Attribute msg) -> List (Html msg) -> Html msg headNode : List (Attribute msg) -> List (Html msg) -> Html msg header : List (Attribute msg) -> List (Html msg) -> Html msg headerNode : List (Attribute msg) -> List (Html msg) -> Html msg Kept so older stdlib / example code that referenced the hr : List (Attribute msg) -> Html msg htmlNode : List (Attribute msg) -> List (Html msg) -> Html msg iframe : List (Attribute msg) -> List (Html msg) -> Html msg img : List (Attribute msg) -> Html msg input : List (Attribute msg) -> Html msg island : { name : String , id : String , props : Value } -> List (Attribute msg) -> Html msg A widget island: an element a third-party JS widget owns (a code label : List (Attribute msg) -> List (Html msg) -> Html msg legend : List (Attribute msg) -> List (Html msg) -> Html msg li : List (Attribute msg) -> List (Html msg) -> Html msg link : List (Attribute msg) -> Html msg linkNode : List (Attribute msg) -> Html msg mainNode : List (Attribute msg) -> List (Html msg) -> Html msg meta : List (Attribute msg) -> Html msg meter : List (Attribute msg) -> List (Html msg) -> Html msg node : String -> List (Attribute msg) -> List (Html msg) -> Html msg Build an element of an arbitrary tag (custom elements, SVG, …). ol : List (Attribute msg) -> List (Html msg) -> Html msg option : List (Attribute msg) -> List (Html msg) -> Html msg p : List (Attribute msg) -> List (Html msg) -> Html msg pre : List (Attribute msg) -> List (Html msg) -> Html msg progress : List (Attribute msg) -> List (Html msg) -> Html msg raw : String -> Html msg Raw, un-escaped HTML — for trusted pre-rendered content only. render : Html msg -> String The Sky `Html` ADT is converted to the runtime `VNode` and script : List (Attribute msg) -> List (Html msg) -> Html msg section : List (Attribute msg) -> List (Html msg) -> Html msg select : List (Attribute msg) -> List (Html msg) -> Html msg small : List (Attribute msg) -> List (Html msg) -> Html msg source : List (Attribute msg) -> Html msg span : List (Attribute msg) -> List (Html msg) -> Html msg strong : List (Attribute msg) -> List (Html msg) -> Html msg styleNode : List (Attribute msg) -> String -> Html msg styleNode embeds a CSS stylesheet string inside a <style> tag. summary : List (Attribute msg) -> List (Html msg) -> Html msg table : List (Attribute msg) -> List (Html msg) -> Html msg tbody : List (Attribute msg) -> List (Html msg) -> Html msg td : List (Attribute msg) -> List (Html msg) -> Html msg text : String -> Html msg textarea : List (Attribute msg) -> List (Html msg) -> Html msg tfoot : List (Attribute msg) -> List (Html msg) -> Html msg th : List (Attribute msg) -> List (Html msg) -> Html msg thead : List (Attribute msg) -> List (Html msg) -> Html msg title : List (Attribute msg) -> List (Html msg) -> Html msg titleNode : String -> Html msg titleNode wraps a raw string directly in <title>. toString : Html msg -> String toString is an alias of render, kept for API familiarity. tr : List (Attribute msg) -> List (Html msg) -> Html msg track : List (Attribute msg) -> Html msg ul : List (Attribute msg) -> List (Html msg) -> Html msg video : List (Attribute msg) -> List (Html msg) -> Html msg voidNode : String -> List (Attribute msg) -> Html msg A void element of an arbitrary tag (no children). wbr : List (Attribute msg) -> Html msg