foldkit 0.13.0-canary.0 → 0.13.0-canary.2

package/dist/html.d.ts

@@ -2,9 +2,9 @@ import { Data, Effect } from 'effect';
 import { Dispatch } from './runtime';
 import { VNode } from './vdom';
 export type Html = Effect.Effect<VNode | null, never, Dispatch>;
-export type Child = Html | string;
-export type TagName = 'a' | 'abbr' | 'address' | 'area' | 'article' | 'aside' | 'audio' | 'b' | 'base' | 'bdi' | 'bdo' | 'blockquote' | 'body' | 'br' | 'button' | 'canvas' | 'caption' | 'cite' | 'code' | 'col' | 'colgroup' | 'data' | 'datalist' | 'dd' | 'del' | 'details' | 'dfn' | 'dialog' | 'div' | 'dl' | 'dt' | 'em' | 'embed' | 'fieldset' | 'figcaption' | 'figure' | 'footer' | 'form' | 'h1' | 'h2' | 'h3' | 'h4' | 'h5' | 'h6' | 'head' | 'header' | 'hgroup' | 'hr' | 'html' | 'i' | 'iframe' | 'img' | 'input' | 'ins' | 'kbd' | 'label' | 'legend' | 'li' | 'link' | 'main' | 'map' | 'mark' | 'menu' | 'meta' | 'meter' | 'nav' | 'noscript' | 'object' | 'ol' | 'optgroup' | 'option' | 'output' | 'p' | 'picture' | 'portal' | 'pre' | 'progress' | 'q' | 'rp' | 'rt' | 'ruby' | 's' | 'samp' | 'script' | 'search' | 'section' | 'select' | 'slot' | 'small' | 'source' | 'span' | 'strong' | 'style' | 'sub' | 'summary' | 'sup' | 'table' | 'tbody' | 'td' | 'template' | 'textarea' | 'tfoot' | 'th' | 'thead' | 'time' | 'title' | 'tr' | 'track' | 'u' | 'ul' | 'var' | 'video' | 'wbr' | 'animate' | 'animateMotion' | 'animateTransform' | 'circle' | 'clipPath' | 'defs' | 'desc' | 'ellipse' | 'feBlend' | 'feColorMatrix' | 'feComponentTransfer' | 'feComposite' | 'feConvolveMatrix' | 'feDiffuseLighting' | 'feDisplacementMap' | 'feDistantLight' | 'feDropShadow' | 'feFlood' | 'feFuncA' | 'feFuncB' | 'feFuncG' | 'feFuncR' | 'feGaussianBlur' | 'feImage' | 'feMerge' | 'feMergeNode' | 'feMorphology' | 'feOffset' | 'fePointLight' | 'feSpecularLighting' | 'feSpotLight' | 'feTile' | 'feTurbulence' | 'filter' | 'foreignObject' | 'g' | 'image' | 'line' | 'linearGradient' | 'marker' | 'mask' | 'metadata' | 'mpath' | 'path' | 'pattern' | 'polygon' | 'polyline' | 'radialGradient' | 'rect' | 'set' | 'stop' | 'svg' | 'switch' | 'symbol' | 'text' | 'textPath' | 'tspan' | 'use' | 'view' | 'annotation' | 'annotation-xml' | 'math' | 'maction' | 'menclose' | 'merror' | 'mfenced' | 'mfrac' | 'mglyph' | 'mi' | 'mlabeledtr' | 'mlongdiv' | 'mmultiscripts' | 'mn' | 'mo' | 'mover' | 'mpadded' | 'mphantom' | 'mprescripts' | 'mroot' | 'mrow' | 'ms' | 'mscarries' | 'mscarry' | 'msgroup' | 'msline' | 'mspace' | 'msqrt' | 'msrow' | 'mstack' | 'mstyle' | 'msub' | 'msubsup' | 'msup' | 'mtable' | 'mtd' | 'mtext' | 'mtr' | 'munder' | 'munderover' | 'semantics';
-export type Attribute<Message> = Data.TaggedEnum<{
+type Child = Html | string;
+type TagName = 'a' | 'abbr' | 'address' | 'area' | 'article' | 'aside' | 'audio' | 'b' | 'base' | 'bdi' | 'bdo' | 'blockquote' | 'body' | 'br' | 'button' | 'canvas' | 'caption' | 'cite' | 'code' | 'col' | 'colgroup' | 'data' | 'datalist' | 'dd' | 'del' | 'details' | 'dfn' | 'dialog' | 'div' | 'dl' | 'dt' | 'em' | 'embed' | 'fieldset' | 'figcaption' | 'figure' | 'footer' | 'form' | 'h1' | 'h2' | 'h3' | 'h4' | 'h5' | 'h6' | 'head' | 'header' | 'hgroup' | 'hr' | 'html' | 'i' | 'iframe' | 'img' | 'input' | 'ins' | 'kbd' | 'label' | 'legend' | 'li' | 'link' | 'main' | 'map' | 'mark' | 'menu' | 'meta' | 'meter' | 'nav' | 'noscript' | 'object' | 'ol' | 'optgroup' | 'option' | 'output' | 'p' | 'picture' | 'portal' | 'pre' | 'progress' | 'q' | 'rp' | 'rt' | 'ruby' | 's' | 'samp' | 'script' | 'search' | 'section' | 'select' | 'slot' | 'small' | 'source' | 'span' | 'strong' | 'style' | 'sub' | 'summary' | 'sup' | 'table' | 'tbody' | 'td' | 'template' | 'textarea' | 'tfoot' | 'th' | 'thead' | 'time' | 'title' | 'tr' | 'track' | 'u' | 'ul' | 'var' | 'video' | 'wbr' | 'animate' | 'animateMotion' | 'animateTransform' | 'circle' | 'clipPath' | 'defs' | 'desc' | 'ellipse' | 'feBlend' | 'feColorMatrix' | 'feComponentTransfer' | 'feComposite' | 'feConvolveMatrix' | 'feDiffuseLighting' | 'feDisplacementMap' | 'feDistantLight' | 'feDropShadow' | 'feFlood' | 'feFuncA' | 'feFuncB' | 'feFuncG' | 'feFuncR' | 'feGaussianBlur' | 'feImage' | 'feMerge' | 'feMergeNode' | 'feMorphology' | 'feOffset' | 'fePointLight' | 'feSpecularLighting' | 'feSpotLight' | 'feTile' | 'feTurbulence' | 'filter' | 'foreignObject' | 'g' | 'image' | 'line' | 'linearGradient' | 'marker' | 'mask' | 'metadata' | 'mpath' | 'path' | 'pattern' | 'polygon' | 'polyline' | 'radialGradient' | 'rect' | 'set' | 'stop' | 'svg' | 'switch' | 'symbol' | 'text' | 'textPath' | 'tspan' | 'use' | 'view' | 'annotation' | 'annotation-xml' | 'math' | 'maction' | 'menclose' | 'merror' | 'mfenced' | 'mfrac' | 'mglyph' | 'mi' | 'mlabeledtr' | 'mlongdiv' | 'mmultiscripts' | 'mn' | 'mo' | 'mover' | 'mpadded' | 'mphantom' | 'mprescripts' | 'mroot' | 'mrow' | 'ms' | 'mscarries' | 'mscarry' | 'msgroup' | 'msline' | 'mspace' | 'msqrt' | 'msrow' | 'mstack' | 'mstyle' | 'msub' | 'msubsup' | 'msup' | 'mtable' | 'mtd' | 'mtext' | 'mtr' | 'munder' | 'munderover' | 'semantics';
+type Attribute<Message> = Data.TaggedEnum<{
     Key: {
         readonly value: string;
     };
@@ -341,1236 +341,19 @@ export type Attribute<Message> = Data.TaggedEnum<{
         readonly value: string;
     };
 }>;
-export declare const Key: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "Key";
-    readonly value: string;
-}, Class: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "Class";
-    readonly value: string;
-}, Id: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "Id";
-    readonly value: string;
-}, Title: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "Title";
-    readonly value: string;
-}, Lang: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "Lang";
-    readonly value: string;
-}, Dir: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "Dir";
-    readonly value: string;
-}, Tabindex: <A>(args: {
-    readonly value: number;
-}) => {
-    readonly _tag: "Tabindex";
-    readonly value: number;
-}, Hidden: <A>(args: {
-    readonly value: boolean;
-}) => {
-    readonly _tag: "Hidden";
-    readonly value: boolean;
-}, OnClick: <A>(args: {
-    readonly message: A;
-}) => {
-    readonly _tag: "OnClick";
-    readonly message: A;
-}, OnDblClick: <A>(args: {
-    readonly message: A;
-}) => {
-    readonly _tag: "OnDblClick";
-    readonly message: A;
-}, OnMouseDown: <A>(args: {
-    readonly message: A;
-}) => {
-    readonly _tag: "OnMouseDown";
-    readonly message: A;
-}, OnMouseUp: <A>(args: {
-    readonly message: A;
-}) => {
-    readonly _tag: "OnMouseUp";
-    readonly message: A;
-}, OnMouseEnter: <A>(args: {
-    readonly message: A;
-}) => {
-    readonly _tag: "OnMouseEnter";
-    readonly message: A;
-}, OnMouseLeave: <A>(args: {
-    readonly message: A;
-}) => {
-    readonly _tag: "OnMouseLeave";
-    readonly message: A;
-}, OnMouseOver: <A>(args: {
-    readonly message: A;
-}) => {
-    readonly _tag: "OnMouseOver";
-    readonly message: A;
-}, OnMouseOut: <A>(args: {
-    readonly message: A;
-}) => {
-    readonly _tag: "OnMouseOut";
-    readonly message: A;
-}, OnMouseMove: <A>(args: {
-    readonly message: A;
-}) => {
-    readonly _tag: "OnMouseMove";
-    readonly message: A;
-}, OnKeyDown: <A>(args: {
-    readonly f: (key: string) => A;
-}) => {
-    readonly _tag: "OnKeyDown";
-    readonly f: (key: string) => A;
-}, OnKeyUp: <A>(args: {
-    readonly f: (key: string) => A;
-}) => {
-    readonly _tag: "OnKeyUp";
-    readonly f: (key: string) => A;
-}, OnKeyPress: <A>(args: {
-    readonly f: (key: string) => A;
-}) => {
-    readonly _tag: "OnKeyPress";
-    readonly f: (key: string) => A;
-}, OnFocus: <A>(args: {
-    readonly message: A;
-}) => {
-    readonly _tag: "OnFocus";
-    readonly message: A;
-}, OnBlur: <A>(args: {
-    readonly message: A;
-}) => {
-    readonly _tag: "OnBlur";
-    readonly message: A;
-}, OnInput: <A>(args: {
-    readonly f: (value: string) => A;
-}) => {
-    readonly _tag: "OnInput";
-    readonly f: (value: string) => A;
-}, OnChange: <A>(args: {
-    readonly f: (value: string) => A;
-}) => {
-    readonly _tag: "OnChange";
-    readonly f: (value: string) => A;
-}, OnSubmit: <A>(args: {
-    readonly message: A;
-}) => {
-    readonly _tag: "OnSubmit";
-    readonly message: A;
-}, OnReset: <A>(args: {
-    readonly message: A;
-}) => {
-    readonly _tag: "OnReset";
-    readonly message: A;
-}, OnScroll: <A>(args: {
-    readonly message: A;
-}) => {
-    readonly _tag: "OnScroll";
-    readonly message: A;
-}, OnWheel: <A>(args: {
-    readonly message: A;
-}) => {
-    readonly _tag: "OnWheel";
-    readonly message: A;
-}, OnCopy: <A>(args: {
-    readonly message: A;
-}) => {
-    readonly _tag: "OnCopy";
-    readonly message: A;
-}, OnCut: <A>(args: {
-    readonly message: A;
-}) => {
-    readonly _tag: "OnCut";
-    readonly message: A;
-}, OnPaste: <A>(args: {
-    readonly message: A;
-}) => {
-    readonly _tag: "OnPaste";
-    readonly message: A;
-}, Value: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "Value";
-    readonly value: string;
-}, Checked: <A>(args: {
-    readonly value: boolean;
-}) => {
-    readonly _tag: "Checked";
-    readonly value: boolean;
-}, Selected: <A>(args: {
-    readonly value: boolean;
-}) => {
-    readonly _tag: "Selected";
-    readonly value: boolean;
-}, Placeholder: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "Placeholder";
-    readonly value: string;
-}, Name: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "Name";
-    readonly value: string;
-}, Disabled: <A>(args: {
-    readonly value: boolean;
-}) => {
-    readonly _tag: "Disabled";
-    readonly value: boolean;
-}, Readonly: <A>(args: {
-    readonly value: boolean;
-}) => {
-    readonly _tag: "Readonly";
-    readonly value: boolean;
-}, Required: <A>(args: {
-    readonly value: boolean;
-}) => {
-    readonly _tag: "Required";
-    readonly value: boolean;
-}, Autofocus: <A>(args: {
-    readonly value: boolean;
-}) => {
-    readonly _tag: "Autofocus";
-    readonly value: boolean;
-}, Spellcheck: <A>(args: {
-    readonly value: boolean;
-}) => {
-    readonly _tag: "Spellcheck";
-    readonly value: boolean;
-}, Autocorrect: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "Autocorrect";
-    readonly value: string;
-}, Autocapitalize: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "Autocapitalize";
-    readonly value: string;
-}, InputMode: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "InputMode";
-    readonly value: string;
-}, EnterKeyHint: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "EnterKeyHint";
-    readonly value: string;
-}, Multiple: <A>(args: {
-    readonly value: boolean;
-}) => {
-    readonly _tag: "Multiple";
-    readonly value: boolean;
-}, Type: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "Type";
-    readonly value: string;
-}, Accept: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "Accept";
-    readonly value: string;
-}, Autocomplete: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "Autocomplete";
-    readonly value: string;
-}, Pattern: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "Pattern";
-    readonly value: string;
-}, Maxlength: <A>(args: {
-    readonly value: number;
-}) => {
-    readonly _tag: "Maxlength";
-    readonly value: number;
-}, Minlength: <A>(args: {
-    readonly value: number;
-}) => {
-    readonly _tag: "Minlength";
-    readonly value: number;
-}, Size: <A>(args: {
-    readonly value: number;
-}) => {
-    readonly _tag: "Size";
-    readonly value: number;
-}, Cols: <A>(args: {
-    readonly value: number;
-}) => {
-    readonly _tag: "Cols";
-    readonly value: number;
-}, Rows: <A>(args: {
-    readonly value: number;
-}) => {
-    readonly _tag: "Rows";
-    readonly value: number;
-}, Max: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "Max";
-    readonly value: string;
-}, Min: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "Min";
-    readonly value: string;
-}, Step: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "Step";
-    readonly value: string;
-}, For: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "For";
-    readonly value: string;
-}, Href: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "Href";
-    readonly value: string;
-}, Src: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "Src";
-    readonly value: string;
-}, Alt: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "Alt";
-    readonly value: string;
-}, Target: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "Target";
-    readonly value: string;
-}, Rel: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "Rel";
-    readonly value: string;
-}, Download: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "Download";
-    readonly value: string;
-}, Action: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "Action";
-    readonly value: string;
-}, Method: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "Method";
-    readonly value: string;
-}, Enctype: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "Enctype";
-    readonly value: string;
-}, Novalidate: <A>(args: {
-    readonly value: boolean;
-}) => {
-    readonly _tag: "Novalidate";
-    readonly value: boolean;
-}, Role: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "Role";
-    readonly value: string;
-}, AriaLabel: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "AriaLabel";
-    readonly value: string;
-}, AriaLabelledBy: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "AriaLabelledBy";
-    readonly value: string;
-}, AriaDescribedBy: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "AriaDescribedBy";
-    readonly value: string;
-}, AriaHidden: <A>(args: {
-    readonly value: boolean;
-}) => {
-    readonly _tag: "AriaHidden";
-    readonly value: boolean;
-}, AriaExpanded: <A>(args: {
-    readonly value: boolean;
-}) => {
-    readonly _tag: "AriaExpanded";
-    readonly value: boolean;
-}, AriaSelected: <A>(args: {
-    readonly value: boolean;
-}) => {
-    readonly _tag: "AriaSelected";
-    readonly value: boolean;
-}, AriaChecked: <A>(args: {
-    readonly value: boolean;
-}) => {
-    readonly _tag: "AriaChecked";
-    readonly value: boolean;
-}, AriaDisabled: <A>(args: {
-    readonly value: boolean;
-}) => {
-    readonly _tag: "AriaDisabled";
-    readonly value: boolean;
-}, AriaRequired: <A>(args: {
-    readonly value: boolean;
-}) => {
-    readonly _tag: "AriaRequired";
-    readonly value: boolean;
-}, AriaInvalid: <A>(args: {
-    readonly value: boolean;
-}) => {
-    readonly _tag: "AriaInvalid";
-    readonly value: boolean;
-}, AriaLive: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "AriaLive";
-    readonly value: string;
-}, Attribute: <A>(args: {
+declare const Attribute: <A>(args: {
     readonly key: string;
     readonly value: string;
 }) => {
     readonly _tag: "Attribute";
     readonly key: string;
     readonly value: string;
-}, DataAttribute: <A>(args: {
-    readonly key: string;
-    readonly value: string;
-}) => {
-    readonly _tag: "DataAttribute";
-    readonly key: string;
-    readonly value: string;
-}, Style: <A>(args: {
-    readonly value: Record<string, string>;
-}) => {
-    readonly _tag: "Style";
-    readonly value: Record<string, string>;
-}, InnerHTML: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "InnerHTML";
-    readonly value: string;
-}, ViewBox: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "ViewBox";
-    readonly value: string;
-}, Xmlns: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "Xmlns";
-    readonly value: string;
-}, Fill: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "Fill";
-    readonly value: string;
-}, FillRule: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "FillRule";
-    readonly value: string;
-}, ClipRule: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "ClipRule";
-    readonly value: string;
-}, Stroke: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "Stroke";
-    readonly value: string;
-}, StrokeWidth: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "StrokeWidth";
-    readonly value: string;
-}, StrokeLinecap: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "StrokeLinecap";
-    readonly value: string;
-}, StrokeLinejoin: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "StrokeLinejoin";
-    readonly value: string;
-}, D: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "D";
-    readonly value: string;
-}, Cx: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "Cx";
-    readonly value: string;
-}, Cy: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "Cy";
-    readonly value: string;
-}, R: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "R";
-    readonly value: string;
-}, X: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "X";
-    readonly value: string;
-}, Y: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "Y";
-    readonly value: string;
-}, Width: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "Width";
-    readonly value: string;
-}, Height: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "Height";
-    readonly value: string;
-}, X1: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "X1";
-    readonly value: string;
-}, Y1: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "Y1";
-    readonly value: string;
-}, X2: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "X2";
-    readonly value: string;
-}, Y2: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "Y2";
-    readonly value: string;
-}, Points: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "Points";
-    readonly value: string;
-}, Transform: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "Transform";
-    readonly value: string;
-}, Opacity: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "Opacity";
-    readonly value: string;
-}, StrokeDasharray: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "StrokeDasharray";
-    readonly value: string;
-}, StrokeDashoffset: <A>(args: {
-    readonly value: string;
-}) => {
-    readonly _tag: "StrokeDashoffset";
-    readonly value: string;
 };
 type AttributeWithoutKey<Message> = Exclude<Attribute<Message>, {
     _tag: 'Key';
 }>;
