foldkit 0.54.0 → 0.56.0

package/dist/html/index.d.ts

@@ -40,6 +40,30 @@ export type Attribute<Message> = Data.TaggedEnum<{
     Hidden: {
         readonly value: boolean;
     };
+    Contenteditable: {
+        readonly value: string;
+    };
+    Draggable: {
+        readonly value: boolean;
+    };
+    Accesskey: {
+        readonly value: string;
+    };
+    Translate: {
+        readonly value: string;
+    };
+    Inert: {
+        readonly value: boolean;
+    };
+    Popover: {
+        readonly value: string;
+    };
+    Popovertarget: {
+        readonly value: string;
+    };
+    Popovertargetaction: {
+        readonly value: string;
+    };
     OnClick: {
         readonly message: Message;
     };
@@ -133,6 +157,78 @@ export type Attribute<Message> = Data.TaggedEnum<{
     OnToggle: {
         readonly f: (isOpen: boolean) => Message;
     };
+    OnContextMenu: {
+        readonly message: Message;
+    };
+    OnDragStart: {
+        readonly message: Message;
+    };
+    OnDrag: {
+        readonly message: Message;
+    };
+    OnDragEnd: {
+        readonly message: Message;
+    };
+    OnDragEnter: {
+        readonly message: Message;
+    };
+    OnDragLeave: {
+        readonly message: Message;
+    };
+    OnDragOver: {
+        readonly message: Message;
+    };
+    OnDrop: {
+        readonly message: Message;
+    };
+    OnTouchStart: {
+        readonly message: Message;
+    };
+    OnTouchEnd: {
+        readonly message: Message;
+    };
+    OnTouchMove: {
+        readonly message: Message;
+    };
+    OnTouchCancel: {
+        readonly message: Message;
+    };
+    OnAnimationStart: {
+        readonly message: Message;
+    };
+    OnAnimationEnd: {
+        readonly message: Message;
+    };
+    OnAnimationIteration: {
+        readonly message: Message;
+    };
+    OnTransitionEnd: {
+        readonly message: Message;
+    };
+    OnLoad: {
+        readonly message: Message;
+    };
+    OnError: {
+        readonly message: Message;
+    };
+    OnPlay: {
+        readonly message: Message;
+    };
+    OnPause: {
+        readonly message: Message;
+    };
+    OnEnded: {
+        readonly message: Message;
+    };
+    OnTimeUpdate: {
+        readonly message: Message;
+    };
+    OnVolumeChange: {
+        readonly message: Message;
+    };
+    OnSelect: {
+        readonly message: Message;
+    };
     Value: {
         readonly value: string;
     };
@@ -250,6 +346,144 @@ export type Attribute<Message> = Data.TaggedEnum<{
     Novalidate: {
         readonly value: boolean;
     };
+    Formaction: {
+        readonly value: string;
+    };
+    Formmethod: {
+        readonly value: string;
+    };
+    Formnovalidate: {
+        readonly value: boolean;
+    };
+    Formtarget: {
+        readonly value: string;
+    };
+    Formenctype: {
+        readonly value: string;
+    };
+    Colspan: {
+        readonly value: number;
+    };
+    Rowspan: {
+        readonly value: number;
+    };
+    Scope: {
+        readonly value: string;
+    };
+    Headers: {
+        readonly value: string;
+    };
+    Span: {
+        readonly value: number;
+    };
+    Start: {
+        readonly value: number;
+    };
+    Reversed: {
+        readonly value: boolean;
+    };
+    CiteAttr: {
+        readonly value: string;
+    };
+    Datetime: {
+        readonly value: string;
+    };
+    Wrap: {
+        readonly value: string;
+    };
+    List: {
+        readonly value: string;
+    };
+    FormAttr: {
+        readonly value: string;
+    };
+    LabelAttr: {
+        readonly value: string;
+    };
+    ContentAttr: {
+        readonly value: string;
+    };
+    Charset: {
+        readonly value: string;
+    };
+    HttpEquiv: {
+        readonly value: string;
+    };
+    Srcset: {
+        readonly value: string;
+    };
+    Sizes: {
+        readonly value: string;
+    };
+    Loading: {
+        readonly value: string;
+    };
+    Decoding: {
+        readonly value: string;
+    };
+    Fetchpriority: {
+        readonly value: string;
+    };
+    Crossorigin: {
+        readonly value: string;
+    };
+    Referrerpolicy: {
+        readonly value: string;
+    };
+    Integrity: {
+        readonly value: string;
+    };
+    Hreflang: {
+        readonly value: string;
+    };
+    Ping: {
+        readonly value: string;
+    };
+    Sandbox: {
+        readonly value: string;
+    };
+    Allow: {
+        readonly value: string;
+    };
+    Srcdoc: {
+        readonly value: string;
+    };
+    Autoplay: {
+        readonly value: boolean;
+    };
+    Controls: {
+        readonly value: boolean;
+    };
+    Loop: {
+        readonly value: boolean;
+    };
+    Muted: {
+        readonly value: boolean;
+    };
+    Poster: {
+        readonly value: string;
+    };
+    Preload: {
+        readonly value: string;
+    };
+    Playsinline: {
+        readonly value: boolean;
+    };
+    High: {
+        readonly value: number;
+    };
+    Low: {
+        readonly value: number;
+    };
+    Optimum: {
+        readonly value: number;
+    };
+    Usemap: {
+        readonly value: string;
+    };
+    Ismap: {
+        readonly value: boolean;
+    };
     Role: {
         readonly value: string;
     };
@@ -322,6 +556,75 @@ export type Attribute<Message> = Data.TaggedEnum<{
     AriaRoleDescription: {
         readonly value: string;
     };
+    AriaAtomic: {
+        readonly value: boolean;
+    };
+    AriaAutocomplete: {
+        readonly value: string;
+    };
+    AriaColcount: {
+        readonly value: number;
+    };
+    AriaColindex: {
+        readonly value: number;
+    };
+    AriaColspan: {
+        readonly value: number;
+    };
+    AriaDescription: {
+        readonly value: string;
+    };
+    AriaDetails: {
+        readonly value: string;
+    };
+    AriaFlowto: {
+        readonly value: string;
+    };
+    AriaKeyshortcuts: {
+        readonly value: string;
+    };
+    AriaLevel: {
+        readonly value: number;
+    };
+    AriaOwns: {
+        readonly value: string;
+    };
+    AriaPlaceholder: {
+        readonly value: string;
+    };
+    AriaPosinset: {
+        readonly value: number;
+    };
+    AriaReadonly: {
+        readonly value: boolean;
+    };
+    AriaRelevant: {
+        readonly value: string;
+    };
+    AriaRowcount: {
+        readonly value: number;
+    };
+    AriaRowindex: {
+        readonly value: number;
+    };
+    AriaRowspan: {
+        readonly value: number;
+    };
+    AriaSetsize: {
+        readonly value: number;
+    };
+    AriaValuemax: {
+        readonly value: number;
+    };
+    AriaValuemin: {
+        readonly value: number;
+    };
+    AriaValuenow: {
+        readonly value: number;
+    };
+    AriaValuetext: {
+        readonly value: string;
+    };
     Attribute: {
         readonly key: string;
         readonly value: string;
@@ -460,6 +763,30 @@ export declare const html: <Message = never>() => {
     } | {
         readonly _tag: "Hidden";
         readonly value: boolean;
+    } | {
+        readonly _tag: "Contenteditable";
+        readonly value: string;
+    } | {
+        readonly _tag: "Draggable";
+        readonly value: boolean;
+    } | {
+        readonly _tag: "Accesskey";
+        readonly value: string;
+    } | {
+        readonly _tag: "Translate";
+        readonly value: string;
+    } | {
+        readonly _tag: "Inert";
+        readonly value: boolean;
+    } | {
+        readonly _tag: "Popover";
+        readonly value: string;
+    } | {
+        readonly _tag: "Popovertarget";
+        readonly value: string;
+    } | {
+        readonly _tag: "Popovertargetaction";
+        readonly value: string;
     } | {
         readonly _tag: "OnClick";
         readonly message: Message;
@@ -578,6 +905,78 @@ export declare const html: <Message = never>() => {
     } | {
         readonly _tag: "OnToggle";
         readonly f: (isOpen: boolean) => Message;
+    } | {
+        readonly _tag: "OnContextMenu";
+        readonly message: Message;
+    } | {
+        readonly _tag: "OnDragStart";
+        readonly message: Message;
+    } | {
+        readonly _tag: "OnDrag";
+        readonly message: Message;
+    } | {
+        readonly _tag: "OnDragEnd";
+        readonly message: Message;
+    } | {
+        readonly _tag: "OnDragEnter";
+        readonly message: Message;
+    } | {
+        readonly _tag: "OnDragLeave";
+        readonly message: Message;
+    } | {
+        readonly _tag: "OnDragOver";
+        readonly message: Message;
+    } | {
+        readonly _tag: "OnDrop";
+        readonly message: Message;
+    } | {
+        readonly _tag: "OnTouchStart";
+        readonly message: Message;
+    } | {
+        readonly _tag: "OnTouchEnd";
+        readonly message: Message;
+    } | {
+        readonly _tag: "OnTouchMove";
+        readonly message: Message;
+    } | {
+        readonly _tag: "OnTouchCancel";
+        readonly message: Message;
+    } | {
+        readonly _tag: "OnAnimationStart";
+        readonly message: Message;
+    } | {
+        readonly _tag: "OnAnimationEnd";
+        readonly message: Message;
+    } | {
+        readonly _tag: "OnAnimationIteration";
+        readonly message: Message;
+    } | {
+        readonly _tag: "OnTransitionEnd";
+        readonly message: Message;
+    } | {
+        readonly _tag: "OnLoad";
+        readonly message: Message;
+    } | {
+        readonly _tag: "OnError";
+        readonly message: Message;
+    } | {
+        readonly _tag: "OnPlay";
+        readonly message: Message;
+    } | {
+        readonly _tag: "OnPause";
+        readonly message: Message;
+    } | {
+        readonly _tag: "OnEnded";
+        readonly message: Message;
+    } | {
+        readonly _tag: "OnTimeUpdate";
+        readonly message: Message;
+    } | {
+        readonly _tag: "OnVolumeChange";
+        readonly message: Message;
+    } | {
+        readonly _tag: "OnSelect";
+        readonly message: Message;
     } | {
         readonly _tag: "Value";
         readonly value: string;
@@ -678,16 +1077,154 @@ export declare const html: <Message = never>() => {
         readonly _tag: "Download";
         readonly value: string;
     } | {
-        readonly _tag: "Action";
-        readonly value: string;
+        readonly _tag: "Action";
+        readonly value: string;
+    } | {
+        readonly _tag: "Method";
+        readonly value: string;
+    } | {
+        readonly _tag: "Enctype";
+        readonly value: string;
+    } | {
+        readonly _tag: "Novalidate";
+        readonly value: boolean;
+    } | {
+        readonly _tag: "Formaction";
+        readonly value: string;
+    } | {
+        readonly _tag: "Formmethod";
+        readonly value: string;
+    } | {
+        readonly _tag: "Formnovalidate";
+        readonly value: boolean;
+    } | {
+        readonly _tag: "Formtarget";
+        readonly value: string;
+    } | {
+        readonly _tag: "Formenctype";
+        readonly value: string;
+    } | {
+        readonly _tag: "Colspan";
+        readonly value: number;
+    } | {
+        readonly _tag: "Rowspan";
+        readonly value: number;
+    } | {
+        readonly _tag: "Scope";
+        readonly value: string;
+    } | {
+        readonly _tag: "Headers";
+        readonly value: string;
+    } | {
+        readonly _tag: "Span";
+        readonly value: number;
+    } | {
+        readonly _tag: "Start";
+        readonly value: number;
+    } | {
+        readonly _tag: "Reversed";
+        readonly value: boolean;
+    } | {
+        readonly _tag: "CiteAttr";
+        readonly value: string;
+    } | {
+        readonly _tag: "Datetime";
+        readonly value: string;
+    } | {
+        readonly _tag: "Wrap";
+        readonly value: string;
+    } | {
+        readonly _tag: "List";
+        readonly value: string;
+    } | {
+        readonly _tag: "FormAttr";
+        readonly value: string;
+    } | {
+        readonly _tag: "LabelAttr";
+        readonly value: string;
+    } | {
+        readonly _tag: "ContentAttr";
+        readonly value: string;
+    } | {
+        readonly _tag: "Charset";
+        readonly value: string;
+    } | {
+        readonly _tag: "HttpEquiv";
+        readonly value: string;
+    } | {
+        readonly _tag: "Srcset";
+        readonly value: string;
+    } | {
+        readonly _tag: "Sizes";
+        readonly value: string;
+    } | {
+        readonly _tag: "Loading";
+        readonly value: string;
+    } | {
+        readonly _tag: "Decoding";
+        readonly value: string;
+    } | {
+        readonly _tag: "Fetchpriority";
+        readonly value: string;
+    } | {
+        readonly _tag: "Crossorigin";
+        readonly value: string;
+    } | {
+        readonly _tag: "Referrerpolicy";
+        readonly value: string;
+    } | {
+        readonly _tag: "Integrity";
+        readonly value: string;
+    } | {
+        readonly _tag: "Hreflang";
+        readonly value: string;
+    } | {
+        readonly _tag: "Ping";
+        readonly value: string;
+    } | {
+        readonly _tag: "Sandbox";
+        readonly value: string;
+    } | {
+        readonly _tag: "Allow";
+        readonly value: string;
+    } | {
+        readonly _tag: "Srcdoc";
+        readonly value: string;
+    } | {
+        readonly _tag: "Autoplay";
+        readonly value: boolean;
+    } | {
+        readonly _tag: "Controls";
+        readonly value: boolean;
+    } | {
+        readonly _tag: "Loop";
+        readonly value: boolean;
+    } | {
+        readonly _tag: "Muted";
+        readonly value: boolean;
+    } | {
+        readonly _tag: "Poster";
+        readonly value: string;
+    } | {
+        readonly _tag: "Preload";
+        readonly value: string;
+    } | {
+        readonly _tag: "Playsinline";
+        readonly value: boolean;
+    } | {
+        readonly _tag: "High";
+        readonly value: number;
+    } | {
+        readonly _tag: "Low";
+        readonly value: number;
     } | {
-        readonly _tag: "Method";
-        readonly value: string;
+        readonly _tag: "Optimum";
+        readonly value: number;
     } | {
-        readonly _tag: "Enctype";
+        readonly _tag: "Usemap";
         readonly value: string;
     } | {
-        readonly _tag: "Novalidate";
+        readonly _tag: "Ismap";
         readonly value: boolean;
     } | {
         readonly _tag: "Role";
@@ -761,6 +1298,75 @@ export declare const html: <Message = never>() => {
     } | {
         readonly _tag: "AriaRoleDescription";
         readonly value: string;
+    } | {
+        readonly _tag: "AriaAtomic";
+        readonly value: boolean;
+    } | {
+        readonly _tag: "AriaAutocomplete";
+        readonly value: string;
+    } | {
+        readonly _tag: "AriaColcount";
+        readonly value: number;
+    } | {
+        readonly _tag: "AriaColindex";
+        readonly value: number;
+    } | {
+        readonly _tag: "AriaColspan";
+        readonly value: number;
+    } | {
+        readonly _tag: "AriaDescription";
+        readonly value: string;
+    } | {
+        readonly _tag: "AriaDetails";
+        readonly value: string;
+    } | {
+        readonly _tag: "AriaFlowto";
+        readonly value: string;
+    } | {
+        readonly _tag: "AriaKeyshortcuts";
+        readonly value: string;
+    } | {
+        readonly _tag: "AriaLevel";
+        readonly value: number;
+    } | {
+        readonly _tag: "AriaOwns";
+        readonly value: string;
+    } | {
+        readonly _tag: "AriaPlaceholder";
+        readonly value: string;
+    } | {
+        readonly _tag: "AriaPosinset";
+        readonly value: number;
+    } | {
+        readonly _tag: "AriaReadonly";
+        readonly value: boolean;
+    } | {
+        readonly _tag: "AriaRelevant";
+        readonly value: string;
+    } | {
+        readonly _tag: "AriaRowcount";
+        readonly value: number;
+    } | {
+        readonly _tag: "AriaRowindex";
+        readonly value: number;
+    } | {
+        readonly _tag: "AriaRowspan";
+        readonly value: number;
+    } | {
+        readonly _tag: "AriaSetsize";
+        readonly value: number;
+    } | {
+        readonly _tag: "AriaValuemax";
+        readonly value: number;
+    } | {
+        readonly _tag: "AriaValuemin";
+        readonly value: number;
+    } | {
+        readonly _tag: "AriaValuenow";
+        readonly value: number;
+    } | {
+        readonly _tag: "AriaValuetext";
+        readonly value: string;
     } | {
         readonly _tag: "Attribute";
         readonly key: string;
@@ -892,6 +1498,38 @@ export declare const html: <Message = never>() => {
         readonly _tag: "Hidden";
         readonly value: boolean;
     };
+    Contenteditable: (value: string) => {
+        readonly _tag: "Contenteditable";
+        readonly value: string;
+    };
+    Draggable: (value: boolean) => {
+        readonly _tag: "Draggable";
+        readonly value: boolean;
+    };
+    Accesskey: (value: string) => {
+        readonly _tag: "Accesskey";
+        readonly value: string;
+    };
+    Translate: (value: string) => {
+        readonly _tag: "Translate";
+        readonly value: string;
+    };
+    Inert: (value: boolean) => {
+        readonly _tag: "Inert";
+        readonly value: boolean;
+    };
+    Popover: (value: string) => {
+        readonly _tag: "Popover";
+        readonly value: string;
+    };
+    Popovertarget: (value: string) => {
+        readonly _tag: "Popovertarget";
+        readonly value: string;
+    };
+    Popovertargetaction: (value: string) => {
+        readonly _tag: "Popovertargetaction";
+        readonly value: string;
+    };
     OnClick: (message: Message) => {
         readonly _tag: "OnClick";
         readonly message: Message;
@@ -1066,6 +1704,102 @@ export declare const html: <Message = never>() => {
         readonly _tag: "OnToggle";
         readonly f: (isOpen: boolean) => Message;
     };
+    OnContextMenu: (message: Message) => {
+        readonly _tag: "OnContextMenu";
+        readonly message: Message;
+    };
+    OnDragStart: (message: Message) => {
+        readonly _tag: "OnDragStart";
+        readonly message: Message;
+    };
+    OnDrag: (message: Message) => {
+        readonly _tag: "OnDrag";
+        readonly message: Message;
+    };
+    OnDragEnd: (message: Message) => {
+        readonly _tag: "OnDragEnd";
+        readonly message: Message;
+    };
+    OnDragEnter: (message: Message) => {
+        readonly _tag: "OnDragEnter";
+        readonly message: Message;
+    };
+    OnDragLeave: (message: Message) => {
+        readonly _tag: "OnDragLeave";
+        readonly message: Message;
+    };
+    OnDragOver: (message: Message) => {
+        readonly _tag: "OnDragOver";
+        readonly message: Message;
+    };
+    OnDrop: (message: Message) => {
+        readonly _tag: "OnDrop";
+        readonly message: Message;
+    };
+    OnTouchStart: (message: Message) => {
+        readonly _tag: "OnTouchStart";
+        readonly message: Message;
+    };
+    OnTouchEnd: (message: Message) => {
+        readonly _tag: "OnTouchEnd";
+        readonly message: Message;
+    };
+    OnTouchMove: (message: Message) => {
+        readonly _tag: "OnTouchMove";
+        readonly message: Message;
+    };
+    OnTouchCancel: (message: Message) => {
+        readonly _tag: "OnTouchCancel";
+        readonly message: Message;
+    };
+    OnAnimationStart: (message: Message) => {
+        readonly _tag: "OnAnimationStart";
+        readonly message: Message;
+    };
+    OnAnimationEnd: (message: Message) => {
+        readonly _tag: "OnAnimationEnd";
+        readonly message: Message;
+    };
+    OnAnimationIteration: (message: Message) => {
+        readonly _tag: "OnAnimationIteration";
+        readonly message: Message;
+    };
+    OnTransitionEnd: (message: Message) => {
+        readonly _tag: "OnTransitionEnd";
+        readonly message: Message;
+    };
+    OnLoad: (message: Message) => {
+        readonly _tag: "OnLoad";
+        readonly message: Message;
+    };
+    OnError: (message: Message) => {
+        readonly _tag: "OnError";
+        readonly message: Message;
+    };
+    OnPlay: (message: Message) => {
+        readonly _tag: "OnPlay";
+        readonly message: Message;
+    };
+    OnPause: (message: Message) => {
+        readonly _tag: "OnPause";
+        readonly message: Message;
+    };
+    OnEnded: (message: Message) => {
+        readonly _tag: "OnEnded";
+        readonly message: Message;
+    };
+    OnTimeUpdate: (message: Message) => {
+        readonly _tag: "OnTimeUpdate";
+        readonly message: Message;
+    };
+    OnVolumeChange: (message: Message) => {
+        readonly _tag: "OnVolumeChange";
+        readonly message: Message;
+    };
+    OnSelect: (message: Message) => {
+        readonly _tag: "OnSelect";
+        readonly message: Message;
+    };
     Value: (value: string) => {
         readonly _tag: "Value";
         readonly value: string;
@@ -1222,6 +1956,190 @@ export declare const html: <Message = never>() => {
         readonly _tag: "Novalidate";
         readonly value: boolean;
     };
+    Formaction: (value: string) => {
+        readonly _tag: "Formaction";
+        readonly value: string;
+    };
+    Formmethod: (value: string) => {
+        readonly _tag: "Formmethod";
+        readonly value: string;
+    };
+    Formnovalidate: (value: boolean) => {
+        readonly _tag: "Formnovalidate";
+        readonly value: boolean;
+    };
+    Formtarget: (value: string) => {
+        readonly _tag: "Formtarget";
+        readonly value: string;
+    };
+    Formenctype: (value: string) => {
+        readonly _tag: "Formenctype";
+        readonly value: string;
+    };
+    Colspan: (value: number) => {
+        readonly _tag: "Colspan";
+        readonly value: number;
+    };
+    Rowspan: (value: number) => {
+        readonly _tag: "Rowspan";
+        readonly value: number;
+    };
+    Scope: (value: string) => {
+        readonly _tag: "Scope";
+        readonly value: string;
+    };
+    Headers: (value: string) => {
+        readonly _tag: "Headers";
+        readonly value: string;
+    };
+    Span: (value: number) => {
+        readonly _tag: "Span";
+        readonly value: number;
+    };
+    Start: (value: number) => {
+        readonly _tag: "Start";
+        readonly value: number;
+    };
+    Reversed: (value: boolean) => {
+        readonly _tag: "Reversed";
+        readonly value: boolean;
+    };
+    CiteAttr: (value: string) => {
+        readonly _tag: "CiteAttr";
+        readonly value: string;
+    };
+    Datetime: (value: string) => {
+        readonly _tag: "Datetime";
+        readonly value: string;
+    };
+    Wrap: (value: string) => {
+        readonly _tag: "Wrap";
+        readonly value: string;
+    };
+    List: (value: string) => {
+        readonly _tag: "List";
+        readonly value: string;
+    };
+    FormAttr: (value: string) => {
+        readonly _tag: "FormAttr";
+        readonly value: string;
+    };
+    LabelAttr: (value: string) => {
+        readonly _tag: "LabelAttr";
+        readonly value: string;
+    };
+    ContentAttr: (value: string) => {
+        readonly _tag: "ContentAttr";
+        readonly value: string;
+    };
+    Charset: (value: string) => {
+        readonly _tag: "Charset";
+        readonly value: string;
+    };
+    HttpEquiv: (value: string) => {
+        readonly _tag: "HttpEquiv";
+        readonly value: string;
+    };
+    Srcset: (value: string) => {
+        readonly _tag: "Srcset";
+        readonly value: string;
+    };
+    Sizes: (value: string) => {
+        readonly _tag: "Sizes";
+        readonly value: string;
+    };
+    Loading: (value: string) => {
+        readonly _tag: "Loading";
+        readonly value: string;
+    };
+    Decoding: (value: string) => {
+        readonly _tag: "Decoding";
+        readonly value: string;
+    };
+    Fetchpriority: (value: string) => {
+        readonly _tag: "Fetchpriority";
+        readonly value: string;
+    };
+    Crossorigin: (value: string) => {
+        readonly _tag: "Crossorigin";
+        readonly value: string;
+    };
+    Referrerpolicy: (value: string) => {
+        readonly _tag: "Referrerpolicy";
+        readonly value: string;
+    };
+    Integrity: (value: string) => {
+        readonly _tag: "Integrity";
+        readonly value: string;
+    };
+    Hreflang: (value: string) => {
+        readonly _tag: "Hreflang";
+        readonly value: string;
+    };
+    Ping: (value: string) => {
+        readonly _tag: "Ping";
+        readonly value: string;
+    };
+    Sandbox: (value: string) => {
+        readonly _tag: "Sandbox";
+        readonly value: string;
+    };
+    Allow: (value: string) => {
+        readonly _tag: "Allow";
+        readonly value: string;
+    };
+    Srcdoc: (value: string) => {
+        readonly _tag: "Srcdoc";
+        readonly value: string;
+    };
+    Autoplay: (value: boolean) => {
+        readonly _tag: "Autoplay";
+        readonly value: boolean;
+    };
+    Controls: (value: boolean) => {
+        readonly _tag: "Controls";
+        readonly value: boolean;
+    };
+    Loop: (value: boolean) => {
+        readonly _tag: "Loop";
+        readonly value: boolean;
+    };
+    Muted: (value: boolean) => {
+        readonly _tag: "Muted";
+        readonly value: boolean;
+    };
+    Poster: (value: string) => {
+        readonly _tag: "Poster";
+        readonly value: string;
+    };
+    Preload: (value: string) => {
+        readonly _tag: "Preload";
+        readonly value: string;
+    };
+    Playsinline: (value: boolean) => {
+        readonly _tag: "Playsinline";
+        readonly value: boolean;
+    };
+    High: (value: number) => {
+        readonly _tag: "High";
+        readonly value: number;
+    };
+    Low: (value: number) => {
+        readonly _tag: "Low";
+        readonly value: number;
+    };
+    Optimum: (value: number) => {
+        readonly _tag: "Optimum";
+        readonly value: number;
+    };
+    Usemap: (value: string) => {
+        readonly _tag: "Usemap";
+        readonly value: string;
+    };
+    Ismap: (value: boolean) => {
+        readonly _tag: "Ismap";
+        readonly value: boolean;
+    };
     Role: (value: string) => {
         readonly _tag: "Role";
         readonly value: string;
@@ -1318,6 +2236,98 @@ export declare const html: <Message = never>() => {
         readonly _tag: "AriaRoleDescription";
         readonly value: string;
     };
+    AriaAtomic: (value: boolean) => {
+        readonly _tag: "AriaAtomic";
+        readonly value: boolean;
+    };
+    AriaAutocomplete: (value: string) => {
+        readonly _tag: "AriaAutocomplete";
+        readonly value: string;
+    };
+    AriaColcount: (value: number) => {
+        readonly _tag: "AriaColcount";
+        readonly value: number;
+    };
+    AriaColindex: (value: number) => {
+        readonly _tag: "AriaColindex";
+        readonly value: number;
+    };
+    AriaColspan: (value: number) => {
+        readonly _tag: "AriaColspan";
+        readonly value: number;
+    };
+    AriaDescription: (value: string) => {
+        readonly _tag: "AriaDescription";
+        readonly value: string;
+    };
+    AriaDetails: (value: string) => {
+        readonly _tag: "AriaDetails";
+        readonly value: string;
+    };
+    AriaFlowto: (value: string) => {
+        readonly _tag: "AriaFlowto";
+        readonly value: string;
+    };
+    AriaKeyshortcuts: (value: string) => {
+        readonly _tag: "AriaKeyshortcuts";
+        readonly value: string;
+    };
+    AriaLevel: (value: number) => {
+        readonly _tag: "AriaLevel";
+        readonly value: number;
+    };
+    AriaOwns: (value: string) => {
+        readonly _tag: "AriaOwns";
+        readonly value: string;
+    };
+    AriaPlaceholder: (value: string) => {
+        readonly _tag: "AriaPlaceholder";
+        readonly value: string;
+    };
+    AriaPosinset: (value: number) => {
+        readonly _tag: "AriaPosinset";
+        readonly value: number;
+    };
+    AriaReadonly: (value: boolean) => {
+        readonly _tag: "AriaReadonly";
+        readonly value: boolean;
+    };
+    AriaRelevant: (value: string) => {
+        readonly _tag: "AriaRelevant";
+        readonly value: string;
+    };
+    AriaRowcount: (value: number) => {
+        readonly _tag: "AriaRowcount";
+        readonly value: number;
+    };
+    AriaRowindex: (value: number) => {
+        readonly _tag: "AriaRowindex";
+        readonly value: number;
+    };
+    AriaRowspan: (value: number) => {
+        readonly _tag: "AriaRowspan";
+        readonly value: number;
+    };
+    AriaSetsize: (value: number) => {
+        readonly _tag: "AriaSetsize";
+        readonly value: number;
+    };
+    AriaValuemax: (value: number) => {
+        readonly _tag: "AriaValuemax";
+        readonly value: number;
+    };
+    AriaValuemin: (value: number) => {
+        readonly _tag: "AriaValuemin";
+        readonly value: number;
+    };
+    AriaValuenow: (value: number) => {
+        readonly _tag: "AriaValuenow";
+        readonly value: number;
+    };
+    AriaValuetext: (value: string) => {
+        readonly _tag: "AriaValuetext";
+        readonly value: string;
+    };
     Attribute: (key: string, value: string) => {
         readonly _tag: "Attribute";
         readonly key: string;