foldkit 0.132.0 → 0.134.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (90) hide show
  1. package/README.md +59 -108
  2. package/dist/canvas/view.d.ts +18 -11
  3. package/dist/canvas/view.d.ts.map +1 -1
  4. package/dist/canvas/view.js +18 -11
  5. package/dist/customElement/index.d.ts +9 -6
  6. package/dist/customElement/index.d.ts.map +1 -1
  7. package/dist/customElement/index.js +14 -3
  8. package/dist/devTools/protocol.d.ts +19 -1
  9. package/dist/devTools/protocol.d.ts.map +1 -1
  10. package/dist/devTools/protocol.js +13 -1
  11. package/dist/devTools/public.d.ts +1 -1
  12. package/dist/devTools/public.d.ts.map +1 -1
  13. package/dist/devTools/public.js +1 -1
  14. package/dist/devTools/store.d.ts +6 -0
  15. package/dist/devTools/store.d.ts.map +1 -1
  16. package/dist/devTools/store.js +7 -1
  17. package/dist/devTools/webSocketBridge.d.ts +7 -0
  18. package/dist/devTools/webSocketBridge.d.ts.map +1 -1
  19. package/dist/devTools/webSocketBridge.js +36 -8
  20. package/dist/html/boundary.d.ts.map +1 -1
  21. package/dist/html/boundary.js +48 -2
  22. package/dist/html/index.d.ts +682 -1643
  23. package/dist/html/index.d.ts.map +1 -1
  24. package/dist/html/index.js +56 -16
  25. package/dist/html/public.d.ts +2 -2
  26. package/dist/html/public.d.ts.map +1 -1
  27. package/dist/html/public.js +1 -1
  28. package/dist/html/runtimeSingleton.d.ts +1 -1
  29. package/dist/html/runtimeSingleton.d.ts.map +1 -1
  30. package/dist/html/runtimeSingleton.js +1 -1
  31. package/dist/html/submodel.d.ts +51 -19
  32. package/dist/html/submodel.d.ts.map +1 -1
  33. package/dist/html/submodel.js +37 -13
  34. package/dist/route/transition.d.ts +35 -29
  35. package/dist/route/transition.d.ts.map +1 -1
  36. package/dist/route/transition.js +36 -30
  37. package/dist/runtime/crashUI.d.ts.map +1 -1
  38. package/dist/runtime/crashUI.js +29 -30
  39. package/dist/runtime/runtime.d.ts +9 -6
  40. package/dist/runtime/runtime.d.ts.map +1 -1
  41. package/dist/runtime/runtime.js +25 -8
  42. package/dist/test/apps/attributes.d.ts +2 -2
  43. package/dist/test/apps/attributes.d.ts.map +1 -1
  44. package/dist/test/apps/attributes.js +1 -3
  45. package/dist/test/apps/bubbling.d.ts +2 -2
  46. package/dist/test/apps/bubbling.d.ts.map +1 -1
  47. package/dist/test/apps/bubbling.js +1 -3
  48. package/dist/test/apps/counter.d.ts +2 -2
  49. package/dist/test/apps/counter.d.ts.map +1 -1
  50. package/dist/test/apps/counter.js +1 -3
  51. package/dist/test/apps/crashOnRender.d.ts +2 -2
  52. package/dist/test/apps/crashOnRender.d.ts.map +1 -1
  53. package/dist/test/apps/crashOnRender.js +1 -3
  54. package/dist/test/apps/drafts.d.ts +2 -2
  55. package/dist/test/apps/drafts.d.ts.map +1 -1
  56. package/dist/test/apps/drafts.js +1 -3
  57. package/dist/test/apps/fileUpload.d.ts +2 -2
  58. package/dist/test/apps/fileUpload.d.ts.map +1 -1
  59. package/dist/test/apps/fileUpload.js +1 -3
  60. package/dist/test/apps/interactions.d.ts +2 -2
  61. package/dist/test/apps/interactions.d.ts.map +1 -1
  62. package/dist/test/apps/interactions.js +1 -3
  63. package/dist/test/apps/keypress.d.ts +2 -2
  64. package/dist/test/apps/keypress.d.ts.map +1 -1
  65. package/dist/test/apps/keypress.js +1 -3
  66. package/dist/test/apps/login.d.ts +2 -2
  67. package/dist/test/apps/login.d.ts.map +1 -1
  68. package/dist/test/apps/login.js +1 -3
  69. package/dist/test/apps/logoutButton.d.ts +2 -2
  70. package/dist/test/apps/logoutButton.d.ts.map +1 -1
  71. package/dist/test/apps/logoutButton.js +1 -3
  72. package/dist/test/apps/mountPanel.d.ts +4 -4
  73. package/dist/test/apps/mountPanel.d.ts.map +1 -1
  74. package/dist/test/apps/mountPanel.js +3 -7
  75. package/dist/test/apps/multiRole.d.ts +2 -2
  76. package/dist/test/apps/multiRole.d.ts.map +1 -1
  77. package/dist/test/apps/multiRole.js +1 -3
  78. package/dist/test/apps/pointer.d.ts +2 -2
  79. package/dist/test/apps/pointer.d.ts.map +1 -1
  80. package/dist/test/apps/pointer.js +1 -3
  81. package/dist/test/apps/resumeUpload.d.ts +2 -2
  82. package/dist/test/apps/resumeUpload.d.ts.map +1 -1
  83. package/dist/test/apps/resumeUpload.js +3 -6
  84. package/dist/test/apps/uploads.d.ts +2 -2
  85. package/dist/test/apps/uploads.d.ts.map +1 -1
  86. package/dist/test/apps/uploads.js +1 -3
  87. package/dist/test/scene.d.ts +3 -3
  88. package/dist/test/scene.d.ts.map +1 -1
  89. package/dist/test/scene.js +2 -2
  90. package/package.json +6 -6
package/dist/html/index.d.ts CHANGED
@@ -1,16 +1,17 @@
1
- import { Context, Data, Option, Stream } from 'effect';
1
+ import { Context, Data, Option, Schema as S } from 'effect';
2
2
  import type { File } from '../file/index.js';
3
3
  import type { MountAction } from '../mount/index.js';
4
4
  import { VNode } from '../vdom.js';
5
5
  import { type ChildAttribute } from './childAttribute.js';
6
6
  import { type DispatchSync } from './runtimeSingleton.js';
7
+ import { type AnySubmodelView, type SubmodelConfig } from './submodel.js';
7
8
  export { createKeyedLazy, createLazy } from './lazy.js';
8
9
  export { beginRender as __beginRender, createBoundaryRegistry as __createBoundaryRegistry, } from './boundary.js';
9
10
  export type { BoundaryRegistry } from './boundary.js';
10
11
  export { childAttributes } from './childAttribute.js';
11
12
  export type { ChildAttribute } from './childAttribute.js';
12
- export { defineView, submodel } from './submodel.js';
13
- export type { SubmodelConfig, SubmodelView } from './submodel.js';
13
+ export { defineView } from './submodel.js';
14
+ export type { AnySubmodelView, SubmodelConfig, SubmodelView, } from './submodel.js';
14
15
  /** Pushes a dispatch and runtime context frame for the duration of a render.
15
16
  * The runtime calls this immediately before invoking a user `view` and
16
17
  * matches it with {@link __clearRuntime} in a `finally` so an exception
@@ -58,20 +59,35 @@ export type KeyboardModifiers = Readonly<{
58
59
  * render nothing) into the application container. */
59
60
  export type Html = VNode | null;
60
61
  export type Child = Html | string;
