synstate 3.3.0 → 4.0.0

package/dist/core/types/observable.d.mts

@@ -1,6 +1,7 @@
 import { type Optional, type Some } from 'ts-data-forge';
 import type { StrictOmit } from 'ts-type-forge';
-import type { ObservableId, UpdateToken } from './id.mjs';
+import { observableBrand } from '../utils/index.mjs';
+import type { UpdateToken } from './id.mjs';
 import type { ObservableKind } from './observable-kind.mjs';
 import type { NonEmptyUnknownList, Subscription } from './types.mjs';
 /**
@@ -17,35 +18,31 @@ import type { NonEmptyUnknownList, Subscription } from './types.mjs';
  * ```
  */
 type CreateObservableType<A, Kind extends ObservableKind> = Readonly<{
-    id: ObservableId;
+    [observableBrand]: true;
     kind: Kind;
+    /**
+     * One more than the deepest observable this one is derived from; 0 for a
+     * root. An update reaches observables in ascending depth, so every parent
+     * has emitted before its child reads it.
+     */
     depth: Kind extends 'root' ? 0 : number;
-    addChild: <B>(child: ChildObservable<B>) => void;
-    deleteChild: <B>(child: ChildObservable<B>) => void;
     getSnapshot: () => Optional<A>;
     isCompleted: boolean;
-    updateToken: UpdateToken;
-    hasSubscriber: boolean;
-    hasChild: boolean;
-    hasActiveChild: () => boolean;
     /**
-     * Whether this observable completes itself once nothing uses it any more —
-     * once it has neither subscribers nor live children when one of its children
-     * completes. True when completing it would release something: it has a
-     * teardown of its own (a timer, an inner subscription) or a parent with
-     * `autoComplete`. A `source` or `createState` and everything derived from
-     * it alone are never completed this way, so completing a derived observable
-     * cannot end a state that something else may still read (#2133).
+     * The token of the update in which this observable last emitted. A child's
+     * `tryUpdate` receives the token of the update now propagating; a parent
+     * whose token differs did not emit in it. The token is opaque: compare it,
+     * store it, or pass it on to `setNext`.
      */
-    autoComplete: boolean;
-    tryUpdate: (updateToken: UpdateToken) => void;
-    tryComplete: () => void;
+    updateToken: UpdateToken;
     complete: () => void;
     /**
-     * Completes this observable and takes it out of the graph, without telling
-     * its parents: unlike `complete()`, it never completes an upstream
-     * observable, whatever its `autoComplete`. Its descendants are completed as
-     * by `complete()` once none of their parents is live.
+     * Completes this observable and takes it out of the graph, for whoever owns
+     * it (a scope) to release it. Neither this nor `complete()` reaches upstream:
+     * a child completing never completes its parents, which may be shared
+     * (#2133). Its descendants complete once none of their parents is live.
+     * Unlike `complete()`, it passes on nothing the observable still holds: a
+     * `debounce` or `audit` drops its pending value instead of emitting it.
      */
     dispose: () => void;
     subscribe: (onNext: (v: A) => void, onComplete?: () => void) => Subscription;
@@ -64,18 +61,14 @@ declare namespace ObservableTypeConverter {
     export type ToChild<A, O extends CreateObservableType<A, ObservableKind>, P extends NonEmptyUnknownList = NonEmptyUnknownList> = O & Readonly<{
         parents: Wrap<P>;
     }>;
-    export type ToManager<A, O extends CreateObservableType<A, 'async child' | 'root'>> = O & Readonly<{
-        addDescendant: <B>(child: ChildObservable<B>) => void;
-        deleteDescendant: <B>(child: ChildObservable<B>) => void;
-    }>;
     export {};
 }
 export type SyncChildObservable<A, P extends NonEmptyUnknownList = NonEmptyUnknownList> = ObservableTypeConverter.ToChild<A, CreateObservableType<A, 'sync child'>, P>;
 export type InitializedSyncChildObservable<A, P extends NonEmptyUnknownList = NonEmptyUnknownList> = ObservableTypeConverter.ToInitialized<A, SyncChildObservable<A, P>>;
-export type AsyncChildObservable<A, P extends NonEmptyUnknownList = NonEmptyUnknownList> = ObservableTypeConverter.ToManager<A, ObservableTypeConverter.ToChild<A, CreateObservableType<A, 'async child'>, P>>;
+export type AsyncChildObservable<A, P extends NonEmptyUnknownList = NonEmptyUnknownList> = ObservableTypeConverter.ToChild<A, CreateObservableType<A, 'async child'>, P>;
 export type InitializedAsyncChildObservable<A, P extends NonEmptyUnknownList = NonEmptyUnknownList> = ObservableTypeConverter.ToInitialized<A, AsyncChildObservable<A, P>>;
 export type ChildObservable<A, P extends NonEmptyUnknownList = NonEmptyUnknownList> = AsyncChildObservable<A, P> | SyncChildObservable<A, P>;
-export type RootObservable<A> = ObservableTypeConverter.ToManager<A, CreateObservableType<A, 'root'>>;
+export type RootObservable<A> = CreateObservableType<A, 'root'>;
 export type InitializedRootObservable<A> = ObservableTypeConverter.ToInitialized<A, RootObservable<A>>;
 export type Observable<A> = AsyncChildObservable<A> | RootObservable<A> | SyncChildObservable<A>;
 export type InitializedObservable<A> = InitializedAsyncChildObservable<A> | InitializedRootObservable<A> | InitializedSyncChildObservable<A>;
@@ -87,6 +80,25 @@ export type DropInitialValueOperator<A, B> = (src: InitializedObservable<A> | Ob
 /** Type of operator that preserves whether Observable has initial value */
 export type KeepInitialValueOperator<A, B> = (src: InitializedObservable<A>) => InitializedObservable<B>;
 export type Operator<A, B> = WithInitialValueOperator<A, B> | DropInitialValueOperator<A, B> | KeepInitialValueOperator<A, B>;
+/**
+ * Tells an observable made by synstate from any other value, by the brand
+ * every observable carries. Checking for a `subscribe` method instead would
+ * also accept plain values that happen to have one.
+ *
+ * @example
+ *
+ * ```ts
+ * const [count$] = createState(0);
+ *
+ * assert.isTrue(isObservable(count$));
+ *
+ * // A `subscribe` method alone does not make an observable.
+ * assert.isFalse(isObservable({ subscribe: () => {} }));
+ *
+ * assert.isFalse(isObservable(0));
+ * ```
+ */
+export declare const isObservable: (value: unknown) => value is Observable<unknown>;
 export declare const isManagerObservable: <A>(obs: Observable<A>) => obs is ManagerObservable<A>;
 export declare const isRootObservable: <A>(obs: Observable<A>) => obs is RootObservable<A>;
 export declare const isChildObservable: <A>(obs: Observable<A>) => obs is ChildObservable<A>;

package/dist/core/types/observable.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"observable.d.mts","sourceRoot":"","sources":["../../../src/core/types/observable.mts"],"names":[],"mappings":"AAAA,OAAO,EAAc,KAAK,QAAQ,EAAE,KAAK,IAAI,EAAE,MAAM,eAAe,CAAC;AACrE,OAAO,KAAK,EAAoB,UAAU,EAAE,MAAM,eAAe,CAAC;AAClE,OAAO,KAAK,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AAC1D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,KAAK,EAAE,mBAAmB,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAErE;;;;;;;;;;;;GAYG;AAEH,KAAK,oBAAoB,CAAC,CAAC,EAAE,IAAI,SAAS,cAAc,IAAI,QAAQ,CAAC;IACnE,EAAE,EAAE,YAAY,CAAC;IACjB,IAAI,EAAE,IAAI,CAAC;IAGX,KAAK,EAAE,IAAI,SAAS,MAAM,GAAG,CAAC,GAAG,MAAM,CAAC;IACxC,QAAQ,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,eAAe,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC;IACjD,WAAW,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,eAAe,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC;IAGpD,WAAW,EAAE,MAAM,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC/B,WAAW,EAAE,OAAO,CAAC;IACrB,WAAW,EAAE,WAAW,CAAC;IACzB,aAAa,EAAE,OAAO,CAAC;IACvB,QAAQ,EAAE,OAAO,CAAC;IAClB,cAAc,EAAE,MAAM,OAAO,CAAC;IAE9B;;;;;;;;OAQG;IACH,YAAY,EAAE,OAAO,CAAC;IAEtB,SAAS,EAAE,CAAC,WAAW,EAAE,WAAW,KAAK,IAAI,CAAC;IAC9C,WAAW,EAAE,MAAM,IAAI,CAAC;IACxB,QAAQ,EAAE,MAAM,IAAI,CAAC;IAErB;;;;;OAKG;IACH,OAAO,EAAE,MAAM,IAAI,CAAC;IACpB,SAAS,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,UAAU,CAAC,EAAE,MAAM,IAAI,KAAK,YAAY,CAAC;IAE7E,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;CACrB,CAAC,CAAC;AAEH,gBAAgB;AAChB,KAAK,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EACtB,QAAQ,EAAE,wBAAwB,CAAC,CAAC,EAAE,CAAC,CAAC,KACrC,qBAAqB,CAAC,CAAC,CAAC,CAAC,GAC5B,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,wBAAwB,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,GAChE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,wBAAwB,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;AAEnE,MAAM,MAAM,cAAc,CAAC,CAAC,IAAI,oBAAoB,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC;AAExE,gBAAgB;AAChB,kBAAU,uBAAuB,CAAC;IAChC,MAAM,MAAM,aAAa,CACvB,CAAC,EACD,CAAC,SAAS,oBAAoB,CAAC,CAAC,EAAE,cAAc,CAAC,IAC/C,UAAU,CAAC,CAAC,EAAE,MAAM,GAAG,aAAa,CAAC,GACvC,QAAQ,CAAC;QACP,WAAW,EAAE,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC;QAE3B,IAAI,EAAE,wBAAwB,CAAC,CAAC,CAAC,CAAC;KACnC,CAAC,CAAC;IAEL,KAAK,wBAAwB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EACpC,QAAQ,EAAE,wBAAwB,CAAC,CAAC,EAAE,CAAC,CAAC,KACrC,qBAAqB,CAAC,CAAC,CAAC,CAAC,GAC5B,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,wBAAwB,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,GAChE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,wBAAwB,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,qBAAqB,CAAC,CAAC,CAAC,CAAC,CAAC;IAE9E,MAAM,MAAM,OAAO,CACjB,CAAC,EACD,CAAC,SAAS,oBAAoB,CAAC,CAAC,EAAE,cAAc,CAAC,EACjD,CAAC,SAAS,mBAAmB,GAAG,mBAAmB,IACjD,CAAC,GACH,QAAQ,CAAC;QACP,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;KAClB,CAAC,CAAC;IAEL,MAAM,MAAM,SAAS,CACnB,CAAC,EACD,CAAC,SAAS,oBAAoB,CAAC,CAAC,EAAE,aAAa,GAAG,MAAM,CAAC,IACvD,CAAC,GACH,QAAQ,CAAC;QACP,aAAa,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,eAAe,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC;QACtD,gBAAgB,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,eAAe,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC;KAC1D,CAAC,CAAC;;CACN;AAED,MAAM,MAAM,mBAAmB,CAC7B,CAAC,EACD,CAAC,SAAS,mBAAmB,GAAG,mBAAmB,IACjD,uBAAuB,CAAC,OAAO,CACjC,CAAC,EACD,oBAAoB,CAAC,CAAC,EAAE,YAAY,CAAC,EACrC,CAAC,CACF,CAAC;AAEF,MAAM,MAAM,8BAA8B,CACxC,CAAC,EACD,CAAC,SAAS,mBAAmB,GAAG,mBAAmB,IACjD,uBAAuB,CAAC,aAAa,CAAC,CAAC,EAAE,mBAAmB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAExE,MAAM,MAAM,oBAAoB,CAC9B,CAAC,EACD,CAAC,SAAS,mBAAmB,GAAG,mBAAmB,IACjD,uBAAuB,CAAC,SAAS,CACnC,CAAC,EACD,uBAAuB,CAAC,OAAO,CAAC,CAAC,EAAE,oBAAoB,CAAC,CAAC,EAAE,aAAa,CAAC,EAAE,CAAC,CAAC,CAC9E,CAAC;AAEF,MAAM,MAAM,+BAA+B,CACzC,CAAC,EACD,CAAC,SAAS,mBAAmB,GAAG,mBAAmB,IACjD,uBAAuB,CAAC,aAAa,CAAC,CAAC,EAAE,oBAAoB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAEzE,MAAM,MAAM,eAAe,CACzB,CAAC,EACD,CAAC,SAAS,mBAAmB,GAAG,mBAAmB,IACjD,oBAAoB,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,mBAAmB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAE3D,MAAM,MAAM,cAAc,CAAC,CAAC,IAAI,uBAAuB,CAAC,SAAS,CAC/D,CAAC,EACD,oBAAoB,CAAC,CAAC,EAAE,MAAM,CAAC,CAChC,CAAC;AAEF,MAAM,MAAM,yBAAyB,CAAC,CAAC,IACrC,uBAAuB,CAAC,aAAa,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;AAE9D,MAAM,MAAM,UAAU,CAAC,CAAC,IACtB,oBAAoB,CAAC,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,GAAG,mBAAmB,CAAC,CAAC,CAAC,CAAC;AAEvE,MAAM,MAAM,qBAAqB,CAAC,CAAC,IAC/B,+BAA+B,CAAC,CAAC,CAAC,GAClC,yBAAyB,CAAC,CAAC,CAAC,GAC5B,8BAA8B,CAAC,CAAC,CAAC,CAAC;AAEtC,MAAM,MAAM,iBAAiB,CAAC,CAAC,IAAI,oBAAoB,CAAC,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;AAI/E,yEAAyE;AACzE,MAAM,MAAM,wBAAwB,CAAC,CAAC,EAAE,CAAC,IAAI,CAC3C,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC,KACf,qBAAqB,CAAC,CAAC,CAAC,CAAC;AAE9B,8EAA8E;AAC9E,MAAM,MAAM,wBAAwB,CAAC,CAAC,EAAE,CAAC,IAAI,CAC3C,GAAG,EAAE,qBAAqB,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,KAC1C,UAAU,CAAC,CAAC,CAAC,CAAC;AAEnB,2EAA2E;AAC3E,MAAM,MAAM,wBAAwB,CAAC,CAAC,EAAE,CAAC,IAAI,CAC3C,GAAG,EAAE,qBAAqB,CAAC,CAAC,CAAC,KAC1B,qBAAqB,CAAC,CAAC,CAAC,CAAC;AAE9B,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,CAAC,IACrB,wBAAwB,CAAC,CAAC,EAAE,CAAC,CAAC,GAC9B,wBAAwB,CAAC,CAAC,EAAE,CAAC,CAAC,GAC9B,wBAAwB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAEnC,eAAO,MAAM,mBAAmB,GAAI,CAAC,OAC9B,UAAU,CAAC,CAAC,CAAC,KACjB,GAAG,IAAI,iBAAiB,CAAC,CAAC,CAA8B,CAAC;AAE5D,eAAO,MAAM,gBAAgB,GAAI,CAAC,OAC3B,UAAU,CAAC,CAAC,CAAC,KACjB,GAAG,IAAI,cAAc,CAAC,CAAC,CAAwB,CAAC;AAEnD,eAAO,MAAM,iBAAiB,GAAI,CAAC,OAC5B,UAAU,CAAC,CAAC,CAAC,KACjB,GAAG,IAAI,eAAe,CAAC,CAAC,CAC8B,CAAC;AAE1D,MAAM,MAAM,eAAe,CAAC,CAAC,IAAI,CAAC,SAAS,UAAU,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAE3E,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,SAAS,UAAU,CAAC,OAAO,CAAC,EAAE,IAAI,QAAQ,CAAC;KACrE,CAAC,IAAI,MAAM,CAAC,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CACtC,CAAC,CAAC;AAEH,MAAM,MAAM,IAAI,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,IAAI,QAAQ,CAAC;KACvD,CAAC,IAAI,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CACjC,CAAC,CAAC;AAEH,MAAM,MAAM,eAAe,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,IAAI,QAAQ,CAAC;KAClE,CAAC,IAAI,MAAM,CAAC,GAAG,qBAAqB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAC5C,CAAC,CAAC"}
+{"version":3,"file":"observable.d.mts","sourceRoot":"","sources":["../../../src/core/types/observable.mts"],"names":[],"mappings":"AAAA,OAAO,EAIL,KAAK,QAAQ,EACb,KAAK,IAAI,EACV,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,EAAoB,UAAU,EAAE,MAAM,eAAe,CAAC;AAClE,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AAC5C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,KAAK,EAAE,mBAAmB,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAErE;;;;;;;;;;;;GAYG;AAEH,KAAK,oBAAoB,CAAC,CAAC,EAAE,IAAI,SAAS,cAAc,IAAI,QAAQ,CAAC;IACnE,CAAC,eAAe,CAAC,EAAE,IAAI,CAAC;IAExB,IAAI,EAAE,IAAI,CAAC;IAEX;;;;OAIG;IACH,KAAK,EAAE,IAAI,SAAS,MAAM,GAAG,CAAC,GAAG,MAAM,CAAC;IAExC,WAAW,EAAE,MAAM,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC/B,WAAW,EAAE,OAAO,CAAC;IAErB;;;;;OAKG;IACH,WAAW,EAAE,WAAW,CAAC;IAEzB,QAAQ,EAAE,MAAM,IAAI,CAAC;IAErB;;;;;;;OAOG;IACH,OAAO,EAAE,MAAM,IAAI,CAAC;IACpB,SAAS,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,UAAU,CAAC,EAAE,MAAM,IAAI,KAAK,YAAY,CAAC;IAE7E,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;CACrB,CAAC,CAAC;AAEH,gBAAgB;AAChB,KAAK,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EACtB,QAAQ,EAAE,wBAAwB,CAAC,CAAC,EAAE,CAAC,CAAC,KACrC,qBAAqB,CAAC,CAAC,CAAC,CAAC,GAC5B,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,wBAAwB,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,GAChE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,wBAAwB,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;AAEnE,MAAM,MAAM,cAAc,CAAC,CAAC,IAAI,oBAAoB,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC;AAExE,gBAAgB;AAChB,kBAAU,uBAAuB,CAAC;IAChC,MAAM,MAAM,aAAa,CACvB,CAAC,EACD,CAAC,SAAS,oBAAoB,CAAC,CAAC,EAAE,cAAc,CAAC,IAC/C,UAAU,CAAC,CAAC,EAAE,MAAM,GAAG,aAAa,CAAC,GACvC,QAAQ,CAAC;QACP,WAAW,EAAE,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC;QAE3B,IAAI,EAAE,wBAAwB,CAAC,CAAC,CAAC,CAAC;KACnC,CAAC,CAAC;IAEL,KAAK,wBAAwB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EACpC,QAAQ,EAAE,wBAAwB,CAAC,CAAC,EAAE,CAAC,CAAC,KACrC,qBAAqB,CAAC,CAAC,CAAC,CAAC,GAC5B,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,wBAAwB,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,GAChE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,wBAAwB,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,qBAAqB,CAAC,CAAC,CAAC,CAAC,CAAC;IAE9E,MAAM,MAAM,OAAO,CACjB,CAAC,EACD,CAAC,SAAS,oBAAoB,CAAC,CAAC,EAAE,cAAc,CAAC,EACjD,CAAC,SAAS,mBAAmB,GAAG,mBAAmB,IACjD,CAAC,GACH,QAAQ,CAAC;QACP,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;KAClB,CAAC,CAAC;;CACN;AAED,MAAM,MAAM,mBAAmB,CAC7B,CAAC,EACD,CAAC,SAAS,mBAAmB,GAAG,mBAAmB,IACjD,uBAAuB,CAAC,OAAO,CACjC,CAAC,EACD,oBAAoB,CAAC,CAAC,EAAE,YAAY,CAAC,EACrC,CAAC,CACF,CAAC;AAEF,MAAM,MAAM,8BAA8B,CACxC,CAAC,EACD,CAAC,SAAS,mBAAmB,GAAG,mBAAmB,IACjD,uBAAuB,CAAC,aAAa,CAAC,CAAC,EAAE,mBAAmB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAExE,MAAM,MAAM,oBAAoB,CAC9B,CAAC,EACD,CAAC,SAAS,mBAAmB,GAAG,mBAAmB,IACjD,uBAAuB,CAAC,OAAO,CACjC,CAAC,EACD,oBAAoB,CAAC,CAAC,EAAE,aAAa,CAAC,EACtC,CAAC,CACF,CAAC;AAEF,MAAM,MAAM,+BAA+B,CACzC,CAAC,EACD,CAAC,SAAS,mBAAmB,GAAG,mBAAmB,IACjD,uBAAuB,CAAC,aAAa,CAAC,CAAC,EAAE,oBAAoB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAEzE,MAAM,MAAM,eAAe,CACzB,CAAC,EACD,CAAC,SAAS,mBAAmB,GAAG,mBAAmB,IACjD,oBAAoB,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,mBAAmB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAE3D,MAAM,MAAM,cAAc,CAAC,CAAC,IAAI,oBAAoB,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;AAEhE,MAAM,MAAM,yBAAyB,CAAC,CAAC,IACrC,uBAAuB,CAAC,aAAa,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;AAE9D,MAAM,MAAM,UAAU,CAAC,CAAC,IACtB,oBAAoB,CAAC,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,GAAG,mBAAmB,CAAC,CAAC,CAAC,CAAC;AAEvE,MAAM,MAAM,qBAAqB,CAAC,CAAC,IAC/B,+BAA+B,CAAC,CAAC,CAAC,GAClC,yBAAyB,CAAC,CAAC,CAAC,GAC5B,8BAA8B,CAAC,CAAC,CAAC,CAAC;AAEtC,MAAM,MAAM,iBAAiB,CAAC,CAAC,IAAI,oBAAoB,CAAC,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;AAI/E,yEAAyE;AACzE,MAAM,MAAM,wBAAwB,CAAC,CAAC,EAAE,CAAC,IAAI,CAC3C,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC,KACf,qBAAqB,CAAC,CAAC,CAAC,CAAC;AAE9B,8EAA8E;AAC9E,MAAM,MAAM,wBAAwB,CAAC,CAAC,EAAE,CAAC,IAAI,CAC3C,GAAG,EAAE,qBAAqB,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,KAC1C,UAAU,CAAC,CAAC,CAAC,CAAC;AAEnB,2EAA2E;AAC3E,MAAM,MAAM,wBAAwB,CAAC,CAAC,EAAE,CAAC,IAAI,CAC3C,GAAG,EAAE,qBAAqB,CAAC,CAAC,CAAC,KAC1B,qBAAqB,CAAC,CAAC,CAAC,CAAC;AAE9B,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,CAAC,IACrB,wBAAwB,CAAC,CAAC,EAAE,CAAC,CAAC,GAC9B,wBAAwB,CAAC,CAAC,EAAE,CAAC,CAAC,GAC9B,wBAAwB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAEnC;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,YAAY,UAAW,OAAO,KAAG,KAAK,IAAI,UAAU,CAAC,OAAO,CACtB,CAAC;AAEpD,eAAO,MAAM,mBAAmB,GAAI,CAAC,OAC9B,UAAU,CAAC,CAAC,CAAC,KACjB,GAAG,IAAI,iBAAiB,CAAC,CAAC,CAA8B,CAAC;AAE5D,eAAO,MAAM,gBAAgB,GAAI,CAAC,OAC3B,UAAU,CAAC,CAAC,CAAC,KACjB,GAAG,IAAI,cAAc,CAAC,CAAC,CAAwB,CAAC;AAEnD,eAAO,MAAM,iBAAiB,GAAI,CAAC,OAC5B,UAAU,CAAC,CAAC,CAAC,KACjB,GAAG,IAAI,eAAe,CAAC,CAAC,CAC8B,CAAC;AAE1D,MAAM,MAAM,eAAe,CAAC,CAAC,IAAI,CAAC,SAAS,UAAU,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAE3E,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,SAAS,UAAU,CAAC,OAAO,CAAC,EAAE,IAAI,QAAQ,CAAC;KACrE,CAAC,IAAI,MAAM,CAAC,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CACtC,CAAC,CAAC;AAEH,MAAM,MAAM,IAAI,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,IAAI,QAAQ,CAAC;KACvD,CAAC,IAAI,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CACjC,CAAC,CAAC;AAEH,MAAM,MAAM,eAAe,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,IAAI,QAAQ,CAAC;KAClE,CAAC,IAAI,MAAM,CAAC,GAAG,qBAAqB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAC5C,CAAC,CAAC"}

package/dist/core/types/observable.mjs

@@ -1,4 +1,24 @@
+import { hasKey, isRecord, } from 'ts-data-forge';
+import { observableBrand } from '../utils/index.mjs';
 
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+export const isObservable = (value) => isRecord(value) && hasKey(value, observableBrand);
 export const isManagerObservable = (obs) => obs.kind !== 'sync child';
 export const isRootObservable = (obs) => obs.kind === 'root';
 export const isChildObservable = (obs) => obs.kind === 'sync child' || obs.kind === 'async child';
@@ -18,4 +38,8 @@ export const isChildObservable = (obs) => obs.kind === 'sync child' || obs.kind
 
 
 
+
+
+
+
 //# sourceMappingURL=observable.mjs.map

package/dist/core/types/observable.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"observable.mjs","sourceRoot":"","sources":["../../../src/core/types/observable.mts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAA4B,MAAM,eAAe,CAAC;AAsLrE,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,GAAkB,EACW,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,CAAC;AAE5D,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,GAAkB,EACQ,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,CAAC;AAEnD,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,GAAkB,EACS,EAAE,CAC7B,GAAG,CAAC,IAAI,KAAK,YAAY,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa,CAAC;AAgB1D,sEAAsE;AACtE,uDAAuD;AAEvD,UAAU,CAAuD,IAAI,CAAC,CAAC;AAEvE,UAAU,CAAiD,IAAI,CAAC,CAAC;AAEjE,UAAU,CAAsC,GAAG,CAAC,CAAC;AAErD,UAAU,CAAiD,GAAG,CAAC,CAAC;AAEhE,UAAU,CAAgD,GAAG,CAAC,CAAC;AAE/D,UAAU,CAAiD,GAAG,CAAC,CAAC;AAEhE,UAAU,CAA2C,GAAG,CAAC,CAAC;AAE1D,UAAU,CAAuD,GAAG,CAAC,CAAC;AAEtE,UAAU,CAA8C,IAAI,CAAC,CAAC;AAE9D,UAAU,CAA8C,KAAK,CAAC,CAAC;AAE/D,UAAU,CAGR,IAAI,CAAC,CAAC;AAER,UAAU,CAA8C,KAAK,CAAC,CAAC;AAE/D,UAAU,CAGR,IAAI,CAAC,CAAC;AAER,UAAU,CAGR,KAAK,CAAC,CAAC"}
+{"version":3,"file":"observable.mjs","sourceRoot":"","sources":["../../../src/core/types/observable.mts"],"names":[],"mappings":"AAAA,OAAO,EACL,UAAU,EACV,MAAM,EACN,QAAQ,GAGT,MAAM,eAAe,CAAC;AAEvB,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAqKrD;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,KAAc,EAAgC,EAAE,CAC3E,QAAQ,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;AAEpD,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,GAAkB,EACW,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,CAAC;AAE5D,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,GAAkB,EACQ,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,CAAC;AAEnD,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,GAAkB,EACS,EAAE,CAC7B,GAAG,CAAC,IAAI,KAAK,YAAY,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa,CAAC;AAgB1D,sEAAsE;AACtE,uDAAuD;AAEvD,oEAAoE;AACpE,+CAA+C;AAC/C,UAAU,CAYR,GAAG,CAAC,CAAC;AAEP,UAAU,CAGR,GAAG,CAAC,CAAC;AAEP,oEAAoE;AACpE,UAAU,CAGR,KAAK,CAAC,CAAC;AAET,UAAU,CAAsC,GAAG,CAAC,CAAC;AAErD,UAAU,CAAiD,GAAG,CAAC,CAAC;AAEhE,UAAU,CAAgD,GAAG,CAAC,CAAC;AAE/D,UAAU,CAAiD,GAAG,CAAC,CAAC;AAEhE,UAAU,CAA2C,GAAG,CAAC,CAAC;AAE1D,UAAU,CAAuD,GAAG,CAAC,CAAC;AAEtE,UAAU,CAA8C,IAAI,CAAC,CAAC;AAE9D,UAAU,CAA8C,KAAK,CAAC,CAAC;AAE/D,UAAU,CAGR,IAAI,CAAC,CAAC;AAER,UAAU,CAA8C,KAAK,CAAC,CAAC;AAE/D,UAAU,CAGR,IAAI,CAAC,CAAC;AAER,UAAU,CAGR,KAAK,CAAC,CAAC"}

package/dist/core/types/scope.d.mts

@@ -0,0 +1,27 @@
+/**
+ * A unit of ownership: the observables created while {@link Scope.run} is
+ * running belong to the scope, and {@link Scope.dispose} releases them all at
+ * once. Create one with `createScope`.
+ *
+ * For authors of libraries built on synstate (a UI binding mounts and unmounts
+ * by scope); application code that defines its state at module level does not
+ * need it.
+ */
+export type Scope = Readonly<{
+    /**
+     * Calls `body` with this scope as the current one and returns what it
+     * returns. Only what `body` creates synchronously joins the scope: by the time
+     * code after an `await` or in a callback runs, `run` has already returned.
+     *
+     * On a disposed scope it warns, still calls `body`, and nothing created there
+     * belongs to any scope.
+     */
+    run: <R>(body: () => R) => R;
+    /**
+     * Disposes the child scopes (newest first), calls the functions registered
+     * with `onScopeDispose` (newest first), disposes the owned observables
+     * (newest first) and leaves the parent scope. Calling it again does nothing.
+     */
+    dispose: () => void;
+}>;
+//# sourceMappingURL=scope.d.mts.map

package/dist/core/types/scope.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"scope.d.mts","sourceRoot":"","sources":["../../../src/core/types/scope.mts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,MAAM,MAAM,KAAK,GAAG,QAAQ,CAAC;IAC3B;;;;;;;OAOG;IACH,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IAE7B;;;;OAIG;IACH,OAAO,EAAE,MAAM,IAAI,CAAC;CACrB,CAAC,CAAC"}

package/dist/core/types/scope.mjs

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=scope.mjs.map

package/dist/core/types/scope.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"scope.mjs","sourceRoot":"","sources":["../../../src/core/types/scope.mts"],"names":[],"mappings":""}

