@typeonce/effect-machine-devtools 0.24.0 → 0.26.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 (82) hide show
  1. package/NOTICE +4 -0
  2. package/README.md +13 -13
  3. package/dist/DevToolsProtocol.d.ts +66 -630
  4. package/dist/DevToolsProtocol.d.ts.map +1 -1
  5. package/dist/DevToolsProtocol.js +0 -190
  6. package/dist/DevToolsProtocol.js.map +1 -1
  7. package/dist/MachineDocument.d.ts +38 -18
  8. package/dist/MachineDocument.d.ts.map +1 -1
  9. package/dist/MachineDocument.js +14 -12
  10. package/dist/MachineDocument.js.map +1 -1
  11. package/dist/MachineRegistry.d.ts +22 -2
  12. package/dist/MachineRegistry.d.ts.map +1 -1
  13. package/dist/MachineWalkthrough.d.ts +171 -0
  14. package/dist/MachineWalkthrough.d.ts.map +1 -0
  15. package/dist/MachineWalkthrough.js +98 -0
  16. package/dist/MachineWalkthrough.js.map +1 -0
  17. package/dist/ProjectInspector.d.ts +0 -2
  18. package/dist/ProjectInspector.d.ts.map +1 -1
  19. package/dist/ProjectInspector.js.map +1 -1
  20. package/dist/client/assets/index-BsorPSDS.css +1 -0
  21. package/dist/client/assets/index-eiptehRd.js +37 -0
  22. package/dist/client/index.html +4 -4
  23. package/dist/index.d.ts +2 -2
  24. package/dist/index.d.ts.map +1 -1
  25. package/dist/index.js +2 -2
  26. package/dist/index.js.map +1 -1
  27. package/dist/internal/devServer.d.ts.map +1 -1
  28. package/dist/internal/devServer.js +4 -64
  29. package/dist/internal/devServer.js.map +1 -1
  30. package/dist/internal/evaluationWorker.d.ts.map +1 -1
  31. package/dist/internal/evaluationWorker.js +7 -263
  32. package/dist/internal/evaluationWorker.js.map +1 -1
  33. package/dist/internal/machineDocument.d.ts.map +1 -1
  34. package/dist/internal/machineDocument.js +3 -1
  35. package/dist/internal/machineDocument.js.map +1 -1
  36. package/dist/internal/machineWalkthrough.d.ts +26 -0
  37. package/dist/internal/machineWalkthrough.d.ts.map +1 -0
  38. package/dist/internal/machineWalkthrough.js +256 -0
  39. package/dist/internal/machineWalkthrough.js.map +1 -0
  40. package/dist/internal/projectInspector.d.ts.map +1 -1
  41. package/dist/internal/projectInspector.js +1 -11
  42. package/dist/internal/projectInspector.js.map +1 -1
  43. package/index.html +2 -2
  44. package/package.json +8 -7
  45. package/src/DevToolsProtocol.ts +0 -285
  46. package/src/MachineDocument.ts +21 -19
  47. package/src/MachineWalkthrough.ts +199 -0
  48. package/src/ProjectInspector.ts +0 -5
  49. package/src/index.ts +2 -2
  50. package/src/internal/browser/chart-layout-policy.ts +206 -0
  51. package/src/internal/browser/chart-layout.ts +686 -0
  52. package/src/internal/browser/chart-model.ts +244 -0
  53. package/src/internal/browser/chart-renderer.ts +774 -0
  54. package/src/internal/browser/example-machine.ts +15 -6
  55. package/src/internal/browser/input-form.ts +1 -418
  56. package/src/internal/browser/invoke-outcomes-example.ts +231 -0
  57. package/src/internal/browser/parallel-completion-example.ts +199 -0
  58. package/src/internal/browser/planner-example.ts +2 -0
  59. package/src/internal/browser/protocol-events-example.ts +200 -0
  60. package/src/internal/browser/styles.css +974 -342
  61. package/src/internal/browser/transition-semantics-example.ts +245 -0
  62. package/src/internal/browser/visualizer-analysis.ts +52 -0
  63. package/src/internal/browser/visualizer-app.ts +874 -706
  64. package/src/internal/browser/visualizer-model.ts +104 -0
  65. package/src/internal/devServer.ts +4 -82
  66. package/src/internal/evaluationWorker.ts +7 -371
  67. package/src/internal/machineDocument.ts +3 -1
  68. package/src/internal/machineWalkthrough.ts +355 -0
  69. package/src/internal/projectInspector.ts +3 -31
  70. package/dist/MachineSimulator.d.ts +0 -169
  71. package/dist/MachineSimulator.d.ts.map +0 -1
  72. package/dist/MachineSimulator.js +0 -98
  73. package/dist/MachineSimulator.js.map +0 -1
  74. package/dist/client/assets/index-B49Tjawc.js +0 -14
  75. package/dist/client/assets/index-BKH0cOG2.css +0 -1
  76. package/dist/internal/machineSimulator.d.ts +0 -5
  77. package/dist/internal/machineSimulator.d.ts.map +0 -1
  78. package/dist/internal/machineSimulator.js +0 -156
  79. package/dist/internal/machineSimulator.js.map +0 -1
  80. package/src/MachineSimulator.ts +0 -154
  81. package/src/internal/browser/simulation-client.ts +0 -20
  82. package/src/internal/machineSimulator.ts +0 -199
