@typeonce/effect-machine 0.1.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 (48) hide show
  1. package/LICENSE +21 -0
  2. package/NOTICE +5 -0
  3. package/README.md +117 -0
  4. package/dist/AtomMachine.d.ts +141 -0
  5. package/dist/AtomMachine.d.ts.map +1 -0
  6. package/dist/AtomMachine.js +191 -0
  7. package/dist/AtomMachine.js.map +1 -0
  8. package/dist/ClusterMachine.d.ts +250 -0
  9. package/dist/ClusterMachine.d.ts.map +1 -0
  10. package/dist/ClusterMachine.js +280 -0
  11. package/dist/ClusterMachine.js.map +1 -0
  12. package/dist/Machine.d.ts +2587 -0
  13. package/dist/Machine.d.ts.map +1 -0
  14. package/dist/Machine.js +923 -0
  15. package/dist/Machine.js.map +1 -0
  16. package/dist/cluster.d.ts +2 -0
  17. package/dist/cluster.d.ts.map +1 -0
  18. package/dist/cluster.js +2 -0
  19. package/dist/cluster.js.map +1 -0
  20. package/dist/index.d.ts +2 -0
  21. package/dist/index.d.ts.map +1 -0
  22. package/dist/index.js +2 -0
  23. package/dist/index.js.map +1 -0
  24. package/dist/internal/machineErrors.d.ts +109 -0
  25. package/dist/internal/machineErrors.d.ts.map +1 -0
  26. package/dist/internal/machineErrors.js +65 -0
  27. package/dist/internal/machineErrors.js.map +1 -0
  28. package/dist/internal/machineModel.d.ts +88 -0
  29. package/dist/internal/machineModel.d.ts.map +1 -0
  30. package/dist/internal/machineModel.js +713 -0
  31. package/dist/internal/machineModel.js.map +1 -0
  32. package/dist/internal/machinePlanner.d.ts +64 -0
  33. package/dist/internal/machinePlanner.d.ts.map +1 -0
  34. package/dist/internal/machinePlanner.js +594 -0
  35. package/dist/internal/machinePlanner.js.map +1 -0
  36. package/dist/internal/machineProcess.d.ts +16 -0
  37. package/dist/internal/machineProcess.d.ts.map +1 -0
  38. package/dist/internal/machineProcess.js +170 -0
  39. package/dist/internal/machineProcess.js.map +1 -0
  40. package/dist/internal/machineRuntime.d.ts +119 -0
  41. package/dist/internal/machineRuntime.d.ts.map +1 -0
  42. package/dist/internal/machineRuntime.js +354 -0
  43. package/dist/internal/machineRuntime.js.map +1 -0
  44. package/dist/reactivity.d.ts +2 -0
  45. package/dist/reactivity.d.ts.map +1 -0
  46. package/dist/reactivity.js +2 -0
  47. package/dist/reactivity.js.map +1 -0
  48. package/package.json +76 -0