package/dist/core/utils/current-scope.d.mts

@@ -0,0 +1,30 @@
+import type { Scope } from '../types/index.mjs';
+/** What a scope owns: an observable, as far as the scope needs to know it. */
+export type ScopeMember = Readonly<{
+    isCompleted: boolean;
+    dispose: () => void;
+}>;
+/**
+ * The side of a scope the rest of the core talks to, on top of its public
+ * face {@link Scope}. Kept out of the public API (`core/utils/**` is excluded
+ * from index generation), so that only `createScope` and its siblings decide
+ * what a scope owns.
+ */
+export type ScopeInternals = Scope & Readonly<{
+    /** Takes `node` into the scope. */
+    adopt: (node: ScopeMember) => void;
+    /**
+     * Tells the scope that one of the nodes it adopted completed on its own,
+     * so that the scope can drop it and keep no reference to it. The node is
+     * completed (`isCompleted`) by the time it calls this.
+     */
+    release: () => void;
+    addCleanup: (cleanup: () => void) => void;
+}>;
+export declare const getCurrentScopeInternals: () => ScopeInternals | undefined;
+/**
+ * Calls `body` with `scope` as the current scope (`undefined`: none) and
+ * restores the previous one afterwards, also when `body` throws.
+ */
+export declare const runWithScope: <R>(scope: ScopeInternals | undefined, body: () => R) => R;
+//# sourceMappingURL=current-scope.d.mts.map

