@typeonce/effect-machine 0.12.0 → 0.13.0

package/src/internal/machine/symbols.ts

@@ -1,5 +1,8 @@
 /** @internal */
 export const InitialEventTypeId: unique symbol = Symbol("effect/Machine/InitialEvent")
 
+/** @internal */
+export const SnapshotBuilderStateTypeId: unique symbol = Symbol("effect/Machine/SnapshotBuilderState")
+
 /** @internal Returns process logic for a child descriptor and optional input. */
 export const ChildMachineLogicTypeId: unique symbol = Symbol("effect/Machine/ChildMachineLogic")

package/src/internal/machine/topology.ts

@@ -19,6 +19,8 @@ export const StateConstructionTypeId: unique symbol = Symbol("effect/Machine/Sta
 
 export const HistoryTargetTypeId: unique symbol = Symbol("effect/Machine/HistoryTarget")
 
+export const InitialTargetTypeId: unique symbol = Symbol("effect/Machine/InitialTarget")
+
 export const ChoiceTargetTypeId: unique symbol = Symbol("effect/Machine/ChoiceTarget")
 
 export const NoTargetTypeId: unique symbol = Symbol("effect/Machine/NoTarget")
@@ -36,6 +38,17 @@ export interface HistoryTarget {
   readonly parent: string
 }
 
+/** Internal instruction that enters the selected state's declared initial
+ * configuration. The planner supplies implicit child values through the
+ * owning states' `initialize` handlers. */
+export interface InitialTarget {
+  readonly [InitialTargetTypeId]: typeof InitialTargetTypeId
+  readonly _tag: "InitialTarget"
+  readonly path: string
+  readonly value: unknown
+  readonly values?: Readonly<Record<string, unknown>>
+}
+
 /** Internal target produced by a choice target builder. */
 export interface ChoiceTarget {
   readonly [ChoiceTargetTypeId]: typeof ChoiceTargetTypeId
@@ -65,6 +78,20 @@ export const makeHistoryTarget = (path: string, parent: string): HistoryTarget =
 
 export const isHistoryTarget = (u: unknown): u is HistoryTarget => hasProperty(u, HistoryTargetTypeId)
 
+export const makeInitialTarget = (
+  path: string,
+  value: unknown,
+  values?: Readonly<Record<string, unknown>>
+): InitialTarget => ({
+  [InitialTargetTypeId]: InitialTargetTypeId,
+  _tag: "InitialTarget",
+  path,
+  value,
+  ...(values === undefined ? {} : { values })
+})
+
+export const isInitialTarget = (u: unknown): u is InitialTarget => hasProperty(u, InitialTargetTypeId)
+
 export const makeChoiceTarget = (
   path: string,
   parent: string,

package/src/internal/testing/machine/finiteModel.ts

@@ -1449,15 +1449,16 @@ const makeHandlers = (
           ...(Object.keys(history).length === 0 ? {} : { history }),
           ...(node._tag === "Compound"
             ? {
-              initial: () => stateValue(byPath.get(`${path}.${node.initial}`)!)
+              initialize: ({ builder }: any) => builder(stateValue(byPath.get(`${path}.${node.initial}`)!))
             }
             : {
-              initial: () =>
-                Object.fromEntries(
-                  node.states
-                    .filter((child) => child._tag !== "History" && child._tag !== "Choice")
-                    .map((child) => [child.key, stateValue(byPath.get(`${path}.${child.key}`)!)])
-                )
+              initialize: ({ builder }: any) =>
+                node.states
+                  .filter((child) => child._tag !== "History" && child._tag !== "Choice")
+                  .reduce(
+                    (current: any, child) => current[child.key](stateValue(byPath.get(`${path}.${child.key}`)!)),
+                    builder
+                  )
             }),
           states: makeHandlers(node.states, path, byPath, transitions)
         }

package/src/unstable/reactivity/AtomMachine.ts

@@ -179,6 +179,18 @@ export const emissions: <State, Event, Error, Output, StartError, Emitted>(
   self: MachineAtom<State, Event, Error, Output, StartError, Emitted>
 ) => Stream.Stream<Emitted, StartError, AtomRegistry.AtomRegistry> = internal.emissions
 
+/**
+ * Observes the ordered local inspection records for the machine atom's root
+ * ownership tree. The stream starts before machine initialization, is hot and
+ * non-replayed, and completes with the root machine.
+ *
+ * @category getters
+ * @since 0.13.0
+ */
+export const inspection: <State, Event, Error, Output, StartError, Emitted>(
+  self: MachineAtom<State, Event, Error, Output, StartError, Emitted>
+) => Stream.Stream<Machine.Inspection.Event, StartError, AtomRegistry.AtomRegistry> = internal.inspection
+
 /**
  * Observes emissions from each active instance selected by a child bridge.
  *