@@ -0,0 +1 @@
1
+ {"version":3,"file":"machineProcess.d.ts","sourceRoot":"","sources":["../../src/internal/machineProcess.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAKvC,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAA;AAG5C,OAAO,KAAK,EAAE,WAAW,EAAE,iBAAiB,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,eAAe,CAAA;AACrF,OAAO,KAAK,EAAE,uBAAuB,EAAE,wBAAwB,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AAGvH,OAAO,KAAK,eAAe,MAAM,qBAAqB,CAAA;AAEtD,KAAK,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,GAAG,KAAK,CAAA;AAEhD,KAAK,wBAAwB,CAAC,YAAY,EAAE,MAAM,EAAE,KAAK,IAAI,YAAY,SAAS,OAAO,CAAC,WAAW,CACnG,MAAM,cAAc,EACpB,MAAM,aAAa,CACpB,GAAG,KAAK,CAAC,YAAY,CAAC,SAAS,IAAI,GAAG,YAAY,GAC/C,CAAC,cAAc,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,KAAK,GAAG,YAAY,GAC1F,YAAY,GACZ,YAAY,CAAA;AAuBhB,eAAO,MAAM,cAAc,EAAE,CAC3B,KAAK,CAAC,MAAM,SAAS,OAAO,CAAC,YAAY,EACzC,KAAK,CAAC,MAAM,SAAS,aAAa,CAAC,OAAO,CAAC,YAAY,CAAC,EACxD,KAAK,CAAC,KAAK,SAAS,aAAa,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,SAAS,EAAE,EACrE,KAAK,CAAC,KAAK,SAAS,MAAM,CAAC,GAAG,GAAG,OAAO,MAAM,CAAC,IAAI,EACnD,eAAe,SAAS,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,EACzF,CAAC,GAAG,KAAK,EACT,CAAC,GAAG,KAAK,EACT,QAAQ,GAAG,KAAK,EAChB,QAAQ,GAAG,KAAK,EAChB,WAAW,SAAS,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,GAAG,KAAK,EAC3D,MAAM,GAAG,KAAK,EAEd,OAAO,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,eAAe,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,EAAE,KAAK,CAAC,EAC9G,GAAG,IAAI,EAAE,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,KACnC,eAAe,CAAC,YAAY,CAC/B,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,EACxB,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,EACvB,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,GAAG,uBAAuB,GAAG,wBAAwB,GAAG,YAAY,EACtF,wBAAwB,CACtB,OAAO,CAAC,iBAAiB,CAAC,QAAQ,GAAG,CAAC,CAAC,EAAE,eAAe,CAAC,cAAc,CAAC,EACxE,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,EACvB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CACtB,EACD,MAAM,GAAG,SAAS,EAClB,QAAQ,GAAG,WAAW,CAAC,QAAQ,GAAG,CAAC,CAAC,GAAG,wBAAwB,GAAG,YAAY,GAAG,YAAY,CAuT5F,CAAA;AAEH,eAAO,MAAM,KAAK,EAAE,CAClB,KAAK,CAAC,MAAM,SAAS,OAAO,CAAC,YAAY,EACzC,KAAK,CAAC,MAAM,SAAS,aAAa,CAAC,OAAO,CAAC,YAAY,CAAC,EACxD,KAAK,CAAC,KAAK,SAAS,aAAa,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,SAAS,EAAE,EACrE,KAAK,CAAC,KAAK,SAAS,MAAM,CAAC,GAAG,GAAG,OAAO,MAAM,CAAC,IAAI,EACnD,eAAe,SAAS,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,EACzF,CAAC,GAAG,KAAK,EACT,CAAC,GAAG,KAAK,EACT,QAAQ,GAAG,KAAK,EAChB,QAAQ,GAAG,KAAK,EAChB,WAAW,SAAS,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,GAAG,KAAK,EAC3D,MAAM,GAAG,KAAK,EAEd,OAAO,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,eAAe,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,EAAE,KAAK,CAAC,EAC9G,GAAG,IAAI,EAAE,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,KACnC,MAAM,CAAC,MAAM,CAChB,eAAe,CAAC,UAAU,CACxB,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,EACxB,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,EACrB,CAAC,GACD,QAAQ,GACR,WAAW,CAAC,CAAC,GAAG,QAAQ,CAAC,GACzB,uBAAuB,GACvB,wBAAwB,GACxB,YAAY,GACZ,YAAY,EACd,MAAM,GAAG,SAAS,CACnB,EACD,QAAQ,GAAG,WAAW,CAAC,QAAQ,GAAG,CAAC,CAAC,GAAG,wBAAwB,GAAG,YAAY,GAAG,YAAY,EAC7F,wBAAwB,CACtB,OAAO,CAAC,iBAAiB,CAAC,QAAQ,GAAG,CAAC,CAAC,EAAE,eAAe,CAAC,cAAc,CAAC,EACxE,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,EACvB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CACtB,CAKO,CAAA"}
@@ -0,0 +1,170 @@
1
+ /**
2
+ * Internal machine process integration.
3
+ *
4
+ * @since 4.0.0
5
+ */
6
+ import * as Effect from "effect/Effect";
7
+ import * as Exit from "effect/Exit";
8
+ import * as HashMap from "effect/HashMap";
9
+ import * as Option from "effect/Option";
10
+ import * as Ref from "effect/Ref";
11
+ import * as Scope from "effect/Scope";
12
+ import * as Stream from "effect/Stream";
13
+ import * as Model from "./machineModel.js";
14
+ import * as internalPlanner from "./machinePlanner.js";
15
+ import * as internalRuntime from "./machineRuntime.js";
16
+ const getInvokes = (config, context) => {
17
+ const definition = config?.invoke;
18
+ const invokes = typeof definition === "function" ? definition(context) : definition;
19
+ if (invokes === undefined) {
20
+ return [];
21
+ }
22
+ return Array.isArray(invokes) ? invokes : [invokes];
23
+ };
24
+ export const toProcessLogic = (machine, ...args) => ({
25
+ initial: (scope) => internalRuntime.provideMachineRuntime(Effect.gen(function* () {
26
+ const planned = yield* internalPlanner.planInitial(machine, ...args);
27
+ const runtime = internalPlanner.makeLiveRuntime(machine, scope);
28
+ yield* internalPlanner.runActions(planned.actions, runtime);
29
+ yield* internalPlanner.runEmittedEvents(planned.emittedEvents, runtime);
30
+ return planned.state;
31
+ }), scope),
32
+ run: (context) => internalRuntime.provideMachineRuntime(Effect.gen(function* () {
33
+ const { receive, state, setState } = context;
34
+ let done = false;
35
+ let output = undefined;
36
+ const initialState = yield* state;
37
+ if (internalPlanner.isFinalState(machine, initialState)) {
38
+ return yield* internalPlanner.getFinalOutputEffect(machine, initialState, internalPlanner.InitialEvent);
39
+ }
40
+ const invokeSessions = yield* Ref.make(HashMap.empty());
41
+ const makeInvokeSessionKey = (path, id) => `${path.length}:${path}${id}`;
42
+ const makeInvokeChildId = (path, id) => `Machine.invoke:${makeInvokeSessionKey(path, id)}`;
43
+ const isCurrentInvoke = (key, token) => Ref.get(invokeSessions).pipe(Effect.map((sessions) => {
44
+ const current = HashMap.get(sessions, key);
45
+ return Option.isSome(current) && current.value.token === token;
46
+ }));
47
+ const removeInvoke = (key, token, exit) => Ref.modify(invokeSessions, (sessions) => {
48
+ const current = HashMap.get(sessions, key);
49
+ return Option.isSome(current) && (token === undefined || current.value.token === token)
50
+ ? [current.value, HashMap.remove(sessions, key)]
51
+ : [undefined, sessions];
52
+ }).pipe(Effect.flatMap((session) => session === undefined
53
+ ? Effect.void
54
+ : Scope.close(session.scope, exit).pipe(Effect.andThen(context.stopChild(session.childId)))));
55
+ const stopInvoke = (key, exit) => removeInvoke(key, undefined, exit);
56
+ const stopAllInvokes = (exit) => Ref.modify(invokeSessions, (sessions) => [HashMap.toEntries(sessions), HashMap.empty()]).pipe(Effect.flatMap((sessions) => Effect.all(sessions.map(([, session]) => Scope.close(session.scope, exit).pipe(Effect.andThen(context.stopChild(session.childId)))), { discard: true, concurrency: "unbounded" })));
57
+ const startInvokeWatchers = Effect.fnUntraced(function* (config, child, key, token, scope) {
58
+ if (config.snapshot !== undefined) {
59
+ const mapSnapshot = config.snapshot;
60
+ yield* child.changes.pipe(Stream.filter((snapshot) => snapshot.status === "active"), Stream.runForEach((snapshot) => isCurrentInvoke(key, token).pipe(Effect.flatMap((isCurrent) => {
61
+ if (!isCurrent) {
62
+ return Effect.void;
63
+ }
64
+ const mappedEvent = mapSnapshot({ id: config.id, snapshot });
65
+ return mappedEvent === undefined
66
+ ? Effect.void
67
+ : context.self.send(mappedEvent).pipe(Effect.catchTag("StoppedError", () => Effect.void));
68
+ }))), Effect.forkIn(scope), Effect.asVoid);
69
+ }
70
+ yield* internalRuntime.watch(child).pipe(Stream.runForEach((outcome) => isCurrentInvoke(key, token).pipe(Effect.flatMap((isCurrent) => {
71
+ if (!isCurrent || outcome._tag === "Stopped") {
72
+ return Effect.void;
73
+ }
74
+ if (outcome._tag === "Done") {
75
+ const mappedEvent = config.onDone === undefined
76
+ ? outcome.output
77
+ : config.onDone({ id: config.id, output: outcome.output });
78
+ return mappedEvent === undefined
79
+ ? Effect.void
80
+ : context.self.send(mappedEvent).pipe(Effect.catchTag("StoppedError", () => Effect.void));
81
+ }
82
+ return context.failCause(outcome.cause);
83
+ }))), Effect.forkIn(scope), Effect.asVoid);
84
+ });
85
+ const startInvoke = Effect.fnUntraced(function* (path, config) {
86
+ const token = Symbol();
87
+ const invokeId = String(config.id);
88
+ const key = makeInvokeSessionKey(path, invokeId);
89
+ const childId = config.addressable === true ? invokeId : makeInvokeChildId(path, invokeId);
90
+ const scope = yield* Scope.make("parallel");
91
+ yield* Ref.update(invokeSessions, (sessions) => HashMap.set(sessions, key, { token, scope, childId, path }));
92
+ const logic = config.src();
93
+ const sendParent = (event) => isCurrentInvoke(key, token).pipe(Effect.flatMap((isCurrent) => isCurrent ? context.self.send(event) : Effect.void));
94
+ const child = yield* context.spawn({
95
+ initial: (childScope) => logic.initial({ ...childScope, sendParent }),
96
+ run: (childContext) => logic.run({ ...childContext, sendParent })
97
+ }, { id: childId }).pipe(Effect.onExit((exit) => Exit.isFailure(exit)
98
+ ? Ref.update(invokeSessions, (sessions) => {
99
+ const current = HashMap.get(sessions, key);
100
+ return Option.isSome(current) && current.value.token === token
101
+ ? HashMap.remove(sessions, key)
102
+ : sessions;
103
+ }).pipe(Effect.andThen(Scope.close(scope, Exit.failCause(exit.cause))))
104
+ : Effect.void));
105
+ yield* startInvokeWatchers(config, child, key, token, scope);
106
+ });
107
+ const startInvokes = Effect.fnUntraced(function* (state, paths, event) {
108
+ const configuration = yield* Model.normalizeConfigurationEffect(machine, state);
109
+ yield* Effect.all(internalPlanner.sortEntryPaths(machine, paths)
110
+ .filter((path) => configuration.active.has(path))
111
+ .flatMap((path) => getInvokes(Model.getStateConfigByPath(machine, path), {
112
+ state: Model.getActiveValue(configuration, path),
113
+ parents: Model.getParentValues(machine, configuration, path),
114
+ event,
115
+ runtime: internalPlanner.runtimeFor()
116
+ }).map((config) => startInvoke(path, config))), { discard: true });
117
+ });
118
+ const stopInvokes = (paths) => Ref.get(invokeSessions).pipe(Effect.flatMap((sessions) => Effect.all(internalPlanner.sortExitPaths(machine, paths).flatMap((path) => HashMap.toEntries(sessions)
119
+ .filter(([, session]) => session.path === path)
120
+ .map(([key]) => stopInvoke(key, Exit.void))), { discard: true, concurrency: "unbounded" })));
121
+ return yield* Effect.gen(function* () {
122
+ yield* startInvokes(initialState, Model.getInitialEntryPaths(machine, yield* Model.normalizeConfigurationEffect(machine, initialState)), internalPlanner.InitialEvent);
123
+ yield* Effect.whileLoop({
124
+ while: () => !done,
125
+ body: () => Effect.gen(function* () {
126
+ const event = yield* receive;
127
+ const current = yield* state;
128
+ const planned = yield* internalPlanner.plan(machine, current, event);
129
+ if (planned.microsteps.length === 0) {
130
+ return yield* Effect.yieldNow;
131
+ }
132
+ const changed = planned.microsteps.some((step) => step.changed);
133
+ const exitPaths = planned.microsteps.flatMap((step) => step.exitPaths);
134
+ const entryEvents = new Map();
135
+ for (const step of planned.microsteps) {
136
+ if (step.changed) {
137
+ for (const path of step.entryPaths) {
138
+ entryEvents.set(path, step.event);
139
+ }
140
+ }
141
+ }
142
+ const runtime = internalPlanner.makeLiveRuntime(machine, context);
143
+ yield* internalPlanner.runActions(planned.actions, runtime);
144
+ if (changed) {
145
+ yield* stopInvokes(exitPaths);
146
+ }
147
+ yield* setState(planned.next);
148
+ yield* internalPlanner.runEmittedEvents(planned.emittedEvents, runtime);
149
+ if (internalPlanner.isFinalState(machine, planned.next)) {
150
+ done = true;
151
+ output = planned.output;
152
+ yield* stopAllInvokes(Exit.succeed(output));
153
+ }
154
+ else {
155
+ if (changed) {
156
+ for (const [path, entryEvent] of entryEvents) {
157
+ yield* startInvokes(planned.next, [path], entryEvent);
158
+ }
159
+ }
160
+ yield* Effect.yieldNow;
161
+ }
162
+ }),
163
+ step: () => undefined
164
+ });
165
+ return output;
166
+ }).pipe(Effect.onExit((exit) => stopAllInvokes(exit)));
167
+ }), context)
168
+ });
169
+ export const start = (machine, ...args) => internalRuntime.startProcess(toProcessLogic(machine, ...args), machine.id === undefined ? undefined : { id: machine.id });
170
+ //# sourceMappingURL=machineProcess.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"machineProcess.js","sourceRoot":"","sources":["../../src/internal/machineProcess.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,IAAI,MAAM,aAAa,CAAA;AACnC,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAA;AACzC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,GAAG,MAAM,YAAY,CAAA;AAEjC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAGvC,OAAO,KAAK,KAAK,MAAM,mBAAmB,CAAA;AAC1C,OAAO,KAAK,eAAe,MAAM,qBAAqB,CAAA;AACtD,OAAO,KAAK,eAAe,MAAM,qBAAqB,CAAA;AAqBtD,MAAM,UAAU,GAAG,CACjB,MAA0C,EAC1C,OAAkD,EAClB,EAAE;IAClC,MAAM,UAAU,GAAG,MAAM,EAAE,MAAM,CAAA;IACjC,MAAM,OAAO,GAAG,OAAO,UAAU,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,UAAU,CAAA;IACnF,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,OAAO,EAAE,CAAA;IACX,CAAC;IACD,OAAO,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAyC,CAAC,CAAC,CAAC,CAAC,OAA0B,CAAC,CAAA;AAC1G,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,cAAc,GA0BvB,CAaF,OAA8G,EAC9G,GAAG,IAAmC,EACtC,EAAE,CACF,CAAC;IACC,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,CACjB,eAAe,CAAC,qBAAqB,CACnC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,eAAe,CAAC,WAAW,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,CAAA;QACpE,MAAM,OAAO,GAAG,eAAe,CAAC,eAAe,CAC7C,OAAO,EACP,KAAK,CACN,CAAA;QACD,KAAK,CAAC,CAAC,eAAe,CAAC,UAAU,CAC/B,OAAO,CAAC,OAAO,EACf,OAAO,CACR,CAAA;QACD,KAAK,CAAC,CAAC,eAAe,CAAC,gBAAgB,CAAC,OAAO,CAAC,aAAa,EAAE,OAAO,CAAC,CAAA;QACvE,OAAO,OAAO,CAAC,KAAK,CAAA;IACtB,CAAC,CAAC,EACF,KAAK,CACN;IACH,GAAG,EAAE,CAAC,OAAO,EAAE,EAAE,CACf,eAAe,CAAC,qBAAqB,CACnC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAA;QAC5C,IAAI,IAAI,GAAG,KAAK,CAAA;QAChB,IAAI,MAAM,GAAuB,SAAS,CAAA;QAE1C,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,KAAK,CAAA;QACjC,IAAI,eAAe,CAAC,YAAY,CAAC,OAAO,EAAE,YAAY,CAAC,EAAE,CAAC;YACxD,OAAO,KAAK,CAAC,CAAC,eAAe,CAAC,oBAAoB,CAChD,OAAO,EACP,YAAY,EACZ,eAAe,CAAC,YAAY,CAC7B,CAAA;QACH,CAAC;QAED,MAAM,cAAc,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CACpC,OAAO,CAAC,KAAK,EAAE,CAChB,CAAA;QACD,MAAM,oBAAoB,GAAG,CAAC,IAAY,EAAE,EAAU,EAAU,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,GAAG,EAAE,EAAE,CAAA;QAChG,MAAM,iBAAiB,GAAG,CAAC,IAAY,EAAE,EAAU,EAAU,EAAE,CAC7D,kBAAkB,oBAAoB,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAA;QACpD,MAAM,eAAe,GAAG,CAAC,GAAW,EAAE,KAAa,EAA0B,EAAE,CAC7E,GAAG,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,IAAI,CAC1B,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE;YACtB,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAA;YAC1C,OAAO,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,KAAK,KAAK,CAAA;QAChE,CAAC,CAAC,CACH,CAAA;QACH,MAAM,YAAY,GAAG,CACnB,GAAW,EACX,KAAyB,EACzB,IAAiC,EACZ,EAAE,CACvB,GAAG,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC,QAAQ,EAAE,EAAE;YACtC,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAA;YAC1C,OAAO,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC;gBACrF,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAU;gBACzD,CAAC,CAAC,CAAC,SAAS,EAAE,QAAQ,CAAU,CAAA;QACpC,CAAC,CAAC,CAAC,IAAI,CACL,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CACzB,OAAO,KAAK,SAAS;YACnB,CAAC,CAAC,MAAM,CAAC,IAAI;YACb,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CACrC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CACnD,CACJ,CACF,CAAA;QACH,MAAM,UAAU,GAAG,CAAC,GAAW,EAAE,IAAiC,EAAuB,EAAE,CACzF,YAAY,CAAC,GAAG,EAAE,SAAS,EAAE,IAAI,CAAC,CAAA;QACpC,MAAM,cAAc,GAAG,CAAC,IAAiC,EAAuB,EAAE,CAChF,GAAG,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC,KAAK,EAAE,CAAU,CAAC,CAAC,IAAI,CACpG,MAAM,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAC1B,MAAM,CAAC,GAAG,CACR,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,EAAE,CAC3B,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CACnC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CACnD,CACF,EACD,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,EAAE,CAC5C,CACF,CACF,CAAA;QACH,MAAM,mBAAmB,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EACrD,MAAuB,EACvB,KAAqD,EACrD,GAAW,EACX,KAAa,EACb,KAAsB;YAEtB,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAClC,MAAM,WAAW,GAAG,MAAM,CAAC,QAAQ,CAAA;gBACnC,KAAK,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CACvB,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,EACzD,MAAM,CAAC,UAAU,CAAC,CAAC,QAAQ,EAAE,EAAE,CAC7B,eAAe,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,IAAI,CAC9B,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE;oBAC3B,IAAI,CAAC,SAAS,EAAE,CAAC;wBACf,OAAO,MAAM,CAAC,IAAI,CAAA;oBACpB,CAAC;oBACD,MAAM,WAAW,GAAG,WAAW,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAA;oBAC5D,OAAO,WAAW,KAAK,SAAS;wBAC9B,CAAC,CAAC,MAAM,CAAC,IAAI;wBACb,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,WAAsC,CAAC,CAAC,IAAI,CAC9D,MAAM,CAAC,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CACnD,CAAA;gBACL,CAAC,CAAC,CACH,CACF,EACD,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EACpB,MAAM,CAAC,MAAM,CACd,CAAA;YACH,CAAC;YACD,KAAK,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CACtC,MAAM,CAAC,UAAU,CAAC,CAAC,OAAO,EAAE,EAAE,CAC5B,eAAe,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,IAAI,CAC9B,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE;gBAC3B,IAAI,CAAC,SAAS,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;oBAC7C,OAAO,MAAM,CAAC,IAAI,CAAA;gBACpB,CAAC;gBACD,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;oBAC5B,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,KAAK,SAAS;wBAC7C,CAAC,CAAC,OAAO,CAAC,MAAM;wBAChB,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAA;oBAC5D,OAAO,WAAW,KAAK,SAAS;wBAC9B,CAAC,CAAC,MAAM,CAAC,IAAI;wBACb,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,WAAsC,CAAC,CAAC,IAAI,CAC9D,MAAM,CAAC,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CACnD,CAAA;gBACL,CAAC;gBACD,OAAO,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;YACzC,CAAC,CAAC,CACH,CACF,EACD,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EACpB,MAAM,CAAC,MAAM,CACd,CAAA;QACH,CAAC,CAAC,CAAA;QACF,MAAM,WAAW,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAC7C,IAAa,EACb,MAAuB;YAEvB,MAAM,KAAK,GAAG,MAAM,EAAE,CAAA;YACtB,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;YAClC,MAAM,GAAG,GAAG,oBAAoB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;YAChD,MAAM,OAAO,GAAG,MAAM,CAAC,WAAW,KAAK,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;YAC1F,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;YAC3C,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAA;YAC5G,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,EAAE,CAAA;YAC1B,MAAM,UAAU,GAAG,CAAC,KAAc,EAAqC,EAAE,CACvE,eAAe,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,IAAI,CAC9B,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CAC3B,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,KAAgC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAC9E,CACF,CAAA;YACH,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,CAChC;gBACE,OAAO,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,GAAG,UAAU,EAAE,UAAU,EAAE,CAAC;gBACrE,GAAG,EAAE,CAAC,YAAY,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,GAAG,YAAY,EAAE,UAAU,EAAE,CAAC;aAClE,EACD,EAAE,EAAE,EAAE,OAAO,EAAE,CAChB,CAAC,IAAI,CACJ,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CACrB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;gBAClB,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC,QAAQ,EAAE,EAAE;oBACxC,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAA;oBAC1C,OAAO,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,KAAK,KAAK;wBAC5D,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC;wBAC/B,CAAC,CAAC,QAAQ,CAAA;gBACd,CAAC,CAAC,CAAC,IAAI,CACL,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAC/D;gBACD,CAAC,CAAC,MAAM,CAAC,IAAI,CAChB,CACF,CAAA;YACD,KAAK,CAAC,CAAC,mBAAmB,CAAC,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;QAC9D,CAAC,CAAC,CAAA;QACF,MAAM,YAAY,GAI0C,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EACrF,KAA+B,EAC/B,KAA4B,EAC5B,KAAqC;YAErC,MAAM,aAAa,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,4BAA4B,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;YAC/E,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CACf,eAAe,CAAC,cAAc,CAAC,OAAO,EAAE,KAAK,CAAC;iBAC3C,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;iBAChD,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAChB,UAAU,CAAC,KAAK,CAAC,oBAAoB,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE;gBACpD,KAAK,EAAE,KAAK,CAAC,cAAc,CAAC,aAAa,EAAE,IAAI,CAAC;gBAChD,OAAO,EAAE,KAAK,CAAC,eAAe,CAAC,OAAO,EAAE,aAAa,EAAE,IAAI,CAAC;gBAC5D,KAAK;gBACL,OAAO,EAAE,eAAe,CAAC,UAAU,EAAkD;aACtF,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAChB,WAAW,CACT,IAAuC,EACvC,MAAM,CACiD,CAC1D,CACF,EACH,EAAE,OAAO,EAAE,IAAI,EAAE,CAClB,CAAA;QACH,CAAC,CAAC,CAAA;QACF,MAAM,WAAW,GAAG,CAAC,KAA4B,EAAuB,EAAE,CACxE,GAAG,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,IAAI,CAC1B,MAAM,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAC1B,MAAM,CAAC,GAAG,CACR,eAAe,CAAC,aAAa,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAC7D,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC;aACxB,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,IAAI,CAAC;aAC9C,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAC9C,EACD,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,EAAE,CAC5C,CACF,CACF,CAAA;QAEH,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAChC,KAAK,CAAC,CAAC,YAAY,CACjB,YAAY,EACZ,KAAK,CAAC,oBAAoB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,KAAK,CAAC,4BAA4B,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC,EACrG,eAAe,CAAC,YAAY,CAC7B,CAAA;YAED,KAAK,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC;gBACtB,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI;gBAClB,IAAI,EAAE,GAAG,EAAE,CACT,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;oBAClB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,OAAO,CAAA;oBAC5B,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,KAAK,CAAA;oBAC5B,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,CAAA;oBACpE,IAAI,OAAO,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;wBACpC,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAA;oBAC/B,CAAC;oBACD,MAAM,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;oBAC/D,MAAM,SAAS,GAAG,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;oBACtE,MAAM,WAAW,GAAG,IAAI,GAAG,EAA0C,CAAA;oBACrE,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;wBACtC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;4BACjB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gCACnC,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,KAAuC,CAAC,CAAA;4BACrE,CAAC;wBACH,CAAC;oBACH,CAAC;oBAED,MAAM,OAAO,GAAG,eAAe,CAAC,eAAe,CAC7C,OAAO,EACP,OAAO,CACR,CAAA;oBACD,KAAK,CAAC,CAAC,eAAe,CAAC,UAAU,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,CAAA;oBAC3D,IAAI,OAAO,EAAE,CAAC;wBACZ,KAAK,CAAC,CAAC,WAAW,CAAC,SAAS,CAAC,CAAA;oBAC/B,CAAC;oBACD,KAAK,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;oBAC7B,KAAK,CAAC,CAAC,eAAe,CAAC,gBAAgB,CACrC,OAAO,CAAC,aAAqD,EAC7D,OAAO,CACR,CAAA;oBAED,IAAI,eAAe,CAAC,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;wBACxD,IAAI,GAAG,IAAI,CAAA;wBACX,MAAM,GAAG,OAAO,CAAC,MAAM,CAAA;wBACvB,KAAK,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAA;oBAC7C,CAAC;yBAAM,CAAC;wBACN,IAAI,OAAO,EAAE,CAAC;4BACZ,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,WAAW,EAAE,CAAC;gCAC7C,KAAK,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,CAAA;4BACvD,CAAC;wBACH,CAAC;wBACD,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAA;oBACxB,CAAC;gBACH,CAAC,CAAC;gBACJ,IAAI,EAAE,GAAG,EAAE,CAAC,SAAS;aACtB,CAAC,CAAA;YAEF,OAAO,MAAM,CAAA;QACf,CAAC,CAAC,CAAC,IAAI,CACL,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAC9C,CAAA;IACH,CAAC,CAAC,EACF,OAAO,CACR;CACJ,CAWA,CAAA;AAEH,MAAM,CAAC,MAAM,KAAK,GAkCd,CAAC,OAAO,EAAE,GAAG,IAAI,EAAE,EAAE,CACvB,eAAe,CAAC,YAAY,CAC1B,cAAc,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,EAChC,OAAO,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,CACnD,CAAA"}
@@ -0,0 +1,119 @@
1
+ /**
2
+ * Internal machine process runtime helpers.
3
+ *
4
+ * @since 4.0.0
5
+ */
6
+ import * as Cause from "effect/Cause";
7
+ import * as Context from "effect/Context";
8
+ import * as Effect from "effect/Effect";
9
+ import * as Option from "effect/Option";
10
+ import * as Scope from "effect/Scope";
11
+ import * as Stream from "effect/Stream";
12
+ import { ChildAlreadyExistsError, StoppedError } from "./machineErrors.js";
13
+ export type RuntimeSnapshot<State, Error = never, Output = never> = {
14
+ readonly status: "active";
15
+ readonly state: State;
16
+ } | {
17
+ readonly status: "done";
18
+ readonly state: State;
19
+ readonly output: Output;
20
+ } | {
21
+ readonly status: "error";
22
+ readonly state: State;
23
+ readonly cause: Cause.Cause<Error>;
24
+ } | {
25
+ readonly status: "stopped";
26
+ readonly state: State;
27
+ };
28
+ export type RuntimeOutcome<State, Error = never, Output = never> = {
29
+ readonly _tag: "Done";
30
+ readonly output: Output;
31
+ readonly snapshot: Extract<RuntimeSnapshot<State, Error, Output>, {
32
+ readonly status: "done";
33
+ }>;
34
+ } | {
35
+ readonly _tag: "Failure";
36
+ readonly error: Error;
37
+ readonly cause: Cause.Cause<Error>;
38
+ readonly snapshot: Extract<RuntimeSnapshot<State, Error, Output>, {
39
+ readonly status: "error";
40
+ }>;
41
+ } | {
42
+ readonly _tag: "Defect";
43
+ readonly defect: unknown;
44
+ readonly cause: Cause.Cause<Error>;
45
+ readonly snapshot: Extract<RuntimeSnapshot<State, Error, Output>, {
46
+ readonly status: "error";
47
+ }>;
48
+ } | {
49
+ readonly _tag: "Interrupted";
50
+ readonly cause: Cause.Cause<Error>;
51
+ readonly snapshot: Extract<RuntimeSnapshot<State, Error, Output>, {
52
+ readonly status: "error";
53
+ }>;
54
+ } | {
55
+ readonly _tag: "Cause";
56
+ readonly cause: Cause.Cause<Error>;
57
+ readonly snapshot: Extract<RuntimeSnapshot<State, Error, Output>, {
58
+ readonly status: "error";
59
+ }>;
60
+ } | {
61
+ readonly _tag: "Stopped";
62
+ readonly snapshot: Extract<RuntimeSnapshot<State, Error, Output>, {
63
+ readonly status: "stopped";
64
+ }>;
65
+ };
66
+ export interface MachineRef<out State, in Event, out Error = never, out Output = never> {
67
+ readonly id: string;
68
+ readonly sessionId: string;
69
+ readonly state: Effect.Effect<State>;
70
+ readonly snapshot: Effect.Effect<RuntimeSnapshot<State, Error, Output>>;
71
+ readonly changes: Stream.Stream<RuntimeSnapshot<State, Error, Output>>;
72
+ readonly join: Effect.Effect<Output, Error | StoppedError>;
73
+ readonly stop: Effect.Effect<void>;
74
+ readonly send: (event: Event) => Effect.Effect<void, StoppedError>;
75
+ readonly child: (child: any) => Effect.Effect<Option.Option<any>>;
76
+ readonly childChanges: (child: any) => Stream.Stream<Option.Option<any>>;
77
+ }
78
+ interface ProcessAddress<in Event> {
79
+ readonly id: string;
80
+ readonly sessionId: string;
81
+ readonly stop: Effect.Effect<void>;
82
+ readonly send: (event: Event) => Effect.Effect<void, StoppedError>;
83
+ }
84
+ export interface ProcessScope<Event> {
85
+ readonly self: ProcessAddress<Event>;
86
+ readonly parent: ProcessAddress<unknown> | undefined;
87
+ readonly spawn: ProcessSpawn;
88
+ readonly sendParent: (event: unknown) => Effect.Effect<void, StoppedError>;
89
+ readonly sendTo: <Address extends string>(id: Address, event: unknown) => Effect.Effect<void, StoppedError>;
90
+ readonly stopChild: (id: string) => Effect.Effect<void>;
91
+ /** @internal */
92
+ readonly failCause: (cause: Cause.Cause<unknown>) => Effect.Effect<void>;
93
+ }
94
+ export interface ProcessContext<State, Event> extends ProcessScope<Event> {
95
+ readonly receive: Effect.Effect<Event>;
96
+ readonly state: Effect.Effect<State>;
97
+ readonly setState: (state: State) => Effect.Effect<void>;
98
+ readonly updateState: <E, R>(f: (state: State) => Effect.Effect<State, E, R>) => Effect.Effect<void, E, R>;
99
+ }
100
+ export interface ProcessLogic<State, Event, out Error = never, out Requirements = never, out Output = never, out InitialError = never> {
101
+ initial(scope: ProcessScope<Event>): Effect.Effect<State, InitialError, Requirements>;
102
+ run(context: ProcessContext<State, Event>): Effect.Effect<Output, Error, Requirements>;
103
+ }
104
+ export interface ProcessSpawn {
105
+ <ChildState, ChildEvent, ChildError, ChildRequirements, ChildOutput, ChildInitialError = never>(logic: ProcessLogic<ChildState, ChildEvent, ChildError, ChildRequirements, ChildOutput, ChildInitialError>): Effect.Effect<MachineRef<ChildState, ChildEvent, ChildError | ChildInitialError, ChildOutput>, ChildInitialError, Exclude<ChildRequirements, Scope.Scope>>;
106
+ <ChildState, ChildEvent, ChildError, ChildRequirements, ChildOutput, ChildInitialError = never>(logic: ProcessLogic<ChildState, ChildEvent, ChildError, ChildRequirements, ChildOutput, ChildInitialError>, options: {
107
+ readonly id: string;
108
+ }): Effect.Effect<MachineRef<ChildState, ChildEvent, ChildError | ChildInitialError, ChildOutput>, ChildAlreadyExistsError | ChildInitialError, Exclude<ChildRequirements, Scope.Scope>>;
109
+ }
110
+ declare const MachineRuntime_base: Context.ServiceClass<MachineRuntime, "effect/Machine/MachineRuntime", ProcessScope<any>>;
111
+ export declare class MachineRuntime extends MachineRuntime_base {
112
+ }
113
+ export declare const provideMachineRuntime: <A, E, R, Event>(effect: Effect.Effect<A, E, R>, scope: ProcessScope<Event>) => Effect.Effect<A, E, Exclude<R, MachineRuntime>>;
114
+ export declare const watch: <State, Event, Error = never, Output = never>(ref: MachineRef<State, Event, Error, Output>) => Stream.Stream<RuntimeOutcome<State, Error, Output>>;
115
+ export declare const startProcess: <State, Event, Error = never, Requirements = never, Output = never, InitialError = never>(logic: ProcessLogic<State, Event, Error, Requirements, Output, InitialError>, options?: {
116
+ readonly id?: string;
117
+ }) => Effect.Effect<MachineRef<State, Event, Error | InitialError, Output>, InitialError, Requirements>;
118
+ export {};
119
+ //# sourceMappingURL=machineRuntime.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"machineRuntime.d.ts","sourceRoot":"","sources":["../../src/internal/machineRuntime.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AAErC,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAA;AAEzC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAIvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAIvC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAIvC,OAAO,EAAE,uBAAuB,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AAkB1E,MAAM,MAAM,eAAe,CAAC,KAAK,EAAE,KAAK,GAAG,KAAK,EAAE,MAAM,GAAG,KAAK,IAC5D;IACA,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;CACtB,GACC;IACA,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACxB,GACC;IACA,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;IACxB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;CACnC,GACC;IACA,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAA;IAC1B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;CACtB,CAAA;AAOH,MAAM,MAAM,cAAc,CAAC,KAAK,EAAE,KAAK,GAAG,KAAK,EAAE,MAAM,GAAG,KAAK,IAC3D;IACA,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,eAAe,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,EAAE;QAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;CAC/F,GACC;IACA,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;IACxB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;IAClC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,eAAe,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,EAAE;QAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;KAAE,CAAC,CAAA;CAChG,GACC;IACA,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;IACvB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;IACxB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;IAClC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,eAAe,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,EAAE;QAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;KAAE,CAAC,CAAA;CAChG,GACC;IACA,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAA;IAC5B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;IAClC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,eAAe,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,EAAE;QAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;KAAE,CAAC,CAAA;CAChG,GACC;IACA,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IACtB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;IAClC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,eAAe,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,EAAE;QAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;KAAE,CAAC,CAAA;CAChG,GACC;IACA,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;IACxB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,eAAe,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,EAAE;QAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAA;KAAE,CAAC,CAAA;CAClG,CAAA;AAEH,MAAM,WAAW,UAAU,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,GAAG,CAAC,KAAK,GAAG,KAAK,EAAE,GAAG,CAAC,MAAM,GAAG,KAAK;IACpF,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;IACpC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAA;IACvE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAA;IACtE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,YAAY,CAAC,CAAA;IAC1D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAClC,QAAQ,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,CAAA;IAClE,QAAQ,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,GAAG,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAA;IACjE,QAAQ,CAAC,YAAY,EAAE,CAAC,KAAK,EAAE,GAAG,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAA;CACzE;AAED,UAAU,cAAc,CAAC,EAAE,CAAC,KAAK;IAC/B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAClC,QAAQ,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,CAAA;CACnE;AAED,MAAM,WAAW,YAAY,CAAC,KAAK;IACjC,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC,KAAK,CAAC,CAAA;IACpC,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC,OAAO,CAAC,GAAG,SAAS,CAAA;IACpD,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAA;IAC5B,QAAQ,CAAC,UAAU,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,CAAA;IAC1E,QAAQ,CAAC,MAAM,EAAE,CAAC,OAAO,SAAS,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,CAAA;IAC3G,QAAQ,CAAC,SAAS,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IACvD,gBAAgB;IAChB,QAAQ,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;CACzE;AAED,MAAM,WAAW,cAAc,CAAC,KAAK,EAAE,KAAK,CAAE,SAAQ,YAAY,CAAC,KAAK,CAAC;IACvE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;IACtC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;IACpC,QAAQ,CAAC,QAAQ,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IACxD,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC,EAAE,CAAC,EACzB,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,KAC5C,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CAC/B;AAED,MAAM,WAAW,YAAY,CAC3B,KAAK,EACL,KAAK,EACL,GAAG,CAAC,KAAK,GAAG,KAAK,EACjB,GAAG,CAAC,YAAY,GAAG,KAAK,EACxB,GAAG,CAAC,MAAM,GAAG,KAAK,EAClB,GAAG,CAAC,YAAY,GAAG,KAAK;IAExB,OAAO,CAAC,KAAK,EAAE,YAAY,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,YAAY,EAAE,YAAY,CAAC,CAAA;IACrF,GAAG,CAAC,OAAO,EAAE,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,YAAY,CAAC,CAAA;CACvF;AAED,MAAM,WAAW,YAAY;IAC3B,CAAC,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,iBAAiB,EAAE,WAAW,EAAE,iBAAiB,GAAG,KAAK,EAC5F,KAAK,EAAE,YAAY,CAAC,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,iBAAiB,EAAE,WAAW,EAAE,iBAAiB,CAAC,GACzG,MAAM,CAAC,MAAM,CACd,UAAU,CAAC,UAAU,EAAE,UAAU,EAAE,UAAU,GAAG,iBAAiB,EAAE,WAAW,CAAC,EAC/E,iBAAiB,EACjB,OAAO,CAAC,iBAAiB,EAAE,KAAK,CAAC,KAAK,CAAC,CACxC,CAAA;IACD,CAAC,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,iBAAiB,EAAE,WAAW,EAAE,iBAAiB,GAAG,KAAK,EAC5F,KAAK,EAAE,YAAY,CAAC,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,iBAAiB,EAAE,WAAW,EAAE,iBAAiB,CAAC,EAC1G,OAAO,EAAE;QACP,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;KACpB,GACA,MAAM,CAAC,MAAM,CACd,UAAU,CAAC,UAAU,EAAE,UAAU,EAAE,UAAU,GAAG,iBAAiB,EAAE,WAAW,CAAC,EAC/E,uBAAuB,GAAG,iBAAiB,EAC3C,OAAO,CAAC,iBAAiB,EAAE,KAAK,CAAC,KAAK,CAAC,CACxC,CAAA;CACF;;AAED,qBAAa,cAAe,SAAQ,mBAEnC;CAAG;AAEJ,eAAO,MAAM,qBAAqB,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAClD,QAAQ,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAC9B,OAAO,YAAY,CAAC,KAAK,CAAC,KACzB,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,cAAc,CAAC,CAC0B,CAAA;AA0D3E,eAAO,MAAM,KAAK,GAAI,KAAK,EAAE,KAAK,EAAE,KAAK,GAAG,KAAK,EAAE,MAAM,GAAG,KAAK,EAC/D,KAAK,UAAU,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,KAC3C,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAKlD,CAAA;AA6iBH,eAAO,MAAM,YAAY,EAAE,CACzB,KAAK,EACL,KAAK,EACL,KAAK,GAAG,KAAK,EACb,YAAY,GAAG,KAAK,EACpB,MAAM,GAAG,KAAK,EACd,YAAY,GAAG,KAAK,EAEpB,KAAK,EAAE,YAAY,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,YAAY,CAAC,EAC5E,OAAO,CAAC,EAAE;IACR,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAA;CACrB,KACE,MAAM,CAAC,MAAM,CAChB,UAAU,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,GAAG,YAAY,EAAE,MAAM,CAAC,EACtD,YAAY,EACZ,YAAY,CAuBZ,CAAA"}