package/dist/core/utils/current-scope.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"current-scope.d.mts","sourceRoot":"","sources":["../../../src/core/utils/current-scope.mts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAEhD,8EAA8E;AAC9E,MAAM,MAAM,WAAW,GAAG,QAAQ,CAAC;IACjC,WAAW,EAAE,OAAO,CAAC;IACrB,OAAO,EAAE,MAAM,IAAI,CAAC;CACrB,CAAC,CAAC;AAEH;;;;;GAKG;AACH,MAAM,MAAM,cAAc,GAAG,KAAK,GAChC,QAAQ,CAAC;IACP,mCAAmC;IACnC,KAAK,EAAE,CAAC,IAAI,EAAE,WAAW,KAAK,IAAI,CAAC;IAEnC;;;;OAIG;IACH,OAAO,EAAE,MAAM,IAAI,CAAC;IAEpB,UAAU,EAAE,CAAC,OAAO,EAAE,MAAM,IAAI,KAAK,IAAI,CAAC;CAC3C,CAAC,CAAC;AAUL,eAAO,MAAM,wBAAwB,QAAO,cAAc,GAAG,SAC3C,CAAC;AAEnB;;;GAGG;AACH,eAAO,MAAM,YAAY,GAAI,CAAC,SACrB,cAAc,GAAG,SAAS,QAC3B,MAAM,CAAC,KACZ,CAaF,CAAC"}