@@ -56,7 +56,7 @@ export type Diagnostic = Schema.Schema.Type<typeof Diagnostic>;
56
56
  export declare const Ready: Schema.Struct<{
57
57
  readonly _tag: Schema.tag<"Ready">;
58
58
  readonly document: Schema.Struct<{
59
- readonly schemaVersion: Schema.Literal<2>;
59
+ readonly schemaVersion: Schema.Literal<3>;
60
60
  readonly revision: Schema.Natural;
61
61
  readonly source: Schema.NullOr<Schema.Struct<{
62
62
  readonly file: Schema.String;
@@ -84,6 +84,16 @@ export declare const Ready: Schema.Struct<{
84
84
  readonly parent: Schema.NullOr<Schema.String>;
85
85
  readonly children: Schema.$Array<Schema.String>;
86
86
  readonly initial: Schema.NullOr<Schema.String>;
87
+ readonly valueSchema: Schema.NullOr<Schema.Struct<{
88
+ readonly dialect: Schema.Literal<"draft-2020-12">;
89
+ readonly schema: Schema.Codec<Schema.Json, Schema.Json, never, never>;
90
+ readonly definitions: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
91
+ }>>;
92
+ readonly outputSchema: Schema.NullOr<Schema.Struct<{
93
+ readonly dialect: Schema.Literal<"draft-2020-12">;
94
+ readonly schema: Schema.Codec<Schema.Json, Schema.Json, never, never>;
95
+ readonly definitions: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
96
+ }>>;
87
97
  readonly transitionIds: Schema.$Array<Schema.String>;
88
98
  readonly activityIds: Schema.$Array<Schema.String>;
89
99
  }>>;
@@ -213,7 +223,7 @@ export type Ready = Schema.Schema.Type<typeof Ready>;
213
223
  export declare const Partial: Schema.Struct<{
214
224
  readonly _tag: Schema.tag<"Partial">;
215
225
  readonly document: Schema.Struct<{
216
- readonly schemaVersion: Schema.Literal<2>;
226
+ readonly schemaVersion: Schema.Literal<3>;
217
227
  readonly revision: Schema.Natural;
218
228
  readonly source: Schema.NullOr<Schema.Struct<{
219
229
  readonly file: Schema.String;
@@ -241,6 +251,16 @@ export declare const Partial: Schema.Struct<{
241
251
  readonly parent: Schema.NullOr<Schema.String>;
242
252
  readonly children: Schema.$Array<Schema.String>;
243
253
  readonly initial: Schema.NullOr<Schema.String>;
254
+ readonly valueSchema: Schema.NullOr<Schema.Struct<{
255
+ readonly dialect: Schema.Literal<"draft-2020-12">;
256
+ readonly schema: Schema.Codec<Schema.Json, Schema.Json, never, never>;
257
+ readonly definitions: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
258
+ }>>;
259
+ readonly outputSchema: Schema.NullOr<Schema.Struct<{
260
+ readonly dialect: Schema.Literal<"draft-2020-12">;
261
+ readonly schema: Schema.Codec<Schema.Json, Schema.Json, never, never>;
262
+ readonly definitions: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
263
+ }>>;
244
264
  readonly transitionIds: Schema.$Array<Schema.String>;
245
265
  readonly activityIds: Schema.$Array<Schema.String>;
246
266
  }>>;
@@ -402,7 +422,7 @@ export type Failed = Schema.Schema.Type<typeof Failed>;
402
422
  export declare const MachineResult: Schema.Union<readonly [Schema.Struct<{
403
423
  readonly _tag: Schema.tag<"Ready">;
404
424
  readonly document: Schema.Struct<{
405
- readonly schemaVersion: Schema.Literal<2>;
425
+ readonly schemaVersion: Schema.Literal<3>;
406
426
  readonly revision: Schema.Natural;
407
427
  readonly source: Schema.NullOr<Schema.Struct<{
408
428
  readonly file: Schema.String;
@@ -430,6 +450,16 @@ export declare const MachineResult: Schema.Union<readonly [Schema.Struct<{
430
450
  readonly parent: Schema.NullOr<Schema.String>;
431
451
  readonly children: Schema.$Array<Schema.String>;
432
452
  readonly initial: Schema.NullOr<Schema.String>;
453
+ readonly valueSchema: Schema.NullOr<Schema.Struct<{
454
+ readonly dialect: Schema.Literal<"draft-2020-12">;
455
+ readonly schema: Schema.Codec<Schema.Json, Schema.Json, never, never>;
456
+ readonly definitions: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
457
+ }>>;
458
+ readonly outputSchema: Schema.NullOr<Schema.Struct<{
459
+ readonly dialect: Schema.Literal<"draft-2020-12">;
460
+ readonly schema: Schema.Codec<Schema.Json, Schema.Json, never, never>;
461
+ readonly definitions: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
462
+ }>>;
433
463
  readonly transitionIds: Schema.$Array<Schema.String>;
434
464
  readonly activityIds: Schema.$Array<Schema.String>;
435
465
  }>>;
@@ -547,7 +577,7 @@ export declare const MachineResult: Schema.Union<readonly [Schema.Struct<{
547
577
  }>, Schema.Struct<{
548
578
  readonly _tag: Schema.tag<"Partial">;
549
579
  readonly document: Schema.Struct<{
550
- readonly schemaVersion: Schema.Literal<2>;
580
+ readonly schemaVersion: Schema.Literal<3>;
551
581
  readonly revision: Schema.Natural;
552
582
  readonly source: Schema.NullOr<Schema.Struct<{
553
583
  readonly file: Schema.String;
@@ -575,6 +605,16 @@ export declare const MachineResult: Schema.Union<readonly [Schema.Struct<{
575
605
  readonly parent: Schema.NullOr<Schema.String>;
576
606
  readonly children: Schema.$Array<Schema.String>;
577
607
  readonly initial: Schema.NullOr<Schema.String>;
608
+ readonly valueSchema: Schema.NullOr<Schema.Struct<{
609
+ readonly dialect: Schema.Literal<"draft-2020-12">;
610
+ readonly schema: Schema.Codec<Schema.Json, Schema.Json, never, never>;
611
+ readonly definitions: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
612
+ }>>;
613
+ readonly outputSchema: Schema.NullOr<Schema.Struct<{
614
+ readonly dialect: Schema.Literal<"draft-2020-12">;
615
+ readonly schema: Schema.Codec<Schema.Json, Schema.Json, never, never>;
616
+ readonly definitions: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
617
+ }>>;
578
618
  readonly transitionIds: Schema.$Array<Schema.String>;
579
619
  readonly activityIds: Schema.$Array<Schema.String>;
580
620
  }>>;
@@ -727,7 +767,7 @@ export declare const RegistrySnapshot: Schema.Struct<{
727
767
  readonly results: Schema.$Array<Schema.Union<readonly [Schema.Struct<{
728
768
  readonly _tag: Schema.tag<"Ready">;
729
769
  readonly document: Schema.Struct<{
730
- readonly schemaVersion: Schema.Literal<2>;
770
+ readonly schemaVersion: Schema.Literal<3>;
731
771
  readonly revision: Schema.Natural;
732
772
  readonly source: Schema.NullOr<Schema.Struct<{
733
773
  readonly file: Schema.String;
@@ -755,6 +795,16 @@ export declare const RegistrySnapshot: Schema.Struct<{
755
795
  readonly parent: Schema.NullOr<Schema.String>;
756
796
  readonly children: Schema.$Array<Schema.String>;
757
797
  readonly initial: Schema.NullOr<Schema.String>;
798
+ readonly valueSchema: Schema.NullOr<Schema.Struct<{
799
+ readonly dialect: Schema.Literal<"draft-2020-12">;
800
+ readonly schema: Schema.Codec<Schema.Json, Schema.Json, never, never>;
801
+ readonly definitions: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
802
+ }>>;
803
+ readonly outputSchema: Schema.NullOr<Schema.Struct<{
804
+ readonly dialect: Schema.Literal<"draft-2020-12">;
805
+ readonly schema: Schema.Codec<Schema.Json, Schema.Json, never, never>;
806
+ readonly definitions: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
807
+ }>>;
758
808
  readonly transitionIds: Schema.$Array<Schema.String>;
759
809
  readonly activityIds: Schema.$Array<Schema.String>;
760
810
  }>>;
@@ -872,7 +922,7 @@ export declare const RegistrySnapshot: Schema.Struct<{
872
922
  }>, Schema.Struct<{
873
923
  readonly _tag: Schema.tag<"Partial">;
874
924
  readonly document: Schema.Struct<{
875
- readonly schemaVersion: Schema.Literal<2>;
925
+ readonly schemaVersion: Schema.Literal<3>;
876
926
  readonly revision: Schema.Natural;
877
927
  readonly source: Schema.NullOr<Schema.Struct<{
878
928
  readonly file: Schema.String;
@@ -900,6 +950,16 @@ export declare const RegistrySnapshot: Schema.Struct<{
900
950
  readonly parent: Schema.NullOr<Schema.String>;
901
951
  readonly children: Schema.$Array<Schema.String>;
902
952
  readonly initial: Schema.NullOr<Schema.String>;
953
+ readonly valueSchema: Schema.NullOr<Schema.Struct<{
954
+ readonly dialect: Schema.Literal<"draft-2020-12">;
955
+ readonly schema: Schema.Codec<Schema.Json, Schema.Json, never, never>;
956
+ readonly definitions: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
957
+ }>>;
958
+ readonly outputSchema: Schema.NullOr<Schema.Struct<{
959
+ readonly dialect: Schema.Literal<"draft-2020-12">;
960
+ readonly schema: Schema.Codec<Schema.Json, Schema.Json, never, never>;
961
+ readonly definitions: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
962
+ }>>;
903
963
  readonly transitionIds: Schema.$Array<Schema.String>;
904
964
  readonly activityIds: Schema.$Array<Schema.String>;
905
965
  }>>;
@@ -1041,628 +1101,4 @@ export declare const RegistrySnapshot: Schema.Struct<{
1041
1101
  * @since 0.23.0
1042
1102
  */
1043
1103
  export type RegistrySnapshot = Schema.Schema.Type<typeof RegistrySnapshot>;
1044
- /**
1045
- * JSON-safe representation of a persisted machine snapshot.
1046
- *
1047
- * @category schemas
1048
- * @since 0.24.0
1049
- */
1050
- export declare const EncodedSnapshot: Schema.Struct<{
1051
- readonly _tag: Schema.Literal<"MachineSnapshot">;
1052
- readonly active: Schema.$Array<Schema.Struct<{
1053
- readonly path: Schema.String;
1054
- readonly value: Schema.optionalKey<Schema.Codec<Schema.Json, Schema.Json, never, never>>;
1055
- }>>;
1056
- readonly completed: Schema.optionalKey<Schema.$Array<Schema.Struct<{
1057
- readonly path: Schema.String;
1058
- readonly output: Schema.optionalKey<Schema.Codec<Schema.Json, Schema.Json, never, never>>;
1059
- }>>>;
1060
- readonly history: Schema.optionalKey<Schema.$Record<Schema.String, Schema.Struct<{
1061
- readonly mode: Schema.Literals<readonly ["shallow", "deep"]>;
1062
- readonly active: Schema.$Array<Schema.String>;
1063
- readonly values: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
1064
- }>>>;
1065
- }>;
1066
- /**
1067
- * @category models
1068
- * @since 0.24.0
1069
- */
1070
- export type EncodedSnapshot = Schema.Schema.Type<typeof EncodedSnapshot>;
1071
- /**
1072
- * Starts an isolated planner session. Omitting `input` calls a machine that
1073
- * declares no input; otherwise the JSON value is decoded by its input schema.
1074
- *
1075
- * @category schemas
1076
- * @since 0.24.0
1077
- */
1078
- export declare const StartSimulation: Schema.Struct<{
1079
- readonly _tag: Schema.tag<"StartSimulation">;
1080
- readonly input: Schema.optionalKey<Schema.Codec<Schema.Json, Schema.Json, never, never>>;
1081
- readonly protocolVersion: Schema.Literal<2>;
1082
- readonly key: Schema.String;
1083
- readonly revision: Schema.Natural;
1084
- readonly source: Schema.Struct<{
1085
- readonly file: Schema.String;
1086
- readonly exportName: Schema.NullOr<Schema.String>;
1087
- }>;
1088
- }>;
1089
- /**
1090
- * @category models
1091
- * @since 0.24.0
1092
- */
1093
- export type StartSimulation = Schema.Schema.Type<typeof StartSimulation>;
1094
- /**
1095
- * Plans one JSON event from an encoded session snapshot.
1096
- *
1097
- * @category schemas
1098
- * @since 0.24.0
1099
- */
1100
- export declare const SendSimulationEvent: Schema.Struct<{
1101
- readonly _tag: Schema.tag<"SendSimulationEvent">;
1102
- readonly step: Schema.Natural;
1103
- readonly snapshot: Schema.Struct<{
1104
- readonly _tag: Schema.Literal<"MachineSnapshot">;
1105
- readonly active: Schema.$Array<Schema.Struct<{
1106
- readonly path: Schema.String;
1107
- readonly value: Schema.optionalKey<Schema.Codec<Schema.Json, Schema.Json, never, never>>;
1108
- }>>;
1109
- readonly completed: Schema.optionalKey<Schema.$Array<Schema.Struct<{
1110
- readonly path: Schema.String;
1111
- readonly output: Schema.optionalKey<Schema.Codec<Schema.Json, Schema.Json, never, never>>;
1112
- }>>>;
1113
- readonly history: Schema.optionalKey<Schema.$Record<Schema.String, Schema.Struct<{
1114
- readonly mode: Schema.Literals<readonly ["shallow", "deep"]>;
1115
- readonly active: Schema.$Array<Schema.String>;
1116
- readonly values: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
1117
- }>>>;
1118
- }>;
1119
- readonly event: Schema.Codec<Schema.Json, Schema.Json, never, never>;
1120
- readonly protocolVersion: Schema.Literal<2>;
1121
- readonly key: Schema.String;
1122
- readonly revision: Schema.Natural;
1123
- readonly source: Schema.Struct<{
1124
- readonly file: Schema.String;
1125
- readonly exportName: Schema.NullOr<Schema.String>;
1126
- }>;
1127
- }>;
1128
- /**
1129
- * @category models
1130
- * @since 0.24.0
1131
- */
1132
- export type SendSimulationEvent = Schema.Schema.Type<typeof SendSimulationEvent>;
1133
- /**
1134
- * Request accepted by the isolated machine planner.
1135
- *
1136
- * @category schemas
1137
- * @since 0.24.0
1138
- */
1139
- export declare const SimulationRequest: Schema.Union<readonly [Schema.Struct<{
1140
- readonly _tag: Schema.tag<"StartSimulation">;
1141
- readonly input: Schema.optionalKey<Schema.Codec<Schema.Json, Schema.Json, never, never>>;
1142
- readonly protocolVersion: Schema.Literal<2>;
1143
- readonly key: Schema.String;
1144
- readonly revision: Schema.Natural;
1145
- readonly source: Schema.Struct<{
1146
- readonly file: Schema.String;
1147
- readonly exportName: Schema.NullOr<Schema.String>;
1148
- }>;
1149
- }>, Schema.Struct<{
1150
- readonly _tag: Schema.tag<"SendSimulationEvent">;
1151
- readonly step: Schema.Natural;
1152
- readonly snapshot: Schema.Struct<{
1153
- readonly _tag: Schema.Literal<"MachineSnapshot">;
1154
- readonly active: Schema.$Array<Schema.Struct<{
1155
- readonly path: Schema.String;
1156
- readonly value: Schema.optionalKey<Schema.Codec<Schema.Json, Schema.Json, never, never>>;
1157
- }>>;
1158
- readonly completed: Schema.optionalKey<Schema.$Array<Schema.Struct<{
1159
- readonly path: Schema.String;
1160
- readonly output: Schema.optionalKey<Schema.Codec<Schema.Json, Schema.Json, never, never>>;
1161
- }>>>;
1162
- readonly history: Schema.optionalKey<Schema.$Record<Schema.String, Schema.Struct<{
1163
- readonly mode: Schema.Literals<readonly ["shallow", "deep"]>;
1164
- readonly active: Schema.$Array<Schema.String>;
1165
- readonly values: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
1166
- }>>>;
1167
- }>;
1168
- readonly event: Schema.Codec<Schema.Json, Schema.Json, never, never>;
1169
- readonly protocolVersion: Schema.Literal<2>;
1170
- readonly key: Schema.String;
1171
- readonly revision: Schema.Natural;
1172
- readonly source: Schema.Struct<{
1173
- readonly file: Schema.String;
1174
- readonly exportName: Schema.NullOr<Schema.String>;
1175
- }>;
1176
- }>]>;
1177
- /**
1178
- * @category models
1179
- * @since 0.24.0
1180
- */
1181
- export type SimulationRequest = Schema.Schema.Type<typeof SimulationRequest>;
1182
- /**
1183
- * A compact view of one logical machine snapshot.
1184
- *
1185
- * @category schemas
1186
- * @since 0.24.0
1187
- */
1188
- export declare const SimulationSnapshot: Schema.Struct<{
1189
- readonly activePaths: Schema.$Array<Schema.String>;
1190
- readonly candidateEvents: Schema.$Array<Schema.String>;
1191
- }>;
1192
- /**
1193
- * @category models
1194
- * @since 0.24.0
1195
- */
1196
- export type SimulationSnapshot = Schema.Schema.Type<typeof SimulationSnapshot>;
1197
- /**
1198
- * Transition selected by the planner after hierarchy and conflict resolution.
1199
- *
1200
- * @category schemas
1201
- * @since 0.24.0
1202
- */
1203
- export declare const PlannedTransition: Schema.Struct<{
1204
- readonly source: Schema.String;
1205
- readonly trigger: Schema.Union<readonly [Schema.Struct<{
1206
- readonly type: Schema.tag<"event">;
1207
- readonly event: Schema.String;
1208
- }>, Schema.Struct<{
1209
- readonly type: Schema.tag<"always">;
1210
- }>, Schema.Struct<{
1211
- readonly type: Schema.tag<"done">;
1212
- }>, Schema.Struct<{
1213
- readonly type: Schema.tag<"choice">;
1214
- }>, Schema.Struct<{
1215
- readonly type: Schema.tag<"invoke">;
1216
- readonly id: Schema.String;
1217
- readonly outcome: Schema.Literals<readonly ["element", "done", "failure", "snapshot"]>;
1218
- }>]>;
1219
- readonly reenter: Schema.Boolean;
1220
- readonly branchIndex: Schema.Natural;
1221
- readonly branchKey: Schema.NullOr<Schema.String>;
1222
- readonly target: Schema.NullOr<Schema.String>;
1223
- readonly resolvedTarget: Schema.NullOr<Schema.String>;
1224
- readonly updates: Schema.$Array<Schema.String>;
1225
- }>;
1226
- /**
1227
- * @category models
1228
- * @since 0.24.0
1229
- */
1230
- export type PlannedTransition = Schema.Schema.Type<typeof PlannedTransition>;
1231
- /**
1232
- * Closed command produced by planning. Commands are displayed but never
1233
- * committed by the visualizer.
1234
- *
1235
- * @category schemas
1236
- * @since 0.24.0
1237
- */
1238
- export declare const PlannedCommand: Schema.Union<readonly [Schema.Struct<{
1239
- readonly _tag: Schema.tag<"SendTo">;
1240
- readonly target: Schema.String;
1241
- readonly event: Schema.Codec<Schema.Json, Schema.Json, never, never>;
1242
- }>, Schema.Struct<{
1243
- readonly _tag: Schema.tag<"Stop">;
1244
- readonly target: Schema.String;
1245
- }>]>;
1246
- /**
1247
- * @category models
1248
- * @since 0.24.0
1249
- */
1250
- export type PlannedCommand = Schema.Schema.Type<typeof PlannedCommand>;
1251
- /**
1252
- * One statechart microstep retained in a planned macrostep.
1253
- *
1254
- * @category schemas
1255
- * @since 0.24.0
1256
- */
1257
- export declare const SimulationMicrostep: Schema.Struct<{
1258
- readonly index: Schema.Natural;
1259
- readonly event: Schema.Codec<Schema.Json, Schema.Json, never, never>;
1260
- readonly transitions: Schema.$Array<Schema.Struct<{
1261
- readonly source: Schema.String;
1262
- readonly trigger: Schema.Union<readonly [Schema.Struct<{
1263
- readonly type: Schema.tag<"event">;
1264
- readonly event: Schema.String;
1265
- }>, Schema.Struct<{
1266
- readonly type: Schema.tag<"always">;
1267
- }>, Schema.Struct<{
1268
- readonly type: Schema.tag<"done">;
1269
- }>, Schema.Struct<{
1270
- readonly type: Schema.tag<"choice">;
1271
- }>, Schema.Struct<{
1272
- readonly type: Schema.tag<"invoke">;
1273
- readonly id: Schema.String;
1274
- readonly outcome: Schema.Literals<readonly ["element", "done", "failure", "snapshot"]>;
1275
- }>]>;
1276
- readonly reenter: Schema.Boolean;
1277
- readonly branchIndex: Schema.Natural;
1278
- readonly branchKey: Schema.NullOr<Schema.String>;
1279
- readonly target: Schema.NullOr<Schema.String>;
1280
- readonly resolvedTarget: Schema.NullOr<Schema.String>;
1281
- readonly updates: Schema.$Array<Schema.String>;
1282
- }>>;
1283
- readonly raisedEvents: Schema.$Array<Schema.Codec<Schema.Json, Schema.Json, never, never>>;
1284
- readonly emittedEvents: Schema.$Array<Schema.Codec<Schema.Json, Schema.Json, never, never>>;
1285
- readonly commands: Schema.$Array<Schema.Union<readonly [Schema.Struct<{
1286
- readonly _tag: Schema.tag<"SendTo">;
1287
- readonly target: Schema.String;
1288
- readonly event: Schema.Codec<Schema.Json, Schema.Json, never, never>;
1289
- }>, Schema.Struct<{
1290
- readonly _tag: Schema.tag<"Stop">;
1291
- readonly target: Schema.String;
1292
- }>]>>;
1293
- readonly exitPaths: Schema.$Array<Schema.String>;
1294
- readonly entryPaths: Schema.$Array<Schema.String>;
1295
- readonly activePaths: Schema.$Array<Schema.String>;
1296
- readonly changed: Schema.Boolean;
1297
- }>;
1298
- /**
1299
- * @category models
1300
- * @since 0.24.0
1301
- */
1302
- export type SimulationMicrostep = Schema.Schema.Type<typeof SimulationMicrostep>;
1303
- /**
1304
- * Structured trace for an initial plan or one received event.
1305
- *
1306
- * @category schemas
1307
- * @since 0.24.0
1308
- */
1309
- export declare const SimulationFrame: Schema.Struct<{
1310
- readonly step: Schema.Natural;
1311
- readonly trigger: Schema.Union<readonly [Schema.Struct<{
1312
- readonly _tag: Schema.tag<"Initial">;
1313
- readonly input: Schema.optionalKey<Schema.Codec<Schema.Json, Schema.Json, never, never>>;
1314
- }>, Schema.Struct<{
1315
- readonly _tag: Schema.tag<"Event">;
1316
- readonly event: Schema.Codec<Schema.Json, Schema.Json, never, never>;
1317
- }>]>;
1318
- readonly before: Schema.Struct<{
1319
- readonly activePaths: Schema.$Array<Schema.String>;
1320
- readonly candidateEvents: Schema.$Array<Schema.String>;
1321
- }>;
1322
- readonly after: Schema.Struct<{
1323
- readonly activePaths: Schema.$Array<Schema.String>;
1324
- readonly candidateEvents: Schema.$Array<Schema.String>;
1325
- }>;
1326
- readonly microsteps: Schema.$Array<Schema.Struct<{
1327
- readonly index: Schema.Natural;
1328
- readonly event: Schema.Codec<Schema.Json, Schema.Json, never, never>;
1329
- readonly transitions: Schema.$Array<Schema.Struct<{
1330
- readonly source: Schema.String;
1331
- readonly trigger: Schema.Union<readonly [Schema.Struct<{
1332
- readonly type: Schema.tag<"event">;
1333
- readonly event: Schema.String;
1334
- }>, Schema.Struct<{
1335
- readonly type: Schema.tag<"always">;
1336
- }>, Schema.Struct<{
1337
- readonly type: Schema.tag<"done">;
1338
- }>, Schema.Struct<{
1339
- readonly type: Schema.tag<"choice">;
1340
- }>, Schema.Struct<{
1341
- readonly type: Schema.tag<"invoke">;
1342
- readonly id: Schema.String;
1343
- readonly outcome: Schema.Literals<readonly ["element", "done", "failure", "snapshot"]>;
1344
- }>]>;
1345
- readonly reenter: Schema.Boolean;
1346
- readonly branchIndex: Schema.Natural;
1347
- readonly branchKey: Schema.NullOr<Schema.String>;
1348
- readonly target: Schema.NullOr<Schema.String>;
1349
- readonly resolvedTarget: Schema.NullOr<Schema.String>;
1350
- readonly updates: Schema.$Array<Schema.String>;
1351
- }>>;
1352
- readonly raisedEvents: Schema.$Array<Schema.Codec<Schema.Json, Schema.Json, never, never>>;
1353
- readonly emittedEvents: Schema.$Array<Schema.Codec<Schema.Json, Schema.Json, never, never>>;
1354
- readonly commands: Schema.$Array<Schema.Union<readonly [Schema.Struct<{
1355
- readonly _tag: Schema.tag<"SendTo">;
1356
- readonly target: Schema.String;
1357
- readonly event: Schema.Codec<Schema.Json, Schema.Json, never, never>;
1358
- }>, Schema.Struct<{
1359
- readonly _tag: Schema.tag<"Stop">;
1360
- readonly target: Schema.String;
1361
- }>]>>;
1362
- readonly exitPaths: Schema.$Array<Schema.String>;
1363
- readonly entryPaths: Schema.$Array<Schema.String>;
1364
- readonly activePaths: Schema.$Array<Schema.String>;
1365
- readonly changed: Schema.Boolean;
1366
- }>>;
1367
- readonly commands: Schema.$Array<Schema.Union<readonly [Schema.Struct<{
1368
- readonly _tag: Schema.tag<"SendTo">;
1369
- readonly target: Schema.String;
1370
- readonly event: Schema.Codec<Schema.Json, Schema.Json, never, never>;
1371
- }>, Schema.Struct<{
1372
- readonly _tag: Schema.tag<"Stop">;
1373
- readonly target: Schema.String;
1374
- }>]>>;
1375
- readonly emittedEvents: Schema.$Array<Schema.Codec<Schema.Json, Schema.Json, never, never>>;
1376
- readonly done: Schema.Boolean;
1377
- readonly output: Schema.optionalKey<Schema.Codec<Schema.Json, Schema.Json, never, never>>;
1378
- }>;
1379
- /**
1380
- * @category models
1381
- * @since 0.24.0
1382
- */
1383
- export type SimulationFrame = Schema.Schema.Type<typeof SimulationFrame>;
1384
- /**
1385
- * Successful planner response containing the next portable session state.
1386
- *
1387
- * @category schemas
1388
- * @since 0.24.0
1389
- */
1390
- export declare const SimulationReady: Schema.Struct<{
1391
- readonly protocolVersion: Schema.Literal<2>;
1392
- readonly _tag: Schema.tag<"SimulationReady">;
1393
- readonly key: Schema.String;
1394
- readonly revision: Schema.Natural;
1395
- readonly step: Schema.Natural;
1396
- readonly snapshot: Schema.Struct<{
1397
- readonly _tag: Schema.Literal<"MachineSnapshot">;
1398
- readonly active: Schema.$Array<Schema.Struct<{
1399
- readonly path: Schema.String;
1400
- readonly value: Schema.optionalKey<Schema.Codec<Schema.Json, Schema.Json, never, never>>;
1401
- }>>;
1402
- readonly completed: Schema.optionalKey<Schema.$Array<Schema.Struct<{
1403
- readonly path: Schema.String;
1404
- readonly output: Schema.optionalKey<Schema.Codec<Schema.Json, Schema.Json, never, never>>;
1405
- }>>>;
1406
- readonly history: Schema.optionalKey<Schema.$Record<Schema.String, Schema.Struct<{
1407
- readonly mode: Schema.Literals<readonly ["shallow", "deep"]>;
1408
- readonly active: Schema.$Array<Schema.String>;
1409
- readonly values: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
1410
- }>>>;
1411
- }>;
1412
- readonly current: Schema.Struct<{
1413
- readonly activePaths: Schema.$Array<Schema.String>;
1414
- readonly candidateEvents: Schema.$Array<Schema.String>;
1415
- }>;
1416
- readonly frame: Schema.Struct<{
1417
- readonly step: Schema.Natural;
1418
- readonly trigger: Schema.Union<readonly [Schema.Struct<{
1419
- readonly _tag: Schema.tag<"Initial">;
1420
- readonly input: Schema.optionalKey<Schema.Codec<Schema.Json, Schema.Json, never, never>>;
1421
- }>, Schema.Struct<{
1422
- readonly _tag: Schema.tag<"Event">;
1423
- readonly event: Schema.Codec<Schema.Json, Schema.Json, never, never>;
1424
- }>]>;
1425
- readonly before: Schema.Struct<{
1426
- readonly activePaths: Schema.$Array<Schema.String>;
1427
- readonly candidateEvents: Schema.$Array<Schema.String>;
1428
- }>;
1429
- readonly after: Schema.Struct<{
1430
- readonly activePaths: Schema.$Array<Schema.String>;
1431
- readonly candidateEvents: Schema.$Array<Schema.String>;
1432
- }>;
1433
- readonly microsteps: Schema.$Array<Schema.Struct<{
1434
- readonly index: Schema.Natural;
1435
- readonly event: Schema.Codec<Schema.Json, Schema.Json, never, never>;
1436
- readonly transitions: Schema.$Array<Schema.Struct<{
1437
- readonly source: Schema.String;
1438
- readonly trigger: Schema.Union<readonly [Schema.Struct<{
1439
- readonly type: Schema.tag<"event">;
1440
- readonly event: Schema.String;
1441
- }>, Schema.Struct<{
1442
- readonly type: Schema.tag<"always">;
1443
- }>, Schema.Struct<{
1444
- readonly type: Schema.tag<"done">;
1445
- }>, Schema.Struct<{
1446
- readonly type: Schema.tag<"choice">;
1447
- }>, Schema.Struct<{
1448
- readonly type: Schema.tag<"invoke">;
1449
- readonly id: Schema.String;
1450
- readonly outcome: Schema.Literals<readonly ["element", "done", "failure", "snapshot"]>;
1451
- }>]>;
1452
- readonly reenter: Schema.Boolean;
1453
- readonly branchIndex: Schema.Natural;
1454
- readonly branchKey: Schema.NullOr<Schema.String>;
1455
- readonly target: Schema.NullOr<Schema.String>;
1456
- readonly resolvedTarget: Schema.NullOr<Schema.String>;
1457
- readonly updates: Schema.$Array<Schema.String>;
1458
- }>>;
1459
- readonly raisedEvents: Schema.$Array<Schema.Codec<Schema.Json, Schema.Json, never, never>>;
1460
- readonly emittedEvents: Schema.$Array<Schema.Codec<Schema.Json, Schema.Json, never, never>>;
1461
- readonly commands: Schema.$Array<Schema.Union<readonly [Schema.Struct<{
1462
- readonly _tag: Schema.tag<"SendTo">;
1463
- readonly target: Schema.String;
1464
- readonly event: Schema.Codec<Schema.Json, Schema.Json, never, never>;
1465
- }>, Schema.Struct<{
1466
- readonly _tag: Schema.tag<"Stop">;
1467
- readonly target: Schema.String;
1468
- }>]>>;
1469
- readonly exitPaths: Schema.$Array<Schema.String>;
1470
- readonly entryPaths: Schema.$Array<Schema.String>;
1471
- readonly activePaths: Schema.$Array<Schema.String>;
1472
- readonly changed: Schema.Boolean;
1473
- }>>;
1474
- readonly commands: Schema.$Array<Schema.Union<readonly [Schema.Struct<{
1475
- readonly _tag: Schema.tag<"SendTo">;
1476
- readonly target: Schema.String;
1477
- readonly event: Schema.Codec<Schema.Json, Schema.Json, never, never>;
1478
- }>, Schema.Struct<{
1479
- readonly _tag: Schema.tag<"Stop">;
1480
- readonly target: Schema.String;
1481
- }>]>>;
1482
- readonly emittedEvents: Schema.$Array<Schema.Codec<Schema.Json, Schema.Json, never, never>>;
1483
- readonly done: Schema.Boolean;
1484
- readonly output: Schema.optionalKey<Schema.Codec<Schema.Json, Schema.Json, never, never>>;
1485
- }>;
1486
- }>;
1487
- /**
1488
- * @category models
1489
- * @since 0.24.0
1490
- */
1491
- export type SimulationReady = Schema.Schema.Type<typeof SimulationReady>;
1492
- /**
1493
- * One authoritative Effect Schema issue associated with a machine or event
1494
- * input path.
1495
- *
1496
- * @category schemas
1497
- * @since 0.24.0
1498
- */
1499
- export declare const InputIssue: Schema.Struct<{
1500
- readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Number]>>;
1501
- readonly message: Schema.String;
1502
- }>;
1503
- /**
1504
- * @category models
1505
- * @since 0.24.0
1506
- */
1507
- export type InputIssue = Schema.Schema.Type<typeof InputIssue>;
1508
- /**
1509
- * Recoverable failure produced while loading, decoding, or planning a session.
1510
- *
1511
- * @category schemas
1512
- * @since 0.24.0
1513
- */
1514
- export declare const SimulationFailed: Schema.Struct<{
1515
- readonly protocolVersion: Schema.Literal<2>;
1516
- readonly _tag: Schema.tag<"SimulationFailed">;
1517
- readonly key: Schema.String;
1518
- readonly revision: Schema.Natural;
1519
- readonly diagnostics: Schema.$Array<Schema.Struct<{
1520
- readonly severity: Schema.Literals<readonly ["warning", "error"]>;
1521
- readonly code: Schema.String;
1522
- readonly message: Schema.String;
1523
- readonly location: Schema.NullOr<Schema.Struct<{
1524
- readonly file: Schema.String;
1525
- readonly line: Schema.NullOr<Schema.Natural>;
1526
- readonly column: Schema.NullOr<Schema.Natural>;
1527
- }>>;
1528
- readonly statePath: Schema.NullOr<Schema.String>;
1529
- }>>;
1530
- readonly inputIssues: Schema.$Array<Schema.Struct<{
1531
- readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Number]>>;
1532
- readonly message: Schema.String;
1533
- }>>;
1534
- }>;
1535
- /**
1536
- * @category models
1537
- * @since 0.24.0
1538
- */
1539
- export type SimulationFailed = Schema.Schema.Type<typeof SimulationFailed>;
1540
- /**
1541
- * Result returned by the isolated machine planner.
1542
- *
1543
- * @category schemas
1544
- * @since 0.24.0
1545
- */
1546
- export declare const SimulationResult: Schema.Union<readonly [Schema.Struct<{
1547
- readonly protocolVersion: Schema.Literal<2>;
1548
- readonly _tag: Schema.tag<"SimulationReady">;
1549
- readonly key: Schema.String;
1550
- readonly revision: Schema.Natural;
1551
- readonly step: Schema.Natural;
1552
- readonly snapshot: Schema.Struct<{
1553
- readonly _tag: Schema.Literal<"MachineSnapshot">;
1554
- readonly active: Schema.$Array<Schema.Struct<{
1555
- readonly path: Schema.String;
1556
- readonly value: Schema.optionalKey<Schema.Codec<Schema.Json, Schema.Json, never, never>>;
1557
- }>>;
1558
- readonly completed: Schema.optionalKey<Schema.$Array<Schema.Struct<{
1559
- readonly path: Schema.String;
1560
- readonly output: Schema.optionalKey<Schema.Codec<Schema.Json, Schema.Json, never, never>>;
1561
- }>>>;
1562
- readonly history: Schema.optionalKey<Schema.$Record<Schema.String, Schema.Struct<{
1563
- readonly mode: Schema.Literals<readonly ["shallow", "deep"]>;
1564
- readonly active: Schema.$Array<Schema.String>;
1565
- readonly values: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
1566
- }>>>;
1567
- }>;
1568
- readonly current: Schema.Struct<{
1569
- readonly activePaths: Schema.$Array<Schema.String>;
1570
- readonly candidateEvents: Schema.$Array<Schema.String>;
1571
- }>;
1572
- readonly frame: Schema.Struct<{
1573
- readonly step: Schema.Natural;
1574
- readonly trigger: Schema.Union<readonly [Schema.Struct<{
1575
- readonly _tag: Schema.tag<"Initial">;
1576
- readonly input: Schema.optionalKey<Schema.Codec<Schema.Json, Schema.Json, never, never>>;
1577
- }>, Schema.Struct<{
1578
- readonly _tag: Schema.tag<"Event">;
1579
- readonly event: Schema.Codec<Schema.Json, Schema.Json, never, never>;
1580
- }>]>;
1581
- readonly before: Schema.Struct<{
1582
- readonly activePaths: Schema.$Array<Schema.String>;
1583
- readonly candidateEvents: Schema.$Array<Schema.String>;
1584
- }>;
1585
- readonly after: Schema.Struct<{
1586
- readonly activePaths: Schema.$Array<Schema.String>;
1587
- readonly candidateEvents: Schema.$Array<Schema.String>;
1588
- }>;
1589
- readonly microsteps: Schema.$Array<Schema.Struct<{
1590
- readonly index: Schema.Natural;
1591
- readonly event: Schema.Codec<Schema.Json, Schema.Json, never, never>;
1592
- readonly transitions: Schema.$Array<Schema.Struct<{
1593
- readonly source: Schema.String;
1594
- readonly trigger: Schema.Union<readonly [Schema.Struct<{
1595
- readonly type: Schema.tag<"event">;
1596
- readonly event: Schema.String;
1597
- }>, Schema.Struct<{
1598
- readonly type: Schema.tag<"always">;
1599
- }>, Schema.Struct<{
1600
- readonly type: Schema.tag<"done">;
1601
- }>, Schema.Struct<{
1602
- readonly type: Schema.tag<"choice">;
1603
- }>, Schema.Struct<{
1604
- readonly type: Schema.tag<"invoke">;
1605
- readonly id: Schema.String;
1606
- readonly outcome: Schema.Literals<readonly ["element", "done", "failure", "snapshot"]>;
1607
- }>]>;
1608
- readonly reenter: Schema.Boolean;
1609
- readonly branchIndex: Schema.Natural;
1610
- readonly branchKey: Schema.NullOr<Schema.String>;
1611
- readonly target: Schema.NullOr<Schema.String>;
1612
- readonly resolvedTarget: Schema.NullOr<Schema.String>;
1613
- readonly updates: Schema.$Array<Schema.String>;
1614
- }>>;
1615
- readonly raisedEvents: Schema.$Array<Schema.Codec<Schema.Json, Schema.Json, never, never>>;
1616
- readonly emittedEvents: Schema.$Array<Schema.Codec<Schema.Json, Schema.Json, never, never>>;
1617
- readonly commands: Schema.$Array<Schema.Union<readonly [Schema.Struct<{
1618
- readonly _tag: Schema.tag<"SendTo">;
1619
- readonly target: Schema.String;
1620
- readonly event: Schema.Codec<Schema.Json, Schema.Json, never, never>;
1621
- }>, Schema.Struct<{
1622
- readonly _tag: Schema.tag<"Stop">;
1623
- readonly target: Schema.String;
1624
- }>]>>;
1625
- readonly exitPaths: Schema.$Array<Schema.String>;
1626
- readonly entryPaths: Schema.$Array<Schema.String>;
1627
- readonly activePaths: Schema.$Array<Schema.String>;
1628
- readonly changed: Schema.Boolean;
1629
- }>>;
1630
- readonly commands: Schema.$Array<Schema.Union<readonly [Schema.Struct<{
1631
- readonly _tag: Schema.tag<"SendTo">;
1632
- readonly target: Schema.String;
1633
- readonly event: Schema.Codec<Schema.Json, Schema.Json, never, never>;
1634
- }>, Schema.Struct<{
1635
- readonly _tag: Schema.tag<"Stop">;
1636
- readonly target: Schema.String;
1637
- }>]>>;
1638
- readonly emittedEvents: Schema.$Array<Schema.Codec<Schema.Json, Schema.Json, never, never>>;
1639
- readonly done: Schema.Boolean;
1640
- readonly output: Schema.optionalKey<Schema.Codec<Schema.Json, Schema.Json, never, never>>;
1641
- }>;
1642
- }>, Schema.Struct<{
1643
- readonly protocolVersion: Schema.Literal<2>;
1644
- readonly _tag: Schema.tag<"SimulationFailed">;
1645
- readonly key: Schema.String;
1646
- readonly revision: Schema.Natural;
1647
- readonly diagnostics: Schema.$Array<Schema.Struct<{
1648
- readonly severity: Schema.Literals<readonly ["warning", "error"]>;
1649
- readonly code: Schema.String;
1650
- readonly message: Schema.String;
1651
- readonly location: Schema.NullOr<Schema.Struct<{
1652
- readonly file: Schema.String;
1653
- readonly line: Schema.NullOr<Schema.Natural>;
1654
- readonly column: Schema.NullOr<Schema.Natural>;
1655
- }>>;
1656
- readonly statePath: Schema.NullOr<Schema.String>;
1657
- }>>;
1658
- readonly inputIssues: Schema.$Array<Schema.Struct<{
1659
- readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Number]>>;
1660
- readonly message: Schema.String;
1661
- }>>;
1662
- }>]>;
1663
- /**
1664
- * @category models
1665
- * @since 0.24.0
1666
- */
1667
- export type SimulationResult = Schema.Schema.Type<typeof SimulationResult>;
1668
1104
  //# sourceMappingURL=DevToolsProtocol.d.ts.map