@typeonce/effect-machine 0.6.0 → 0.7.0

package/README.md

@@ -204,9 +204,10 @@ Binding a shared runtime once is the canonical form for service-backed
 applications. Service-free machines can use `AtomMachine.make(Counter)`.
 
 The bridge exposes `ref`, `snapshot`, `state`, fail-aware `result`, writable
-`send` and `stop` atoms, and `child(descriptor)`. Use `AtomMachine.select` and
-`AtomMachine.matches` for typed, equality-aware derivations. React applications
-using `@effect/atom-react` need a `RegistryProvider`.
+`send` and `stop` atoms, and `child(descriptor)`. Use `AtomMachine.select`,
+`AtomMachine.selectSnapshot`, and `AtomMachine.matches` for typed,
+equality-aware derivations. React applications using `@effect/atom-react` need
+a `RegistryProvider`.
 
 ## Persistence
 

package/dist/Machine.d.ts

@@ -1423,11 +1423,17 @@ export declare namespace Machine {
         /** Type-safe builders for constructing valid initial snapshots. */
         readonly initial: InitialBuilder<States>;
         /**
-         * Returns the decoded value for an active state path.
+         * Returns the decoded value for an active state path. The supplied
+         * snapshot may be a complete root snapshot or a snapshot previously
+         * extracted from this definition. Extracted snapshots accept only their
+         * own absolute path and descendant paths.
          *
          * @since 0.4.0
          */
-        readonly get: <Path extends StateIdentifier<States>>(snapshot: Snapshot<States>, path: Path) => Option.Option<StateByIdentifier<States, Path>>;
+        readonly get: {
+            <Path extends StateIdentifier<States>>(snapshot: Snapshot<States>, path: Path): Option.Option<StateByIdentifier<States, Path>>;
+            <const From extends StateIdentifier<States>, const Path extends StateIdentifier<States>>(snapshot: SnapshotByIdentifier<States, From>, path: Path & (Path extends NoInfer<From> | `${NoInfer<From>}.${string}` ? unknown : never)): Option.Option<StateByIdentifier<States, Path>>;
+        };
         /**
          * Returns the decoded value for an active state path together with all of
          * its active parent values.
@@ -1440,17 +1446,29 @@ export declare namespace Machine {
          */
         readonly getWithParents: <Path extends StateIdentifier<States>>(snapshot: Snapshot<States>, path: Path) => Option.Option<StateWithParents<States, Path>>;
         /**
-         * Returns the snapshot for an active state path.
+         * Returns the snapshot for an active state path. The supplied snapshot may
+         * be a complete root snapshot or a snapshot previously extracted from this
+         * definition. Extracted snapshots accept only their own absolute path and
+         * descendant paths.
          *
          * @since 0.4.0
          */
-        readonly getSnapshot: <Path extends StateIdentifier<States>>(snapshot: Snapshot<States>, path: Path) => Option.Option<SnapshotByIdentifier<States, Path>>;
+        readonly getSnapshot: {
+            <Path extends StateIdentifier<States>>(snapshot: Snapshot<States>, path: Path): Option.Option<SnapshotByIdentifier<States, Path>>;
+            <const From extends StateIdentifier<States>, const Path extends StateIdentifier<States>>(snapshot: SnapshotByIdentifier<States, From>, path: Path & (Path extends NoInfer<From> | `${NoInfer<From>}.${string}` ? unknown : never)): Option.Option<SnapshotByIdentifier<States, Path>>;
+        };
         /**
-         * Returns whether a state path is active in the snapshot.
+         * Returns whether a state path is active in the snapshot. The supplied
+         * snapshot may be a complete root snapshot or a snapshot previously
+         * extracted from this definition. Extracted snapshots accept only their
+         * own absolute path and descendant paths.
          *
          * @since 0.4.0
          */
-        readonly matches: <Path extends StateIdentifier<States>>(snapshot: Snapshot<States>, path: Path) => boolean;
+        readonly matches: {
+            <Path extends StateIdentifier<States>>(snapshot: Snapshot<States>, path: Path): boolean;
+            <const From extends StateIdentifier<States>, const Path extends StateIdentifier<States>>(snapshot: SnapshotByIdentifier<States, From>, path: Path & (Path extends NoInfer<From> | `${NoInfer<From>}.${string}` ? unknown : never)): boolean;
+        };
     }
     /**
      * Validates the nested shape of state schema definitions.