package/dist/core/utils/current-scope.mjs

@@ -0,0 +1,26 @@
+
+
+
+
+const mut_slot = {
+    current: undefined,
+};
+export const getCurrentScopeInternals = () => mut_slot.current;
+
+
+
+
+export const runWithScope = (scope, body) => {
+    const prev = mut_slot.current;
+    mut_slot.current = scope;
+
+
+
+    try {
+        return body();
+    }
+    finally {
+        mut_slot.current = prev;
+    }
+};
+//# sourceMappingURL=current-scope.mjs.map

package/dist/core/utils/current-scope.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"current-scope.mjs","sourceRoot":"","sources":["../../../src/core/utils/current-scope.mts"],"names":[],"mappings":"AA6BA;;;GAGG;AACH,MAAM,QAAQ,GAA4C;IACxD,OAAO,EAAE,SAAS;CACnB,CAAC;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAG,GAA+B,EAAE,CACvE,QAAQ,CAAC,OAAO,CAAC;AAEnB;;;GAGG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,KAAiC,EACjC,IAAa,EACV,EAAE;IACL,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC;IAE9B,QAAQ,CAAC,OAAO,GAAG,KAAK,CAAC;IAEzB,4EAA4E;IAC5E,qDAAqD;IACrD,uCAAuC;IACvC,IAAI,CAAC;QACH,OAAO,IAAI,EAAE,CAAC;IAChB,CAAC;YAAS,CAAC;QACT,QAAQ,CAAC,OAAO,GAAG,IAAI,CAAC;IAC1B,CAAC;AACH,CAAC,CAAC"}

