foldkit 0.118.0 → 0.120.0

package/dist/html/index.d.ts

@@ -78,6 +78,15 @@ export type Document = Readonly<{
 }>;
 /** Union of all valid HTML, SVG, and MathML tag names. */
 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';
+/** Opens a replay-render window. The runtime calls this immediately before a
+ *  DevTools time-travel render and closes it with {@link __endReplayRender}
+ *  afterward, so any `OnUnmount` destroy hook that fires while the replayed
+ *  tree is patched in skips its dispatch. Without the gate the hook would
+ *  enqueue a hygiene Message into live history during mere inspection of past
+ *  state. */
+export declare const __beginReplayRender: () => void;
+/** Closes the replay-render window opened by {@link __beginReplayRender}. */
+export declare const __endReplayRender: () => void;
 /** Key under which the OnMount attribute stamps a `{ name }` marker on the
  *  snabbdom `VNodeData`. Snabbdom passes unknown data fields through without
  *  rendering them to the DOM, so the marker is invisible at runtime but
@@ -822,6 +831,198 @@ export type Attribute<Message> = Data.TaggedEnum<{
     StrokeDashoffset: {
         readonly value: string;
     };
+    Dx: {
+        readonly value: string;
+    };
+    Dy: {
+        readonly value: string;
+    };
+    Rotate: {
+        readonly value: string;
+    };
+    TextAnchor: {
+        readonly value: string;
+    };
+    DominantBaseline: {
+        readonly value: string;
+    };
+    AlignmentBaseline: {
+        readonly value: string;
+    };
+    BaselineShift: {
+        readonly value: string;
+    };
+    TextLength: {
+        readonly value: string;
+    };
+    LengthAdjust: {
+        readonly value: string;
+    };
+    FontFamily: {
+        readonly value: string;
+    };
+    FontSize: {
+        readonly value: string;
+    };
+    FontWeight: {
+        readonly value: string;
+    };
+    FontStyle: {
+        readonly value: string;
+    };
+    LetterSpacing: {
+        readonly value: string;
+    };
+    WordSpacing: {
+        readonly value: string;
+    };
+    TextDecoration: {
+        readonly value: string;
+    };
+    WritingMode: {
+        readonly value: string;
+    };
+    Rx: {
+        readonly value: string;
+    };
+    Ry: {
+        readonly value: string;
+    };
+    PathLength: {
+        readonly value: string;
+    };
+    FillOpacity: {
+        readonly value: string;
+    };
+    StrokeOpacity: {
+        readonly value: string;
+    };
+    StrokeMiterlimit: {
+        readonly value: string;
+    };
+    PaintOrder: {
+        readonly value: string;
+    };
+    VectorEffect: {
+        readonly value: string;
+    };
+    Color: {
+        readonly value: string;
+    };
+    Visibility: {
+        readonly value: string;
+    };
+    Display: {
+        readonly value: string;
+    };
+    Overflow: {
+        readonly value: string;
+    };
+    PointerEvents: {
+        readonly value: string;
+    };
+    Cursor: {
+        readonly value: string;
+    };
+    ShapeRendering: {
+        readonly value: string;
+    };
+    TextRendering: {
+        readonly value: string;
+    };
+    ImageRendering: {
+        readonly value: string;
+    };
+    ClipPath: {
+        readonly value: string;
+    };
+    Mask: {
+        readonly value: string;
+    };
+    Filter: {
+        readonly value: string;
+    };
+    ClipPathUnits: {
+        readonly value: string;
+    };
+    MaskUnits: {
+        readonly value: string;
+    };
+    MaskContentUnits: {
+        readonly value: string;
+    };
+    FilterUnits: {
+        readonly value: string;
+    };
+    PrimitiveUnits: {
+        readonly value: string;
+    };
+    Offset: {
+        readonly value: string;
+    };
+    StopColor: {
+        readonly value: string;
+    };
+    StopOpacity: {
+        readonly value: string;
+    };
+    GradientUnits: {
+        readonly value: string;
+    };
+    GradientTransform: {
+        readonly value: string;
+    };
+    SpreadMethod: {
+        readonly value: string;
+    };
+    Fx: {
+        readonly value: string;
+    };
+    Fy: {
+        readonly value: string;
+    };
+    Fr: {
+        readonly value: string;
+    };
+    PatternUnits: {
+        readonly value: string;
+    };
+    PatternContentUnits: {
+        readonly value: string;
+    };
+    PatternTransform: {
+        readonly value: string;
+    };
+    MarkerStart: {
+        readonly value: string;
+    };
+    MarkerMid: {
+        readonly value: string;
+    };
+    MarkerEnd: {
+        readonly value: string;
+    };
+    MarkerWidth: {
+        readonly value: string;
+    };
+    MarkerHeight: {
+        readonly value: string;
+    };
+    MarkerUnits: {
+        readonly value: string;
+    };
+    RefX: {
+        readonly value: string;
+    };
+    RefY: {
+        readonly value: string;
+    };
+    Orient: {
+        readonly value: string;
+    };
+    PreserveAspectRatio: {
+        readonly value: string;
+    };
     Prop: {
         readonly key: string;
         readonly value: unknown;
@@ -833,6 +1034,9 @@ export type Attribute<Message> = Data.TaggedEnum<{
     OnMount: {
         readonly action: MountAction<Message, any>;
     };
+    OnUnmount: {
+        readonly message: Message;
+    };
 }>;
 declare const Prop: <A>(args: {
     readonly key: string;
@@ -858,10 +1062,14 @@ declare const buildHtmlFactory: <Message>() => {
     keyed: (tagName: TagName) => (key: string, attributes?: readonly (Readonly<{
         readonly attribute: unknown;
         readonly dispatch: DispatchSync;
+        readonly resolveUnmount: (message: unknown) => () => void;
         readonly __childAttribute: true;
     }> | {
         readonly _tag: "Type";
         readonly value: string;
+    } | {
+        readonly _tag: "Filter";
+        readonly value: string;
     } | {
         readonly _tag: "Start";
         readonly value: number;
@@ -1607,6 +1815,195 @@ declare const buildHtmlFactory: <Message>() => {
     } | {
         readonly _tag: "StrokeDashoffset";
         readonly value: string;
+    } | {
+        readonly _tag: "Dx";
+        readonly value: string;
+    } | {
+        readonly _tag: "Dy";
+        readonly value: string;
+    } | {
+        readonly _tag: "Rotate";
+        readonly value: string;
+    } | {
+        readonly _tag: "TextAnchor";
+        readonly value: string;
+    } | {
+        readonly _tag: "DominantBaseline";
+        readonly value: string;
+    } | {
+        readonly _tag: "AlignmentBaseline";
+        readonly value: string;
+    } | {
+        readonly _tag: "BaselineShift";
+        readonly value: string;
+    } | {
+        readonly _tag: "TextLength";
+        readonly value: string;
+    } | {
+        readonly _tag: "LengthAdjust";
+        readonly value: string;
+    } | {
+        readonly _tag: "FontFamily";
+        readonly value: string;
+    } | {
+        readonly _tag: "FontSize";
+        readonly value: string;
+    } | {
+        readonly _tag: "FontWeight";
+        readonly value: string;
+    } | {
+        readonly _tag: "FontStyle";
+        readonly value: string;
+    } | {
+        readonly _tag: "LetterSpacing";
+        readonly value: string;
+    } | {
+        readonly _tag: "WordSpacing";
+        readonly value: string;
+    } | {
+        readonly _tag: "TextDecoration";
+        readonly value: string;
+    } | {
+        readonly _tag: "WritingMode";
+        readonly value: string;
+    } | {
+        readonly _tag: "Rx";
+        readonly value: string;
+    } | {
+        readonly _tag: "Ry";
+        readonly value: string;
+    } | {
+        readonly _tag: "PathLength";
+        readonly value: string;
+    } | {
+        readonly _tag: "FillOpacity";
+        readonly value: string;
+    } | {
+        readonly _tag: "StrokeOpacity";
+        readonly value: string;
+    } | {
+        readonly _tag: "StrokeMiterlimit";
+        readonly value: string;
+    } | {
+        readonly _tag: "PaintOrder";
+        readonly value: string;
+    } | {
+        readonly _tag: "VectorEffect";
+        readonly value: string;
+    } | {
+        readonly _tag: "Color";
+        readonly value: string;
+    } | {
+        readonly _tag: "Visibility";
+        readonly value: string;
+    } | {
+        readonly _tag: "Display";
+        readonly value: string;
+    } | {
+        readonly _tag: "Overflow";
+        readonly value: string;
+    } | {
+        readonly _tag: "PointerEvents";
+        readonly value: string;
+    } | {
+        readonly _tag: "Cursor";
+        readonly value: string;
+    } | {
+        readonly _tag: "ShapeRendering";
+        readonly value: string;
+    } | {
+        readonly _tag: "TextRendering";
+        readonly value: string;
+    } | {
+        readonly _tag: "ImageRendering";
+        readonly value: string;
+    } | {
+        readonly _tag: "ClipPath";
+        readonly value: string;
+    } | {
+        readonly _tag: "Mask";
+        readonly value: string;
+    } | {
+        readonly _tag: "ClipPathUnits";
+        readonly value: string;
+    } | {
+        readonly _tag: "MaskUnits";
+        readonly value: string;
+    } | {
+        readonly _tag: "MaskContentUnits";
+        readonly value: string;
+    } | {
+        readonly _tag: "FilterUnits";
+        readonly value: string;
+    } | {
+        readonly _tag: "PrimitiveUnits";
+        readonly value: string;
+    } | {
+        readonly _tag: "Offset";
+        readonly value: string;
+    } | {
+        readonly _tag: "StopColor";
+        readonly value: string;
+    } | {
+        readonly _tag: "StopOpacity";
+        readonly value: string;
+    } | {
+        readonly _tag: "GradientUnits";
+        readonly value: string;
+    } | {
+        readonly _tag: "GradientTransform";
+        readonly value: string;
+    } | {
+        readonly _tag: "SpreadMethod";
+        readonly value: string;
+    } | {
+        readonly _tag: "Fx";
+        readonly value: string;
+    } | {
+        readonly _tag: "Fy";
+        readonly value: string;
+    } | {
+        readonly _tag: "Fr";
+        readonly value: string;
+    } | {
+        readonly _tag: "PatternUnits";
+        readonly value: string;
+    } | {
+        readonly _tag: "PatternContentUnits";
+        readonly value: string;
+    } | {
+        readonly _tag: "PatternTransform";
+        readonly value: string;
+    } | {
+        readonly _tag: "MarkerStart";
+        readonly value: string;
+    } | {
+        readonly _tag: "MarkerMid";
+        readonly value: string;
+    } | {
+        readonly _tag: "MarkerEnd";
+        readonly value: string;
+    } | {
+        readonly _tag: "MarkerWidth";
+        readonly value: string;
+    } | {
+        readonly _tag: "MarkerHeight";
+        readonly value: string;
+    } | {
+        readonly _tag: "MarkerUnits";
+        readonly value: string;
+    } | {
+        readonly _tag: "RefX";
+        readonly value: string;
+    } | {
+        readonly _tag: "RefY";
+        readonly value: string;
+    } | {
+        readonly _tag: "Orient";
+        readonly value: string;
+    } | {
+        readonly _tag: "PreserveAspectRatio";
+        readonly value: string;
     } | {
         readonly _tag: "Prop";
         readonly key: string;
@@ -1622,6 +2019,9 @@ declare const buildHtmlFactory: <Message>() => {
             args?: Record<string, unknown>;
             f: (element: Element) => Stream.Stream<Message, any, never>;
         }>;
+    } | {
+        readonly _tag: "OnUnmount";
+        readonly message: Message;
     })[], children?: ReadonlyArray<Child>) => Html;
     submodel: <View extends ((...args: ReadonlyArray<any>) => VNode | null) & {
         readonly __submodelMessage: unknown;
@@ -2639,6 +3039,262 @@ declare const buildHtmlFactory: <Message>() => {
         readonly _tag: "StrokeDashoffset";
         readonly value: string;
     };
+    Dx: (value: string) => {
+        readonly _tag: "Dx";
+        readonly value: string;
+    };
+    Dy: (value: string) => {
+        readonly _tag: "Dy";
+        readonly value: string;
+    };
+    Rotate: (value: string) => {
+        readonly _tag: "Rotate";
+        readonly value: string;
+    };
+    TextAnchor: (value: string) => {
+        readonly _tag: "TextAnchor";
+        readonly value: string;
+    };
+    DominantBaseline: (value: string) => {
+        readonly _tag: "DominantBaseline";
+        readonly value: string;
+    };
+    AlignmentBaseline: (value: string) => {
+        readonly _tag: "AlignmentBaseline";
+        readonly value: string;
+    };
+    BaselineShift: (value: string) => {
+        readonly _tag: "BaselineShift";
+        readonly value: string;
+    };
+    TextLength: (value: string) => {
+        readonly _tag: "TextLength";
+        readonly value: string;
+    };
+    LengthAdjust: (value: string) => {
+        readonly _tag: "LengthAdjust";
+        readonly value: string;
+    };
+    FontFamily: (value: string) => {
+        readonly _tag: "FontFamily";
+        readonly value: string;
+    };
+    FontSize: (value: string) => {
+        readonly _tag: "FontSize";
+        readonly value: string;
+    };
+    FontWeight: (value: string) => {
+        readonly _tag: "FontWeight";
+        readonly value: string;
+    };
+    FontStyle: (value: string) => {
+        readonly _tag: "FontStyle";
+        readonly value: string;
+    };
+    LetterSpacing: (value: string) => {
+        readonly _tag: "LetterSpacing";
+        readonly value: string;
+    };
+    WordSpacing: (value: string) => {
+        readonly _tag: "WordSpacing";
+        readonly value: string;
+    };
+    TextDecoration: (value: string) => {
+        readonly _tag: "TextDecoration";
+        readonly value: string;
+    };
+    WritingMode: (value: string) => {
+        readonly _tag: "WritingMode";
+        readonly value: string;
+    };
+    Rx: (value: string) => {
+        readonly _tag: "Rx";
+        readonly value: string;
+    };
+    Ry: (value: string) => {
+        readonly _tag: "Ry";
+        readonly value: string;
+    };
+    PathLength: (value: string) => {
+        readonly _tag: "PathLength";
+        readonly value: string;
+    };
+    FillOpacity: (value: string) => {
+        readonly _tag: "FillOpacity";
+        readonly value: string;
+    };
+    StrokeOpacity: (value: string) => {
+        readonly _tag: "StrokeOpacity";
+        readonly value: string;
+    };
+    StrokeMiterlimit: (value: string) => {
+        readonly _tag: "StrokeMiterlimit";
+        readonly value: string;
+    };
+    PaintOrder: (value: string) => {
+        readonly _tag: "PaintOrder";
+        readonly value: string;
+    };
+    VectorEffect: (value: string) => {
+        readonly _tag: "VectorEffect";
+        readonly value: string;
+    };
+    Color: (value: string) => {
+        readonly _tag: "Color";
+        readonly value: string;
+    };
+    Visibility: (value: string) => {
+        readonly _tag: "Visibility";
+        readonly value: string;
+    };
+    Display: (value: string) => {
+        readonly _tag: "Display";
+        readonly value: string;
+    };
+    Overflow: (value: string) => {
+        readonly _tag: "Overflow";
+        readonly value: string;
+    };
+    PointerEvents: (value: string) => {
+        readonly _tag: "PointerEvents";
+        readonly value: string;
+    };
+    Cursor: (value: string) => {
+        readonly _tag: "Cursor";
+        readonly value: string;
+    };
+    ShapeRendering: (value: string) => {
+        readonly _tag: "ShapeRendering";
+        readonly value: string;
+    };
+    TextRendering: (value: string) => {
+        readonly _tag: "TextRendering";
+        readonly value: string;
+    };
+    ImageRendering: (value: string) => {
+        readonly _tag: "ImageRendering";
+        readonly value: string;
+    };
+    ClipPath: (value: string) => {
+        readonly _tag: "ClipPath";
+        readonly value: string;
+    };
+    Mask: (value: string) => {
+        readonly _tag: "Mask";
+        readonly value: string;
+    };
+    Filter: (value: string) => {
+        readonly _tag: "Filter";
+        readonly value: string;
+    };
+    ClipPathUnits: (value: string) => {
+        readonly _tag: "ClipPathUnits";
+        readonly value: string;
+    };
+    MaskUnits: (value: string) => {
+        readonly _tag: "MaskUnits";
+        readonly value: string;
+    };
+    MaskContentUnits: (value: string) => {
+        readonly _tag: "MaskContentUnits";
+        readonly value: string;
+    };
+    FilterUnits: (value: string) => {
+        readonly _tag: "FilterUnits";
+        readonly value: string;
+    };
+    PrimitiveUnits: (value: string) => {
+        readonly _tag: "PrimitiveUnits";
+        readonly value: string;
+    };
+    Offset: (value: string) => {
+        readonly _tag: "Offset";
+        readonly value: string;
+    };
+    StopColor: (value: string) => {
+        readonly _tag: "StopColor";
+        readonly value: string;
+    };
+    StopOpacity: (value: string) => {
+        readonly _tag: "StopOpacity";
+        readonly value: string;
+    };
+    GradientUnits: (value: string) => {
+        readonly _tag: "GradientUnits";
+        readonly value: string;
+    };
+    GradientTransform: (value: string) => {
+        readonly _tag: "GradientTransform";
+        readonly value: string;
+    };
+    SpreadMethod: (value: string) => {
+        readonly _tag: "SpreadMethod";
+        readonly value: string;
+    };
+    Fx: (value: string) => {
+        readonly _tag: "Fx";
+        readonly value: string;
+    };
+    Fy: (value: string) => {
+        readonly _tag: "Fy";
+        readonly value: string;
+    };
+    Fr: (value: string) => {
+        readonly _tag: "Fr";
+        readonly value: string;
+    };
+    PatternUnits: (value: string) => {
+        readonly _tag: "PatternUnits";
+        readonly value: string;
+    };
+    PatternContentUnits: (value: string) => {
+        readonly _tag: "PatternContentUnits";
+        readonly value: string;
+    };
+    PatternTransform: (value: string) => {
+        readonly _tag: "PatternTransform";
+        readonly value: string;
+    };
+    MarkerStart: (value: string) => {
+        readonly _tag: "MarkerStart";
+        readonly value: string;
+    };
+    MarkerMid: (value: string) => {
+        readonly _tag: "MarkerMid";
+        readonly value: string;
+    };
+    MarkerEnd: (value: string) => {
+        readonly _tag: "MarkerEnd";
+        readonly value: string;
+    };
+    MarkerWidth: (value: string) => {
+        readonly _tag: "MarkerWidth";
+        readonly value: string;
+    };
+    MarkerHeight: (value: string) => {
+        readonly _tag: "MarkerHeight";
+        readonly value: string;
+    };
+    MarkerUnits: (value: string) => {
+        readonly _tag: "MarkerUnits";
+        readonly value: string;
+    };
+    RefX: (value: string) => {
+        readonly _tag: "RefX";
+        readonly value: string;
+    };
+    RefY: (value: string) => {
+        readonly _tag: "RefY";
+        readonly value: string;
+    };
+    Orient: (value: string) => {
+        readonly _tag: "Orient";
+        readonly value: string;
+    };
+    PreserveAspectRatio: (value: string) => {
+        readonly _tag: "PreserveAspectRatio";
+        readonly value: string;
+    };
     OnMount: (action: Readonly<{
         name: string;
         args?: Record<string, unknown>;
@@ -2651,6 +3307,10 @@ declare const buildHtmlFactory: <Message>() => {
             f: (element: Element) => Stream.Stream<Message, any, never>;
         }>;
     };
+    OnUnmount: (message: Message) => {
+        readonly _tag: "OnUnmount";
+        readonly message: Message;
+    };
     a: ElementFunction<Message>;
     abbr: ElementFunction<Message>;
     address: ElementFunction<Message>;