62
+ /** Text direction for the document root, applied to `dir` on the `<html>`
63
+ * element. `Auto` defers to the browser's first-strong-character heuristic. */
64
+ export declare const TextDirection: S.Literals<readonly ["Ltr", "Rtl", "Auto"]>;
65
+ /** Text direction for the document root, applied to `dir` on the `<html>`
66
+ * element. `Auto` defers to the browser's first-strong-character heuristic. */
67
+ export type TextDirection = typeof TextDirection.Type;
61
68
  /** A view's complete output for the runtime: title, body, and optional document
62
- * metadata. The runtime applies `title` to `document.title`, syncs `canonical`
63
- * to `<link rel="canonical">` (creating it if absent), syncs `ogUrl` to
64
- * `<meta property="og:url">` (creating it if absent), and patches `body` into
65
- * the application container.
69
+ * metadata. The runtime applies `title` to `document.title`, syncs `lang` and
70
+ * `dir` to the `<html>` element, syncs `canonical` to `<link rel="canonical">`
71
+ * (creating it if absent), syncs `ogUrl` to `<meta property="og:url">`
72
+ * (creating it if absent), and patches `body` into the application container.
66
73
  *
67
74
  * When `canonical` is omitted, it defaults to the current URL (origin +
68
75
  * pathname + search). When `ogUrl` is omitted, it falls back to `canonical`.
69
76
  *
77
+ * `lang` and `dir` have no default. When either is omitted the runtime does not
78
+ * touch that attribute, leaving whatever value it currently holds, so a view
79
+ * that never sets it leaves the served HTML in place. Drive them from the Model
80
+ * when the app switches language at runtime. The served HTML still decides what
81
+ * a crawler sees on first paint, because the runtime can only sync after the
82
+ * first render.
83
+ *
70
84
  * This is the return type of a `makeApplication` view, which owns the document. An
71
85
  * app embedded at a node should use `makeElement` instead, whose view returns
72
- * `Html` and never touches the `<head>`. */
86
+ * `Html` and never touches the `<head>` or the `<html>` element. */
73
87
  export type Document = Readonly<{
74
88
  title: string;
89
+ lang?: string;
90
+ dir?: TextDirection;
75
91
  canonical?: string;
76
92
  ogUrl?: string;
77
93
  body: Html;
@@ -1068,2516 +1084,1539 @@ export { Prop, OnCustomEvent };
1068
1084
  export declare const customElement: <Message>() => (tagName: string) => (attributes?: ReadonlyArray<Attribute<Message> | ChildAttribute>, children?: ReadonlyArray<Child>) => Html;
1069
1085
  type ElementFunction<Message> = (attributes: ReadonlyArray<Attribute<Message> | ChildAttribute>, children: ReadonlyArray<Child>) => Html;
1070
1086
  type VoidElementFunction<Message> = (attributes: ReadonlyArray<Attribute<Message> | ChildAttribute>) => Html;
1071
- declare const buildHtmlFactory: <Message>() => {
1072
- empty: null;
1073
- keyed: (tagName: TagName) => (key: PropertyKey, attributes?: readonly (Readonly<{
1074
- readonly attribute: unknown;
1075
- readonly dispatch: DispatchSync;
1076
- readonly resolveUnmount: (message: unknown) => () => void;
1077
- readonly boundaryMappers: ReadonlyArray<(message: unknown) => unknown>;
1078
- readonly __childAttribute: true;
1079
- }> | {
1080
- readonly _tag: "Type";
1081
- readonly value: string;
1082
- } | {
1083
- readonly _tag: "Filter";
1084
- readonly value: string;
1085
- } | {
1086
- readonly _tag: "Loading";
1087
- readonly value: string;
1088
- } | {
1089
- readonly _tag: "Start";
1090
- readonly value: number;
1091
- } | {
1092
- readonly _tag: "OnFileChange";
1093
- readonly f: (files: ReadonlyArray<File>) => Message;
1094
- } | {
1095
- readonly _tag: "OnDropFiles";
1096
- readonly f: (files: ReadonlyArray<File>) => Message;
1097
- } | {
1098
- readonly _tag: "Key";
1087
+ type HtmlElements<Message> = {
1088
+ a: ElementFunction<Message>;
1089
+ abbr: ElementFunction<Message>;
1090
+ address: ElementFunction<Message>;
1091
+ area: VoidElementFunction<Message>;
1092
+ article: ElementFunction<Message>;
1093
+ aside: ElementFunction<Message>;
1094
+ audio: ElementFunction<Message>;
1095
+ b: ElementFunction<Message>;
1096
+ base: VoidElementFunction<Message>;
1097
+ bdi: ElementFunction<Message>;
1098
+ bdo: ElementFunction<Message>;
1099
+ blockquote: ElementFunction<Message>;
1100
+ body: ElementFunction<Message>;
1101
+ br: VoidElementFunction<Message>;
1102
+ button: ElementFunction<Message>;
1103
+ canvas: ElementFunction<Message>;
1104
+ caption: ElementFunction<Message>;
1105
+ cite: ElementFunction<Message>;
1106
+ code: ElementFunction<Message>;
1107
+ col: VoidElementFunction<Message>;
1108
+ colgroup: ElementFunction<Message>;
1109
+ data: ElementFunction<Message>;
1110
+ datalist: ElementFunction<Message>;
1111
+ dd: ElementFunction<Message>;
1112
+ del: ElementFunction<Message>;
1113
+ details: ElementFunction<Message>;
1114
+ dfn: ElementFunction<Message>;
1115
+ dialog: ElementFunction<Message>;
1116
+ div: ElementFunction<Message>;
1117
+ dl: ElementFunction<Message>;
1118
+ dt: ElementFunction<Message>;
1119
+ em: ElementFunction<Message>;
1120
+ embed: VoidElementFunction<Message>;
1121
+ fieldset: ElementFunction<Message>;
1122
+ figcaption: ElementFunction<Message>;
1123
+ figure: ElementFunction<Message>;
1124
+ footer: ElementFunction<Message>;
1125
+ form: ElementFunction<Message>;
1126
+ h1: ElementFunction<Message>;
1127
+ h2: ElementFunction<Message>;
1128
+ h3: ElementFunction<Message>;
1129
+ h4: ElementFunction<Message>;
1130
+ h5: ElementFunction<Message>;
1131
+ h6: ElementFunction<Message>;
1132
+ head: ElementFunction<Message>;
1133
+ header: ElementFunction<Message>;
1134
+ hgroup: ElementFunction<Message>;
1135
+ hr: VoidElementFunction<Message>;
1136
+ html: ElementFunction<Message>;
1137
+ i: ElementFunction<Message>;
1138
+ iframe: ElementFunction<Message>;
1139
+ img: VoidElementFunction<Message>;
1140
+ input: VoidElementFunction<Message>;
1141
+ ins: ElementFunction<Message>;
1142
+ kbd: ElementFunction<Message>;
1143
+ label: ElementFunction<Message>;
1144
+ legend: ElementFunction<Message>;
1145
+ li: ElementFunction<Message>;
1146
+ link: VoidElementFunction<Message>;
1147
+ main: ElementFunction<Message>;
1148
+ map: ElementFunction<Message>;
1149
+ mark: ElementFunction<Message>;
1150
+ menu: ElementFunction<Message>;
1151
+ meta: VoidElementFunction<Message>;
1152
+ meter: ElementFunction<Message>;
1153
+ nav: ElementFunction<Message>;
1154
+ noscript: ElementFunction<Message>;
1155
+ object: ElementFunction<Message>;
1156
+ ol: ElementFunction<Message>;
1157
+ optgroup: ElementFunction<Message>;
1158
+ option: ElementFunction<Message>;
1159
+ output: ElementFunction<Message>;
1160
+ p: ElementFunction<Message>;
1161
+ picture: ElementFunction<Message>;
1162
+ portal: ElementFunction<Message>;
1163
+ pre: ElementFunction<Message>;
1164
+ progress: ElementFunction<Message>;
1165
+ q: ElementFunction<Message>;
1166
+ rp: ElementFunction<Message>;
1167
+ rt: ElementFunction<Message>;
1168
+ ruby: ElementFunction<Message>;
1169
+ s: ElementFunction<Message>;
1170
+ samp: ElementFunction<Message>;
1171
+ script: ElementFunction<Message>;
1172
+ search: ElementFunction<Message>;
1173
+ section: ElementFunction<Message>;
1174
+ select: ElementFunction<Message>;
1175
+ slot: ElementFunction<Message>;
1176
+ small: ElementFunction<Message>;
1177
+ source: VoidElementFunction<Message>;
1178
+ span: ElementFunction<Message>;
1179
+ strong: ElementFunction<Message>;
1180
+ style: ElementFunction<Message>;
1181
+ sub: ElementFunction<Message>;
1182
+ summary: ElementFunction<Message>;
1183
+ sup: ElementFunction<Message>;
1184
+ table: ElementFunction<Message>;
1185
+ tbody: ElementFunction<Message>;
1186
+ td: ElementFunction<Message>;
1187
+ template: ElementFunction<Message>;
1188
+ textarea: ElementFunction<Message>;
1189
+ tfoot: ElementFunction<Message>;
1190
+ th: ElementFunction<Message>;
1191
+ thead: ElementFunction<Message>;
1192
+ time: ElementFunction<Message>;
1193
+ title: ElementFunction<Message>;
1194
+ tr: ElementFunction<Message>;
1195
+ track: VoidElementFunction<Message>;
1196
+ u: ElementFunction<Message>;
1197
+ ul: ElementFunction<Message>;
1198
+ var: ElementFunction<Message>;
1199
+ video: ElementFunction<Message>;
1200
+ wbr: VoidElementFunction<Message>;
1201
+ svg: ElementFunction<Message>;
1202
+ animate: ElementFunction<Message>;
1203
+ animateMotion: ElementFunction<Message>;
1204
+ animateTransform: ElementFunction<Message>;
1205
+ circle: ElementFunction<Message>;
1206
+ clipPath: ElementFunction<Message>;
1207
+ defs: ElementFunction<Message>;
1208
+ desc: ElementFunction<Message>;
1209
+ ellipse: ElementFunction<Message>;
1210
+ feBlend: ElementFunction<Message>;
1211
+ feColorMatrix: ElementFunction<Message>;
1212
+ feComponentTransfer: ElementFunction<Message>;
1213
+ feComposite: ElementFunction<Message>;
1214
+ feConvolveMatrix: ElementFunction<Message>;
1215
+ feDiffuseLighting: ElementFunction<Message>;
1216
+ feDisplacementMap: ElementFunction<Message>;
1217
+ feDistantLight: ElementFunction<Message>;
1218
+ feDropShadow: ElementFunction<Message>;
1219
+ feFlood: ElementFunction<Message>;
1220
+ feFuncA: ElementFunction<Message>;
1221
+ feFuncB: ElementFunction<Message>;
1222
+ feFuncG: ElementFunction<Message>;
1223
+ feFuncR: ElementFunction<Message>;
1224
+ feGaussianBlur: ElementFunction<Message>;
1225
+ feImage: ElementFunction<Message>;
1226
+ feMerge: ElementFunction<Message>;
1227
+ feMergeNode: ElementFunction<Message>;
1228
+ feMorphology: ElementFunction<Message>;
1229
+ feOffset: ElementFunction<Message>;
1230
+ fePointLight: ElementFunction<Message>;
1231
+ feSpecularLighting: ElementFunction<Message>;
1232
+ feSpotLight: ElementFunction<Message>;
1233
+ feTile: ElementFunction<Message>;
1234
+ feTurbulence: ElementFunction<Message>;
1235
+ filter: ElementFunction<Message>;
1236
+ foreignObject: ElementFunction<Message>;
1237
+ g: ElementFunction<Message>;
1238
+ image: ElementFunction<Message>;
1239
+ line: ElementFunction<Message>;
1240
+ linearGradient: ElementFunction<Message>;
1241
+ marker: ElementFunction<Message>;
1242
+ mask: ElementFunction<Message>;
1243
+ metadata: ElementFunction<Message>;
1244
+ mpath: ElementFunction<Message>;
1245
+ path: ElementFunction<Message>;
1246
+ pattern: ElementFunction<Message>;
1247
+ polygon: ElementFunction<Message>;
1248
+ polyline: ElementFunction<Message>;
1249
+ radialGradient: ElementFunction<Message>;
1250
+ rect: ElementFunction<Message>;
1251
+ set: ElementFunction<Message>;
1252
+ stop: ElementFunction<Message>;
1253
+ switch: ElementFunction<Message>;
1254
+ symbol: ElementFunction<Message>;
1255
+ text: ElementFunction<Message>;
1256
+ textPath: ElementFunction<Message>;
1257
+ tspan: ElementFunction<Message>;
1258
+ use: ElementFunction<Message>;
1259
+ view: ElementFunction<Message>;
1260
+ math: ElementFunction<Message>;
1261
+ annotation: ElementFunction<Message>;
1262
+ 'annotation-xml': ElementFunction<Message>;
1263
+ maction: ElementFunction<Message>;
1264
+ menclose: ElementFunction<Message>;
1265
+ merror: ElementFunction<Message>;
1266
+ mfenced: ElementFunction<Message>;
1267
+ mfrac: ElementFunction<Message>;
1268
+ mglyph: ElementFunction<Message>;
1269
+ mi: ElementFunction<Message>;
1270
+ mlabeledtr: ElementFunction<Message>;
1271
+ mlongdiv: ElementFunction<Message>;
1272
+ mmultiscripts: ElementFunction<Message>;
1273
+ mn: ElementFunction<Message>;
1274
+ mo: ElementFunction<Message>;
1275
+ mover: ElementFunction<Message>;
1276
+ mpadded: ElementFunction<Message>;
1277
+ mphantom: ElementFunction<Message>;
1278
+ mprescripts: ElementFunction<Message>;
1279
+ mroot: ElementFunction<Message>;
1280
+ mrow: ElementFunction<Message>;
1281
+ ms: ElementFunction<Message>;
1282
+ mscarries: ElementFunction<Message>;
1283
+ mscarry: ElementFunction<Message>;
1284
+ msgroup: ElementFunction<Message>;
1285
+ msline: ElementFunction<Message>;
1286
+ mspace: ElementFunction<Message>;
1287
+ msqrt: ElementFunction<Message>;
1288
+ msrow: ElementFunction<Message>;
1289
+ mstack: ElementFunction<Message>;
1290
+ mstyle: ElementFunction<Message>;
1291
+ msub: ElementFunction<Message>;
1292
+ msubsup: ElementFunction<Message>;
1293
+ msup: ElementFunction<Message>;
1294
+ mtable: ElementFunction<Message>;
1295
+ mtd: ElementFunction<Message>;
1296
+ mtext: ElementFunction<Message>;
1297
+ mtr: ElementFunction<Message>;
1298
+ munder: ElementFunction<Message>;
1299
+ munderover: ElementFunction<Message>;
1300
+ semantics: ElementFunction<Message>;
1301
+ };
1302
+ type HtmlAttributes<Message> = {
1303
+ Key: (value: string) => {
1304
+ readonly _tag: 'Key';
1099
1305
  readonly value: string;
1100
- } | {
1101
- readonly _tag: "Class";
1306
+ };
1307
+ Class: (value: string) => {
1308
+ readonly _tag: 'Class';
1102
1309
  readonly value: string;
1103
- } | {
1104
- readonly _tag: "Id";
1310
+ };
1311
+ Id: (value: string) => {
1312
+ readonly _tag: 'Id';
1105
1313
  readonly value: string;
1106
- } | {
1107
- readonly _tag: "Title";
1314
+ };
1315
+ Title: (value: string) => {
1316
+ readonly _tag: 'Title';
1108
1317
  readonly value: string;
1109
- } | {
1110
- readonly _tag: "Lang";
1318
+ };
1319
+ Lang: (value: string) => {
1320
+ readonly _tag: 'Lang';
1111
1321
  readonly value: string;
1112
- } | {
1113
- readonly _tag: "Dir";
1322
+ };
1323
+ Dir: (value: string) => {
1324
+ readonly _tag: 'Dir';
1114
1325
  readonly value: string;
1115
- } | {
1116
- readonly _tag: "Tabindex";
1326
+ };
1327
+ Tabindex: (value: number) => {
1328
+ readonly _tag: 'Tabindex';
1117
1329
  readonly value: number;
1118
- } | {
1119
- readonly _tag: "Hidden";
1330
+ };
1331
+ Hidden: (value: boolean) => {
1332
+ readonly _tag: 'Hidden';
1120
1333
  readonly value: boolean;
1121
- } | {
1122
- readonly _tag: "Contenteditable";
1334
+ };
1335
+ Contenteditable: (value: string) => {
1336
+ readonly _tag: 'Contenteditable';
1123
1337
  readonly value: string;
1124
- } | {
1125
- readonly _tag: "Draggable";
1338
+ };
1339
+ Draggable: (value: boolean) => {
1340
+ readonly _tag: 'Draggable';
1126
1341
  readonly value: boolean;
1127
- } | {
1128
- readonly _tag: "Accesskey";
1342
+ };
1343
+ Accesskey: (value: string) => {
1344
+ readonly _tag: 'Accesskey';
1129
1345
  readonly value: string;
1130
- } | {
1131
- readonly _tag: "Translate";
1346
+ };
1347
+ Translate: (value: string) => {
1348
+ readonly _tag: 'Translate';
1132
1349
  readonly value: string;
1133
- } | {
1134
- readonly _tag: "Inert";
1350
+ };
1351
+ Inert: (value: boolean) => {
1352
+ readonly _tag: 'Inert';
1135
1353
  readonly value: boolean;
1136
- } | {
1137
- readonly _tag: "Popover";
1354
+ };
1355
+ Popover: (value: string) => {
1356
+ readonly _tag: 'Popover';
1138
1357
  readonly value: string;
1139
- } | {
1140
- readonly _tag: "Popovertarget";
1358
+ };
1359
+ Popovertarget: (value: string) => {
1360
+ readonly _tag: 'Popovertarget';
1141
1361
  readonly value: string;
1142
- } | {
1143
- readonly _tag: "Popovertargetaction";
1362
+ };
1363
+ Popovertargetaction: (value: string) => {
1364
+ readonly _tag: 'Popovertargetaction';
1144
1365
  readonly value: string;
1145
- } | {
1146
- readonly _tag: "OnClick";
1366
+ };
1367
+ OnClick: (message: Message) => {
1368
+ readonly _tag: 'OnClick';
1147
1369
  readonly message: Message;
1148
- } | {
1149
- readonly _tag: "OnClickFocus";
1370
+ };
1371
+ OnClickFocus: (focusSelector: string, message: Message) => {
1372
+ readonly _tag: 'OnClickFocus';
1150
1373
  readonly focusSelector: string;
1151
1374
  readonly message: Message;
1152
- } | {
1153
- readonly _tag: "OnDoubleClick";
1154
- readonly message: Message;
1155
- } | {
1156
- readonly _tag: "OnMouseDown";
1157
- readonly message: Message;
1158
- } | {
1159
- readonly _tag: "OnMouseUp";
1160
- readonly message: Message;
1161
- } | {
1162
- readonly _tag: "OnMouseEnter";
1163
- readonly message: Message;
1164
- } | {
1165
- readonly _tag: "OnMouseLeave";
1166
- readonly message: Message;
1167
- } | {
1168
- readonly _tag: "OnMouseOver";
1169
- readonly message: Message;
1170
- } | {
1171
- readonly _tag: "OnMouseOut";
1172
- readonly message: Message;
1173
- } | {
1174
- readonly _tag: "OnMouseMove";
1175
- readonly message: Message;
1176
- } | {
1177
- readonly _tag: "OnPointerMove";
1178
- readonly f: (screenX: number, screenY: number, pointerType: string) => Option.Option<Message>;
1179
- } | {
1180
- readonly _tag: "OnPointerLeave";
1181
- readonly f: (pointerType: string) => Option.Option<Message>;
1182
- } | {
1183
- readonly _tag: "OnPointerDown";
1184
- readonly f: (pointerType: string, button: number, screenX: number, screenY: number, timeStamp: number, clientX: number, clientY: number) => Option.Option<Message>;
1185
- } | {
1186
- readonly _tag: "OnPointerUp";
1187
- readonly f: (screenX: number, screenY: number, pointerType: string, timeStamp: number) => Option.Option<Message>;
1188
- } | {
1189
- readonly _tag: "OnKeyDown";
1190
- readonly f: (key: string, modifiers: Readonly<{
1191
- shiftKey: boolean;
1192
- ctrlKey: boolean;
1193
- altKey: boolean;
1194
- metaKey: boolean;
1195
- }>) => Message;
1196
- } | {
1197
- readonly _tag: "OnKeyDownPreventDefault";
1198
- readonly f: (key: string, modifiers: Readonly<{
1199
- shiftKey: boolean;
1200
- ctrlKey: boolean;
1201
- altKey: boolean;
1202
- metaKey: boolean;
1203
- }>) => Option.Option<Message>;
1204
- } | {
1205
- readonly _tag: "OnKeyDownFocus";
1206
- readonly f: (key: string, modifiers: Readonly<{
1207
- shiftKey: boolean;
1208
- ctrlKey: boolean;
1209
- altKey: boolean;
1210
- metaKey: boolean;
1211
- }>) => Option.Option<Readonly<{
1212
- focusSelector: string;
1213
- message: Message;
1214
- }>>;
1215
- } | {
1216
- readonly _tag: "OnKeyUp";
1217
- readonly f: (key: string, modifiers: Readonly<{
1218
- shiftKey: boolean;
1219
- ctrlKey: boolean;
1220
- altKey: boolean;
1221
- metaKey: boolean;
1222
- }>) => Message;
1223
- } | {
1224
- readonly _tag: "OnKeyUpPreventDefault";
1225
- readonly f: (key: string, modifiers: Readonly<{
1226
- shiftKey: boolean;
1227
- ctrlKey: boolean;
1228
- altKey: boolean;
1229
- metaKey: boolean;
1230
- }>) => Option.Option<Message>;
1231
- } | {
1232
- readonly _tag: "OnKeyPress";
1233
- readonly f: (key: string, modifiers: Readonly<{
1234
- shiftKey: boolean;
1235
- ctrlKey: boolean;
1236
- altKey: boolean;
1237
- metaKey: boolean;
1238
- }>) => Message;
1239
- } | {
1240
- readonly _tag: "OnFocus";
1241
- readonly message: Message;
1242
- } | {
1243
- readonly _tag: "OnBlur";
1244
- readonly message: Message;
1245
- } | {
1246
- readonly _tag: "OnInput";
1247
- readonly f: (value: string) => Message;
1248
- } | {
1249
- readonly _tag: "OnChange";
1250
- readonly f: (value: string) => Message;
1251
- } | {
1252
- readonly _tag: "OnSubmit";
1253
- readonly message: Message;
1254
- } | {
1255
- readonly _tag: "OnReset";
1256
- readonly message: Message;
1257
- } | {
1258
- readonly _tag: "OnScroll";
1259
- readonly f: (scrollTop: number) => Message;
1260
- } | {
1261
- readonly _tag: "OnWheel";
1262
- readonly message: Message;
1263
- } | {
1264
- readonly _tag: "OnCopy";
1265
- readonly message: Message;
1266
- } | {
1267
- readonly _tag: "OnCut";
1268
- readonly message: Message;
1269
- } | {
1270
- readonly _tag: "OnPaste";
1271
- readonly message: Message;
1272
- } | {
1273
- readonly _tag: "OnPastePreventDefault";
1274
- readonly f: (text: string) => Option.Option<Message>;
1275
- } | {
1276
- readonly _tag: "OnCopyText";
1277
- readonly text: string;
1278
- } | {
1279
- readonly _tag: "OnCutText";
1280
- readonly text: string;
1281
- readonly message: Message;
1282
- } | {
1283
- readonly _tag: "OnCancel";
1284
- readonly message: Message;
1285
- } | {
1286
- readonly _tag: "OnToggle";
1287
- readonly f: (isOpen: boolean) => Message;
1288
- } | {
1289
- readonly _tag: "OnContextMenu";
1290
- readonly message: Message;
1291
- } | {
1292
- readonly _tag: "OnDragStart";
1293
- readonly message: Message;
1294
- } | {
1295
- readonly _tag: "OnDrag";
1296
- readonly message: Message;
1297
- } | {
1298
- readonly _tag: "OnDragEnd";
1299
- readonly message: Message;
1300
- } | {
1301
- readonly _tag: "OnDragEnter";
1302
- readonly message: Message;
1303
- } | {
1304
- readonly _tag: "OnDragLeave";
1305
- readonly message: Message;
1306
- } | {
1307
- readonly _tag: "OnDragOver";
1308
- readonly message: Message;
1309
- } | {
1310
- readonly _tag: "AllowDrop";
1311
- } | {
1312
- readonly _tag: "OnDrop";
1313
- readonly message: Message;
1314
- } | {
1315
- readonly _tag: "OnTouchStart";
1316
- readonly message: Message;
1317
- } | {
1318
- readonly _tag: "OnTouchEnd";
1319
- readonly message: Message;
1320
- } | {
1321
- readonly _tag: "OnTouchMove";
1322
- readonly message: Message;
1323
- } | {
1324
- readonly _tag: "OnTouchCancel";
1325
- readonly message: Message;
1326
- } | {
1327
- readonly _tag: "OnAnimationStart";
1328
- readonly message: Message;
1329
- } | {
1330
- readonly _tag: "OnAnimationEnd";
1331
- readonly message: Message;
1332
- } | {
1333
- readonly _tag: "OnAnimationIteration";
1334
- readonly message: Message;
1335
- } | {
1336
- readonly _tag: "OnTransitionEnd";
1337
- readonly message: Message;
1338
- } | {
1339
- readonly _tag: "OnLoad";
1340
- readonly message: Message;
1341
- } | {
1342
- readonly _tag: "OnError";
1343
- readonly message: Message;
1344
- } | {
1345
- readonly _tag: "OnPlay";
1346
- readonly message: Message;
1347
- } | {
1348
- readonly _tag: "OnPause";
1349
- readonly message: Message;
1350
- } | {
1351
- readonly _tag: "OnEnded";
1352
- readonly message: Message;
1353
- } | {
1354
- readonly _tag: "OnTimeUpdate";
1355
- readonly message: Message;
1356
- } | {
1357
- readonly _tag: "OnVolumeChange";
1358
- readonly message: Message;
1359
- } | {
1360
- readonly _tag: "OnSelect";
1361
- readonly message: Message;
1362
- } | {
1363
- readonly _tag: "Value";
1364
- readonly value: string;
1365
- } | {
1366
- readonly _tag: "Checked";
1367
- readonly value: boolean;
1368
- } | {
1369
- readonly _tag: "Selected";
1370
- readonly value: boolean;
1371
- } | {
1372
- readonly _tag: "Open";
1373
- readonly value: boolean;
1374
- } | {
1375
- readonly _tag: "Placeholder";
1376
- readonly value: string;
1377
- } | {
1378
- readonly _tag: "Name";
1379
- readonly value: string;
1380
- } | {
1381
- readonly _tag: "Disabled";
1382
- readonly value: boolean;
1383
- } | {
1384
- readonly _tag: "Readonly";
1385
- readonly value: boolean;
1386
- } | {
1387
- readonly _tag: "Required";
1388
- readonly value: boolean;
1389
- } | {
1390
- readonly _tag: "Autofocus";
1391
- readonly value: boolean;
1392
- } | {
1393
- readonly _tag: "Spellcheck";
1394
- readonly value: boolean;
1395
- } | {
1396
- readonly _tag: "Autocorrect";
1397
- readonly value: string;
1398
- } | {
1399
- readonly _tag: "Autocapitalize";
1400
- readonly value: string;
1401
- } | {
1402
- readonly _tag: "InputMode";
1403
- readonly value: string;
1404
- } | {
1405
- readonly _tag: "EnterKeyHint";
1406
- readonly value: string;
1407
- } | {
1408
- readonly _tag: "Multiple";
1409
- readonly value: boolean;
1410
- } | {
1411
- readonly _tag: "Accept";
1412
- readonly value: string;
1413
- } | {
1414
- readonly _tag: "Autocomplete";
1415
- readonly value: string;
1416
- } | {
1417
- readonly _tag: "Pattern";
1418
- readonly value: string;
1419
- } | {
1420
- readonly _tag: "Maxlength";
1421
- readonly value: number;
1422
- } | {
1423
- readonly _tag: "Minlength";
1424
- readonly value: number;
1425
- } | {
1426
- readonly _tag: "Size";
1427
- readonly value: number;
1428
- } | {
1429
- readonly _tag: "Cols";
1430
- readonly value: number;
1431
- } | {
1432
- readonly _tag: "Rows";
1433
- readonly value: number;
1434
- } | {
1435
- readonly _tag: "Max";
1436
- readonly value: string;
1437
- } | {
1438
- readonly _tag: "Min";
1439
- readonly value: string;
1440
- } | {
1441
- readonly _tag: "Step";
1442
- readonly value: string;
1443
- } | {
1444
- readonly _tag: "For";
1445
- readonly value: string;
1446
- } | {
1447
- readonly _tag: "Href";
1448
- readonly value: string;
1449
- } | {
1450
- readonly _tag: "Src";
1451
- readonly value: string;
1452
- } | {
1453
- readonly _tag: "Alt";
1454
- readonly value: string;
1455
- } | {
1456
- readonly _tag: "Target";
1457
- readonly value: string;
1458
- } | {
1459
- readonly _tag: "Rel";
1460
- readonly value: string;
1461
- } | {
1462
- readonly _tag: "Download";
1463
- readonly value: string;
1464
- } | {
1465
- readonly _tag: "Action";
1466
- readonly value: string;
1467
- } | {
1468
- readonly _tag: "Method";
1469
- readonly value: string;
1470
- } | {
1471
- readonly _tag: "Enctype";
1472
- readonly value: string;
1473
- } | {
1474
- readonly _tag: "Novalidate";
1475
- readonly value: boolean;
1476
- } | {
1477
- readonly _tag: "Formaction";
1478
- readonly value: string;
1479
- } | {
1480
- readonly _tag: "Formmethod";
1481
- readonly value: string;
1482
- } | {
1483
- readonly _tag: "Formnovalidate";
1484
- readonly value: boolean;
1485
- } | {
1486
- readonly _tag: "Formtarget";
1487
- readonly value: string;
1488
- } | {
1489
- readonly _tag: "Formenctype";
1490
- readonly value: string;
1491
- } | {
1492
- readonly _tag: "Colspan";
1493
- readonly value: number;
1494
- } | {
1495
- readonly _tag: "Rowspan";
1496
- readonly value: number;
1497
- } | {
1498
- readonly _tag: "Scope";
1499
- readonly value: string;
1500
- } | {
1501
- readonly _tag: "Headers";
1502
- readonly value: string;
1503
- } | {
1504
- readonly _tag: "Span";
1505
- readonly value: number;
1506
- } | {
1507
- readonly _tag: "Reversed";
1508
- readonly value: boolean;
1509
- } | {
1510
- readonly _tag: "CiteAttr";
1511
- readonly value: string;
1512
- } | {
1513
- readonly _tag: "Datetime";
1514
- readonly value: string;
1515
- } | {
1516
- readonly _tag: "Wrap";
1517
- readonly value: string;
1518
- } | {
1519
- readonly _tag: "List";
1520
- readonly value: string;
1521
- } | {
1522
- readonly _tag: "FormAttr";
1523
- readonly value: string;
1524
- } | {
1525
- readonly _tag: "LabelAttr";
1526
- readonly value: string;
1527
- } | {
1528
- readonly _tag: "ContentAttr";
1529
- readonly value: string;
1530
- } | {
1531
- readonly _tag: "Charset";
1532
- readonly value: string;
1533
- } | {
1534
- readonly _tag: "HttpEquiv";
1535
- readonly value: string;
1536
- } | {
1537
- readonly _tag: "Srcset";
1538
- readonly value: string;
1539
- } | {
1540
- readonly _tag: "Sizes";
1541
- readonly value: string;
1542
- } | {
1543
- readonly _tag: "Decoding";
1544
- readonly value: string;
1545
- } | {
1546
- readonly _tag: "Fetchpriority";
1547
- readonly value: string;
1548
- } | {
1549
- readonly _tag: "Crossorigin";
1550
- readonly value: string;
1551
- } | {
1552
- readonly _tag: "Referrerpolicy";
1553
- readonly value: string;
1554
- } | {
1555
- readonly _tag: "Integrity";
1556
- readonly value: string;
1557
- } | {
1558
- readonly _tag: "Hreflang";
1559
- readonly value: string;
1560
- } | {
1561
- readonly _tag: "Ping";
1562
- readonly value: string;
1563
- } | {
1564
- readonly _tag: "Sandbox";
1565
- readonly value: string;
1566
- } | {
1567
- readonly _tag: "Allow";
1568
- readonly value: string;
1569
- } | {
1570
- readonly _tag: "Srcdoc";
1571
- readonly value: string;
1572
- } | {
1573
- readonly _tag: "Autoplay";
1574
- readonly value: boolean;
1575
- } | {
1576
- readonly _tag: "Controls";
1577
- readonly value: boolean;
1578
- } | {
1579
- readonly _tag: "Loop";
1580
- readonly value: boolean;
1581
- } | {
1582
- readonly _tag: "Muted";
1583
- readonly value: boolean;
1584
- } | {
1585
- readonly _tag: "Poster";
1586
- readonly value: string;
1587
- } | {
1588
- readonly _tag: "Preload";
1589
- readonly value: string;
1590
- } | {
1591
- readonly _tag: "Playsinline";
1592
- readonly value: boolean;
1593
- } | {
1594
- readonly _tag: "High";
1595
- readonly value: number;
1596
- } | {
1597
- readonly _tag: "Low";
1598
- readonly value: number;
1599
- } | {
1600
- readonly _tag: "Optimum";
1601
- readonly value: number;
1602
- } | {
1603
- readonly _tag: "Usemap";
1604
- readonly value: string;
1605
- } | {
1606
- readonly _tag: "Ismap";
1607
- readonly value: boolean;
1608
- } | {
1609
- readonly _tag: "Role";
1610
- readonly value: string;
1611
- } | {
1612
- readonly _tag: "AriaLabel";
1613
- readonly value: string;
1614
- } | {
1615
- readonly _tag: "AriaLabelledBy";
1616
- readonly value: string;
1617
- } | {
1618
- readonly _tag: "AriaDescribedBy";
1619
- readonly value: string;
1620
- } | {
1621
- readonly _tag: "AriaHidden";
1622
- readonly value: boolean;
1623
- } | {
1624
- readonly _tag: "AriaExpanded";
1625
- readonly value: boolean;
1626
- } | {
1627
- readonly _tag: "AriaSelected";
1628
- readonly value: boolean;
1629
- } | {
1630
- readonly _tag: "AriaChecked";
1631
- readonly value: boolean | "mixed";
1632
- } | {
1633
- readonly _tag: "AriaDisabled";
1634
- readonly value: boolean;
1635
- } | {
1636
- readonly _tag: "AriaRequired";
1637
- readonly value: boolean;
1638
- } | {
1639
- readonly _tag: "AriaInvalid";
1640
- readonly value: boolean;
1641
- } | {
1642
- readonly _tag: "AriaLive";
1643
- readonly value: string;
1644
- } | {
1645
- readonly _tag: "AriaControls";
1646
- readonly value: string;
1647
- } | {
1648
- readonly _tag: "AriaCurrent";
1649
- readonly value: string;
1650
- } | {
1651
- readonly _tag: "AriaOrientation";
1652
- readonly value: string;
1653
- } | {
1654
- readonly _tag: "AriaPressed";
1655
- readonly value: string;
1656
- } | {
1657
- readonly _tag: "AriaHasPopup";
1658
- readonly value: string;
1659
- } | {
1660
- readonly _tag: "AriaActiveDescendant";
1661
- readonly value: string;
1662
- } | {
1663
- readonly _tag: "AriaSort";
1664
- readonly value: string;
1665
- } | {
1666
- readonly _tag: "AriaMultiSelectable";
1667
- readonly value: boolean;
1668
- } | {
1669
- readonly _tag: "AriaModal";
1670
- readonly value: boolean;
1671
- } | {
1672
- readonly _tag: "AriaBusy";
1673
- readonly value: boolean;
1674
- } | {
1675
- readonly _tag: "AriaErrorMessage";
1676
- readonly value: string;
1677
- } | {
1678
- readonly _tag: "AriaRoleDescription";
1679
- readonly value: string;
1680
- } | {
1681
- readonly _tag: "AriaAtomic";
1682
- readonly value: boolean;
1683
- } | {
1684
- readonly _tag: "AriaAutocomplete";
1685
- readonly value: string;
1686
- } | {
1687
- readonly _tag: "AriaColcount";
1688
- readonly value: number;
1689
- } | {
1690
- readonly _tag: "AriaColindex";
1691
- readonly value: number;
1692
- } | {
1693
- readonly _tag: "AriaColspan";
1694
- readonly value: number;
1695
- } | {
1696
- readonly _tag: "AriaDescription";
1697
- readonly value: string;
1698
- } | {
1699
- readonly _tag: "AriaDetails";
1700
- readonly value: string;
1701
- } | {
1702
- readonly _tag: "AriaFlowto";
1703
- readonly value: string;
1704
- } | {
1705
- readonly _tag: "AriaKeyshortcuts";
1706
- readonly value: string;
1707
- } | {
1708
- readonly _tag: "AriaLevel";
1709
- readonly value: number;
1710
- } | {
1711
- readonly _tag: "AriaOwns";
1712
- readonly value: string;
1713
- } | {
1714
- readonly _tag: "AriaPlaceholder";
1715
- readonly value: string;
1716
- } | {
1717
- readonly _tag: "AriaPosinset";
1718
- readonly value: number;
1719
- } | {
1720
- readonly _tag: "AriaReadonly";
1721
- readonly value: boolean;
1722
- } | {
1723
- readonly _tag: "AriaRelevant";
1724
- readonly value: string;
1725
- } | {
1726
- readonly _tag: "AriaRowcount";
1727
- readonly value: number;
1728
- } | {
1729
- readonly _tag: "AriaRowindex";
1730
- readonly value: number;
1731
- } | {
1732
- readonly _tag: "AriaRowspan";
1733
- readonly value: number;
1734
- } | {
1735
- readonly _tag: "AriaSetsize";
1736
- readonly value: number;
1737
- } | {
1738
- readonly _tag: "AriaValuemax";
1739
- readonly value: number;
1740
- } | {
1741
- readonly _tag: "AriaValuemin";
1742
- readonly value: number;
1743
- } | {
1744
- readonly _tag: "AriaValuenow";
1745
- readonly value: number;
1746
- } | {
1747
- readonly _tag: "AriaValuetext";
1748
- readonly value: string;
1749
- } | {
1750
- readonly _tag: "Attribute";
1751
- readonly key: string;
1752
- readonly value: string;
1753
- } | {
1754
- readonly _tag: "DataAttribute";
1755
- readonly key: string;
1756
- readonly value: string;
1757
- } | {
1758
- readonly _tag: "Style";
1759
- readonly value: Record<string, string>;
1760
- } | {
1761
- readonly _tag: "InnerHTML";
1762
- readonly value: string;
1763
- } | {
1764
- readonly _tag: "ViewBox";
1765
- readonly value: string;
1766
- } | {
1767
- readonly _tag: "Xmlns";
1768
- readonly value: string;
1769
- } | {
1770
- readonly _tag: "Fill";
1771
- readonly value: string;
1772
- } | {
1773
- readonly _tag: "FillRule";
1774
- readonly value: string;
1775
- } | {
1776
- readonly _tag: "ClipRule";
1777
- readonly value: string;
1778
- } | {
1779
- readonly _tag: "Stroke";
1780
- readonly value: string;
1781
- } | {
1782
- readonly _tag: "StrokeWidth";
1783
- readonly value: string;
1784
- } | {
1785
- readonly _tag: "StrokeLinecap";
1786
- readonly value: string;
1787
- } | {
1788
- readonly _tag: "StrokeLinejoin";
1789
- readonly value: string;
1790
- } | {
1791
- readonly _tag: "D";
1792
- readonly value: string;
1793
- } | {
1794
- readonly _tag: "Cx";
1795
- readonly value: string;
1796
- } | {
1797
- readonly _tag: "Cy";
1798
- readonly value: string;
1799
- } | {
1800
- readonly _tag: "R";
1801
- readonly value: string;
1802
- } | {
1803
- readonly _tag: "X";
1804
- readonly value: string;
1805
- } | {
1806
- readonly _tag: "Y";
1807
- readonly value: string;
1808
- } | {
1809
- readonly _tag: "Width";
1810
- readonly value: string;
1811
- } | {
1812
- readonly _tag: "Height";
1813
- readonly value: string;
1814
- } | {
1815
- readonly _tag: "X1";
1816
- readonly value: string;
1817
- } | {
1818
- readonly _tag: "Y1";
1819
- readonly value: string;
1820
- } | {
1821
- readonly _tag: "X2";
1822
- readonly value: string;
1823
- } | {
1824
- readonly _tag: "Y2";
1825
- readonly value: string;
1826
- } | {
1827
- readonly _tag: "Points";
1828
- readonly value: string;
1829
- } | {
1830
- readonly _tag: "Transform";
1831
- readonly value: string;
1832
- } | {
1833
- readonly _tag: "Opacity";
1834
- readonly value: string;
1835
- } | {
1836
- readonly _tag: "StrokeDasharray";
1837
- readonly value: string;
1838
- } | {
1839
- readonly _tag: "StrokeDashoffset";
1840
- readonly value: string;
1841
- } | {
1842
- readonly _tag: "Dx";
1843
- readonly value: string;
1844
- } | {
1845
- readonly _tag: "Dy";
1846
- readonly value: string;
1847
- } | {
1848
- readonly _tag: "Rotate";
1849
- readonly value: string;
1850
- } | {
1851
- readonly _tag: "TextAnchor";
1852
- readonly value: string;
1853
- } | {
1854
- readonly _tag: "DominantBaseline";
1855
- readonly value: string;
1856
- } | {
1857
- readonly _tag: "AlignmentBaseline";
1858
- readonly value: string;
1859
- } | {
1860
- readonly _tag: "BaselineShift";
1861
- readonly value: string;
1862
- } | {
1863
- readonly _tag: "TextLength";
1864
- readonly value: string;
1865
- } | {
1866
- readonly _tag: "LengthAdjust";
1867
- readonly value: string;
1868
- } | {
1869
- readonly _tag: "FontFamily";
1870
- readonly value: string;
1871
- } | {
1872
- readonly _tag: "FontSize";
1873
- readonly value: string;
1874
- } | {
1875
- readonly _tag: "FontWeight";
1876
- readonly value: string;
1877
- } | {
1878
- readonly _tag: "FontStyle";
1879
- readonly value: string;
1880
- } | {
1881
- readonly _tag: "LetterSpacing";
1882
- readonly value: string;
1883
- } | {
1884
- readonly _tag: "WordSpacing";
1885
- readonly value: string;
1886
- } | {
1887
- readonly _tag: "TextDecoration";
1888
- readonly value: string;
1889
- } | {
1890
- readonly _tag: "WritingMode";
1891
- readonly value: string;
1892
- } | {
1893
- readonly _tag: "Rx";
1894
- readonly value: string;
1895
- } | {
1896
- readonly _tag: "Ry";
1897
- readonly value: string;
1898
- } | {
1899
- readonly _tag: "PathLength";
1900
- readonly value: string;
1901
- } | {
1902
- readonly _tag: "FillOpacity";
1903
- readonly value: string;
1904
- } | {
1905
- readonly _tag: "StrokeOpacity";
1906
- readonly value: string;
1907
- } | {
1908
- readonly _tag: "StrokeMiterlimit";
1909
- readonly value: string;
1910
- } | {
1911
- readonly _tag: "PaintOrder";
1912
- readonly value: string;
1913
- } | {
1914
- readonly _tag: "VectorEffect";
1915
- readonly value: string;
1916
- } | {
1917
- readonly _tag: "Color";
1918
- readonly value: string;
1919
- } | {
1920
- readonly _tag: "Visibility";
1921
- readonly value: string;
1922
- } | {
1923
- readonly _tag: "Display";
1924
- readonly value: string;
1925
- } | {
1926
- readonly _tag: "Overflow";
1927
- readonly value: string;
1928
- } | {
1929
- readonly _tag: "PointerEvents";
1930
- readonly value: string;
1931
- } | {
1932
- readonly _tag: "Cursor";
1933
- readonly value: string;
1934
- } | {
1935
- readonly _tag: "ShapeRendering";
1936
- readonly value: string;
1937
- } | {
1938
- readonly _tag: "TextRendering";
1939
- readonly value: string;
1940
- } | {
1941
- readonly _tag: "ImageRendering";
1942
- readonly value: string;
1943
- } | {
1944
- readonly _tag: "ClipPath";
1945
- readonly value: string;
1946
- } | {
1947
- readonly _tag: "Mask";
1948
- readonly value: string;
1949
- } | {
1950
- readonly _tag: "ClipPathUnits";
1951
- readonly value: string;
1952
- } | {
1953
- readonly _tag: "MaskUnits";
1954
- readonly value: string;
1955
- } | {
1956
- readonly _tag: "MaskContentUnits";
1957
- readonly value: string;
1958
- } | {
1959
- readonly _tag: "FilterUnits";
1960
- readonly value: string;
1961
- } | {
1962
- readonly _tag: "PrimitiveUnits";
1963
- readonly value: string;
1964
- } | {
1965
- readonly _tag: "Offset";
1966
- readonly value: string;
1967
- } | {
1968
- readonly _tag: "StopColor";
1969
- readonly value: string;
1970
- } | {
1971
- readonly _tag: "StopOpacity";
1972
- readonly value: string;
1973
- } | {
1974
- readonly _tag: "GradientUnits";
1975
- readonly value: string;
1976
- } | {
1977
- readonly _tag: "GradientTransform";
1978
- readonly value: string;
1979
- } | {
1980
- readonly _tag: "SpreadMethod";
1981
- readonly value: string;
1982
- } | {
1983
- readonly _tag: "Fx";
1984
- readonly value: string;
1985
- } | {
1986
- readonly _tag: "Fy";
1987
- readonly value: string;
1988
- } | {
1989
- readonly _tag: "Fr";
1990
- readonly value: string;
1991
- } | {
1992
- readonly _tag: "PatternUnits";
1993
- readonly value: string;
1994
- } | {
1995
- readonly _tag: "PatternContentUnits";
1996
- readonly value: string;
1997
- } | {
1998
- readonly _tag: "PatternTransform";
1999
- readonly value: string;
2000
- } | {
2001
- readonly _tag: "MarkerStart";
2002
- readonly value: string;
2003
- } | {
2004
- readonly _tag: "MarkerMid";
2005
- readonly value: string;
2006
- } | {
2007
- readonly _tag: "MarkerEnd";
2008
- readonly value: string;
2009
- } | {
2010
- readonly _tag: "MarkerWidth";
2011
- readonly value: string;
2012
- } | {
2013
- readonly _tag: "MarkerHeight";
2014
- readonly value: string;
2015
- } | {
2016
- readonly _tag: "MarkerUnits";
2017
- readonly value: string;
2018
- } | {
2019
- readonly _tag: "RefX";
2020
- readonly value: string;
2021
- } | {
2022
- readonly _tag: "RefY";
2023
- readonly value: string;
2024
- } | {
2025
- readonly _tag: "Orient";
2026
- readonly value: string;
2027
- } | {
2028
- readonly _tag: "PreserveAspectRatio";
2029
- readonly value: string;
2030
- } | {
2031
- readonly _tag: "Prop";
2032
- readonly key: string;
2033
- readonly value: unknown;
2034
- } | {
2035
- readonly _tag: "OnCustomEvent";
2036
- readonly name: string;
2037
- readonly f: (event: CustomEvent<any>) => Message;
2038
- } | {
2039
- readonly _tag: "OnMount";
2040
- readonly action: Readonly<{
2041
- name: string;
2042
- args?: Record<string, unknown>;
2043
- f: (element: Element) => Stream.Stream<Message, any, never>;
2044
- }>;
2045
- } | {
2046
- readonly _tag: "OnUnmount";
2047
- readonly message: Message;
2048
- })[], children?: ReadonlyArray<Child>) => Html;
2049
- submodel: <View extends ((...args: ReadonlyArray<any>) => VNode | null) & {
2050
- readonly __submodelMessage: unknown;
2051
- }>(config: import("./submodel.js").SubmodelConfig<View>) => VNode | null;
2052
- Key: (value: string) => {
2053
- readonly _tag: "Key";
2054
- readonly value: string;
2055
- };
2056
- Class: (value: string) => {
2057
- readonly _tag: "Class";
2058
- readonly value: string;
2059
- };
2060
- Id: (value: string) => {
2061
- readonly _tag: "Id";
2062
- readonly value: string;
2063
- };
2064
- Title: (value: string) => {
2065
- readonly _tag: "Title";
2066
- readonly value: string;
2067
- };
2068
- Lang: (value: string) => {
2069
- readonly _tag: "Lang";
2070
- readonly value: string;
2071
- };
2072
- Dir: (value: string) => {
2073
- readonly _tag: "Dir";
2074
- readonly value: string;
2075
- };
2076
- Tabindex: (value: number) => {
2077
- readonly _tag: "Tabindex";
2078
- readonly value: number;
2079
- };
2080
- Hidden: (value: boolean) => {
2081
- readonly _tag: "Hidden";
2082
- readonly value: boolean;
2083
- };
2084
- Contenteditable: (value: string) => {
2085
- readonly _tag: "Contenteditable";
2086
- readonly value: string;
2087
- };
2088
- Draggable: (value: boolean) => {
2089
- readonly _tag: "Draggable";
2090
- readonly value: boolean;
2091
- };
2092
- Accesskey: (value: string) => {
2093
- readonly _tag: "Accesskey";
2094
- readonly value: string;
2095
- };
2096
- Translate: (value: string) => {
2097
- readonly _tag: "Translate";
2098
- readonly value: string;
2099
- };
2100
- Inert: (value: boolean) => {
2101
- readonly _tag: "Inert";
2102
- readonly value: boolean;
2103
- };
2104
- Popover: (value: string) => {
2105
- readonly _tag: "Popover";
2106
- readonly value: string;
2107
- };
2108
- Popovertarget: (value: string) => {
2109
- readonly _tag: "Popovertarget";
2110
- readonly value: string;
2111
- };
2112
- Popovertargetaction: (value: string) => {
2113
- readonly _tag: "Popovertargetaction";
2114
- readonly value: string;
2115
- };
2116
- OnClick: (message: Message) => {
2117
- readonly _tag: "OnClick";
2118
- readonly message: Message;
2119
- };
2120
- OnClickFocus: (focusSelector: string, message: Message) => {
2121
- readonly _tag: "OnClickFocus";
2122
- readonly focusSelector: string;
2123
- readonly message: Message;
2124
- };
2125
- OnDoubleClick: (message: Message) => {
2126
- readonly _tag: "OnDoubleClick";
1375
+ };
1376
+ OnDoubleClick: (message: Message) => {
1377
+ readonly _tag: 'OnDoubleClick';
2127
1378
  readonly message: Message;
2128
1379
  };
2129
1380
  OnMouseDown: (message: Message) => {
2130
- readonly _tag: "OnMouseDown";
1381
+ readonly _tag: 'OnMouseDown';
2131
1382
  readonly message: Message;
2132
1383
  };
2133
1384
  OnMouseUp: (message: Message) => {
2134
- readonly _tag: "OnMouseUp";
1385
+ readonly _tag: 'OnMouseUp';
2135
1386
  readonly message: Message;
2136
1387
  };
2137
1388
  OnMouseEnter: (message: Message) => {
2138
- readonly _tag: "OnMouseEnter";
1389
+ readonly _tag: 'OnMouseEnter';
2139
1390
  readonly message: Message;
2140
1391
  };
2141
1392
  OnMouseLeave: (message: Message) => {
2142
- readonly _tag: "OnMouseLeave";
1393
+ readonly _tag: 'OnMouseLeave';
2143
1394
  readonly message: Message;
2144
1395
  };
2145
1396
  OnMouseOver: (message: Message) => {
2146
- readonly _tag: "OnMouseOver";
1397
+ readonly _tag: 'OnMouseOver';
2147
1398
  readonly message: Message;
2148
1399
  };
2149
1400
  OnMouseOut: (message: Message) => {
2150
- readonly _tag: "OnMouseOut";
1401
+ readonly _tag: 'OnMouseOut';
2151
1402
  readonly message: Message;
2152
1403
  };
2153
1404
  OnMouseMove: (message: Message) => {
2154
- readonly _tag: "OnMouseMove";
1405
+ readonly _tag: 'OnMouseMove';
2155
1406
  readonly message: Message;
2156
1407
  };
2157
1408
  OnPointerMove: (toMaybeMessage: (screenX: number, screenY: number, pointerType: string) => Option.Option<Message>) => {
2158
- readonly _tag: "OnPointerMove";
1409
+ readonly _tag: 'OnPointerMove';
2159
1410
  readonly f: (screenX: number, screenY: number, pointerType: string) => Option.Option<Message>;
2160
1411
  };
2161
1412
  OnPointerLeave: (toMaybeMessage: (pointerType: string) => Option.Option<Message>) => {
2162
- readonly _tag: "OnPointerLeave";
1413
+ readonly _tag: 'OnPointerLeave';
2163
1414
  readonly f: (pointerType: string) => Option.Option<Message>;
2164
1415
  };
2165
1416
  OnPointerDown: (toMaybeMessage: (pointerType: string, button: number, screenX: number, screenY: number, timeStamp: number, clientX: number, clientY: number) => Option.Option<Message>) => {
2166
- readonly _tag: "OnPointerDown";
1417
+ readonly _tag: 'OnPointerDown';
2167
1418
  readonly f: (pointerType: string, button: number, screenX: number, screenY: number, timeStamp: number, clientX: number, clientY: number) => Option.Option<Message>;
2168
1419
  };
2169
1420
  OnPointerUp: (toMaybeMessage: (screenX: number, screenY: number, pointerType: string, timeStamp: number) => Option.Option<Message>) => {
2170
- readonly _tag: "OnPointerUp";
1421
+ readonly _tag: 'OnPointerUp';
2171
1422
  readonly f: (screenX: number, screenY: number, pointerType: string, timeStamp: number) => Option.Option<Message>;
2172
1423
  };
2173
- OnKeyDown: (toMessage: (key: string, modifiers: Readonly<{
2174
- shiftKey: boolean;
2175
- ctrlKey: boolean;
2176
- altKey: boolean;
2177
- metaKey: boolean;
2178
- }>) => Message) => {
2179
- readonly _tag: "OnKeyDown";
2180
- readonly f: (key: string, modifiers: Readonly<{
2181
- shiftKey: boolean;
2182
- ctrlKey: boolean;
2183
- altKey: boolean;
2184
- metaKey: boolean;
2185
- }>) => Message;
2186
- };
2187
- OnKeyDownFocus: (toMaybeFocusAndMessage: (key: string, modifiers: Readonly<{
2188
- shiftKey: boolean;
2189
- ctrlKey: boolean;
2190
- altKey: boolean;
2191
- metaKey: boolean;
2192
- }>) => Option.Option<Readonly<{
1424
+ OnKeyDown: (toMessage: (key: string, modifiers: KeyboardModifiers) => Message) => {
1425
+ readonly _tag: 'OnKeyDown';
1426
+ readonly f: (key: string, modifiers: KeyboardModifiers) => Message;
1427
+ };
1428
+ OnKeyDownFocus: (toMaybeFocusAndMessage: (key: string, modifiers: KeyboardModifiers) => Option.Option<Readonly<{
2193
1429
  focusSelector: string;
2194
1430
  message: Message;
2195
1431
  }>>) => {
2196
- readonly _tag: "OnKeyDownFocus";
2197
- readonly f: (key: string, modifiers: Readonly<{
2198
- shiftKey: boolean;
2199
- ctrlKey: boolean;
2200
- altKey: boolean;
2201
- metaKey: boolean;
2202
- }>) => Option.Option<Readonly<{
1432
+ readonly _tag: 'OnKeyDownFocus';
1433
+ readonly f: (key: string, modifiers: KeyboardModifiers) => Option.Option<Readonly<{
2203
1434
  focusSelector: string;
2204
1435
  message: Message;
2205
1436
  }>>;
2206
1437
  };
2207
- OnKeyDownPreventDefault: (toMaybeMessage: (key: string, modifiers: Readonly<{
2208
- shiftKey: boolean;
2209
- ctrlKey: boolean;
2210
- altKey: boolean;
2211
- metaKey: boolean;
2212
- }>) => Option.Option<Message>) => {
2213
- readonly _tag: "OnKeyDownPreventDefault";
2214
- readonly f: (key: string, modifiers: Readonly<{
2215
- shiftKey: boolean;
2216
- ctrlKey: boolean;
2217
- altKey: boolean;
2218
- metaKey: boolean;
2219
- }>) => Option.Option<Message>;
2220
- };
2221
- OnKeyUp: (toMessage: (key: string, modifiers: Readonly<{
2222
- shiftKey: boolean;
2223
- ctrlKey: boolean;
2224
- altKey: boolean;
2225
- metaKey: boolean;
2226
- }>) => Message) => {
2227
- readonly _tag: "OnKeyUp";
2228
- readonly f: (key: string, modifiers: Readonly<{
2229
- shiftKey: boolean;
2230
- ctrlKey: boolean;
2231
- altKey: boolean;
2232
- metaKey: boolean;
2233
- }>) => Message;
2234
- };
2235
- OnKeyUpPreventDefault: (toMaybeMessage: (key: string, modifiers: Readonly<{
2236
- shiftKey: boolean;
2237
- ctrlKey: boolean;
2238
- altKey: boolean;
2239
- metaKey: boolean;
2240
- }>) => Option.Option<Message>) => {
2241
- readonly _tag: "OnKeyUpPreventDefault";
2242
- readonly f: (key: string, modifiers: Readonly<{
2243
- shiftKey: boolean;
2244
- ctrlKey: boolean;
2245
- altKey: boolean;
2246
- metaKey: boolean;
2247
- }>) => Option.Option<Message>;
2248
- };
2249
- OnKeyPress: (toMessage: (key: string, modifiers: Readonly<{
2250
- shiftKey: boolean;
2251
- ctrlKey: boolean;
2252
- altKey: boolean;
2253
- metaKey: boolean;
2254
- }>) => Message) => {
2255
- readonly _tag: "OnKeyPress";
2256
- readonly f: (key: string, modifiers: Readonly<{
2257
- shiftKey: boolean;
2258
- ctrlKey: boolean;
2259
- altKey: boolean;
2260
- metaKey: boolean;
2261
- }>) => Message;
1438
+ OnKeyDownPreventDefault: (toMaybeMessage: (key: string, modifiers: KeyboardModifiers) => Option.Option<Message>) => {
1439
+ readonly _tag: 'OnKeyDownPreventDefault';
1440
+ readonly f: (key: string, modifiers: KeyboardModifiers) => Option.Option<Message>;
1441
+ };
1442
+ OnKeyUp: (toMessage: (key: string, modifiers: KeyboardModifiers) => Message) => {
1443
+ readonly _tag: 'OnKeyUp';
1444
+ readonly f: (key: string, modifiers: KeyboardModifiers) => Message;
1445
+ };
1446
+ OnKeyUpPreventDefault: (toMaybeMessage: (key: string, modifiers: KeyboardModifiers) => Option.Option<Message>) => {
1447
+ readonly _tag: 'OnKeyUpPreventDefault';
1448
+ readonly f: (key: string, modifiers: KeyboardModifiers) => Option.Option<Message>;
1449
+ };
1450
+ OnKeyPress: (toMessage: (key: string, modifiers: KeyboardModifiers) => Message) => {
1451
+ readonly _tag: 'OnKeyPress';
1452
+ readonly f: (key: string, modifiers: KeyboardModifiers) => Message;
2262
1453
  };
2263
1454
  OnFocus: (message: Message) => {
2264
- readonly _tag: "OnFocus";
1455
+ readonly _tag: 'OnFocus';
2265
1456
  readonly message: Message;
2266
1457
  };
2267
1458
  OnBlur: (message: Message) => {
2268
- readonly _tag: "OnBlur";
1459
+ readonly _tag: 'OnBlur';
2269
1460
  readonly message: Message;
2270
1461
  };
2271
1462
  OnInput: (toMessage: (value: string) => Message) => {
2272
- readonly _tag: "OnInput";
1463
+ readonly _tag: 'OnInput';
2273
1464
  readonly f: (value: string) => Message;
2274
1465
  };
2275
1466
  OnChange: (toMessage: (value: string) => Message) => {
2276
- readonly _tag: "OnChange";
1467
+ readonly _tag: 'OnChange';
2277
1468
  readonly f: (value: string) => Message;
2278
1469
  };
2279
1470
  OnFileChange: (toMessage: (files: ReadonlyArray<File>) => Message) => {
2280
- readonly _tag: "OnFileChange";
1471
+ readonly _tag: 'OnFileChange';
2281
1472
  readonly f: (files: ReadonlyArray<File>) => Message;
2282
1473
  };
2283
1474
  OnSubmit: (message: Message) => {
2284
- readonly _tag: "OnSubmit";
1475
+ readonly _tag: 'OnSubmit';
2285
1476
  readonly message: Message;
2286
1477
  };
2287
1478
  OnReset: (message: Message) => {
2288
- readonly _tag: "OnReset";
1479
+ readonly _tag: 'OnReset';
2289
1480
  readonly message: Message;
2290
1481
  };
2291
1482
  OnScroll: (toMessage: (scrollTop: number) => Message) => {
2292
- readonly _tag: "OnScroll";
1483
+ readonly _tag: 'OnScroll';
2293
1484
  readonly f: (scrollTop: number) => Message;
2294
1485
  };
2295
1486
  OnWheel: (message: Message) => {
2296
- readonly _tag: "OnWheel";
1487
+ readonly _tag: 'OnWheel';
2297
1488
  readonly message: Message;
2298
1489
  };
2299
1490
  OnCopy: (message: Message) => {
2300
- readonly _tag: "OnCopy";
1491
+ readonly _tag: 'OnCopy';
2301
1492
  readonly message: Message;
2302
1493
  };
2303
1494
  OnCut: (message: Message) => {
2304
- readonly _tag: "OnCut";
1495
+ readonly _tag: 'OnCut';
2305
1496
  readonly message: Message;
2306
1497
  };
2307
1498
  OnPaste: (message: Message) => {
2308
- readonly _tag: "OnPaste";
1499
+ readonly _tag: 'OnPaste';
2309
1500
  readonly message: Message;
2310
1501
  };
2311
1502
  OnPastePreventDefault: (toMaybeMessage: (text: string) => Option.Option<Message>) => {
2312
- readonly _tag: "OnPastePreventDefault";
1503
+ readonly _tag: 'OnPastePreventDefault';
2313
1504
  readonly f: (text: string) => Option.Option<Message>;
2314
1505
  };
2315
1506
  OnCopyText: (text: string) => {
2316
- readonly _tag: "OnCopyText";
1507
+ readonly _tag: 'OnCopyText';
2317
1508
  readonly text: string;
2318
1509
  };
2319
1510
  OnCutText: (text: string, message: Message) => {
2320
- readonly _tag: "OnCutText";
1511
+ readonly _tag: 'OnCutText';
2321
1512
  readonly text: string;
2322
1513
  readonly message: Message;
2323
1514
  };
2324
1515
  OnCancel: (message: Message) => {
2325
- readonly _tag: "OnCancel";
1516
+ readonly _tag: 'OnCancel';
2326
1517
  readonly message: Message;
2327
1518
  };
2328
1519
  OnToggle: (toMessage: (isOpen: boolean) => Message) => {
2329
- readonly _tag: "OnToggle";
1520
+ readonly _tag: 'OnToggle';
2330
1521
  readonly f: (isOpen: boolean) => Message;
2331
1522
  };
2332
1523
  OnContextMenu: (message: Message) => {
2333
- readonly _tag: "OnContextMenu";
1524
+ readonly _tag: 'OnContextMenu';
2334
1525
  readonly message: Message;
2335
1526
  };
2336
1527
  OnDragStart: (message: Message) => {
2337
- readonly _tag: "OnDragStart";
1528
+ readonly _tag: 'OnDragStart';
2338
1529
  readonly message: Message;
2339
1530
  };
2340
1531
  OnDrag: (message: Message) => {
2341
- readonly _tag: "OnDrag";
1532
+ readonly _tag: 'OnDrag';
2342
1533
  readonly message: Message;
2343
1534
  };
2344
1535
  OnDragEnd: (message: Message) => {
2345
- readonly _tag: "OnDragEnd";
1536
+ readonly _tag: 'OnDragEnd';
2346
1537
  readonly message: Message;
2347
1538
  };
2348
1539
  OnDragEnter: (message: Message) => {
2349
- readonly _tag: "OnDragEnter";
1540
+ readonly _tag: 'OnDragEnter';
2350
1541
  readonly message: Message;
2351
1542
  };
2352
1543
  OnDragLeave: (message: Message) => {
2353
- readonly _tag: "OnDragLeave";
1544
+ readonly _tag: 'OnDragLeave';
2354
1545
  readonly message: Message;
2355
1546
  };
2356
1547
  OnDragOver: (message: Message) => {
2357
- readonly _tag: "OnDragOver";
1548
+ readonly _tag: 'OnDragOver';
2358
1549
  readonly message: Message;
2359
1550
  };
2360
1551
  AllowDrop: () => {
2361
- readonly _tag: "AllowDrop";
1552
+ readonly _tag: 'AllowDrop';
2362
1553
  };
2363
1554
  OnDrop: (message: Message) => {
2364
- readonly _tag: "OnDrop";
1555
+ readonly _tag: 'OnDrop';
2365
1556
  readonly message: Message;
2366
1557
  };
2367
1558
  OnDropFiles: (toMessage: (files: ReadonlyArray<File>) => Message) => {
2368
- readonly _tag: "OnDropFiles";
1559
+ readonly _tag: 'OnDropFiles';
2369
1560
  readonly f: (files: ReadonlyArray<File>) => Message;
2370
1561
  };
2371
1562
  OnTouchStart: (message: Message) => {
2372
- readonly _tag: "OnTouchStart";
1563
+ readonly _tag: 'OnTouchStart';
2373
1564
  readonly message: Message;
2374
1565
  };
2375
1566
  OnTouchEnd: (message: Message) => {
2376
- readonly _tag: "OnTouchEnd";
1567
+ readonly _tag: 'OnTouchEnd';
2377
1568
  readonly message: Message;
2378
1569
  };
2379
1570
  OnTouchMove: (message: Message) => {
2380
- readonly _tag: "OnTouchMove";
1571
+ readonly _tag: 'OnTouchMove';
2381
1572
  readonly message: Message;
2382
1573
  };
2383
1574
  OnTouchCancel: (message: Message) => {
2384
- readonly _tag: "OnTouchCancel";
1575
+ readonly _tag: 'OnTouchCancel';
2385
1576
  readonly message: Message;
2386
1577
  };
2387
1578
  OnAnimationStart: (message: Message) => {
2388
- readonly _tag: "OnAnimationStart";
1579
+ readonly _tag: 'OnAnimationStart';
2389
1580
  readonly message: Message;
2390
1581
  };
2391
1582
  OnAnimationEnd: (message: Message) => {
2392
- readonly _tag: "OnAnimationEnd";
1583
+ readonly _tag: 'OnAnimationEnd';
2393
1584
  readonly message: Message;
2394
1585
  };
2395
1586
  OnAnimationIteration: (message: Message) => {
2396
- readonly _tag: "OnAnimationIteration";
1587
+ readonly _tag: 'OnAnimationIteration';
2397
1588
  readonly message: Message;
2398
1589
  };
2399
1590
  OnTransitionEnd: (message: Message) => {
2400
- readonly _tag: "OnTransitionEnd";
1591
+ readonly _tag: 'OnTransitionEnd';
2401
1592
  readonly message: Message;
2402
1593
  };
2403
1594
  OnLoad: (message: Message) => {
2404
- readonly _tag: "OnLoad";
1595
+ readonly _tag: 'OnLoad';
2405
1596
  readonly message: Message;
2406
1597
  };
2407
1598
  OnError: (message: Message) => {
2408
- readonly _tag: "OnError";
1599
+ readonly _tag: 'OnError';
2409
1600
  readonly message: Message;
2410
1601
  };
2411
1602
  OnPlay: (message: Message) => {
2412
- readonly _tag: "OnPlay";
1603
+ readonly _tag: 'OnPlay';
2413
1604
  readonly message: Message;
2414
1605
  };
2415
1606
  OnPause: (message: Message) => {
2416
- readonly _tag: "OnPause";
1607
+ readonly _tag: 'OnPause';
2417
1608
  readonly message: Message;
2418
1609
  };
2419
1610
  OnEnded: (message: Message) => {
2420
- readonly _tag: "OnEnded";
1611
+ readonly _tag: 'OnEnded';
2421
1612
  readonly message: Message;
2422
1613
  };
2423
1614
  OnTimeUpdate: (message: Message) => {
2424
- readonly _tag: "OnTimeUpdate";
1615
+ readonly _tag: 'OnTimeUpdate';
2425
1616
  readonly message: Message;
2426
1617
  };
2427
1618
  OnVolumeChange: (message: Message) => {
2428
- readonly _tag: "OnVolumeChange";
1619
+ readonly _tag: 'OnVolumeChange';
2429
1620
  readonly message: Message;
2430
1621
  };
2431
1622
  OnSelect: (message: Message) => {
2432
- readonly _tag: "OnSelect";
1623
+ readonly _tag: 'OnSelect';
2433
1624
  readonly message: Message;
2434
1625
  };
2435
1626
  Value: (value: string) => {
2436
- readonly _tag: "Value";
1627
+ readonly _tag: 'Value';
2437
1628
  readonly value: string;
2438
1629
  };
2439
1630
  Checked: (value: boolean) => {
2440
- readonly _tag: "Checked";
1631
+ readonly _tag: 'Checked';
2441
1632
  readonly value: boolean;
2442
1633
  };
2443
1634
  Selected: (value: boolean) => {
2444
- readonly _tag: "Selected";
1635
+ readonly _tag: 'Selected';
2445
1636
  readonly value: boolean;
2446
1637
  };
2447
1638
  Open: (value: boolean) => {
2448
- readonly _tag: "Open";
1639
+ readonly _tag: 'Open';
2449
1640
  readonly value: boolean;
2450
1641
  };
2451
1642
  Placeholder: (value: string) => {
2452
- readonly _tag: "Placeholder";
1643
+ readonly _tag: 'Placeholder';
2453
1644
  readonly value: string;
2454
1645
  };
2455
1646
  Name: (value: string) => {
2456
- readonly _tag: "Name";
1647
+ readonly _tag: 'Name';
2457
1648
  readonly value: string;
2458
1649
  };
2459
1650
  Disabled: (value: boolean) => {
2460
- readonly _tag: "Disabled";
1651
+ readonly _tag: 'Disabled';
2461
1652
  readonly value: boolean;
2462
1653
  };
2463
1654
  Readonly: (value: boolean) => {
2464
- readonly _tag: "Readonly";
1655
+ readonly _tag: 'Readonly';
2465
1656
  readonly value: boolean;
2466
1657
  };
2467
1658
  Required: (value: boolean) => {
2468
- readonly _tag: "Required";
1659
+ readonly _tag: 'Required';
2469
1660
  readonly value: boolean;
2470
1661
  };
2471
1662
  Autofocus: (value: boolean) => {
2472
- readonly _tag: "Autofocus";
1663
+ readonly _tag: 'Autofocus';
2473
1664
  readonly value: boolean;
2474
1665
  };
2475
1666
  Spellcheck: (value: boolean) => {
2476
- readonly _tag: "Spellcheck";
1667
+ readonly _tag: 'Spellcheck';
2477
1668
  readonly value: boolean;
2478
1669
  };
2479
1670
  Autocorrect: (value: string) => {
2480
- readonly _tag: "Autocorrect";
1671
+ readonly _tag: 'Autocorrect';
2481
1672
  readonly value: string;
2482
1673
  };
2483
1674
  Autocapitalize: (value: string) => {
2484
- readonly _tag: "Autocapitalize";
1675
+ readonly _tag: 'Autocapitalize';
2485
1676
  readonly value: string;
2486
1677
  };
2487
1678
  InputMode: (value: string) => {
2488
- readonly _tag: "InputMode";
1679
+ readonly _tag: 'InputMode';
2489
1680
  readonly value: string;
2490
1681
  };
2491
1682
  EnterKeyHint: (value: string) => {
2492
- readonly _tag: "EnterKeyHint";
1683
+ readonly _tag: 'EnterKeyHint';
2493
1684
  readonly value: string;
2494
1685
  };
2495
1686
  Multiple: (value: boolean) => {
2496
- readonly _tag: "Multiple";
1687
+ readonly _tag: 'Multiple';
2497
1688
  readonly value: boolean;
2498
1689
  };
2499
1690
  Type: (value: string) => {
2500
- readonly _tag: "Type";
1691
+ readonly _tag: 'Type';
2501
1692
  readonly value: string;
2502
1693
  };
2503
1694
  Accept: (value: string) => {
2504
- readonly _tag: "Accept";
1695
+ readonly _tag: 'Accept';
2505
1696
  readonly value: string;
2506
1697
  };
2507
1698
  Autocomplete: (value: string) => {
2508
- readonly _tag: "Autocomplete";
1699
+ readonly _tag: 'Autocomplete';
2509
1700
  readonly value: string;
2510
1701
  };
2511
1702
  Pattern: (value: string) => {
2512
- readonly _tag: "Pattern";
1703
+ readonly _tag: 'Pattern';
2513
1704
  readonly value: string;
2514
1705
  };
2515
1706
  Maxlength: (value: number) => {
2516
- readonly _tag: "Maxlength";
1707
+ readonly _tag: 'Maxlength';
2517
1708
  readonly value: number;
2518
1709
  };
2519
1710
  Minlength: (value: number) => {
2520
- readonly _tag: "Minlength";
1711
+ readonly _tag: 'Minlength';
2521
1712
  readonly value: number;
2522
1713
  };
2523
1714
  Size: (value: number) => {
2524
- readonly _tag: "Size";
1715
+ readonly _tag: 'Size';
2525
1716
  readonly value: number;
2526
1717
  };
2527
1718
  Cols: (value: number) => {
2528
- readonly _tag: "Cols";
1719
+ readonly _tag: 'Cols';
2529
1720
  readonly value: number;
2530
1721
  };
2531
1722
  Rows: (value: number) => {
2532
- readonly _tag: "Rows";
1723
+ readonly _tag: 'Rows';
2533
1724
  readonly value: number;
2534
1725
  };
2535
1726
  Max: (value: string) => {
2536
- readonly _tag: "Max";
1727
+ readonly _tag: 'Max';
2537
1728
  readonly value: string;
2538
1729
  };
2539
1730
  Min: (value: string) => {
2540
- readonly _tag: "Min";
1731
+ readonly _tag: 'Min';
2541
1732
  readonly value: string;
2542
1733
  };
2543
1734
  Step: (value: string) => {
2544
- readonly _tag: "Step";
1735
+ readonly _tag: 'Step';
2545
1736
  readonly value: string;
2546
1737
  };
2547
1738
  For: (value: string) => {
2548
- readonly _tag: "For";
1739
+ readonly _tag: 'For';
2549
1740
  readonly value: string;
2550
1741
  };
2551
1742
  Href: (value: string) => {
2552
- readonly _tag: "Href";
1743
+ readonly _tag: 'Href';
2553
1744
  readonly value: string;
2554
1745
  };
2555
1746
  Src: (value: string) => {
2556
- readonly _tag: "Src";
1747
+ readonly _tag: 'Src';
2557
1748
  readonly value: string;
2558
1749
  };
2559
1750
  Alt: (value: string) => {
2560
- readonly _tag: "Alt";
1751
+ readonly _tag: 'Alt';
2561
1752
  readonly value: string;
2562
1753
  };
2563
1754
  Target: (value: string) => {
2564
- readonly _tag: "Target";
1755
+ readonly _tag: 'Target';
2565
1756
  readonly value: string;
2566
1757
  };
2567
1758
  Rel: (value: string) => {
2568
- readonly _tag: "Rel";
1759
+ readonly _tag: 'Rel';
2569
1760
  readonly value: string;
2570
1761
  };
2571
1762
  Download: (value: string) => {
2572
- readonly _tag: "Download";
1763
+ readonly _tag: 'Download';
2573
1764
  readonly value: string;
2574
1765
  };
2575
1766
  Action: (value: string) => {
2576
- readonly _tag: "Action";
1767
+ readonly _tag: 'Action';
2577
1768
  readonly value: string;
2578
1769
  };
2579
1770
  Method: (value: string) => {
2580
- readonly _tag: "Method";
1771
+ readonly _tag: 'Method';
2581
1772
  readonly value: string;
2582
1773
  };
2583
1774
  Enctype: (value: string) => {
2584
- readonly _tag: "Enctype";
1775
+ readonly _tag: 'Enctype';
2585
1776
  readonly value: string;
2586
1777
  };
2587
1778
  Novalidate: (value: boolean) => {
2588
- readonly _tag: "Novalidate";
1779
+ readonly _tag: 'Novalidate';
2589
1780
  readonly value: boolean;
2590
1781
  };
2591
1782
  Formaction: (value: string) => {
2592
- readonly _tag: "Formaction";
1783
+ readonly _tag: 'Formaction';
2593
1784
  readonly value: string;
2594
1785
  };
2595
1786
  Formmethod: (value: string) => {
2596
- readonly _tag: "Formmethod";
1787
+ readonly _tag: 'Formmethod';
2597
1788
  readonly value: string;
2598
1789
  };
2599
1790
  Formnovalidate: (value: boolean) => {
2600
- readonly _tag: "Formnovalidate";
1791
+ readonly _tag: 'Formnovalidate';
2601
1792
  readonly value: boolean;
2602
1793
  };
2603
1794
  Formtarget: (value: string) => {
2604
- readonly _tag: "Formtarget";
1795
+ readonly _tag: 'Formtarget';
2605
1796
  readonly value: string;
2606
1797
  };
2607
1798
  Formenctype: (value: string) => {
2608
- readonly _tag: "Formenctype";
1799
+ readonly _tag: 'Formenctype';
2609
1800
  readonly value: string;
2610
1801
  };
2611
1802
  Colspan: (value: number) => {
2612
- readonly _tag: "Colspan";
1803
+ readonly _tag: 'Colspan';
2613
1804
  readonly value: number;
2614
1805
  };
2615
1806
  Rowspan: (value: number) => {
2616
- readonly _tag: "Rowspan";
1807
+ readonly _tag: 'Rowspan';
2617
1808
  readonly value: number;
2618
1809
  };
2619
1810
  Scope: (value: string) => {
2620
- readonly _tag: "Scope";
1811
+ readonly _tag: 'Scope';
2621
1812
  readonly value: string;
2622
1813
  };
2623
1814
  Headers: (value: string) => {
2624
- readonly _tag: "Headers";
1815
+ readonly _tag: 'Headers';
2625
1816
  readonly value: string;
2626
1817
  };
2627
1818
  Span: (value: number) => {
2628
- readonly _tag: "Span";
1819
+ readonly _tag: 'Span';
2629
1820
  readonly value: number;
2630
1821
  };
2631
1822
  Start: (value: number) => {
2632
- readonly _tag: "Start";
1823
+ readonly _tag: 'Start';
2633
1824
  readonly value: number;
2634
1825
  };
2635
1826
  Reversed: (value: boolean) => {
2636
- readonly _tag: "Reversed";
1827
+ readonly _tag: 'Reversed';
2637
1828
  readonly value: boolean;
2638
1829
  };
2639
1830
  CiteAttr: (value: string) => {
2640
- readonly _tag: "CiteAttr";
1831
+ readonly _tag: 'CiteAttr';
2641
1832
  readonly value: string;
2642
1833
  };
2643
1834
  Datetime: (value: string) => {
2644
- readonly _tag: "Datetime";
1835
+ readonly _tag: 'Datetime';
2645
1836
  readonly value: string;
2646
1837
  };
2647
1838
  Wrap: (value: string) => {
2648
- readonly _tag: "Wrap";
1839
+ readonly _tag: 'Wrap';
2649
1840
  readonly value: string;
2650
1841
  };
2651
1842
  List: (value: string) => {
2652
- readonly _tag: "List";
1843
+ readonly _tag: 'List';
2653
1844
  readonly value: string;
2654
1845
  };
2655
1846
  FormAttr: (value: string) => {
2656
- readonly _tag: "FormAttr";
1847
+ readonly _tag: 'FormAttr';
2657
1848
  readonly value: string;
2658
1849
  };
2659
1850
  LabelAttr: (value: string) => {
2660
- readonly _tag: "LabelAttr";
1851
+ readonly _tag: 'LabelAttr';
2661
1852
  readonly value: string;
2662
1853
  };
2663
1854
  ContentAttr: (value: string) => {
2664
- readonly _tag: "ContentAttr";
1855
+ readonly _tag: 'ContentAttr';
2665
1856
  readonly value: string;
2666
1857
  };
2667
1858
  Charset: (value: string) => {
2668
- readonly _tag: "Charset";
1859
+ readonly _tag: 'Charset';
2669
1860
  readonly value: string;
2670
1861
  };
2671
1862
  HttpEquiv: (value: string) => {
2672
- readonly _tag: "HttpEquiv";
1863
+ readonly _tag: 'HttpEquiv';
2673
1864
  readonly value: string;
2674
1865
  };
2675
1866
  Srcset: (value: string) => {
2676
- readonly _tag: "Srcset";
1867
+ readonly _tag: 'Srcset';
2677
1868
  readonly value: string;
2678
1869
  };
2679
1870
  Sizes: (value: string) => {
2680
- readonly _tag: "Sizes";
1871
+ readonly _tag: 'Sizes';
2681
1872
  readonly value: string;
2682
1873
  };
2683
1874
  Loading: (value: string) => {
2684
- readonly _tag: "Loading";
1875
+ readonly _tag: 'Loading';
2685
1876
  readonly value: string;
2686
1877
  };
2687
1878
  Decoding: (value: string) => {
2688
- readonly _tag: "Decoding";
1879
+ readonly _tag: 'Decoding';
2689
1880
  readonly value: string;
2690
1881
  };
2691
1882
  Fetchpriority: (value: string) => {
2692
- readonly _tag: "Fetchpriority";
1883
+ readonly _tag: 'Fetchpriority';
2693
1884
  readonly value: string;
2694
1885
  };
2695
1886
  Crossorigin: (value: string) => {
2696
- readonly _tag: "Crossorigin";
1887
+ readonly _tag: 'Crossorigin';
2697
1888
  readonly value: string;
2698
1889
  };
2699
1890
  Referrerpolicy: (value: string) => {
2700
- readonly _tag: "Referrerpolicy";
1891
+ readonly _tag: 'Referrerpolicy';
2701
1892
  readonly value: string;
2702
1893
  };
2703
1894
  Integrity: (value: string) => {
2704
- readonly _tag: "Integrity";
1895
+ readonly _tag: 'Integrity';
2705
1896
  readonly value: string;
2706
1897
  };
2707
1898
  Hreflang: (value: string) => {
2708
- readonly _tag: "Hreflang";
1899
+ readonly _tag: 'Hreflang';
2709
1900
  readonly value: string;
2710
1901
  };
2711
1902
  Ping: (value: string) => {
2712
- readonly _tag: "Ping";
1903
+ readonly _tag: 'Ping';
2713
1904
  readonly value: string;
2714
1905
  };
2715
1906
  Sandbox: (value: string) => {
2716
- readonly _tag: "Sandbox";
1907
+ readonly _tag: 'Sandbox';
2717
1908
  readonly value: string;
2718
1909
  };
2719
1910
  Allow: (value: string) => {
2720
- readonly _tag: "Allow";
1911
+ readonly _tag: 'Allow';
2721
1912
  readonly value: string;
2722
1913
  };
2723
1914
  Srcdoc: (value: string) => {
2724
- readonly _tag: "Srcdoc";
1915
+ readonly _tag: 'Srcdoc';
2725
1916
  readonly value: string;
2726
1917
  };
2727
1918
  Autoplay: (value: boolean) => {
2728
- readonly _tag: "Autoplay";
1919
+ readonly _tag: 'Autoplay';
2729
1920
  readonly value: boolean;
2730
1921
  };
2731
1922
  Controls: (value: boolean) => {
2732
- readonly _tag: "Controls";
1923
+ readonly _tag: 'Controls';
2733
1924
  readonly value: boolean;
2734
1925
  };
2735
1926
  Loop: (value: boolean) => {
2736
- readonly _tag: "Loop";
1927
+ readonly _tag: 'Loop';
2737
1928
  readonly value: boolean;
2738
1929
  };
2739
1930
  Muted: (value: boolean) => {
2740
- readonly _tag: "Muted";
1931
+ readonly _tag: 'Muted';
2741
1932
  readonly value: boolean;
2742
1933
  };
2743
1934
  Poster: (value: string) => {
2744
- readonly _tag: "Poster";
1935
+ readonly _tag: 'Poster';
2745
1936
  readonly value: string;
2746
1937
  };
2747
1938
  Preload: (value: string) => {
2748
- readonly _tag: "Preload";
1939
+ readonly _tag: 'Preload';
2749
1940
  readonly value: string;
2750
1941
  };
2751
1942
  Playsinline: (value: boolean) => {
2752
- readonly _tag: "Playsinline";
1943
+ readonly _tag: 'Playsinline';
2753
1944
  readonly value: boolean;
2754
1945
  };
2755
1946
  High: (value: number) => {
2756
- readonly _tag: "High";
1947
+ readonly _tag: 'High';
2757
1948
  readonly value: number;
2758
1949
  };
2759
1950
  Low: (value: number) => {
2760
- readonly _tag: "Low";
1951
+ readonly _tag: 'Low';
2761
1952
  readonly value: number;
2762
1953
  };
2763
1954
  Optimum: (value: number) => {
2764
- readonly _tag: "Optimum";
1955
+ readonly _tag: 'Optimum';
2765
1956
  readonly value: number;
2766
1957
  };
2767
1958
  Usemap: (value: string) => {
2768
- readonly _tag: "Usemap";
1959
+ readonly _tag: 'Usemap';
2769
1960
  readonly value: string;
2770
1961
  };
2771
1962
  Ismap: (value: boolean) => {
2772
- readonly _tag: "Ismap";
1963
+ readonly _tag: 'Ismap';
2773
1964
  readonly value: boolean;
2774
1965
  };
2775
1966
  Role: (value: string) => {
2776
- readonly _tag: "Role";
1967
+ readonly _tag: 'Role';
2777
1968
  readonly value: string;
2778
1969
  };
2779
1970
  AriaLabel: (value: string) => {
2780
- readonly _tag: "AriaLabel";
1971
+ readonly _tag: 'AriaLabel';
2781
1972
  readonly value: string;
2782
1973
  };
2783
1974
  AriaLabelledBy: (value: string) => {
2784
- readonly _tag: "AriaLabelledBy";
1975
+ readonly _tag: 'AriaLabelledBy';
2785
1976
  readonly value: string;
2786
1977
  };
2787
1978
  AriaDescribedBy: (value: string) => {
2788
- readonly _tag: "AriaDescribedBy";
1979
+ readonly _tag: 'AriaDescribedBy';
2789
1980
  readonly value: string;
2790
1981
  };
2791
1982
  AriaHidden: (value: boolean) => {
2792
- readonly _tag: "AriaHidden";
1983
+ readonly _tag: 'AriaHidden';
2793
1984
  readonly value: boolean;
2794
1985
  };
2795
1986
  AriaExpanded: (value: boolean) => {
2796
- readonly _tag: "AriaExpanded";
1987
+ readonly _tag: 'AriaExpanded';
2797
1988
  readonly value: boolean;
2798
1989
  };
2799
1990
  AriaSelected: (value: boolean) => {
2800
- readonly _tag: "AriaSelected";
1991
+ readonly _tag: 'AriaSelected';
2801
1992
  readonly value: boolean;
2802
1993
  };
2803
- AriaChecked: (value: boolean | "mixed") => {
2804
- readonly _tag: "AriaChecked";
2805
- readonly value: boolean | "mixed";
1994
+ AriaChecked: (value: boolean | 'mixed') => {
1995
+ readonly _tag: 'AriaChecked';
1996
+ readonly value: boolean | 'mixed';
2806
1997
  };
2807
1998
  AriaDisabled: (value: boolean) => {
2808
- readonly _tag: "AriaDisabled";
1999
+ readonly _tag: 'AriaDisabled';
2809
2000
  readonly value: boolean;
2810
2001
  };
2811
2002
  AriaRequired: (value: boolean) => {
2812
- readonly _tag: "AriaRequired";
2003
+ readonly _tag: 'AriaRequired';
2813
2004
  readonly value: boolean;
2814
2005
  };
2815
2006
  AriaInvalid: (value: boolean) => {
2816
- readonly _tag: "AriaInvalid";
2007
+ readonly _tag: 'AriaInvalid';
2817
2008
  readonly value: boolean;
2818
2009
  };
2819
2010
  AriaLive: (value: string) => {
2820
- readonly _tag: "AriaLive";
2011
+ readonly _tag: 'AriaLive';
2821
2012
  readonly value: string;
2822
2013
  };
2823
2014
  AriaControls: (value: string) => {
2824
- readonly _tag: "AriaControls";
2015
+ readonly _tag: 'AriaControls';
2825
2016
  readonly value: string;
2826
2017
  };
2827
2018
  AriaCurrent: (value: string) => {
2828
- readonly _tag: "AriaCurrent";
2019
+ readonly _tag: 'AriaCurrent';
2829
2020
  readonly value: string;
2830
2021
  };
2831
2022
  AriaOrientation: (value: string) => {
2832
- readonly _tag: "AriaOrientation";
2023
+ readonly _tag: 'AriaOrientation';
2833
2024
  readonly value: string;
2834
2025
  };
2835
2026
  AriaPressed: (value: string) => {
2836
- readonly _tag: "AriaPressed";
2027
+ readonly _tag: 'AriaPressed';
2837
2028
  readonly value: string;
2838
2029
  };
2839
2030
  AriaHasPopup: (value: string) => {
2840
- readonly _tag: "AriaHasPopup";
2031
+ readonly _tag: 'AriaHasPopup';
2841
2032
  readonly value: string;
2842
2033
  };
2843
2034
  AriaActiveDescendant: (value: string) => {
2844
- readonly _tag: "AriaActiveDescendant";
2035
+ readonly _tag: 'AriaActiveDescendant';
2845
2036
  readonly value: string;
2846
2037
  };
2847
2038
  AriaSort: (value: string) => {
2848
- readonly _tag: "AriaSort";
2039
+ readonly _tag: 'AriaSort';
2849
2040
  readonly value: string;
2850
2041
  };
2851
2042
  AriaMultiSelectable: (value: boolean) => {
2852
- readonly _tag: "AriaMultiSelectable";
2043
+ readonly _tag: 'AriaMultiSelectable';
2853
2044
  readonly value: boolean;
2854
2045
  };
2855
2046
  AriaModal: (value: boolean) => {
2856
- readonly _tag: "AriaModal";
2047
+ readonly _tag: 'AriaModal';
2857
2048
  readonly value: boolean;
2858
2049
  };
2859
2050
  AriaBusy: (value: boolean) => {
2860
- readonly _tag: "AriaBusy";
2051
+ readonly _tag: 'AriaBusy';
2861
2052
  readonly value: boolean;
2862
2053
  };
2863
2054
  AriaErrorMessage: (value: string) => {
2864
- readonly _tag: "AriaErrorMessage";
2055
+ readonly _tag: 'AriaErrorMessage';
2865
2056
  readonly value: string;
2866
2057
  };
2867
2058
  AriaRoleDescription: (value: string) => {
2868
- readonly _tag: "AriaRoleDescription";
2059
+ readonly _tag: 'AriaRoleDescription';
2869
2060
  readonly value: string;
2870
2061
  };
2871
2062
  AriaAtomic: (value: boolean) => {
2872
- readonly _tag: "AriaAtomic";
2063
+ readonly _tag: 'AriaAtomic';
2873
2064
  readonly value: boolean;
2874
2065
  };
2875
2066
  AriaAutocomplete: (value: string) => {
2876
- readonly _tag: "AriaAutocomplete";
2067
+ readonly _tag: 'AriaAutocomplete';
2877
2068
  readonly value: string;
2878
2069
  };
2879
2070
  AriaColcount: (value: number) => {
2880
- readonly _tag: "AriaColcount";
2071
+ readonly _tag: 'AriaColcount';
2881
2072
  readonly value: number;
2882
2073
  };
2883
2074
  AriaColindex: (value: number) => {
2884
- readonly _tag: "AriaColindex";
2075
+ readonly _tag: 'AriaColindex';
2885
2076
  readonly value: number;
2886
2077
  };
2887
2078
  AriaColspan: (value: number) => {
2888
- readonly _tag: "AriaColspan";
2079
+ readonly _tag: 'AriaColspan';
2889
2080
  readonly value: number;
2890
2081
  };
2891
2082
  AriaDescription: (value: string) => {
2892
- readonly _tag: "AriaDescription";
2083
+ readonly _tag: 'AriaDescription';
2893
2084
  readonly value: string;
2894
2085
  };
2895
2086
  AriaDetails: (value: string) => {
2896
- readonly _tag: "AriaDetails";
2087
+ readonly _tag: 'AriaDetails';
2897
2088
  readonly value: string;
2898
2089
  };
2899
2090
  AriaFlowto: (value: string) => {
2900
- readonly _tag: "AriaFlowto";
2091
+ readonly _tag: 'AriaFlowto';
2901
2092
  readonly value: string;
2902
2093
  };
2903
2094
  AriaKeyshortcuts: (value: string) => {
2904
- readonly _tag: "AriaKeyshortcuts";
2095
+ readonly _tag: 'AriaKeyshortcuts';
2905
2096
  readonly value: string;
2906
2097
  };
2907
2098
  AriaLevel: (value: number) => {
2908
- readonly _tag: "AriaLevel";
2099
+ readonly _tag: 'AriaLevel';
2909
2100
  readonly value: number;
2910
2101
  };
2911
2102
  AriaOwns: (value: string) => {
2912
- readonly _tag: "AriaOwns";
2103
+ readonly _tag: 'AriaOwns';
2913
2104
  readonly value: string;
2914
2105
  };
2915
2106
  AriaPlaceholder: (value: string) => {
2916
- readonly _tag: "AriaPlaceholder";
2107
+ readonly _tag: 'AriaPlaceholder';
2917
2108
  readonly value: string;
2918
2109
  };
2919
2110
  AriaPosinset: (value: number) => {
2920
- readonly _tag: "AriaPosinset";
2111
+ readonly _tag: 'AriaPosinset';
2921
2112
  readonly value: number;
2922
2113
  };
2923
2114
  AriaReadonly: (value: boolean) => {
2924
- readonly _tag: "AriaReadonly";
2115
+ readonly _tag: 'AriaReadonly';
2925
2116
  readonly value: boolean;
2926
2117
  };
2927
2118
  AriaRelevant: (value: string) => {
2928
- readonly _tag: "AriaRelevant";
2119
+ readonly _tag: 'AriaRelevant';
2929
2120
  readonly value: string;
2930
2121
  };
2931
2122
  AriaRowcount: (value: number) => {
2932
- readonly _tag: "AriaRowcount";
2123
+ readonly _tag: 'AriaRowcount';
2933
2124
  readonly value: number;
2934
2125
  };
2935
2126
  AriaRowindex: (value: number) => {
2936
- readonly _tag: "AriaRowindex";
2127
+ readonly _tag: 'AriaRowindex';
2937
2128
  readonly value: number;
2938
2129
  };
2939
2130
  AriaRowspan: (value: number) => {
2940
- readonly _tag: "AriaRowspan";
2131
+ readonly _tag: 'AriaRowspan';
2941
2132
  readonly value: number;
2942
2133
  };
2943
2134
  AriaSetsize: (value: number) => {
2944
- readonly _tag: "AriaSetsize";
2135
+ readonly _tag: 'AriaSetsize';
2945
2136
  readonly value: number;
2946
2137
  };
2947
2138
  AriaValuemax: (value: number) => {
2948
- readonly _tag: "AriaValuemax";
2139
+ readonly _tag: 'AriaValuemax';
2949
2140
  readonly value: number;
2950
2141
  };
2951
2142
  AriaValuemin: (value: number) => {
2952
- readonly _tag: "AriaValuemin";
2143
+ readonly _tag: 'AriaValuemin';
2953
2144
  readonly value: number;
2954
2145
  };
2955
2146
  AriaValuenow: (value: number) => {
2956
- readonly _tag: "AriaValuenow";
2147
+ readonly _tag: 'AriaValuenow';
2957
2148
  readonly value: number;
2958
2149
  };
2959
2150
  AriaValuetext: (value: string) => {
2960
- readonly _tag: "AriaValuetext";
2151
+ readonly _tag: 'AriaValuetext';
2961
2152
  readonly value: string;
2962
2153
  };
2963
2154
  Attribute: (key: string, value: string) => {
2964
- readonly _tag: "Attribute";
2155
+ readonly _tag: 'Attribute';
2965
2156
  readonly key: string;
2966
2157
  readonly value: string;
2967
2158
  };
2968
2159
  DataAttribute: (key: string, value: string) => {
2969
- readonly _tag: "DataAttribute";
2160
+ readonly _tag: 'DataAttribute';
2970
2161
  readonly key: string;
2971
2162
  readonly value: string;
2972
2163
  };
2973
2164
  Style: (value: Record<string, string>) => {
2974
- readonly _tag: "Style";
2165
+ readonly _tag: 'Style';
2975
2166
  readonly value: Record<string, string>;
2976
2167
  };
2977
2168
  InnerHTML: (value: string) => {
2978
- readonly _tag: "InnerHTML";
2169
+ readonly _tag: 'InnerHTML';
2979
2170
  readonly value: string;
2980
2171
  };
2981
2172
  ViewBox: (value: string) => {
2982
- readonly _tag: "ViewBox";
2173
+ readonly _tag: 'ViewBox';
2983
2174
  readonly value: string;
2984
2175
  };
2985
2176
  Xmlns: (value: string) => {
2986
- readonly _tag: "Xmlns";
2177
+ readonly _tag: 'Xmlns';
2987
2178
  readonly value: string;
2988
2179
  };
2989
2180
  Fill: (value: string) => {
2990
- readonly _tag: "Fill";
2181
+ readonly _tag: 'Fill';
2991
2182
  readonly value: string;
2992
2183
  };
2993
2184
  FillRule: (value: string) => {
2994
- readonly _tag: "FillRule";
2185
+ readonly _tag: 'FillRule';
2995
2186
  readonly value: string;
2996
2187
  };
2997
2188
  ClipRule: (value: string) => {
2998
- readonly _tag: "ClipRule";
2189
+ readonly _tag: 'ClipRule';
2999
2190
  readonly value: string;
3000
2191
  };
3001
2192
  Stroke: (value: string) => {
3002
- readonly _tag: "Stroke";
2193
+ readonly _tag: 'Stroke';
3003
2194
  readonly value: string;
3004
2195
  };
3005
2196
  StrokeWidth: (value: string) => {
3006
- readonly _tag: "StrokeWidth";
2197
+ readonly _tag: 'StrokeWidth';
3007
2198
  readonly value: string;
3008
2199
  };
3009
2200
  StrokeLinecap: (value: string) => {
3010
- readonly _tag: "StrokeLinecap";
2201
+ readonly _tag: 'StrokeLinecap';
3011
2202
  readonly value: string;
3012
2203
  };
3013
2204
  StrokeLinejoin: (value: string) => {
3014
- readonly _tag: "StrokeLinejoin";
2205
+ readonly _tag: 'StrokeLinejoin';
3015
2206
  readonly value: string;
3016
2207
  };
3017
2208
  D: (value: string) => {
3018
- readonly _tag: "D";
2209
+ readonly _tag: 'D';
3019
2210
  readonly value: string;
3020
2211
  };
3021
2212
  Cx: (value: string) => {
3022
- readonly _tag: "Cx";
2213
+ readonly _tag: 'Cx';
3023
2214
  readonly value: string;
3024
2215
  };
3025
2216
  Cy: (value: string) => {
3026
- readonly _tag: "Cy";
2217
+ readonly _tag: 'Cy';
3027
2218
  readonly value: string;
3028
2219
  };
3029
2220
  R: (value: string) => {
3030
- readonly _tag: "R";
2221
+ readonly _tag: 'R';
3031
2222
  readonly value: string;
3032
2223
  };
3033
2224
  X: (value: string) => {
3034
- readonly _tag: "X";
2225
+ readonly _tag: 'X';
3035
2226
  readonly value: string;
3036
2227
  };
3037
2228
  Y: (value: string) => {
3038
- readonly _tag: "Y";
2229
+ readonly _tag: 'Y';
3039
2230
  readonly value: string;
3040
2231
  };
3041
2232
  Width: (value: string) => {
3042
- readonly _tag: "Width";
2233
+ readonly _tag: 'Width';
3043
2234
  readonly value: string;
3044
2235
  };
3045
2236
  Height: (value: string) => {
3046
- readonly _tag: "Height";
2237
+ readonly _tag: 'Height';
3047
2238
  readonly value: string;
3048
2239
  };
3049
2240
  X1: (value: string) => {
3050
- readonly _tag: "X1";
2241
+ readonly _tag: 'X1';
3051
2242
  readonly value: string;
3052
2243
  };
3053
2244
  Y1: (value: string) => {
3054
- readonly _tag: "Y1";
2245
+ readonly _tag: 'Y1';
3055
2246
  readonly value: string;
3056
2247
  };
3057
2248
  X2: (value: string) => {
3058
- readonly _tag: "X2";
2249
+ readonly _tag: 'X2';
3059
2250
  readonly value: string;
3060
2251
  };
3061
2252
  Y2: (value: string) => {
3062
- readonly _tag: "Y2";
2253
+ readonly _tag: 'Y2';
3063
2254
  readonly value: string;
3064
2255
  };
3065
2256
  Points: (value: string) => {
3066
- readonly _tag: "Points";
2257
+ readonly _tag: 'Points';
3067
2258
  readonly value: string;
3068
2259
  };
3069
2260
  Transform: (value: string) => {
3070
- readonly _tag: "Transform";
2261
+ readonly _tag: 'Transform';
3071
2262
  readonly value: string;
3072
2263
  };
3073
2264
  Opacity: (value: string) => {
3074
- readonly _tag: "Opacity";
2265
+ readonly _tag: 'Opacity';
3075
2266
  readonly value: string;
3076
2267
  };
3077
2268
  StrokeDasharray: (value: string) => {
3078
- readonly _tag: "StrokeDasharray";
2269
+ readonly _tag: 'StrokeDasharray';
3079
2270
  readonly value: string;
3080
2271
  };
3081
2272
  StrokeDashoffset: (value: string) => {
3082
- readonly _tag: "StrokeDashoffset";
2273
+ readonly _tag: 'StrokeDashoffset';
3083
2274
  readonly value: string;
3084
2275
  };
3085
2276
  Dx: (value: string) => {
3086
- readonly _tag: "Dx";
2277
+ readonly _tag: 'Dx';
3087
2278
  readonly value: string;
3088
2279
  };
3089
2280
  Dy: (value: string) => {
3090
- readonly _tag: "Dy";
2281
+ readonly _tag: 'Dy';
3091
2282
  readonly value: string;
3092
2283
  };
3093
2284
  Rotate: (value: string) => {
3094
- readonly _tag: "Rotate";
2285
+ readonly _tag: 'Rotate';
3095
2286
  readonly value: string;
3096
2287
  };
3097
2288
  TextAnchor: (value: string) => {
3098
- readonly _tag: "TextAnchor";
2289
+ readonly _tag: 'TextAnchor';
3099
2290
  readonly value: string;
3100
2291
  };
3101
2292
  DominantBaseline: (value: string) => {
3102
- readonly _tag: "DominantBaseline";
2293
+ readonly _tag: 'DominantBaseline';
3103
2294
  readonly value: string;
3104
2295
  };
3105
2296
  AlignmentBaseline: (value: string) => {
3106
- readonly _tag: "AlignmentBaseline";
2297
+ readonly _tag: 'AlignmentBaseline';
3107
2298
  readonly value: string;
3108
2299
  };
3109
2300
  BaselineShift: (value: string) => {
3110
- readonly _tag: "BaselineShift";
2301
+ readonly _tag: 'BaselineShift';
3111
2302
  readonly value: string;
3112
2303
  };
3113
2304
  TextLength: (value: string) => {
3114
- readonly _tag: "TextLength";
2305
+ readonly _tag: 'TextLength';
3115
2306
  readonly value: string;
3116
2307
  };
3117
2308
  LengthAdjust: (value: string) => {
3118
- readonly _tag: "LengthAdjust";
2309
+ readonly _tag: 'LengthAdjust';
3119
2310
  readonly value: string;
3120
2311
  };
3121
2312
  FontFamily: (value: string) => {
3122
- readonly _tag: "FontFamily";
2313
+ readonly _tag: 'FontFamily';
3123
2314
  readonly value: string;
3124
2315
  };
3125
2316
  FontSize: (value: string) => {
3126
- readonly _tag: "FontSize";
2317
+ readonly _tag: 'FontSize';
3127
2318
  readonly value: string;
3128
2319
  };
3129
2320
  FontWeight: (value: string) => {
3130
- readonly _tag: "FontWeight";
2321
+ readonly _tag: 'FontWeight';
3131
2322
  readonly value: string;
3132
2323
  };
3133
2324
  FontStyle: (value: string) => {
3134
- readonly _tag: "FontStyle";
2325
+ readonly _tag: 'FontStyle';
3135
2326
  readonly value: string;
3136
2327
  };
3137
2328
  LetterSpacing: (value: string) => {
3138
- readonly _tag: "LetterSpacing";
2329
+ readonly _tag: 'LetterSpacing';
3139
2330
  readonly value: string;
3140
2331
  };
3141
2332
  WordSpacing: (value: string) => {
3142
- readonly _tag: "WordSpacing";
2333
+ readonly _tag: 'WordSpacing';
3143
2334
  readonly value: string;
3144
2335
  };
3145
2336
  TextDecoration: (value: string) => {
3146
- readonly _tag: "TextDecoration";
2337
+ readonly _tag: 'TextDecoration';
3147
2338
  readonly value: string;
3148
2339
  };
3149
2340
  WritingMode: (value: string) => {
3150
- readonly _tag: "WritingMode";
2341
+ readonly _tag: 'WritingMode';
3151
2342
  readonly value: string;
3152
2343
  };
3153
2344
  Rx: (value: string) => {
3154
- readonly _tag: "Rx";
2345
+ readonly _tag: 'Rx';
3155
2346
  readonly value: string;
3156
2347
  };
3157
2348
  Ry: (value: string) => {
3158
- readonly _tag: "Ry";
2349
+ readonly _tag: 'Ry';
3159
2350
  readonly value: string;
3160
2351
  };
3161
2352
  PathLength: (value: string) => {
3162
- readonly _tag: "PathLength";
2353
+ readonly _tag: 'PathLength';
3163
2354
  readonly value: string;
3164
2355
  };
3165
2356
  FillOpacity: (value: string) => {
3166
- readonly _tag: "FillOpacity";
2357
+ readonly _tag: 'FillOpacity';
3167
2358
  readonly value: string;
3168
2359
  };
3169
2360
  StrokeOpacity: (value: string) => {
3170
- readonly _tag: "StrokeOpacity";
2361
+ readonly _tag: 'StrokeOpacity';
3171
2362
  readonly value: string;
3172
2363
  };
3173
2364
  StrokeMiterlimit: (value: string) => {
3174
- readonly _tag: "StrokeMiterlimit";
2365
+ readonly _tag: 'StrokeMiterlimit';
3175
2366
  readonly value: string;
3176
2367
  };
3177
2368
  PaintOrder: (value: string) => {
3178
- readonly _tag: "PaintOrder";
2369
+ readonly _tag: 'PaintOrder';
3179
2370
  readonly value: string;
3180
2371
  };
3181
2372
  VectorEffect: (value: string) => {
3182
- readonly _tag: "VectorEffect";
2373
+ readonly _tag: 'VectorEffect';
3183
2374
  readonly value: string;
3184
2375
  };
3185
2376
  Color: (value: string) => {
3186
- readonly _tag: "Color";
2377
+ readonly _tag: 'Color';
3187
2378
  readonly value: string;
3188
2379
  };
3189
2380
  Visibility: (value: string) => {
3190
- readonly _tag: "Visibility";
2381
+ readonly _tag: 'Visibility';
3191
2382
  readonly value: string;
3192
2383
  };
3193
2384
  Display: (value: string) => {
3194
- readonly _tag: "Display";
2385
+ readonly _tag: 'Display';
3195
2386
  readonly value: string;
3196
2387
  };
3197
2388
  Overflow: (value: string) => {
3198
- readonly _tag: "Overflow";
2389
+ readonly _tag: 'Overflow';
3199
2390
  readonly value: string;
3200
2391
  };
3201
2392
  PointerEvents: (value: string) => {
3202
- readonly _tag: "PointerEvents";
2393
+ readonly _tag: 'PointerEvents';
3203
2394
  readonly value: string;
3204
2395
  };
3205
2396
  Cursor: (value: string) => {
3206
- readonly _tag: "Cursor";
2397
+ readonly _tag: 'Cursor';
3207
2398
  readonly value: string;
3208
2399
  };
3209
2400
  ShapeRendering: (value: string) => {
3210
- readonly _tag: "ShapeRendering";
2401
+ readonly _tag: 'ShapeRendering';
3211
2402
  readonly value: string;
3212
2403
  };
3213
2404
  TextRendering: (value: string) => {
3214
- readonly _tag: "TextRendering";
2405
+ readonly _tag: 'TextRendering';
3215
2406
  readonly value: string;
3216
2407
  };
3217
2408
  ImageRendering: (value: string) => {
3218
- readonly _tag: "ImageRendering";
2409
+ readonly _tag: 'ImageRendering';
3219
2410
  readonly value: string;
3220
2411
  };
3221
2412
  ClipPath: (value: string) => {
3222
- readonly _tag: "ClipPath";
2413
+ readonly _tag: 'ClipPath';
3223
2414
  readonly value: string;
3224
2415
  };
3225
2416
  Mask: (value: string) => {
3226
- readonly _tag: "Mask";
2417
+ readonly _tag: 'Mask';
3227
2418
  readonly value: string;
3228
2419
  };
3229
2420
  Filter: (value: string) => {
3230
- readonly _tag: "Filter";
2421
+ readonly _tag: 'Filter';
3231
2422
  readonly value: string;
3232
2423
  };
3233
2424
  ClipPathUnits: (value: string) => {
3234
- readonly _tag: "ClipPathUnits";
2425
+ readonly _tag: 'ClipPathUnits';
3235
2426
  readonly value: string;
3236
2427
  };
3237
2428
  MaskUnits: (value: string) => {
3238
- readonly _tag: "MaskUnits";
2429
+ readonly _tag: 'MaskUnits';
3239
2430
  readonly value: string;
3240
2431
  };
3241
2432
  MaskContentUnits: (value: string) => {
3242
- readonly _tag: "MaskContentUnits";
2433
+ readonly _tag: 'MaskContentUnits';
3243
2434
  readonly value: string;
3244
2435
  };
3245
2436
  FilterUnits: (value: string) => {
3246
- readonly _tag: "FilterUnits";
2437
+ readonly _tag: 'FilterUnits';
3247
2438
  readonly value: string;
3248
2439
  };
3249
2440
  PrimitiveUnits: (value: string) => {
3250
- readonly _tag: "PrimitiveUnits";
2441
+ readonly _tag: 'PrimitiveUnits';
3251
2442
  readonly value: string;
3252
2443
  };
3253
2444
  Offset: (value: string) => {
3254
- readonly _tag: "Offset";
2445
+ readonly _tag: 'Offset';
3255
2446
  readonly value: string;
3256
2447
  };
3257
2448
  StopColor: (value: string) => {
3258
- readonly _tag: "StopColor";
2449
+ readonly _tag: 'StopColor';
3259
2450
  readonly value: string;
3260
2451
  };
3261
2452
  StopOpacity: (value: string) => {
3262
- readonly _tag: "StopOpacity";
2453
+ readonly _tag: 'StopOpacity';
3263
2454
  readonly value: string;
3264
2455
  };
3265
2456
  GradientUnits: (value: string) => {
3266
- readonly _tag: "GradientUnits";
2457
+ readonly _tag: 'GradientUnits';
3267
2458
  readonly value: string;
3268
2459
  };
3269
2460
  GradientTransform: (value: string) => {
3270
- readonly _tag: "GradientTransform";
2461
+ readonly _tag: 'GradientTransform';
3271
2462
  readonly value: string;
3272
2463
  };
3273
2464
  SpreadMethod: (value: string) => {
3274
- readonly _tag: "SpreadMethod";
2465
+ readonly _tag: 'SpreadMethod';
3275
2466
  readonly value: string;
3276
2467
  };
3277
2468
  Fx: (value: string) => {
3278
- readonly _tag: "Fx";
2469
+ readonly _tag: 'Fx';
3279
2470
  readonly value: string;
3280
2471
  };
3281
2472
  Fy: (value: string) => {
3282
- readonly _tag: "Fy";
2473
+ readonly _tag: 'Fy';
3283
2474
  readonly value: string;
3284
2475
  };
3285
2476
  Fr: (value: string) => {
3286
- readonly _tag: "Fr";
2477
+ readonly _tag: 'Fr';
3287
2478
  readonly value: string;
3288
2479
  };
3289
2480
  PatternUnits: (value: string) => {
3290
- readonly _tag: "PatternUnits";
2481
+ readonly _tag: 'PatternUnits';
3291
2482
  readonly value: string;
3292
2483
  };
3293
2484
  PatternContentUnits: (value: string) => {
3294
- readonly _tag: "PatternContentUnits";
2485
+ readonly _tag: 'PatternContentUnits';
3295
2486
  readonly value: string;
3296
2487
  };
3297
2488
  PatternTransform: (value: string) => {
3298
- readonly _tag: "PatternTransform";
2489
+ readonly _tag: 'PatternTransform';
3299
2490
  readonly value: string;
3300
2491
  };
3301
2492
  MarkerStart: (value: string) => {
3302
- readonly _tag: "MarkerStart";
2493
+ readonly _tag: 'MarkerStart';
3303
2494
  readonly value: string;
3304
2495
  };
3305
2496
  MarkerMid: (value: string) => {
3306
- readonly _tag: "MarkerMid";
2497
+ readonly _tag: 'MarkerMid';
3307
2498
  readonly value: string;
3308
2499
  };
3309
2500
  MarkerEnd: (value: string) => {
3310
- readonly _tag: "MarkerEnd";
2501
+ readonly _tag: 'MarkerEnd';
3311
2502
  readonly value: string;
3312
2503
  };
3313
2504
  MarkerWidth: (value: string) => {
3314
- readonly _tag: "MarkerWidth";
2505
+ readonly _tag: 'MarkerWidth';
3315
2506
  readonly value: string;
3316
2507
  };
3317
2508
  MarkerHeight: (value: string) => {
3318
- readonly _tag: "MarkerHeight";
2509
+ readonly _tag: 'MarkerHeight';
3319
2510
  readonly value: string;
3320
2511
  };
3321
2512
  MarkerUnits: (value: string) => {
3322
- readonly _tag: "MarkerUnits";
2513
+ readonly _tag: 'MarkerUnits';
3323
2514
  readonly value: string;
3324
2515
  };
3325
2516
  RefX: (value: string) => {
3326
- readonly _tag: "RefX";
2517
+ readonly _tag: 'RefX';
3327
2518
  readonly value: string;
3328
2519
  };
3329
2520
  RefY: (value: string) => {
3330
- readonly _tag: "RefY";
2521
+ readonly _tag: 'RefY';
3331
2522
  readonly value: string;
3332
2523
  };
3333
2524
  Orient: (value: string) => {
3334
- readonly _tag: "Orient";
2525
+ readonly _tag: 'Orient';
3335
2526
  readonly value: string;
3336
2527
  };
3337
2528
  PreserveAspectRatio: (value: string) => {
3338
- readonly _tag: "PreserveAspectRatio";
2529
+ readonly _tag: 'PreserveAspectRatio';
3339
2530
  readonly value: string;
3340
2531
  };
3341
- OnMount: (action: Readonly<{
3342
- name: string;
3343
- args?: Record<string, unknown>;
3344
- f: (element: Element) => Stream.Stream<Message, any, never>;
3345
- }>) => {
3346
- readonly _tag: "OnMount";
3347
- readonly action: Readonly<{
3348
- name: string;
3349
- args?: Record<string, unknown>;
3350
- f: (element: Element) => Stream.Stream<Message, any, never>;
3351
- }>;
2532
+ OnMount: (action: MountAction<Message, any>) => {
2533
+ readonly _tag: 'OnMount';
2534
+ readonly action: MountAction<Message, any>;
3352
2535
  };
3353
2536
  OnUnmount: (message: Message) => {
3354
- readonly _tag: "OnUnmount";
2537
+ readonly _tag: 'OnUnmount';
3355
2538
  readonly message: Message;
3356
2539
  };
3357
- a: ElementFunction<Message>;
3358
- abbr: ElementFunction<Message>;
3359
- address: ElementFunction<Message>;
3360
- area: VoidElementFunction<Message>;
3361
- article: ElementFunction<Message>;
3362
- aside: ElementFunction<Message>;
3363
- audio: ElementFunction<Message>;
3364
- b: ElementFunction<Message>;
3365
- base: VoidElementFunction<Message>;
3366
- bdi: ElementFunction<Message>;
3367
- bdo: ElementFunction<Message>;
3368
- blockquote: ElementFunction<Message>;
3369
- body: ElementFunction<Message>;
3370
- br: VoidElementFunction<Message>;
3371
- button: ElementFunction<Message>;
3372
- canvas: ElementFunction<Message>;
3373
- caption: ElementFunction<Message>;
3374
- cite: ElementFunction<Message>;
3375
- code: ElementFunction<Message>;
3376
- col: VoidElementFunction<Message>;
3377
- colgroup: ElementFunction<Message>;
3378
- data: ElementFunction<Message>;
3379
- datalist: ElementFunction<Message>;
3380
- dd: ElementFunction<Message>;
3381
- del: ElementFunction<Message>;
3382
- details: ElementFunction<Message>;
3383
- dfn: ElementFunction<Message>;
3384
- dialog: ElementFunction<Message>;
3385
- div: ElementFunction<Message>;
3386
- dl: ElementFunction<Message>;
3387
- dt: ElementFunction<Message>;
3388
- em: ElementFunction<Message>;
3389
- embed: VoidElementFunction<Message>;
3390
- fieldset: ElementFunction<Message>;
3391
- figcaption: ElementFunction<Message>;
3392
- figure: ElementFunction<Message>;
3393
- footer: ElementFunction<Message>;
3394
- form: ElementFunction<Message>;
3395
- h1: ElementFunction<Message>;
3396
- h2: ElementFunction<Message>;
3397
- h3: ElementFunction<Message>;
3398
- h4: ElementFunction<Message>;
3399
- h5: ElementFunction<Message>;
3400
- h6: ElementFunction<Message>;
3401
- head: ElementFunction<Message>;
3402
- header: ElementFunction<Message>;
3403
- hgroup: ElementFunction<Message>;
3404
- hr: VoidElementFunction<Message>;
3405
- html: ElementFunction<Message>;
3406
- i: ElementFunction<Message>;
3407
- iframe: ElementFunction<Message>;
3408
- img: VoidElementFunction<Message>;
3409
- input: VoidElementFunction<Message>;
3410
- ins: ElementFunction<Message>;
3411
- kbd: ElementFunction<Message>;
3412
- label: ElementFunction<Message>;
3413
- legend: ElementFunction<Message>;
3414
- li: ElementFunction<Message>;
3415
- link: VoidElementFunction<Message>;
3416
- main: ElementFunction<Message>;
3417
- map: ElementFunction<Message>;
3418
- mark: ElementFunction<Message>;
3419
- menu: ElementFunction<Message>;
3420
- meta: VoidElementFunction<Message>;
3421
- meter: ElementFunction<Message>;
3422
- nav: ElementFunction<Message>;
3423
- noscript: ElementFunction<Message>;
3424
- object: ElementFunction<Message>;
3425
- ol: ElementFunction<Message>;
3426
- optgroup: ElementFunction<Message>;
3427
- option: ElementFunction<Message>;
3428
- output: ElementFunction<Message>;
3429
- p: ElementFunction<Message>;
3430
- picture: ElementFunction<Message>;
3431
- portal: ElementFunction<Message>;
3432
- pre: ElementFunction<Message>;
3433
- progress: ElementFunction<Message>;
3434
- q: ElementFunction<Message>;
3435
- rp: ElementFunction<Message>;
3436
- rt: ElementFunction<Message>;
3437
- ruby: ElementFunction<Message>;
3438
- s: ElementFunction<Message>;
3439
- samp: ElementFunction<Message>;
3440
- script: ElementFunction<Message>;
3441
- search: ElementFunction<Message>;
3442
- section: ElementFunction<Message>;
3443
- select: ElementFunction<Message>;
3444
- slot: ElementFunction<Message>;
3445
- small: ElementFunction<Message>;
3446
- source: VoidElementFunction<Message>;
3447
- span: ElementFunction<Message>;
3448
- strong: ElementFunction<Message>;
3449
- style: ElementFunction<Message>;
3450
- sub: ElementFunction<Message>;
3451
- summary: ElementFunction<Message>;
3452
- sup: ElementFunction<Message>;
3453
- table: ElementFunction<Message>;
3454
- tbody: ElementFunction<Message>;
3455
- td: ElementFunction<Message>;
3456
- template: ElementFunction<Message>;
3457
- textarea: ElementFunction<Message>;
3458
- tfoot: ElementFunction<Message>;
3459
- th: ElementFunction<Message>;
3460
- thead: ElementFunction<Message>;
3461
- time: ElementFunction<Message>;
3462
- title: ElementFunction<Message>;
3463
- tr: ElementFunction<Message>;
3464
- track: VoidElementFunction<Message>;
3465
- u: ElementFunction<Message>;
3466
- ul: ElementFunction<Message>;
3467
- var: ElementFunction<Message>;
3468
- video: ElementFunction<Message>;
3469
- wbr: VoidElementFunction<Message>;
3470
- svg: ElementFunction<Message>;
3471
- animate: ElementFunction<Message>;
3472
- animateMotion: ElementFunction<Message>;
3473
- animateTransform: ElementFunction<Message>;
3474
- circle: ElementFunction<Message>;
3475
- clipPath: ElementFunction<Message>;
3476
- defs: ElementFunction<Message>;
3477
- desc: ElementFunction<Message>;
3478
- ellipse: ElementFunction<Message>;
3479
- feBlend: ElementFunction<Message>;
3480
- feColorMatrix: ElementFunction<Message>;
3481
- feComponentTransfer: ElementFunction<Message>;
3482
- feComposite: ElementFunction<Message>;
3483
- feConvolveMatrix: ElementFunction<Message>;
3484
- feDiffuseLighting: ElementFunction<Message>;
3485
- feDisplacementMap: ElementFunction<Message>;
3486
- feDistantLight: ElementFunction<Message>;
3487
- feDropShadow: ElementFunction<Message>;
3488
- feFlood: ElementFunction<Message>;
3489
- feFuncA: ElementFunction<Message>;
3490
- feFuncB: ElementFunction<Message>;
3491
- feFuncG: ElementFunction<Message>;
3492
- feFuncR: ElementFunction<Message>;
3493
- feGaussianBlur: ElementFunction<Message>;
3494
- feImage: ElementFunction<Message>;
3495
- feMerge: ElementFunction<Message>;
3496
- feMergeNode: ElementFunction<Message>;
3497
- feMorphology: ElementFunction<Message>;
3498
- feOffset: ElementFunction<Message>;
3499
- fePointLight: ElementFunction<Message>;
3500
- feSpecularLighting: ElementFunction<Message>;
3501
- feSpotLight: ElementFunction<Message>;
3502
- feTile: ElementFunction<Message>;
3503
- feTurbulence: ElementFunction<Message>;
3504
- filter: ElementFunction<Message>;
3505
- foreignObject: ElementFunction<Message>;
3506
- g: ElementFunction<Message>;
3507
- image: ElementFunction<Message>;
3508
- line: ElementFunction<Message>;
3509
- linearGradient: ElementFunction<Message>;
3510
- marker: ElementFunction<Message>;
3511
- mask: ElementFunction<Message>;
3512
- metadata: ElementFunction<Message>;
3513
- mpath: ElementFunction<Message>;
3514
- path: ElementFunction<Message>;
3515
- pattern: ElementFunction<Message>;
3516
- polygon: ElementFunction<Message>;
3517
- polyline: ElementFunction<Message>;
3518
- radialGradient: ElementFunction<Message>;
3519
- rect: ElementFunction<Message>;
3520
- set: ElementFunction<Message>;
3521
- stop: ElementFunction<Message>;
3522
- switch: ElementFunction<Message>;
3523
- symbol: ElementFunction<Message>;
3524
- text: ElementFunction<Message>;
3525
- textPath: ElementFunction<Message>;
3526
- tspan: ElementFunction<Message>;
3527
- use: ElementFunction<Message>;
3528
- view: ElementFunction<Message>;
3529
- math: ElementFunction<Message>;
3530
- annotation: ElementFunction<Message>;
3531
- 'annotation-xml': ElementFunction<Message>;
3532
- maction: ElementFunction<Message>;
3533
- menclose: ElementFunction<Message>;
3534
- merror: ElementFunction<Message>;
3535
- mfenced: ElementFunction<Message>;
3536
- mfrac: ElementFunction<Message>;
3537
- mglyph: ElementFunction<Message>;
3538
- mi: ElementFunction<Message>;
3539
- mlabeledtr: ElementFunction<Message>;
3540
- mlongdiv: ElementFunction<Message>;
3541
- mmultiscripts: ElementFunction<Message>;
3542
- mn: ElementFunction<Message>;
3543
- mo: ElementFunction<Message>;
3544
- mover: ElementFunction<Message>;
3545
- mpadded: ElementFunction<Message>;
3546
- mphantom: ElementFunction<Message>;
3547
- mprescripts: ElementFunction<Message>;
3548
- mroot: ElementFunction<Message>;
3549
- mrow: ElementFunction<Message>;
3550
- ms: ElementFunction<Message>;
3551
- mscarries: ElementFunction<Message>;
3552
- mscarry: ElementFunction<Message>;
3553
- msgroup: ElementFunction<Message>;
3554
- msline: ElementFunction<Message>;
3555
- mspace: ElementFunction<Message>;
3556
- msqrt: ElementFunction<Message>;
3557
- msrow: ElementFunction<Message>;
3558
- mstack: ElementFunction<Message>;
3559
- mstyle: ElementFunction<Message>;
3560
- msub: ElementFunction<Message>;
3561
- msubsup: ElementFunction<Message>;
3562
- msup: ElementFunction<Message>;
3563
- mtable: ElementFunction<Message>;
3564
- mtd: ElementFunction<Message>;
3565
- mtext: ElementFunction<Message>;
3566
- mtr: ElementFunction<Message>;
3567
- munder: ElementFunction<Message>;
3568
- munderover: ElementFunction<Message>;
3569
- semantics: ElementFunction<Message>;
3570
2540
  };
2541
+ declare const messageUniverse: unique symbol;
2542
+ /**
2543
+ * Phantom marker carrying the builder's Message universe invariantly, so a
2544
+ * builder from the wrong frame is rejected on this property rather than deep
2545
+ * inside the structural comparison of every element constructor. It exists only
2546
+ * to keep the diagnostic short and pointed at the cause.
2547
+ */
2548
+ type MessageUniverse<Message> = Readonly<{
2549
+ [messageUniverse]: (message: Message) => Message;
2550
+ }>;
2551
+ /**
2552
+ * The typed Html builder a view builds DOM with: all HTML, SVG, and MathML
2553
+ * element constructors, attribute constructors, a `keyed` helper for keyed
2554
+ * elements, `empty` for rendering nothing, and `submodel` for embedding a
2555
+ * child Submodel.
2556
+ *
2557
+ * A builder cannot be constructed by application code. The runtime supplies
2558
+ * it to each view alongside the model, typed by the Message universe of the
2559
+ * frame that view renders in: the app's Message for the root view, the
2560
+ * Submodel's own Message inside a `Submodel.defineView`. Used in the frame
2561
+ * that supplied it, a handler built with it carries exactly the Messages that
2562
+ * frame's dispatcher can route, so a Message from another universe (the
2563
+ * classic case: a shared helper building an app-level Message inside a
2564
+ * Submodel) is a compile error at the handler call site.
2565
+ *
2566
+ * The type scopes where a builder is obtained, not where it is used. Carrying
2567
+ * one into another frame, by storing it or handing the builder itself to a
2568
+ * child through `viewInputs`, still compiles and still builds handlers that
2569
+ * frame cannot route. Thread `h` as a parameter; never store it.
2570
+ *
2571
+ * Pass `h` along as an ordinary parameter when extracting view helpers; a
2572
+ * memoized helper receives it through the `createLazy` args array. When a
2573
+ * child must render markup that belongs to an ancestor, the ancestor passes a
2574
+ * renderer that already closed over its own builder, not the builder, so the
2575
+ * handlers resolve in the ancestor's boundary. Where no builder is in scope
2576
+ * at all, typically module scope, use {@link inertHtml}.
2577
+ */
2578
+ export type HtmlBuilder<Message> = MessageUniverse<Message> & HtmlElements<Message> & HtmlAttributes<Message> & Readonly<{
2579
+ empty: null;
2580
+ keyed: (tagName: TagName) => (key: PropertyKey, attributes?: ReadonlyArray<Attribute<Message> | ChildAttribute>, children?: ReadonlyArray<Child>) => Html;
2581
+ submodel: <View extends AnySubmodelView>(config: SubmodelConfig<View, Message>) => Html;
2582
+ }>;
2583
+ /** @internal Returns the process-wide builder singleton retyped to a frame's
2584
+ * Message. Only the runtime, the Scene test harness, and the framework's own
2585
+ * tests call this, each immediately before invoking a view under the frame
2586
+ * that Message belongs to. `h.submodel` does not: it receives the singleton
2587
+ * as a parameter, which is what keeps `index.ts` and `submodel.ts` free of a
2588
+ * runtime import cycle. Application code receives builders exclusively as
2589
+ * view parameters. */
2590
+ export declare const __htmlBuilder: <Message>() => HtmlBuilder<Message>;
3571
2591
  /**
3572
- * Returns all HTML, SVG, and MathML element constructors, attribute
3573
- * constructors, a `keyed` helper for keyed elements, and `empty` for
3574
- * rendering nothing.
2592
+ * Builder whose Message universe is empty. Its Message type is `never`, so
2593
+ * every event-handler constructor is uncallable and nothing built with it can
2594
+ * dispatch a Message. Elements, attributes, and keying behave exactly as they
2595
+ * do on any other builder, and the markup itself is free to vary with runtime
2596
+ * data. Inert describes what the result can do, not how it is computed.
2597
+ *
2598
+ * Inert to Foldkit's dispatch, not to the browser. A raw DOM attribute still
2599
+ * does whatever the browser makes of it, which is exactly how the default
2600
+ * crash view gets a working reload button:
2601
+ * `h.Attribute('onclick', 'location.reload()')`. What `never` rules out is a
2602
+ * Message reaching `update`, not every possible behavior.
2603
+ *
2604
+ * Use it where no builder is in scope, which in practice means module scope
2605
+ * and the frameless renders the framework performs itself:
2606
+ *
2607
+ * ```ts
2608
+ * import { inertHtml as ih } from 'foldkit/html'
2609
+ *
2610
+ * const PagefindBody = ih.DataAttribute('pagefind-body', '')
2611
+ * ```
2612
+ *
2613
+ * Attributes it produces are `Attribute<never>`, so they flow into any
2614
+ * Message universe by covariance. That makes it the right builder for
2615
+ * library code emitting handler-free attribute bundles for arbitrary apps.
3575
2616
  *
3576
- * The returned object is a process-wide singleton. The `Message` type
3577
- * parameter is erased at runtime, and the element and attribute constructors
3578
- * carry no per-program state (dispatch is read from the runtime singleton at
3579
- * call time), so calling `html()` repeatedly from inside view functions does
3580
- * not allocate a fresh object.
2617
+ * Inside a view, use the view's own `h` parameter. A view already holds a
2618
+ * builder, and reaching past it for this one is the habit that made a
2619
+ * caller-chosen Message type possible in the first place.
3581
2620
  */
3582
- export declare const html: <Message = never>() => ReturnType<typeof buildHtmlFactory<Message>>;
2621
+ export declare const inertHtml: HtmlBuilder<never>;
3583
2622
  //# sourceMappingURL=index.d.ts.map