package/dist/core/utils/id-maker.d.mts

@@ -1,5 +1,16 @@
-import type { ObservableId, SubscriberId, UpdateToken } from '../types/index.mjs';
-export declare const issueObservableId: () => ObservableId;
-export declare const issueSubscriberId: () => SubscriberId;
+import type { UpdateToken } from '../types/index.mjs';
+/**
+ * The token of a new update, which the update's root or async child passes to
+ * every node it reaches. A `Symbol` with no description, issued once per
+ * update and never per node, so its cost is spread over every node the
+ * update reaches. Unique without any counter, so the tokens of two copies of
+ * synstate in one program never coincide, and nothing is kept in a global.
+ */
 export declare const issueUpdateToken: () => UpdateToken;
+/**
+ * The token a node holds before its first update: one value shared by every
+ * node of this copy, since no update is ever issued it, so creating a node
+ * issues nothing.
+ */
+export declare const notUpdatedYet: UpdateToken;
 //# sourceMappingURL=id-maker.d.mts.map

package/dist/core/utils/id-maker.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"id-maker.d.mts","sourceRoot":"","sources":["../../../src/core/utils/id-maker.mts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,YAAY,EACZ,YAAY,EACZ,WAAW,EACZ,MAAM,oBAAoB,CAAC;AAmB5B,eAAO,MAAM,iBAAiB,QAAO,YACL,CAAC;AAEjC,eAAO,MAAM,iBAAiB,QAAO,YACL,CAAC;AAEjC,eAAO,MAAM,gBAAgB,QAAO,WACL,CAAC"}
+{"version":3,"file":"id-maker.d.mts","sourceRoot":"","sources":["../../../src/core/utils/id-maker.mts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAEtD;;;;;;GAMG;AACH,eAAO,MAAM,gBAAgB,QAAO,WAEX,CAAC;AAE1B;;;;GAIG;AACH,eAAO,MAAM,aAAa,EAAE,WAEuB,CAAC"}

package/dist/core/utils/id-maker.mjs

@@ -1,15 +1,19 @@
-function* idMaker() {
-    let mut_i = 0;
-    while (true) {
-
-        yield Symbol(mut_i.toString());
-        mut_i += 1;
-    }
-}
-const observableIdMaker = idMaker();
-const subscriberIdMaker = idMaker();
-const updateTokenMaker = idMaker();
-export const issueObservableId = () => observableIdMaker.next().value;
-export const issueSubscriberId = () => subscriberIdMaker.next().value;
-export const issueUpdateToken = () => updateTokenMaker.next().value;
+
+
+
+
+
+
+
+export const issueUpdateToken = () => 
+
+Symbol();
+
+
+
+
+
+export const notUpdatedYet = 
+
+Symbol('synstate/not-updated-yet');
 //# sourceMappingURL=id-maker.mjs.map

package/dist/core/utils/id-maker.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"id-maker.mjs","sourceRoot":"","sources":["../../../src/core/utils/id-maker.mts"],"names":[],"mappings":"AAMA,QAAQ,CAAC,CAAC,OAAO;IACf,IAAI,KAAK,GAAG,CAAC,CAAC;IAEd,OAAO,IAAI,EAAE,CAAC;QACZ,4DAA4D;QAC5D,MAAM,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAM,CAAC;QAEpC,KAAK,IAAI,CAAC,CAAC;IACb,CAAC;AACH,CAAC;AAED,MAAM,iBAAiB,GAAG,OAAO,EAAgB,CAAC;AAElD,MAAM,iBAAiB,GAAG,OAAO,EAAgB,CAAC;AAElD,MAAM,gBAAgB,GAAG,OAAO,EAAe,CAAC;AAEhD,MAAM,CAAC,MAAM,iBAAiB,GAAG,GAAiB,EAAE,CAClD,iBAAiB,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC;AAEjC,MAAM,CAAC,MAAM,iBAAiB,GAAG,GAAiB,EAAE,CAClD,iBAAiB,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC;AAEjC,MAAM,CAAC,MAAM,gBAAgB,GAAG,GAAgB,EAAE,CAChD,gBAAgB,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC"}
+{"version":3,"file":"id-maker.mjs","sourceRoot":"","sources":["../../../src/core/utils/id-maker.mts"],"names":[],"mappings":"AAEA;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,GAAgB,EAAE;AAChD,4DAA4D;AAC5D,MAAM,EAAiB,CAAC;AAE1B;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa;AACxB,4DAA4D;AAC5D,MAAM,CAAC,0BAA0B,CAAgB,CAAC"}

