Variable zlozPortPositionFormConst

Type Declaration

• • <M>(
        h: HtmlBuilder<M>,
        messages: ZlozPortLabelFormMessages<M>,
        attributes: readonly (
            | Readonly<
                {
                    __childAttribute: true;
                    attribute: unknown;
                    dispatch: DispatchSync;
                    resolveUnmount: (message: unknown) => () => void;
                    boundaryMappers: readonly ((message: unknown) => unknown)[];
                    resolveMountDispatch?: Readonly<
                        { owner: MountRenderOwner; resolve: () => DispatchSync },
                    >;
                },
            >
            | { _tag: "Alt"; value: string }
            | { _tag: "Key"; value: string }
            | { _tag: "Class"; value: string }
            | { _tag: "Id"; value: string }
            | { _tag: "Title"; value: string }
            | { _tag: "Lang"; value: string }
            | { _tag: "Dir"; value: string }
            | { _tag: "Tabindex"; value: number }
            | { _tag: "Hidden"; value: boolean }
            | { _tag: "Contenteditable"; value: string }
            | { _tag: "Draggable"; value: boolean }
            | { _tag: "Accesskey"; value: string }
            | { _tag: "Translate"; value: string }
            | { _tag: "Inert"; value: boolean }
            | { _tag: "Popover"; value: string }
            | { _tag: "Popovertarget"; value: string }
            | { _tag: "Popovertargetaction"; value: string }
            | {
                _tag: "OnClick";
                message: M;
                options?: {
                    defaultAction?: "Allow" | "Prevent";
                    propagation?: "Bubble" | "Stop";
                    focusSelector?: string;
                };
            }
            | { _tag: "OnDoubleClick"; message: M }
            | { _tag: "OnMouseDown"; message: M }
            | { _tag: "OnMouseUp"; message: M }
            | { _tag: "OnMouseEnter"; message: M }
            | { _tag: "OnMouseLeave"; message: M }
            | { _tag: "OnMouseOver"; message: M }
            | { _tag: "OnMouseOut"; message: M }
            | { _tag: "OnMouseMove"; message: M }
            | {
                _tag: "OnPointerMove";
                f: (screenX: number, screenY: number, pointerType: string) => Option<M>;
            }
            | { _tag: "OnPointerLeave"; f: (pointerType: string) => Option<M> }
            | {
                _tag: "OnPointerDown";
                f: (
                    pointerType: string,
                    button: number,
                    screenX: number,
                    screenY: number,
                    timeStamp: number,
                    clientX: number,
                    clientY: number,
                    pointerId: number,
                    target: EventTarget | null,
                ) => Option<M>;
            }
            | {
                _tag: "OnPointerUp";
                f: (
                    screenX: number,
                    screenY: number,
                    pointerType: string,
                    timeStamp: number,
                ) => Option<M>;
            }
            | {
                _tag: "OnKeyDown";
                f: (key: string, modifiers: KeyboardModifiers) => M;
            }
            | {
                _tag: "OnKeyDownPreventDefault";
                f: (key: string, modifiers: KeyboardModifiers) => Option<M>;
            }
            | {
                _tag: "OnKeyDownSelf";
                f: (key: string, modifiers: KeyboardModifiers) => M;
            }
            | {
                _tag: "OnKeyDownSelfPreventDefault";
                f: (key: string, modifiers: KeyboardModifiers) => Option<M>;
            }
            | {
                _tag: "OnKeyDownFocus";
                f: (
                    key: string,
                    modifiers: KeyboardModifiers,
                ) => Option<Readonly<{ focusSelector: string; message: M }>>;
            }
            | { _tag: "OnKeyUp"; f: (key: string, modifiers: KeyboardModifiers) => M }
            | {
                _tag: "OnKeyUpPreventDefault";
                f: (key: string, modifiers: KeyboardModifiers) => Option<M>;
            }
            | {
                _tag: "OnKeyPress";
                f: (key: string, modifiers: KeyboardModifiers) => M;
            }
            | { _tag: "OnFocus"; message: M }
            | { _tag: "OnBlur"; message: M }
            | { _tag: "OnFocusEnter"; message: M }
            | { _tag: "OnFocusLeave"; message: M }
            | { _tag: "OnInput"; f: (value: string) => M }
            | { _tag: "OnChange"; f: (value: string) => M }
            | {
                _tag: "OnBeforeInput";
                f: (inputType: string, data: Option<string>) => M;
            }
            | {
                _tag: "OnBeforeInputPreventDefault";
                f: (inputType: string, data: Option<string>) => Option<M>;
            }
            | { _tag: "OnFileChange"; f: (files: readonly File[]) => M }
            | { _tag: "OnSubmit"; message: M }
            | { _tag: "OnReset"; message: M }
            | { _tag: "OnScroll"; f: (scrollTop: number) => M }
            | { _tag: "OnWheel"; message: M }
            | { _tag: "OnCopy"; message: M }
            | { _tag: "OnCut"; message: M }
            | { _tag: "OnPaste"; message: M }
            | { _tag: "OnPastePreventDefault"; f: (text: string) => Option<M> }
            | { _tag: "OnCopyText"; text: string }
            | { _tag: "OnCutText"; text: string; message: M }
            | { _tag: "OnCancel"; message: M }
            | { _tag: "OnCancelPreventDefault"; maybeCustomEventMessage: Option<M> }
            | { _tag: "OnToggle"; f: (isOpen: boolean) => M }
            | { _tag: "OnContextMenu"; message: M }
            | { _tag: "OnDragStart"; message: M }
            | { _tag: "OnDrag"; message: M }
            | { _tag: "OnDragEnd"; message: M }
            | { _tag: "OnDragEnter"; message: M }
            | { _tag: "OnDragLeave"; message: M }
            | { _tag: "OnDragOver"; message: M }
            | { _tag: "AllowDrop" }
            | { _tag: "OnDrop"; message: M }
            | { _tag: "OnDropFiles"; f: (files: readonly File[]) => M }
            | { _tag: "OnTouchStart"; message: M }
            | { _tag: "OnTouchEnd"; message: M }
            | { _tag: "OnTouchMove"; message: M }
            | { _tag: "OnTouchCancel"; message: M }
            | { _tag: "OnAnimationStart"; message: M }
            | { _tag: "OnAnimationEnd"; message: M }
            | { _tag: "OnAnimationIteration"; message: M }
            | { _tag: "OnTransitionEnd"; message: M }
            | { _tag: "OnLoad"; message: M }
            | { _tag: "OnError"; message: M }
            | { _tag: "OnPlay"; message: M }
            | { _tag: "OnPause"; message: M }
            | { _tag: "OnEnded"; message: M }
            | { _tag: "OnTimeUpdate"; message: M }
            | { _tag: "OnVolumeChange"; message: M }
            | { _tag: "OnSelect"; message: M }
            | { _tag: "Value"; value: string }
            | { _tag: "Checked"; value: boolean }
            | { _tag: "Selected"; value: boolean }
            | { _tag: "Open"; value: boolean }
            | { _tag: "Placeholder"; value: string }
            | { _tag: "Name"; value: string }
            | { _tag: "Disabled"; value: boolean }
            | { _tag: "Readonly"; value: boolean }
            | { _tag: "Required"; value: boolean }
            | { _tag: "Autofocus"; value: boolean }
            | { _tag: "Spellcheck"; value: boolean }
            | { _tag: "Autocorrect"; value: string }
            | { _tag: "Autocapitalize"; value: string }
            | { _tag: "InputMode"; value: string }
            | { _tag: "EnterKeyHint"; value: string }
            | { _tag: "Multiple"; value: boolean }
            | { _tag: "Type"; value: string }
            | { _tag: "Accept"; value: string }
            | { _tag: "Autocomplete"; value: string }
            | { _tag: "Pattern"; value: string }
            | { _tag: "Maxlength"; value: number }
            | { _tag: "Minlength"; value: number }
            | { _tag: "Size"; value: number }
            | { _tag: "Cols"; value: number }
            | { _tag: "Rows"; value: number }
            | { _tag: "Max"; value: string }
            | { _tag: "Min"; value: string }
            | { _tag: "Step"; value: string }
            | { _tag: "For"; value: string }
            | { _tag: "Href"; value: string }
            | { _tag: "Src"; value: string }
            | { _tag: "Target"; value: string }
            | { _tag: "Rel"; value: string }
            | { _tag: "Download"; value: string }
            | { _tag: "Action"; value: string }
            | { _tag: "Method"; value: string }
            | { _tag: "Enctype"; value: string }
            | { _tag: "Novalidate"; value: boolean }
            | { _tag: "Formaction"; value: string }
            | { _tag: "Formmethod"; value: string }
            | { _tag: "Formnovalidate"; value: boolean }
            | { _tag: "Formtarget"; value: string }
            | { _tag: "Formenctype"; value: string }
            | { _tag: "Colspan"; value: number }
            | { _tag: "Rowspan"; value: number }
            | { _tag: "Scope"; value: string }
            | { _tag: "Headers"; value: string }
            | { _tag: "Span"; value: number }
            | { _tag: "Start"; value: number }
            | { _tag: "Reversed"; value: boolean }
            | { _tag: "CiteAttr"; value: string }
            | { _tag: "Datetime"; value: string }
            | { _tag: "Wrap"; value: string }
            | { _tag: "List"; value: string }
            | { _tag: "FormAttr"; value: string }
            | { _tag: "LabelAttr"; value: string }
            | { _tag: "ContentAttr"; value: string }
            | { _tag: "Charset"; value: string }
            | { _tag: "HttpEquiv"; value: string }
            | { _tag: "Srcset"; value: string }
            | { _tag: "Sizes"; value: string }
            | { _tag: "Loading"; value: string }
            | { _tag: "Decoding"; value: string }
            | { _tag: "Fetchpriority"; value: string }
            | { _tag: "Crossorigin"; value: string }
            | { _tag: "Referrerpolicy"; value: string }
            | { _tag: "Integrity"; value: string }
            | { _tag: "Hreflang"; value: string }
            | { _tag: "Ping"; value: string }
            | { _tag: "Sandbox"; value: string }
            | { _tag: "Allow"; value: string }
            | { _tag: "Srcdoc"; value: string }
            | { _tag: "Autoplay"; value: boolean }
            | { _tag: "Controls"; value: boolean }
            | { _tag: "Loop"; value: boolean }
            | { _tag: "Muted"; value: boolean }
            | { _tag: "Poster"; value: string }
            | { _tag: "Preload"; value: string }
            | { _tag: "Playsinline"; value: boolean }
            | { _tag: "High"; value: number }
            | { _tag: "Low"; value: number }
            | { _tag: "Optimum"; value: number }
            | { _tag: "Usemap"; value: string }
            | { _tag: "Ismap"; value: boolean }
            | { _tag: "Role"; value: string }
            | { _tag: "AriaLabel"; value: string }
            | { _tag: "AriaLabelledBy"; value: string }
            | { _tag: "AriaDescribedBy"; value: string }
            | { _tag: "AriaHidden"; value: boolean }
            | { _tag: "AriaExpanded"; value: boolean }
            | { _tag: "AriaSelected"; value: boolean }
            | { _tag: "AriaChecked"; value: boolean | "mixed" }
            | { _tag: "AriaDisabled"; value: boolean }
            | { _tag: "AriaRequired"; value: boolean }
            | { _tag: "AriaInvalid"; value: boolean }
            | { _tag: "AriaLive"; value: string }
            | { _tag: "AriaControls"; value: string }
            | { _tag: "AriaCurrent"; value: string }
            | { _tag: "AriaOrientation"; value: string }
            | { _tag: "AriaPressed"; value: string }
            | { _tag: "AriaHasPopup"; value: string }
            | { _tag: "AriaActiveDescendant"; value: string }
            | { _tag: "AriaSort"; value: string }
            | { _tag: "AriaMultiSelectable"; value: boolean }
            | { _tag: "AriaModal"; value: boolean }
            | { _tag: "AriaBusy"; value: boolean }
            | { _tag: "AriaErrorMessage"; value: string }
            | { _tag: "AriaRoleDescription"; value: string }
            | { _tag: "AriaAtomic"; value: boolean }
            | { _tag: "AriaAutocomplete"; value: string }
            | { _tag: "AriaColcount"; value: number }
            | { _tag: "AriaColindex"; value: number }
            | { _tag: "AriaColspan"; value: number }
            | { _tag: "AriaDescription"; value: string }
            | { _tag: "AriaDetails"; value: string }
            | { _tag: "AriaFlowto"; value: string }
            | { _tag: "AriaKeyshortcuts"; value: string }
            | { _tag: "AriaLevel"; value: number }
            | { _tag: "AriaOwns"; value: string }
            | { _tag: "AriaPlaceholder"; value: string }
            | { _tag: "AriaPosinset"; value: number }
            | { _tag: "AriaReadonly"; value: boolean }
            | { _tag: "AriaRelevant"; value: string }
            | { _tag: "AriaRowcount"; value: number }
            | { _tag: "AriaRowindex"; value: number }
            | { _tag: "AriaRowspan"; value: number }
            | { _tag: "AriaSetsize"; value: number }
            | { _tag: "AriaValuemax"; value: number }
            | { _tag: "AriaValuemin"; value: number }
            | { _tag: "AriaValuenow"; value: number }
            | { _tag: "AriaValuetext"; value: string }
            | { _tag: "Attribute"; key: string; value: string }
            | { _tag: "DataAttribute"; key: string; value: string }
            | { _tag: "Style"; value: Record<string, string> }
            | { _tag: "InnerHTML"; value: string }
            | { _tag: "ViewBox"; value: string }
            | { _tag: "Xmlns"; value: string }
            | { _tag: "Fill"; value: string }
            | { _tag: "FillRule"; value: string }
            | { _tag: "ClipRule"; value: string }
            | { _tag: "Stroke"; value: string }
            | { _tag: "StrokeWidth"; value: string }
            | { _tag: "StrokeLinecap"; value: string }
            | { _tag: "StrokeLinejoin"; value: string }
            | { _tag: "D"; value: string }
            | { _tag: "Cx"; value: string }
            | { _tag: "Cy"; value: string }
            | { _tag: "R"; value: string }
            | { _tag: "X"; value: string }
            | { _tag: "Y"; value: string }
            | { _tag: "Width"; value: string }
            | { _tag: "Height"; value: string }
            | { _tag: "X1"; value: string }
            | { _tag: "Y1"; value: string }
            | { _tag: "X2"; value: string }
            | { _tag: "Y2"; value: string }
            | { _tag: "Points"; value: string }
            | { _tag: "Transform"; value: string }
            | { _tag: "Opacity"; value: string }
            | { _tag: "StrokeDasharray"; value: string }
            | { _tag: "StrokeDashoffset"; value: string }
            | { _tag: "Dx"; value: string }
            | { _tag: "Dy"; value: string }
            | { _tag: "Rotate"; value: string }
            | { _tag: "TextAnchor"; value: string }
            | { _tag: "DominantBaseline"; value: string }
            | { _tag: "AlignmentBaseline"; value: string }
            | { _tag: "BaselineShift"; value: string }
            | { _tag: "TextLength"; value: string }
            | { _tag: "LengthAdjust"; value: string }
            | { _tag: "FontFamily"; value: string }
            | { _tag: "FontSize"; value: string }
            | { _tag: "FontWeight"; value: string }
            | { _tag: "FontStyle"; value: string }
            | { _tag: "LetterSpacing"; value: string }
            | { _tag: "WordSpacing"; value: string }
            | { _tag: "TextDecoration"; value: string }
            | { _tag: "WritingMode"; value: string }
            | { _tag: "Rx"; value: string }
            | { _tag: "Ry"; value: string }
            | { _tag: "PathLength"; value: string }
            | { _tag: "FillOpacity"; value: string }
            | { _tag: "StrokeOpacity"; value: string }
            | { _tag: "StrokeMiterlimit"; value: string }
            | { _tag: "PaintOrder"; value: string }
            | { _tag: "VectorEffect"; value: string }
            | { _tag: "Color"; value: string }
            | { _tag: "Visibility"; value: string }
            | { _tag: "Display"; value: string }
            | { _tag: "Overflow"; value: string }
            | { _tag: "PointerEvents"; value: string }
            | { _tag: "Cursor"; value: string }
            | { _tag: "ShapeRendering"; value: string }
            | { _tag: "TextRendering"; value: string }
            | { _tag: "ImageRendering"; value: string }
            | { _tag: "ClipPath"; value: string }
            | { _tag: "Mask"; value: string }
            | { _tag: "Filter"; value: string }
            | { _tag: "ClipPathUnits"; value: string }
            | { _tag: "MaskUnits"; value: string }
            | { _tag: "MaskContentUnits"; value: string }
            | { _tag: "FilterUnits"; value: string }
            | { _tag: "PrimitiveUnits"; value: string }
            | { _tag: "Offset"; value: string }
            | { _tag: "StopColor"; value: string }
            | { _tag: "StopOpacity"; value: string }
            | { _tag: "GradientUnits"; value: string }
            | { _tag: "GradientTransform"; value: string }
            | { _tag: "SpreadMethod"; value: string }
            | { _tag: "Fx"; value: string }
            | { _tag: "Fy"; value: string }
            | { _tag: "Fr"; value: string }
            | { _tag: "PatternUnits"; value: string }
            | { _tag: "PatternContentUnits"; value: string }
            | { _tag: "PatternTransform"; value: string }
            | { _tag: "MarkerStart"; value: string }
            | { _tag: "MarkerMid"; value: string }
            | { _tag: "MarkerEnd"; value: string }
            | { _tag: "MarkerWidth"; value: string }
            | { _tag: "MarkerHeight"; value: string }
            | { _tag: "MarkerUnits"; value: string }
            | { _tag: "RefX"; value: string }
            | { _tag: "RefY"; value: string }
            | { _tag: "Orient"; value: string }
            | { _tag: "PreserveAspectRatio"; value: string }
            | { _tag: "Prop"; key: string; value: unknown }
            | {
                _tag: "OnCustomEvent";
                name: string;
                f: (event: CustomEvent<unknown>) => Option<M>;
            }
            | { _tag: "OnMount"; action: MountAction<Message, any> }
            | { _tag: "OnUnmount"; message: M }
        )[],
        children: readonly Child[] | undefined,
    ): Html

  • Submit commits the host draft; Escape discards it even when policy disables editing.

    Type Parameters

    • M

    Parameters

    • h: HtmlBuilder<M>
    • messages: ZlozPortLabelFormMessages<M>
    • attributes: readonly (
          | Readonly<
              {
                  __childAttribute: true;
                  attribute: unknown;
                  dispatch: DispatchSync;
                  resolveUnmount: (message: unknown) => () => void;
                  boundaryMappers: readonly ((message: unknown) => unknown)[];
                  resolveMountDispatch?: Readonly<
                      { owner: MountRenderOwner; resolve: () => DispatchSync },
                  >;
              },
          >
          | { _tag: "Alt"; value: string }
          | { _tag: "Key"; value: string }
          | { _tag: "Class"; value: string }
          | { _tag: "Id"; value: string }
          | { _tag: "Title"; value: string }
          | { _tag: "Lang"; value: string }
          | { _tag: "Dir"; value: string }
          | { _tag: "Tabindex"; value: number }
          | { _tag: "Hidden"; value: boolean }
          | { _tag: "Contenteditable"; value: string }
          | { _tag: "Draggable"; value: boolean }
          | { _tag: "Accesskey"; value: string }
          | { _tag: "Translate"; value: string }
          | { _tag: "Inert"; value: boolean }
          | { _tag: "Popover"; value: string }
          | { _tag: "Popovertarget"; value: string }
          | { _tag: "Popovertargetaction"; value: string }
          | {
              _tag: "OnClick";
              message: M;
              options?: {
                  defaultAction?: "Allow" | "Prevent";
                  propagation?: "Bubble" | "Stop";
                  focusSelector?: string;
              };
          }
          | { _tag: "OnDoubleClick"; message: M }
          | { _tag: "OnMouseDown"; message: M }
          | { _tag: "OnMouseUp"; message: M }
          | { _tag: "OnMouseEnter"; message: M }
          | { _tag: "OnMouseLeave"; message: M }
          | { _tag: "OnMouseOver"; message: M }
          | { _tag: "OnMouseOut"; message: M }
          | { _tag: "OnMouseMove"; message: M }
          | {
              _tag: "OnPointerMove";
              f: (screenX: number, screenY: number, pointerType: string) => Option<M>;
          }
          | { _tag: "OnPointerLeave"; f: (pointerType: string) => Option<M> }
          | {
              _tag: "OnPointerDown";
              f: (
                  pointerType: string,
                  button: number,
                  screenX: number,
                  screenY: number,
                  timeStamp: number,
                  clientX: number,
                  clientY: number,
                  pointerId: number,
                  target: EventTarget | null,
              ) => Option<M>;
          }
          | {
              _tag: "OnPointerUp";
              f: (
                  screenX: number,
                  screenY: number,
                  pointerType: string,
                  timeStamp: number,
              ) => Option<M>;
          }
          | {
              _tag: "OnKeyDown";
              f: (key: string, modifiers: KeyboardModifiers) => M;
          }
          | {
              _tag: "OnKeyDownPreventDefault";
              f: (key: string, modifiers: KeyboardModifiers) => Option<M>;
          }
          | {
              _tag: "OnKeyDownSelf";
              f: (key: string, modifiers: KeyboardModifiers) => M;
          }
          | {
              _tag: "OnKeyDownSelfPreventDefault";
              f: (key: string, modifiers: KeyboardModifiers) => Option<M>;
          }
          | {
              _tag: "OnKeyDownFocus";
              f: (
                  key: string,
                  modifiers: KeyboardModifiers,
              ) => Option<Readonly<{ focusSelector: string; message: M }>>;
          }
          | { _tag: "OnKeyUp"; f: (key: string, modifiers: KeyboardModifiers) => M }
          | {
              _tag: "OnKeyUpPreventDefault";
              f: (key: string, modifiers: KeyboardModifiers) => Option<M>;
          }
          | {
              _tag: "OnKeyPress";
              f: (key: string, modifiers: KeyboardModifiers) => M;
          }
          | { _tag: "OnFocus"; message: M }
          | { _tag: "OnBlur"; message: M }
          | { _tag: "OnFocusEnter"; message: M }
          | { _tag: "OnFocusLeave"; message: M }
          | { _tag: "OnInput"; f: (value: string) => M }
          | { _tag: "OnChange"; f: (value: string) => M }
          | {
              _tag: "OnBeforeInput";
              f: (inputType: string, data: Option<string>) => M;
          }
          | {
              _tag: "OnBeforeInputPreventDefault";
              f: (inputType: string, data: Option<string>) => Option<M>;
          }
          | { _tag: "OnFileChange"; f: (files: readonly File[]) => M }
          | { _tag: "OnSubmit"; message: M }
          | { _tag: "OnReset"; message: M }
          | { _tag: "OnScroll"; f: (scrollTop: number) => M }
          | { _tag: "OnWheel"; message: M }
          | { _tag: "OnCopy"; message: M }
          | { _tag: "OnCut"; message: M }
          | { _tag: "OnPaste"; message: M }
          | { _tag: "OnPastePreventDefault"; f: (text: string) => Option<M> }
          | { _tag: "OnCopyText"; text: string }
          | { _tag: "OnCutText"; text: string; message: M }
          | { _tag: "OnCancel"; message: M }
          | { _tag: "OnCancelPreventDefault"; maybeCustomEventMessage: Option<M> }
          | { _tag: "OnToggle"; f: (isOpen: boolean) => M }
          | { _tag: "OnContextMenu"; message: M }
          | { _tag: "OnDragStart"; message: M }
          | { _tag: "OnDrag"; message: M }
          | { _tag: "OnDragEnd"; message: M }
          | { _tag: "OnDragEnter"; message: M }
          | { _tag: "OnDragLeave"; message: M }
          | { _tag: "OnDragOver"; message: M }
          | { _tag: "AllowDrop" }
          | { _tag: "OnDrop"; message: M }
          | { _tag: "OnDropFiles"; f: (files: readonly File[]) => M }
          | { _tag: "OnTouchStart"; message: M }
          | { _tag: "OnTouchEnd"; message: M }
          | { _tag: "OnTouchMove"; message: M }
          | { _tag: "OnTouchCancel"; message: M }
          | { _tag: "OnAnimationStart"; message: M }
          | { _tag: "OnAnimationEnd"; message: M }
          | { _tag: "OnAnimationIteration"; message: M }
          | { _tag: "OnTransitionEnd"; message: M }
          | { _tag: "OnLoad"; message: M }
          | { _tag: "OnError"; message: M }
          | { _tag: "OnPlay"; message: M }
          | { _tag: "OnPause"; message: M }
          | { _tag: "OnEnded"; message: M }
          | { _tag: "OnTimeUpdate"; message: M }
          | { _tag: "OnVolumeChange"; message: M }
          | { _tag: "OnSelect"; message: M }
          | { _tag: "Value"; value: string }
          | { _tag: "Checked"; value: boolean }
          | { _tag: "Selected"; value: boolean }
          | { _tag: "Open"; value: boolean }
          | { _tag: "Placeholder"; value: string }
          | { _tag: "Name"; value: string }
          | { _tag: "Disabled"; value: boolean }
          | { _tag: "Readonly"; value: boolean }
          | { _tag: "Required"; value: boolean }
          | { _tag: "Autofocus"; value: boolean }
          | { _tag: "Spellcheck"; value: boolean }
          | { _tag: "Autocorrect"; value: string }
          | { _tag: "Autocapitalize"; value: string }
          | { _tag: "InputMode"; value: string }
          | { _tag: "EnterKeyHint"; value: string }
          | { _tag: "Multiple"; value: boolean }
          | { _tag: "Type"; value: string }
          | { _tag: "Accept"; value: string }
          | { _tag: "Autocomplete"; value: string }
          | { _tag: "Pattern"; value: string }
          | { _tag: "Maxlength"; value: number }
          | { _tag: "Minlength"; value: number }
          | { _tag: "Size"; value: number }
          | { _tag: "Cols"; value: number }
          | { _tag: "Rows"; value: number }
          | { _tag: "Max"; value: string }
          | { _tag: "Min"; value: string }
          | { _tag: "Step"; value: string }
          | { _tag: "For"; value: string }
          | { _tag: "Href"; value: string }
          | { _tag: "Src"; value: string }
          | { _tag: "Target"; value: string }
          | { _tag: "Rel"; value: string }
          | { _tag: "Download"; value: string }
          | { _tag: "Action"; value: string }
          | { _tag: "Method"; value: string }
          | { _tag: "Enctype"; value: string }
          | { _tag: "Novalidate"; value: boolean }
          | { _tag: "Formaction"; value: string }
          | { _tag: "Formmethod"; value: string }
          | { _tag: "Formnovalidate"; value: boolean }
          | { _tag: "Formtarget"; value: string }
          | { _tag: "Formenctype"; value: string }
          | { _tag: "Colspan"; value: number }
          | { _tag: "Rowspan"; value: number }
          | { _tag: "Scope"; value: string }
          | { _tag: "Headers"; value: string }
          | { _tag: "Span"; value: number }
          | { _tag: "Start"; value: number }
          | { _tag: "Reversed"; value: boolean }
          | { _tag: "CiteAttr"; value: string }
          | { _tag: "Datetime"; value: string }
          | { _tag: "Wrap"; value: string }
          | { _tag: "List"; value: string }
          | { _tag: "FormAttr"; value: string }
          | { _tag: "LabelAttr"; value: string }
          | { _tag: "ContentAttr"; value: string }
          | { _tag: "Charset"; value: string }
          | { _tag: "HttpEquiv"; value: string }
          | { _tag: "Srcset"; value: string }
          | { _tag: "Sizes"; value: string }
          | { _tag: "Loading"; value: string }
          | { _tag: "Decoding"; value: string }
          | { _tag: "Fetchpriority"; value: string }
          | { _tag: "Crossorigin"; value: string }
          | { _tag: "Referrerpolicy"; value: string }
          | { _tag: "Integrity"; value: string }
          | { _tag: "Hreflang"; value: string }
          | { _tag: "Ping"; value: string }
          | { _tag: "Sandbox"; value: string }
          | { _tag: "Allow"; value: string }
          | { _tag: "Srcdoc"; value: string }
          | { _tag: "Autoplay"; value: boolean }
          | { _tag: "Controls"; value: boolean }
          | { _tag: "Loop"; value: boolean }
          | { _tag: "Muted"; value: boolean }
          | { _tag: "Poster"; value: string }
          | { _tag: "Preload"; value: string }
          | { _tag: "Playsinline"; value: boolean }
          | { _tag: "High"; value: number }
          | { _tag: "Low"; value: number }
          | { _tag: "Optimum"; value: number }
          | { _tag: "Usemap"; value: string }
          | { _tag: "Ismap"; value: boolean }
          | { _tag: "Role"; value: string }
          | { _tag: "AriaLabel"; value: string }
          | { _tag: "AriaLabelledBy"; value: string }
          | { _tag: "AriaDescribedBy"; value: string }
          | { _tag: "AriaHidden"; value: boolean }
          | { _tag: "AriaExpanded"; value: boolean }
          | { _tag: "AriaSelected"; value: boolean }
          | { _tag: "AriaChecked"; value: boolean | "mixed" }
          | { _tag: "AriaDisabled"; value: boolean }
          | { _tag: "AriaRequired"; value: boolean }
          | { _tag: "AriaInvalid"; value: boolean }
          | { _tag: "AriaLive"; value: string }
          | { _tag: "AriaControls"; value: string }
          | { _tag: "AriaCurrent"; value: string }
          | { _tag: "AriaOrientation"; value: string }
          | { _tag: "AriaPressed"; value: string }
          | { _tag: "AriaHasPopup"; value: string }
          | { _tag: "AriaActiveDescendant"; value: string }
          | { _tag: "AriaSort"; value: string }
          | { _tag: "AriaMultiSelectable"; value: boolean }
          | { _tag: "AriaModal"; value: boolean }
          | { _tag: "AriaBusy"; value: boolean }
          | { _tag: "AriaErrorMessage"; value: string }
          | { _tag: "AriaRoleDescription"; value: string }
          | { _tag: "AriaAtomic"; value: boolean }
          | { _tag: "AriaAutocomplete"; value: string }
          | { _tag: "AriaColcount"; value: number }
          | { _tag: "AriaColindex"; value: number }
          | { _tag: "AriaColspan"; value: number }
          | { _tag: "AriaDescription"; value: string }
          | { _tag: "AriaDetails"; value: string }
          | { _tag: "AriaFlowto"; value: string }
          | { _tag: "AriaKeyshortcuts"; value: string }
          | { _tag: "AriaLevel"; value: number }
          | { _tag: "AriaOwns"; value: string }
          | { _tag: "AriaPlaceholder"; value: string }
          | { _tag: "AriaPosinset"; value: number }
          | { _tag: "AriaReadonly"; value: boolean }
          | { _tag: "AriaRelevant"; value: string }
          | { _tag: "AriaRowcount"; value: number }
          | { _tag: "AriaRowindex"; value: number }
          | { _tag: "AriaRowspan"; value: number }
          | { _tag: "AriaSetsize"; value: number }
          | { _tag: "AriaValuemax"; value: number }
          | { _tag: "AriaValuemin"; value: number }
          | { _tag: "AriaValuenow"; value: number }
          | { _tag: "AriaValuetext"; value: string }
          | { _tag: "Attribute"; key: string; value: string }
          | { _tag: "DataAttribute"; key: string; value: string }
          | { _tag: "Style"; value: Record<string, string> }
          | { _tag: "InnerHTML"; value: string }
          | { _tag: "ViewBox"; value: string }
          | { _tag: "Xmlns"; value: string }
          | { _tag: "Fill"; value: string }
          | { _tag: "FillRule"; value: string }
          | { _tag: "ClipRule"; value: string }
          | { _tag: "Stroke"; value: string }
          | { _tag: "StrokeWidth"; value: string }
          | { _tag: "StrokeLinecap"; value: string }
          | { _tag: "StrokeLinejoin"; value: string }
          | { _tag: "D"; value: string }
          | { _tag: "Cx"; value: string }
          | { _tag: "Cy"; value: string }
          | { _tag: "R"; value: string }
          | { _tag: "X"; value: string }
          | { _tag: "Y"; value: string }
          | { _tag: "Width"; value: string }
          | { _tag: "Height"; value: string }
          | { _tag: "X1"; value: string }
          | { _tag: "Y1"; value: string }
          | { _tag: "X2"; value: string }
          | { _tag: "Y2"; value: string }
          | { _tag: "Points"; value: string }
          | { _tag: "Transform"; value: string }
          | { _tag: "Opacity"; value: string }
          | { _tag: "StrokeDasharray"; value: string }
          | { _tag: "StrokeDashoffset"; value: string }
          | { _tag: "Dx"; value: string }
          | { _tag: "Dy"; value: string }
          | { _tag: "Rotate"; value: string }
          | { _tag: "TextAnchor"; value: string }
          | { _tag: "DominantBaseline"; value: string }
          | { _tag: "AlignmentBaseline"; value: string }
          | { _tag: "BaselineShift"; value: string }
          | { _tag: "TextLength"; value: string }
          | { _tag: "LengthAdjust"; value: string }
          | { _tag: "FontFamily"; value: string }
          | { _tag: "FontSize"; value: string }
          | { _tag: "FontWeight"; value: string }
          | { _tag: "FontStyle"; value: string }
          | { _tag: "LetterSpacing"; value: string }
          | { _tag: "WordSpacing"; value: string }
          | { _tag: "TextDecoration"; value: string }
          | { _tag: "WritingMode"; value: string }
          | { _tag: "Rx"; value: string }
          | { _tag: "Ry"; value: string }
          | { _tag: "PathLength"; value: string }
          | { _tag: "FillOpacity"; value: string }
          | { _tag: "StrokeOpacity"; value: string }
          | { _tag: "StrokeMiterlimit"; value: string }
          | { _tag: "PaintOrder"; value: string }
          | { _tag: "VectorEffect"; value: string }
          | { _tag: "Color"; value: string }
          | { _tag: "Visibility"; value: string }
          | { _tag: "Display"; value: string }
          | { _tag: "Overflow"; value: string }
          | { _tag: "PointerEvents"; value: string }
          | { _tag: "Cursor"; value: string }
          | { _tag: "ShapeRendering"; value: string }
          | { _tag: "TextRendering"; value: string }
          | { _tag: "ImageRendering"; value: string }
          | { _tag: "ClipPath"; value: string }
          | { _tag: "Mask"; value: string }
          | { _tag: "Filter"; value: string }
          | { _tag: "ClipPathUnits"; value: string }
          | { _tag: "MaskUnits"; value: string }
          | { _tag: "MaskContentUnits"; value: string }
          | { _tag: "FilterUnits"; value: string }
          | { _tag: "PrimitiveUnits"; value: string }
          | { _tag: "Offset"; value: string }
          | { _tag: "StopColor"; value: string }
          | { _tag: "StopOpacity"; value: string }
          | { _tag: "GradientUnits"; value: string }
          | { _tag: "GradientTransform"; value: string }
          | { _tag: "SpreadMethod"; value: string }
          | { _tag: "Fx"; value: string }
          | { _tag: "Fy"; value: string }
          | { _tag: "Fr"; value: string }
          | { _tag: "PatternUnits"; value: string }
          | { _tag: "PatternContentUnits"; value: string }
          | { _tag: "PatternTransform"; value: string }
          | { _tag: "MarkerStart"; value: string }
          | { _tag: "MarkerMid"; value: string }
          | { _tag: "MarkerEnd"; value: string }
          | { _tag: "MarkerWidth"; value: string }
          | { _tag: "MarkerHeight"; value: string }
          | { _tag: "MarkerUnits"; value: string }
          | { _tag: "RefX"; value: string }
          | { _tag: "RefY"; value: string }
          | { _tag: "Orient"; value: string }
          | { _tag: "PreserveAspectRatio"; value: string }
          | { _tag: "Prop"; key: string; value: unknown }
          | {
              _tag: "OnCustomEvent";
              name: string;
              f: (event: CustomEvent<unknown>) => Option<M>;
          }
          | { _tag: "OnMount"; action: MountAction<Message, any> }
          | { _tag: "OnUnmount"; message: M }
      )[]
    • children: readonly Child[] | undefined

    Returns Html