@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.
- package/NOTICE +4 -0
- package/README.md +13 -13
- package/dist/DevToolsProtocol.d.ts +66 -630
- package/dist/DevToolsProtocol.d.ts.map +1 -1
- package/dist/DevToolsProtocol.js +0 -190
- package/dist/DevToolsProtocol.js.map +1 -1
- package/dist/MachineDocument.d.ts +38 -18
- package/dist/MachineDocument.d.ts.map +1 -1
- package/dist/MachineDocument.js +14 -12
- package/dist/MachineDocument.js.map +1 -1
- package/dist/MachineRegistry.d.ts +22 -2
- package/dist/MachineRegistry.d.ts.map +1 -1
- package/dist/MachineWalkthrough.d.ts +171 -0
- package/dist/MachineWalkthrough.d.ts.map +1 -0
- package/dist/MachineWalkthrough.js +98 -0
- package/dist/MachineWalkthrough.js.map +1 -0
- package/dist/ProjectInspector.d.ts +0 -2
- package/dist/ProjectInspector.d.ts.map +1 -1
- package/dist/ProjectInspector.js.map +1 -1
- package/dist/client/assets/index-BsorPSDS.css +1 -0
- package/dist/client/assets/index-eiptehRd.js +37 -0
- package/dist/client/index.html +4 -4
- package/dist/index.d.ts +2 -2
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +2 -2
- package/dist/index.js.map +1 -1
- package/dist/internal/devServer.d.ts.map +1 -1
- package/dist/internal/devServer.js +4 -64
- package/dist/internal/devServer.js.map +1 -1
- package/dist/internal/evaluationWorker.d.ts.map +1 -1
- package/dist/internal/evaluationWorker.js +7 -263
- package/dist/internal/evaluationWorker.js.map +1 -1
- package/dist/internal/machineDocument.d.ts.map +1 -1
- package/dist/internal/machineDocument.js +3 -1
- package/dist/internal/machineDocument.js.map +1 -1
- package/dist/internal/machineWalkthrough.d.ts +26 -0
- package/dist/internal/machineWalkthrough.d.ts.map +1 -0
- package/dist/internal/machineWalkthrough.js +256 -0
- package/dist/internal/machineWalkthrough.js.map +1 -0
- package/dist/internal/projectInspector.d.ts.map +1 -1
- package/dist/internal/projectInspector.js +1 -11
- package/dist/internal/projectInspector.js.map +1 -1
- package/index.html +2 -2
- package/package.json +8 -7
- package/src/DevToolsProtocol.ts +0 -285
- package/src/MachineDocument.ts +21 -19
- package/src/MachineWalkthrough.ts +199 -0
- package/src/ProjectInspector.ts +0 -5
- package/src/index.ts +2 -2
- package/src/internal/browser/chart-layout-policy.ts +206 -0
- package/src/internal/browser/chart-layout.ts +686 -0
- package/src/internal/browser/chart-model.ts +244 -0
- package/src/internal/browser/chart-renderer.ts +774 -0
- package/src/internal/browser/example-machine.ts +15 -6
- package/src/internal/browser/input-form.ts +1 -418
- package/src/internal/browser/invoke-outcomes-example.ts +231 -0
- package/src/internal/browser/parallel-completion-example.ts +199 -0
- package/src/internal/browser/planner-example.ts +2 -0
- package/src/internal/browser/protocol-events-example.ts +200 -0
- package/src/internal/browser/styles.css +974 -342
- package/src/internal/browser/transition-semantics-example.ts +245 -0
- package/src/internal/browser/visualizer-analysis.ts +52 -0
- package/src/internal/browser/visualizer-app.ts +874 -706
- package/src/internal/browser/visualizer-model.ts +104 -0
- package/src/internal/devServer.ts +4 -82
- package/src/internal/evaluationWorker.ts +7 -371
- package/src/internal/machineDocument.ts +3 -1
- package/src/internal/machineWalkthrough.ts +355 -0
- package/src/internal/projectInspector.ts +3 -31
- package/dist/MachineSimulator.d.ts +0 -169
- package/dist/MachineSimulator.d.ts.map +0 -1
- package/dist/MachineSimulator.js +0 -98
- package/dist/MachineSimulator.js.map +0 -1
- package/dist/client/assets/index-B49Tjawc.js +0 -14
- package/dist/client/assets/index-BKH0cOG2.css +0 -1
- package/dist/internal/machineSimulator.d.ts +0 -5
- package/dist/internal/machineSimulator.d.ts.map +0 -1
- package/dist/internal/machineSimulator.js +0 -156
- package/dist/internal/machineSimulator.js.map +0 -1
- package/src/MachineSimulator.ts +0 -154
- package/src/internal/browser/simulation-client.ts +0 -20
- 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<
|
|
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<
|
|
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<
|
|
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<
|
|
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<
|
|
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<
|
|
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
|