package/dist/core/utils/index.d.mts

@@ -1,5 +1,6 @@
+export * from './current-scope.mjs';
 export * from './id-maker.mjs';
 export * from './max-depth.mjs';
+export * from './observable-brand.mjs';
 export * from './observable-utils.mjs';
-export * from './utils.mjs';
 //# sourceMappingURL=index.d.mts.map

package/dist/core/utils/index.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.mts","sourceRoot":"","sources":["../../../src/core/utils/index.mts"],"names":[],"mappings":"AAAA,cAAc,gBAAgB,CAAC;AAC/B,cAAc,iBAAiB,CAAC;AAChC,cAAc,wBAAwB,CAAC;AACvC,cAAc,aAAa,CAAC"}
+{"version":3,"file":"index.d.mts","sourceRoot":"","sources":["../../../src/core/utils/index.mts"],"names":[],"mappings":"AAAA,cAAc,qBAAqB,CAAC;AACpC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,iBAAiB,CAAC;AAChC,cAAc,wBAAwB,CAAC;AACvC,cAAc,wBAAwB,CAAC"}

package/dist/core/utils/index.mjs

@@ -1,5 +1,6 @@
+export * from './current-scope.mjs';
 export * from './id-maker.mjs';
 export * from './max-depth.mjs';
+export * from './observable-brand.mjs';
 export * from './observable-utils.mjs';
-export * from './utils.mjs';
 //# sourceMappingURL=index.mjs.map

package/dist/core/utils/index.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"index.mjs","sourceRoot":"","sources":["../../../src/core/utils/index.mts"],"names":[],"mappings":"AAAA,cAAc,gBAAgB,CAAC;AAC/B,cAAc,iBAAiB,CAAC;AAChC,cAAc,wBAAwB,CAAC;AACvC,cAAc,aAAa,CAAC"}
+{"version":3,"file":"index.mjs","sourceRoot":"","sources":["../../../src/core/utils/index.mts"],"names":[],"mappings":"AAAA,cAAc,qBAAqB,CAAC;AACpC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,iBAAiB,CAAC;AAChC,cAAc,wBAAwB,CAAC;AACvC,cAAc,wBAAwB,CAAC"}

package/dist/core/utils/max-depth.d.mts

@@ -1,3 +1,4 @@
 import type { Observable } from '../types/index.mjs';
+/** The greatest `depth` among `parents`, or 0 when there are none. */
 export declare const maxDepth: (parents: readonly Observable<unknown>[]) => number;
 //# sourceMappingURL=max-depth.d.mts.map