-export type ElementFunction<Message> = (attributes: ReadonlyArray<Attribute<Message>>, children: ReadonlyArray<Child>) => Html;
-export type VoidElementFunction<Message> = (attributes: ReadonlyArray<Attribute<Message>>) => Html;
-export type HtmlElements<Message> = {
-    a: ElementFunction<Message>;
-    abbr: ElementFunction<Message>;
-    address: ElementFunction<Message>;
-    area: VoidElementFunction<Message>;
-    article: ElementFunction<Message>;
-    aside: ElementFunction<Message>;
-    audio: ElementFunction<Message>;
-    b: ElementFunction<Message>;
-    base: VoidElementFunction<Message>;
-    bdi: ElementFunction<Message>;
-    bdo: ElementFunction<Message>;
-    blockquote: ElementFunction<Message>;
-    body: ElementFunction<Message>;
-    br: VoidElementFunction<Message>;
-    button: ElementFunction<Message>;
-    canvas: ElementFunction<Message>;
-    caption: ElementFunction<Message>;
-    cite: ElementFunction<Message>;
-    code: ElementFunction<Message>;
-    col: VoidElementFunction<Message>;
-    colgroup: ElementFunction<Message>;
-    data: ElementFunction<Message>;
-    datalist: ElementFunction<Message>;
-    dd: ElementFunction<Message>;
-    del: ElementFunction<Message>;
-    details: ElementFunction<Message>;
-    dfn: ElementFunction<Message>;
-    dialog: ElementFunction<Message>;
-    div: ElementFunction<Message>;
-    dl: ElementFunction<Message>;
-    dt: ElementFunction<Message>;
-    em: ElementFunction<Message>;
-    embed: VoidElementFunction<Message>;
-    fieldset: ElementFunction<Message>;
-    figcaption: ElementFunction<Message>;
-    figure: ElementFunction<Message>;
-    footer: ElementFunction<Message>;
-    form: ElementFunction<Message>;
-    h1: ElementFunction<Message>;
-    h2: ElementFunction<Message>;
-    h3: ElementFunction<Message>;
-    h4: ElementFunction<Message>;
-    h5: ElementFunction<Message>;
-    h6: ElementFunction<Message>;
-    head: ElementFunction<Message>;
-    header: ElementFunction<Message>;
-    hgroup: ElementFunction<Message>;
-    hr: VoidElementFunction<Message>;
-    html: ElementFunction<Message>;
-    i: ElementFunction<Message>;
-    iframe: ElementFunction<Message>;
-    img: VoidElementFunction<Message>;
-    input: VoidElementFunction<Message>;
-    ins: ElementFunction<Message>;
-    kbd: ElementFunction<Message>;
-    label: ElementFunction<Message>;
-    legend: ElementFunction<Message>;
-    li: ElementFunction<Message>;
-    link: VoidElementFunction<Message>;
-    main: ElementFunction<Message>;
-    map: ElementFunction<Message>;
-    mark: ElementFunction<Message>;
-    menu: ElementFunction<Message>;
-    meta: VoidElementFunction<Message>;
-    meter: ElementFunction<Message>;
-    nav: ElementFunction<Message>;
-    noscript: ElementFunction<Message>;
-    object: ElementFunction<Message>;
-    ol: ElementFunction<Message>;
-    optgroup: ElementFunction<Message>;
-    option: ElementFunction<Message>;
-    output: ElementFunction<Message>;
-    p: ElementFunction<Message>;
-    picture: ElementFunction<Message>;
-    portal: ElementFunction<Message>;
-    pre: ElementFunction<Message>;
-    progress: ElementFunction<Message>;
-    q: ElementFunction<Message>;
-    rp: ElementFunction<Message>;
-    rt: ElementFunction<Message>;
-    ruby: ElementFunction<Message>;
-    s: ElementFunction<Message>;
-    samp: ElementFunction<Message>;
-    script: ElementFunction<Message>;
-    search: ElementFunction<Message>;
-    section: ElementFunction<Message>;
-    select: ElementFunction<Message>;
-    slot: ElementFunction<Message>;
-    small: ElementFunction<Message>;
-    source: VoidElementFunction<Message>;
-    span: ElementFunction<Message>;
-    strong: ElementFunction<Message>;
-    style: ElementFunction<Message>;
-    sub: ElementFunction<Message>;
-    summary: ElementFunction<Message>;
-    sup: ElementFunction<Message>;
-    table: ElementFunction<Message>;
-    tbody: ElementFunction<Message>;
-    td: ElementFunction<Message>;
-    template: ElementFunction<Message>;
-    textarea: ElementFunction<Message>;
-    tfoot: ElementFunction<Message>;
-    th: ElementFunction<Message>;
-    thead: ElementFunction<Message>;
-    time: ElementFunction<Message>;
-    title: ElementFunction<Message>;
-    tr: ElementFunction<Message>;
-    track: VoidElementFunction<Message>;
-    u: ElementFunction<Message>;
-    ul: ElementFunction<Message>;
-    var: ElementFunction<Message>;
-    video: ElementFunction<Message>;
-    wbr: VoidElementFunction<Message>;
-    svg: ElementFunction<Message>;
-    animate: ElementFunction<Message>;
-    animateMotion: ElementFunction<Message>;
-    animateTransform: ElementFunction<Message>;
-    circle: ElementFunction<Message>;
-    clipPath: ElementFunction<Message>;
-    defs: ElementFunction<Message>;
-    desc: ElementFunction<Message>;
-    ellipse: ElementFunction<Message>;
-    feBlend: ElementFunction<Message>;
-    feColorMatrix: ElementFunction<Message>;
-    feComponentTransfer: ElementFunction<Message>;
-    feComposite: ElementFunction<Message>;
-    feConvolveMatrix: ElementFunction<Message>;
-    feDiffuseLighting: ElementFunction<Message>;
-    feDisplacementMap: ElementFunction<Message>;
-    feDistantLight: ElementFunction<Message>;
-    feDropShadow: ElementFunction<Message>;
-    feFlood: ElementFunction<Message>;
-    feFuncA: ElementFunction<Message>;
-    feFuncB: ElementFunction<Message>;
-    feFuncG: ElementFunction<Message>;
-    feFuncR: ElementFunction<Message>;
-    feGaussianBlur: ElementFunction<Message>;
-    feImage: ElementFunction<Message>;
-    feMerge: ElementFunction<Message>;
-    feMergeNode: ElementFunction<Message>;
-    feMorphology: ElementFunction<Message>;
-    feOffset: ElementFunction<Message>;
-    fePointLight: ElementFunction<Message>;
-    feSpecularLighting: ElementFunction<Message>;
-    feSpotLight: ElementFunction<Message>;
-    feTile: ElementFunction<Message>;
-    feTurbulence: ElementFunction<Message>;
-    filter: ElementFunction<Message>;
-    foreignObject: ElementFunction<Message>;
-    g: ElementFunction<Message>;
-    image: ElementFunction<Message>;
-    line: ElementFunction<Message>;
-    linearGradient: ElementFunction<Message>;
-    marker: ElementFunction<Message>;
-    mask: ElementFunction<Message>;
-    metadata: ElementFunction<Message>;
-    mpath: ElementFunction<Message>;
-    path: ElementFunction<Message>;
-    pattern: ElementFunction<Message>;
-    polygon: ElementFunction<Message>;
-    polyline: ElementFunction<Message>;
-    radialGradient: ElementFunction<Message>;
-    rect: ElementFunction<Message>;
-    set: ElementFunction<Message>;
-    stop: ElementFunction<Message>;
-    switch: ElementFunction<Message>;
-    symbol: ElementFunction<Message>;
-    text: ElementFunction<Message>;
-    textPath: ElementFunction<Message>;
-    tspan: ElementFunction<Message>;
-    use: ElementFunction<Message>;
-    view: ElementFunction<Message>;
-    math: ElementFunction<Message>;
-    annotation: ElementFunction<Message>;
-    'annotation-xml': ElementFunction<Message>;
-    maction: ElementFunction<Message>;
-    menclose: ElementFunction<Message>;
-    merror: ElementFunction<Message>;
-    mfenced: ElementFunction<Message>;
-    mfrac: ElementFunction<Message>;
-    mglyph: ElementFunction<Message>;
-    mi: ElementFunction<Message>;
-    mlabeledtr: ElementFunction<Message>;
-    mlongdiv: ElementFunction<Message>;
-    mmultiscripts: ElementFunction<Message>;
-    mn: ElementFunction<Message>;
-    mo: ElementFunction<Message>;
-    mover: ElementFunction<Message>;
-    mpadded: ElementFunction<Message>;
-    mphantom: ElementFunction<Message>;
-    mprescripts: ElementFunction<Message>;
-    mroot: ElementFunction<Message>;
-    mrow: ElementFunction<Message>;
-    ms: ElementFunction<Message>;
-    mscarries: ElementFunction<Message>;
-    mscarry: ElementFunction<Message>;
-    msgroup: ElementFunction<Message>;
-    msline: ElementFunction<Message>;
-    mspace: ElementFunction<Message>;
-    msqrt: ElementFunction<Message>;
-    msrow: ElementFunction<Message>;
-    mstack: ElementFunction<Message>;
-    mstyle: ElementFunction<Message>;
-    msub: ElementFunction<Message>;
-    msubsup: ElementFunction<Message>;
-    msup: ElementFunction<Message>;
-    mtable: ElementFunction<Message>;
-    mtd: ElementFunction<Message>;
-    mtext: ElementFunction<Message>;
-    mtr: ElementFunction<Message>;
-    munder: ElementFunction<Message>;
-    munderover: ElementFunction<Message>;
-    semantics: ElementFunction<Message>;
-};
-export declare const htmlElements: <Message>() => HtmlElements<Message>;
-export type HtmlAttributes<Message> = {
-    Key: (value: string) => {
-        readonly _tag: 'Key';
-        readonly value: string;
-    };
-    Class: (value: string) => {
-        readonly _tag: 'Class';
-        readonly value: string;
-    };
-    Id: (value: string) => {
-        readonly _tag: 'Id';
-        readonly value: string;
-    };
-    Title: (value: string) => {
-        readonly _tag: 'Title';
-        readonly value: string;
-    };
-    Lang: (value: string) => {
-        readonly _tag: 'Lang';
-        readonly value: string;
-    };
-    Dir: (value: string) => {
-        readonly _tag: 'Dir';
-        readonly value: string;
-    };
-    Tabindex: (value: number) => {
-        readonly _tag: 'Tabindex';
-        readonly value: number;
-    };
-    Hidden: (value: boolean) => {
-        readonly _tag: 'Hidden';
-        readonly value: boolean;
-    };
-    OnClick: (message: Message) => {
-        readonly _tag: 'OnClick';
-        readonly message: Message;
-    };
-    OnDblClick: (message: Message) => {
-        readonly _tag: 'OnDblClick';
-        readonly message: Message;
-    };
-    OnMouseDown: (message: Message) => {
-        readonly _tag: 'OnMouseDown';
-        readonly message: Message;
-    };
-    OnMouseUp: (message: Message) => {
-        readonly _tag: 'OnMouseUp';
-        readonly message: Message;
-    };
-    OnMouseEnter: (message: Message) => {
-        readonly _tag: 'OnMouseEnter';
-        readonly message: Message;
-    };
-    OnMouseLeave: (message: Message) => {
-        readonly _tag: 'OnMouseLeave';
-        readonly message: Message;
-    };
-    OnMouseOver: (message: Message) => {
-        readonly _tag: 'OnMouseOver';
-        readonly message: Message;
-    };
-    OnMouseOut: (message: Message) => {
-        readonly _tag: 'OnMouseOut';
-        readonly message: Message;
-    };
-    OnMouseMove: (message: Message) => {
-        readonly _tag: 'OnMouseMove';
-        readonly message: Message;
-    };
-    OnKeyDown: (f: (key: string) => Message) => {
-        readonly _tag: 'OnKeyDown';
-        readonly f: (key: string) => Message;
-    };
-    OnKeyUp: (f: (key: string) => Message) => {
-        readonly _tag: 'OnKeyUp';
-        readonly f: (key: string) => Message;
-    };
-    OnKeyPress: (f: (key: string) => Message) => {
-        readonly _tag: 'OnKeyPress';
-        readonly f: (key: string) => Message;
-    };
-    OnFocus: (message: Message) => {
-        readonly _tag: 'OnFocus';
-        readonly message: Message;
-    };
-    OnBlur: (message: Message) => {
-        readonly _tag: 'OnBlur';
-        readonly message: Message;
-    };
-    OnInput: (f: (value: string) => Message) => {
-        readonly _tag: 'OnInput';
-        readonly f: (value: string) => Message;
-    };
-    OnChange: (f: (value: string) => Message) => {
-        readonly _tag: 'OnChange';
-        readonly f: (value: string) => Message;
-    };
-    OnSubmit: (message: Message) => {
-        readonly _tag: 'OnSubmit';
-        readonly message: Message;
-    };
-    OnReset: (message: Message) => {
-        readonly _tag: 'OnReset';
-        readonly message: Message;
-    };
-    OnScroll: (message: Message) => {
-        readonly _tag: 'OnScroll';
-        readonly message: Message;
-    };
-    OnWheel: (message: Message) => {
-        readonly _tag: 'OnWheel';
-        readonly message: Message;
-    };
-    OnCopy: (message: Message) => {
-        readonly _tag: 'OnCopy';
-        readonly message: Message;
-    };
-    OnCut: (message: Message) => {
-        readonly _tag: 'OnCut';
-        readonly message: Message;
-    };
-    OnPaste: (message: Message) => {
-        readonly _tag: 'OnPaste';
-        readonly message: Message;
-    };
-    Value: (value: string) => {
-        readonly _tag: 'Value';
-        readonly value: string;
-    };
-    Checked: (value: boolean) => {
-        readonly _tag: 'Checked';
-        readonly value: boolean;
-    };
-    Selected: (value: boolean) => {
-        readonly _tag: 'Selected';
-        readonly value: boolean;
-    };
-    Placeholder: (value: string) => {
-        readonly _tag: 'Placeholder';
-        readonly value: string;
-    };
-    Name: (value: string) => {
-        readonly _tag: 'Name';
-        readonly value: string;
-    };
-    Disabled: (value: boolean) => {
-        readonly _tag: 'Disabled';
-        readonly value: boolean;
-    };
-    Readonly: (value: boolean) => {
-        readonly _tag: 'Readonly';
-        readonly value: boolean;
-    };
-    Required: (value: boolean) => {
-        readonly _tag: 'Required';
-        readonly value: boolean;
-    };
-    Autofocus: (value: boolean) => {
-        readonly _tag: 'Autofocus';
-        readonly value: boolean;
-    };
-    Spellcheck: (value: boolean) => {
-        readonly _tag: 'Spellcheck';
-        readonly value: boolean;
-    };
-    Autocorrect: (value: string) => {
-        readonly _tag: 'Autocorrect';
-        readonly value: string;
-    };
-    Autocapitalize: (value: string) => {
-        readonly _tag: 'Autocapitalize';
-        readonly value: string;
-    };
-    InputMode: (value: string) => {
-        readonly _tag: 'InputMode';
-        readonly value: string;
-    };
-    EnterKeyHint: (value: string) => {
-        readonly _tag: 'EnterKeyHint';
-        readonly value: string;
-    };
-    Multiple: (value: boolean) => {
-        readonly _tag: 'Multiple';
-        readonly value: boolean;
-    };
-    Type: (value: string) => {
-        readonly _tag: 'Type';
-        readonly value: string;
-    };
-    Accept: (value: string) => {
-        readonly _tag: 'Accept';
-        readonly value: string;
-    };
-    Autocomplete: (value: string) => {
-        readonly _tag: 'Autocomplete';
-        readonly value: string;
-    };
-    Pattern: (value: string) => {
-        readonly _tag: 'Pattern';
-        readonly value: string;
-    };
-    Maxlength: (value: number) => {
-        readonly _tag: 'Maxlength';
-        readonly value: number;
-    };
-    Minlength: (value: number) => {
-        readonly _tag: 'Minlength';
-        readonly value: number;
-    };
-    Size: (value: number) => {
-        readonly _tag: 'Size';
-        readonly value: number;
-    };
-    Cols: (value: number) => {
-        readonly _tag: 'Cols';
-        readonly value: number;
-    };
-    Rows: (value: number) => {
-        readonly _tag: 'Rows';
-        readonly value: number;
-    };
-    Max: (value: string) => {
-        readonly _tag: 'Max';
-        readonly value: string;
-    };
-    Min: (value: string) => {
-        readonly _tag: 'Min';
-        readonly value: string;
-    };
-    Step: (value: string) => {
-        readonly _tag: 'Step';
-        readonly value: string;
-    };
-    For: (value: string) => {
-        readonly _tag: 'For';
-        readonly value: string;
-    };
-    Href: (value: string) => {
-        readonly _tag: 'Href';
-        readonly value: string;
-    };
-    Src: (value: string) => {
-        readonly _tag: 'Src';
-        readonly value: string;
-    };
-    Alt: (value: string) => {
-        readonly _tag: 'Alt';
-        readonly value: string;
-    };
-    Target: (value: string) => {
-        readonly _tag: 'Target';
-        readonly value: string;
-    };
-    Rel: (value: string) => {
-        readonly _tag: 'Rel';
-        readonly value: string;
-    };
-    Download: (value: string) => {
-        readonly _tag: 'Download';
-        readonly value: string;
-    };
-    Action: (value: string) => {
-        readonly _tag: 'Action';
-        readonly value: string;
-    };
-    Method: (value: string) => {
-        readonly _tag: 'Method';
-        readonly value: string;
-    };
-    Enctype: (value: string) => {
-        readonly _tag: 'Enctype';
-        readonly value: string;
-    };
-    Novalidate: (value: boolean) => {
-        readonly _tag: 'Novalidate';
-        readonly value: boolean;
-    };
-    Role: (value: string) => {
-        readonly _tag: 'Role';
-        readonly value: string;
-    };
-    AriaLabel: (value: string) => {
-        readonly _tag: 'AriaLabel';
-        readonly value: string;
-    };
-    AriaLabelledBy: (value: string) => {
-        readonly _tag: 'AriaLabelledBy';
-        readonly value: string;
-    };
-    AriaDescribedBy: (value: string) => {
-        readonly _tag: 'AriaDescribedBy';
-        readonly value: string;
-    };
-    AriaHidden: (value: boolean) => {
-        readonly _tag: 'AriaHidden';
-        readonly value: boolean;
-    };
-    AriaExpanded: (value: boolean) => {
-        readonly _tag: 'AriaExpanded';
-        readonly value: boolean;
-    };
-    AriaSelected: (value: boolean) => {
-        readonly _tag: 'AriaSelected';
-        readonly value: boolean;
-    };
-    AriaChecked: (value: boolean) => {
-        readonly _tag: 'AriaChecked';
-        readonly value: boolean;
-    };
-    AriaDisabled: (value: boolean) => {
-        readonly _tag: 'AriaDisabled';
-        readonly value: boolean;
-    };
-    AriaRequired: (value: boolean) => {
-        readonly _tag: 'AriaRequired';
-        readonly value: boolean;
-    };
-    AriaInvalid: (value: boolean) => {
-        readonly _tag: 'AriaInvalid';
-        readonly value: boolean;
-    };
-    AriaLive: (value: string) => {
-        readonly _tag: 'AriaLive';
-        readonly value: string;
-    };
-    Attribute: (key: string, value: string) => {
-        readonly _tag: 'Attribute';
-        readonly key: string;
-        readonly value: string;
-    };
-    DataAttribute: (key: string, value: string) => {
-        readonly _tag: 'DataAttribute';
-        readonly key: string;
-        readonly value: string;
-    };
-    Style: (value: Record<string, string>) => {
-        readonly _tag: 'Style';
-        readonly value: Record<string, string>;
-    };
-    InnerHTML: (value: string) => {
-        readonly _tag: 'InnerHTML';
-        readonly value: string;
-    };
-    ViewBox: (value: string) => {
-        readonly _tag: 'ViewBox';
-        readonly value: string;
-    };
-    Xmlns: (value: string) => {
-        readonly _tag: 'Xmlns';
-        readonly value: string;
-    };
-    Fill: (value: string) => {
-        readonly _tag: 'Fill';
-        readonly value: string;
-    };
-    FillRule: (value: string) => {
-        readonly _tag: 'FillRule';
-        readonly value: string;
-    };
-    ClipRule: (value: string) => {
-        readonly _tag: 'ClipRule';
-        readonly value: string;
-    };
-    Stroke: (value: string) => {
-        readonly _tag: 'Stroke';
-        readonly value: string;
-    };
-    StrokeWidth: (value: string) => {
-        readonly _tag: 'StrokeWidth';
-        readonly value: string;
-    };
-    StrokeLinecap: (value: string) => {
-        readonly _tag: 'StrokeLinecap';
-        readonly value: string;
-    };
-    StrokeLinejoin: (value: string) => {
-        readonly _tag: 'StrokeLinejoin';
-        readonly value: string;
-    };
-    D: (value: string) => {
-        readonly _tag: 'D';
-        readonly value: string;
-    };
-    Cx: (value: string) => {
-        readonly _tag: 'Cx';
-        readonly value: string;
-    };
-    Cy: (value: string) => {
-        readonly _tag: 'Cy';
-        readonly value: string;
-    };
-    R: (value: string) => {
-        readonly _tag: 'R';
-        readonly value: string;
-    };
-    X: (value: string) => {
-        readonly _tag: 'X';
-        readonly value: string;
-    };
-    Y: (value: string) => {
-        readonly _tag: 'Y';
-        readonly value: string;
-    };
-    Width: (value: string) => {
-        readonly _tag: 'Width';
-        readonly value: string;
-    };
-    Height: (value: string) => {
-        readonly _tag: 'Height';
-        readonly value: string;
-    };
-    X1: (value: string) => {
-        readonly _tag: 'X1';
-        readonly value: string;
-    };
-    Y1: (value: string) => {
-        readonly _tag: 'Y1';
-        readonly value: string;
-    };
-    X2: (value: string) => {
-        readonly _tag: 'X2';
-        readonly value: string;
-    };
-    Y2: (value: string) => {
-        readonly _tag: 'Y2';
-        readonly value: string;
-    };
-    Points: (value: string) => {
-        readonly _tag: 'Points';
-        readonly value: string;
-    };
-    Transform: (value: string) => {
-        readonly _tag: 'Transform';
-        readonly value: string;
-    };
-    Opacity: (value: string) => {
-        readonly _tag: 'Opacity';
-        readonly value: string;
-    };
-    StrokeDasharray: (value: string) => {
-        readonly _tag: 'StrokeDasharray';
-        readonly value: string;
-    };
-    StrokeDashoffset: (value: string) => {
-        readonly _tag: 'StrokeDashoffset';
-        readonly value: string;
-    };
-};
-export declare const htmlAttributes: <Message>() => HtmlAttributes<Message>;
+type ElementFunction<Message> = (attributes: ReadonlyArray<Attribute<Message>>, children: ReadonlyArray<Child>) => Html;
+type VoidElementFunction<Message> = (attributes: ReadonlyArray<Attribute<Message>>) => Html;
 export declare const html: <Message>() => {
     empty: Effect.Effect<null, never, never>;
     keyed: (tagName: TagName) => (key: string, attributes?: readonly AttributeWithoutKey<Message>[], children?: ReadonlyArray<Child>) => Html;