package/dist/core/utils/max-depth.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"max-depth.d.mts","sourceRoot":"","sources":["../../../src/core/utils/max-depth.mts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAErD,eAAO,MAAM,QAAQ,YAAa,SAAS,UAAU,CAAC,OAAO,CAAC,EAAE,KAAG,MAO/B,CAAC"}
+{"version":3,"file":"max-depth.d.mts","sourceRoot":"","sources":["../../../src/core/utils/max-depth.mts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAErD,sEAAsE;AACtE,eAAO,MAAM,QAAQ,YAAa,SAAS,UAAU,CAAC,OAAO,CAAC,EAAE,KAAG,MAUlE,CAAC"}

package/dist/core/utils/max-depth.mjs

@@ -1,9 +1,11 @@
-import { Arr, Optional, pipe } from 'ts-data-forge';
-export const maxDepth = (parents) => pipe(Arr.maxBy(parents, (p) => p.depth))
 
-
-
-
-    .mapOptional((o) => o.depth)
-    .map(Optional.unwrapOr(0)).value;
+export const maxDepth = (parents) => {
+    let mut_max = 0;
+    for (const p of parents) {
+        if (p.depth > mut_max) {
+            mut_max = p.depth;
+        }
+    }
+    return mut_max;
+};
 //# sourceMappingURL=max-depth.mjs.map

package/dist/core/utils/max-depth.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"max-depth.mjs","sourceRoot":"","sources":["../../../src/core/utils/max-depth.mts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,eAAe,CAAC;AAGpD,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,OAAuC,EAAU,EAAE,CAC1E,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACtC,0EAA0E;IAC1E,mEAAmE;IACnE,kEAAkE;IAClE,sBAAsB;KACrB,WAAW,CAAC,CAAC,CAAC,EAAU,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;KACnC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC"}
+{"version":3,"file":"max-depth.mjs","sourceRoot":"","sources":["../../../src/core/utils/max-depth.mts"],"names":[],"mappings":"AAEA,sEAAsE;AACtE,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,OAAuC,EAAU,EAAE;IAC1E,IAAI,OAAO,GAAG,CAAC,CAAC;IAEhB,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC,KAAK,GAAG,OAAO,EAAE,CAAC;YACtB,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC;QACpB,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC"}

package/dist/core/utils/observable-brand.d.mts

@@ -0,0 +1,13 @@
+/**
+ * The key every observable carries, set to `true` by `assembleObservable`. It
+ * lets `isObservable` tell an observable from any other value at run time —
+ * a `subscribe` method is not enough, since plain values may have one — and,
+ * as a type, makes the public observable types impossible to satisfy with an
+ * object literal: an imitation passed to an operator would lack the internal
+ * members propagation reads and fail at run time instead of at compile time.
+ *
+ * `Symbol.for`, so that an observable made by another copy of synstate in the
+ * same program is still recognized.
+ */
+export declare const observableBrand: unique symbol;
+//# sourceMappingURL=observable-brand.d.mts.map

package/dist/core/utils/observable-brand.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"observable-brand.d.mts","sourceRoot":"","sources":["../../../src/core/utils/observable-brand.mts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,eAAO,MAAM,eAAe,EAAE,OAAO,MAA0C,CAAC"}

package/dist/core/utils/observable-brand.mjs

@@ -0,0 +1,13 @@
+
+
+
+
+
+
+
+
+
+
+
+export const observableBrand = Symbol.for('synstate/observable');
+//# sourceMappingURL=observable-brand.mjs.map

package/dist/core/utils/observable-brand.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"observable-brand.mjs","sourceRoot":"","sources":["../../../src/core/utils/observable-brand.mts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,eAAe,GAAkB,MAAM,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC"}

package/dist/utils/create-boolean-state.d.mts

@@ -5,8 +5,8 @@ import type { StateOptions } from './create-reducer.mjs';
  * Extends `createState` with boolean-specific helpers like `toggle`, `setTrue`, and `setFalse`.
  *
  * @param initialState - The initial boolean value
- * @param options - {@link StateOptions}: `equals`, to pass on only the
- *   updates that change the state
+ * @param options - {@link StateOptions}: `equals` (default `Object.is`),
+ *   to pass on only the updates that change the state
  * @returns A 2-element tuple: `[state, { setTrue, setFalse, toggle, setState, updateState, resetState, getSnapshot, initialState }]`
  *
  * @example

package/dist/utils/create-event-emitter.d.mts

@@ -17,13 +17,13 @@ import { type Observable } from '../core/index.mjs';
  *
  * emitClick(); // logs: Clicked!
  *
- * assert.deepStrictEqual(mut_clickCount.value, 1);
+ * assert.strictEqual(mut_clickCount.value, 1);
  *
  * emitClick();
  *
  * emitClick();
  *
- * assert.deepStrictEqual(mut_clickCount.value, 3);
+ * assert.strictEqual(mut_clickCount.value, 3);
  * ```
  */
 export declare const createEventEmitter: () => readonly [Observable<void>, () => void];

package/dist/utils/create-reducer.d.mts

@@ -8,9 +8,11 @@ import { type InitializedObservable } from '../core/index.mjs';
  * @template A - The type of actions
  * @param reducer - A pure function that takes current state and action, returns new state
  * @param initialState - The initial value of the state
- * @param options - {@link StateOptions}: `equals`, to pass on only the
- *   dispatches that change the state
- * @returns A 3-element tuple: `[state, dispatch, { getSnapshot, initialState }]`
+ * @param options - {@link StateOptions}: `equals` (default `Object.is`),
+ *   to pass on only the dispatches that change the state
+ * @returns A 3-element tuple: `[state, dispatch, { getSnapshot, initialState }]`.
+ *   `dispatch` returns the state it leaves; once `state` is completed, that
+ *   is the state held.
  *
  * @example
  * ```ts
@@ -51,7 +53,7 @@ import { type InitializedObservable } from '../core/index.mjs';
  *   (s, action: Readonly<{ type: 'add'; amount: number }>) =>
  *     s + action.amount,
  *   0,
- *   { equals: Object.is },
+ *   { equals: () => false },
  * );
  *
  * const countHistory: number[] = [];
@@ -60,12 +62,19 @@ import { type InitializedObservable } from '../core/index.mjs';
  *   countHistory.push(value);
  * });
  *
- * dispatch({ type: 'add', amount: 0 }); // 0 again: nothing is passed on
+ * dispatch({ type: 'add', amount: 0 }); // 0 again, passed on all the same
  *
  * dispatch({ type: 'add', amount: 2 });
  *
- * assert.deepStrictEqual(countHistory, [0, 2]);
+ * assert.deepStrictEqual(countHistory, [0, 0, 2]);
  * ```
+ *
+ * @note Do not call `dispatch` from a subscriber or a projection while another
+ * update is propagating: the write propagates immediately, so subscribers can
+ * see an intermediate state, and it logs a `console.warn` (once per
+ * observable). Derive the value from its source instead —
+ * `const b$ = a$.pipe(map((a) => a * 2))` rather than
+ * `a$.subscribe((a) => { setB(a * 2); })`.
  */
 export declare const createReducer: <S, A>(reducer: Reducer<S, A>, initialState: S, options?: StateOptions<NoInfer<S>>) => readonly [state: InitializedObservable<S>, dispatch: (action: A) => S, utils: Readonly<{
     getSnapshot: () => S;
@@ -86,8 +95,8 @@ export type StateOptions<S> = Readonly<{
      * `skipIfNoChange`: an update passed on here reaches whatever reads the
      * state directly before any operator can thin it out.
      *
-     * When omitted, every update is passed on, equal or not. That default is
-     * stocked in `NEXT_MAJOR.md` to become `Object.is`.
+     * Defaults to `Object.is`, so writing the value already held passes
+     * nothing on. Pass `() => false` to pass on every update, equal or not.
      *
      * @param current - The state held now
      * @param next - The state the update would set

package/dist/utils/create-reducer.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"create-reducer.d.mts","sourceRoot":"","sources":["../../src/utils/create-reducer.mts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAU,KAAK,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAEvE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkEG;AACH,eAAO,MAAM,aAAa,GAAI,CAAC,EAAE,CAAC,WACvB,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,gBACR,CAAC,YACL,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KACjC,SAAS,CACV,KAAK,EAAE,qBAAqB,CAAC,CAAC,CAAC,EAC/B,QAAQ,EAAE,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,EAC1B,KAAK,EAAE,QAAQ,CAAC;IACd,WAAW,EAAE,MAAM,CAAC,CAAC;IACrB,YAAY,EAAE,CAAC,CAAC;CACjB,CAAC,CAuBH,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI,QAAQ,CAAC;IACrC;;;;;;;;;;;;;;;;OAgBG;IACH,MAAM,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,KAAK,OAAO,CAAC;CAC3C,CAAC,CAAC"}
+{"version":3,"file":"create-reducer.d.mts","sourceRoot":"","sources":["../../src/utils/create-reducer.mts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAU,KAAK,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAEvE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2EG;AACH,eAAO,MAAM,aAAa,GAAI,CAAC,EAAE,CAAC,WACvB,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,gBACR,CAAC,YACL,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KACjC,SAAS,CACV,KAAK,EAAE,qBAAqB,CAAC,CAAC,CAAC,EAC/B,QAAQ,EAAE,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,EAC1B,KAAK,EAAE,QAAQ,CAAC;IACd,WAAW,EAAE,MAAM,CAAC,CAAC;IACrB,YAAY,EAAE,CAAC,CAAC;CACjB,CAAC,CAoBH,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI,QAAQ,CAAC;IACrC;;;;;;;;;;;;;;;;OAgBG;IACH,MAAM,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,KAAK,OAAO,CAAC;CAC3C,CAAC,CAAC"}

package/dist/utils/create-reducer.mjs

@@ -56,6 +56,15 @@ import { source } from '../core/index.mjs';
 
 
 
+
+
+
+
+
+
+
+
+
 
 
 
@@ -68,15 +77,14 @@ import { source } from '../core/index.mjs';
 
 export const createReducer = (reducer, initialState, options) => {
     const state = source(initialState);
-    const equals = options?.equals;
+    const equals = options?.equals ?? Object.is;
     const dispatch = (action) => {
         const currentState = state.getSnapshot().value;
         const nextState = reducer(currentState, action);
-        if (equals?.(currentState, nextState) === true) {
-            return currentState;
-        }
-        state.next(nextState);
-        return nextState;
+
+        return equals(currentState, nextState)
+            ? currentState
+            : state.next(nextState);
     };
     const getSnapshot = () => state.getSnapshot().value;
     return [state, dispatch, { getSnapshot, initialState }];

package/dist/utils/create-reducer.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"create-reducer.mjs","sourceRoot":"","sources":["../../src/utils/create-reducer.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAA8B,MAAM,mBAAmB,CAAC;AAEvE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkEG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,OAAsB,EACtB,YAAe,EACf,OAAkC,EAQlC,EAAE;IACF,MAAM,KAAK,GAAG,MAAM,CAAI,YAAY,CAAC,CAAC;IAEtC,MAAM,MAAM,GAAG,OAAO,EAAE,MAAM,CAAC;IAE/B,MAAM,QAAQ,GAAG,CAAC,MAAS,EAAK,EAAE;QAChC,MAAM,YAAY,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC;QAE/C,MAAM,SAAS,GAAG,OAAO,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;QAEhD,IAAI,MAAM,EAAE,CAAC,YAAY,EAAE,SAAS,CAAC,KAAK,IAAI,EAAE,CAAC;YAC/C,OAAO,YAAY,CAAC;QACtB,CAAC;QAED,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAEtB,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;IAEF,MAAM,WAAW,GAAG,GAAM,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC;IAEvD,OAAO,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE,WAAW,EAAE,YAAY,EAAE,CAAU,CAAC;AACnE,CAAC,CAAC"}
+{"version":3,"file":"create-reducer.mjs","sourceRoot":"","sources":["../../src/utils/create-reducer.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAA8B,MAAM,mBAAmB,CAAC;AAEvE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2EG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,OAAsB,EACtB,YAAe,EACf,OAAkC,EAQlC,EAAE;IACF,MAAM,KAAK,GAAG,MAAM,CAAI,YAAY,CAAC,CAAC;IAEtC,MAAM,MAAM,GAAG,OAAO,EAAE,MAAM,IAAI,MAAM,CAAC,EAAE,CAAC;IAE5C,MAAM,QAAQ,GAAG,CAAC,MAAS,EAAK,EAAE;QAChC,MAAM,YAAY,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC;QAE/C,MAAM,SAAS,GAAG,OAAO,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;QAEhD,8DAA8D;QAC9D,OAAO,MAAM,CAAC,YAAY,EAAE,SAAS,CAAC;YACpC,CAAC,CAAC,YAAY;YACd,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC5B,CAAC,CAAC;IAEF,MAAM,WAAW,GAAG,GAAM,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC;IAEvD,OAAO,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE,WAAW,EAAE,YAAY,EAAE,CAAU,CAAC;AACnE,CAAC,CAAC"}

package/dist/utils/create-state.d.mts

@@ -6,8 +6,8 @@ import { type StateOptions } from './create-reducer.mjs';
  *
  * @template S - The type of the state
  * @param initialState - The initial value of the state
- * @param options - {@link StateOptions}: `equals`, to pass on only the
- *   updates that change the state
+ * @param options - {@link StateOptions}: `equals` (default `Object.is`),
+ *   to pass on only the updates that change the state
  * @returns A 3-element tuple: `[state, setState, { updateState, resetState, getSnapshot, initialState }]`
  *
  * @example
@@ -66,6 +66,13 @@ import { type StateOptions } from './create-reducer.mjs';
  *   'label:bug page:2',
  * ]);
  * ```
+ *
+ * @note Do not call `setState`, `updateState` or `resetState` from a subscriber or a projection while another
+ * update is propagating: the write propagates immediately, so subscribers can
+ * see an intermediate state, and it logs a `console.warn` (once per
+ * observable). Derive the value from its source instead —
+ * `const b$ = a$.pipe(map((a) => a * 2))` rather than
+ * `a$.subscribe((a) => { setB(a * 2); })`.
  */
 export declare const createState: <S>(initialState: S, options?: StateOptions<NoInfer<S>>) => readonly [state: InitializedObservable<S>, setState: (v: S) => S, utils: Readonly<{
     updateState: (updateFn: (prev: S) => S) => S;