atom.io 0.12.0 → 0.13.0

package/internal/dist/index.d.cts

@@ -8,6 +8,11 @@ declare class Subject<T> {
     private unsubscribe;
     next(value: T): void;
 }
+declare class StatefulSubject<T> extends Subject<T> {
+    state: T;
+    constructor(initialState: T);
+    next(value: T): void;
+}
 
 type Selector<T> = {
     key: string;
@@ -78,23 +83,18 @@ type Transaction<ƒ extends ƒn> = {
     run: (...parameters: Parameters<ƒ>) => ReturnType<ƒ>;
 };
 declare function createTransaction<ƒ extends ƒn>(options: TransactionOptions<ƒ>, store: Store): TransactionToken<ƒ>;
-declare const target: (store: Store) => StoreCore;
 
-declare const redoTransactionUpdate: <ƒ extends ƒn>(update: TransactionUpdate<ƒ>, store: Store) => void;
+declare const redoTransactionUpdate: <ƒ extends ƒn>(transactionUpdate: TransactionUpdate<ƒ>, store: Store) => void;
 
-declare const undoTransactionUpdate: <ƒ extends ƒn>(update: TransactionUpdate<ƒ>, store: Store) => void;
+declare const undoTransactionUpdate: <ƒ extends ƒn>(transactionUpdate: TransactionUpdate<ƒ>, store: Store) => void;
 
 declare const TRANSACTION_PHASES: readonly ["idle", "building", "applying"];
 type TransactionPhase = (typeof TRANSACTION_PHASES)[number];
-type TransactionUpdateInProgress<ƒ extends ƒn> = TransactionUpdate<ƒ> & {
+type TransactionMeta<ƒ extends ƒn> = {
     phase: `applying` | `building`;
     time: number;
-    core: StoreCore;
-};
-type TransactionIdle = {
-    phase: `idle`;
+    update: TransactionUpdate<ƒ>;
 };
-type TransactionStatus<ƒ extends ƒn> = TransactionIdle | TransactionUpdateInProgress<ƒ>;
 
 declare function deposit<T>(state: Atom<T>): AtomToken<T>;
 declare function deposit<T>(state: Selector<T>): SelectorToken<T>;
@@ -177,6 +177,13 @@ declare class Junction<const ASide extends string, const BSide extends string, c
     has(a: string, b?: string): boolean;
 }
 
+interface Lineage {
+    parent: typeof this | null;
+    child: typeof this | null;
+}
+declare function newest<T extends Lineage>(scion: T): T;
+declare function eldest<T extends Lineage>(scion: T): T;
+
 interface Transceiver<Signal extends Json.Serializable> {
     do: (update: Signal) => void;
     undo: (update: Signal) => void;
@@ -277,8 +284,9 @@ declare const addAtomToTimeline: (atomToken: AtomToken<any>, tl: Timeline, store
 
 declare const timeTravel: (direction: `backward` | `forward`, token: TimelineToken, store: Store) => void;
 
-type StoreCore = Pick<Store, `atoms` | `atomsThatAreDefault` | `families` | `operation` | `readonlySelectors` | `selectorAtoms` | `selectorGraph` | `selectors` | `timelineAtoms` | `timelines` | `trackers` | `transactions` | `valueMap`>;
-declare class Store {
+declare class Store implements Lineage {
+    parent: Store | null;
+    child: Store | null;
     valueMap: Map<string, any>;
     atoms: Map<string, Atom<any> | MutableAtom<any>>;
     selectors: Map<string, Selector<any>>;
@@ -298,10 +306,11 @@ declare class Store {
         selectorCreation: Subject<ReadonlySelectorToken<unknown> | SelectorToken<unknown>>;
         transactionCreation: Subject<TransactionToken<ƒn>>;
         timelineCreation: Subject<TimelineToken>;
+        transactionApplying: StatefulSubject<TransactionMeta<ƒn> | null>;
         operationStatus: Subject<OperationProgress>;
     };
     operation: OperationProgress;
-    transactionStatus: TransactionStatus<ƒn>;
+    transactionMeta: TransactionMeta<ƒn> | null;
     config: {
         name: string;
     };
@@ -378,12 +387,23 @@ declare function createReadonlySelectorFamily<T, K extends Json.Serializable>(op
 declare function createSelectorFamily<T, K extends Json.Serializable>(options: SelectorFamilyOptions<T, K>, store: Store): SelectorFamily<T, K>;
 declare function createSelectorFamily<T, K extends Json.Serializable>(options: ReadonlySelectorFamilyOptions<T, K>, store: Store): ReadonlySelectorFamily<T, K>;
 
-declare const readOrComputeValue: <T>(state: Atom<T> | ReadonlySelector<T> | Selector<T>, store: Store) => T;
+declare class LazyMap<K, V> extends Map<K, V> {
+    protected readonly source: Map<K, V>;
+    deleted: Set<K>;
+    constructor(source: Map<K, V>);
+    get(key: K): V | undefined;
+    set(key: K, value: V): this;
+    hasOwn(key: K): boolean;
+    has(key: K): boolean;
+    delete(key: K): boolean;
+}
 
 declare class NotFoundError extends Error {
     constructor(token: ReadonlySelectorToken<any> | StateToken<any>, store: Store);
 }
 
+declare const readOrComputeValue: <T>(state: Atom<T> | ReadonlySelector<T> | Selector<T>, store: Store) => T;
+
 type Modify<T> = (thing: T) => T;
 declare const become: <T>(nextVersionOfThing: T | Modify<T>) => (originalThing: T) => T;
 
@@ -391,4 +411,4 @@ declare const setAtomOrSelector: <T>(state: Atom<T> | Selector<T>, value: T | ((
 
 declare const subscribeToRootAtoms: <T>(state: ReadonlySelector<T> | Selector<T>, store: Store) => (() => void)[] | null;
 
-export { type Atom, type AtomKey, FamilyTracker, Future, IMPLICIT, type Modify, type MutableAtom, NotFoundError, type OperationProgress, type ReadonlySelector, type ReadonlySelectorKey, type Selector, type SelectorKey, type Signal, type StateKey, Store, type StoreCore, Subject, TRANSACTION_PHASES, type Timeline, type TimelineAtomUpdate, type TimelineSelectorUpdate, type TimelineTransactionUpdate, Tracker, type Transaction, type TransactionIdle, type TransactionPhase, type TransactionStatus, type TransactionUpdateInProgress, type Transceiver, type TransceiverMode, abortTransaction, addAtomToTimeline, applyTransaction, become, buildTransaction, cacheValue, clearStore, closeOperation, createAtom, createAtomFamily, createMutableAtom, createMutableAtomFamily, createReadonlySelectorFamily, createSelector, createSelectorFamily, createTimeline, createTransaction, deleteAtom, deleteSelector, deposit, evictCachedValue, getJsonFamily, getJsonToken, getSelectorDependencyKeys, getUpdateToken, isAtomDefault, isAtomKey, isAtomMutable, isAtomTokenMutable, isDone, isReadonlySelectorKey, isSelectorDefault, isSelectorKey, isStateKey, isTransceiver, isValueCached, markAtomAsDefault, markAtomAsNotDefault, markDone, openOperation, readCachedValue, readOrComputeValue, redoTransactionUpdate, registerSelector, setAtomOrSelector, subscribeToRootAtoms, target, timeTravel, traceAllSelectorAtoms, traceSelectorAtoms, undoTransactionUpdate, updateSelectorAtoms, withdraw, withdrawNewFamilyMember };
+export { type Atom, type AtomKey, FamilyTracker, Future, IMPLICIT, LazyMap, type Lineage, type Modify, type MutableAtom, NotFoundError, type OperationProgress, type ReadonlySelector, type ReadonlySelectorKey, type Selector, type SelectorKey, type Signal, type StateKey, StatefulSubject, Store, Subject, TRANSACTION_PHASES, type Timeline, type TimelineAtomUpdate, type TimelineSelectorUpdate, type TimelineTransactionUpdate, Tracker, type Transaction, type TransactionMeta, type TransactionPhase, type Transceiver, type TransceiverMode, abortTransaction, addAtomToTimeline, applyTransaction, become, buildTransaction, cacheValue, clearStore, closeOperation, createAtom, createAtomFamily, createMutableAtom, createMutableAtomFamily, createReadonlySelectorFamily, createSelector, createSelectorFamily, createTimeline, createTransaction, deleteAtom, deleteSelector, deposit, eldest, evictCachedValue, getJsonFamily, getJsonToken, getSelectorDependencyKeys, getUpdateToken, isAtomDefault, isAtomKey, isAtomMutable, isAtomTokenMutable, isDone, isReadonlySelectorKey, isSelectorDefault, isSelectorKey, isStateKey, isTransceiver, isValueCached, markAtomAsDefault, markAtomAsNotDefault, markDone, newest, openOperation, readCachedValue, readOrComputeValue, redoTransactionUpdate, registerSelector, setAtomOrSelector, subscribeToRootAtoms, timeTravel, traceAllSelectorAtoms, traceSelectorAtoms, undoTransactionUpdate, updateSelectorAtoms, withdraw, withdrawNewFamilyMember };

package/internal/dist/index.d.ts

@@ -8,6 +8,11 @@ declare class Subject<T> {
     private unsubscribe;
     next(value: T): void;
 }
+declare class StatefulSubject<T> extends Subject<T> {
+    state: T;
+    constructor(initialState: T);
+    next(value: T): void;
+}
 
 type Selector<T> = {
     key: string;
@@ -78,23 +83,18 @@ type Transaction<ƒ extends ƒn> = {
     run: (...parameters: Parameters<ƒ>) => ReturnType<ƒ>;
 };
 declare function createTransaction<ƒ extends ƒn>(options: TransactionOptions<ƒ>, store: Store): TransactionToken<ƒ>;
-declare const target: (store: Store) => StoreCore;
 
-declare const redoTransactionUpdate: <ƒ extends ƒn>(update: TransactionUpdate<ƒ>, store: Store) => void;
+declare const redoTransactionUpdate: <ƒ extends ƒn>(transactionUpdate: TransactionUpdate<ƒ>, store: Store) => void;
 
-declare const undoTransactionUpdate: <ƒ extends ƒn>(update: TransactionUpdate<ƒ>, store: Store) => void;
+declare const undoTransactionUpdate: <ƒ extends ƒn>(transactionUpdate: TransactionUpdate<ƒ>, store: Store) => void;
 
 declare const TRANSACTION_PHASES: readonly ["idle", "building", "applying"];
 type TransactionPhase = (typeof TRANSACTION_PHASES)[number];
-type TransactionUpdateInProgress<ƒ extends ƒn> = TransactionUpdate<ƒ> & {
+type TransactionMeta<ƒ extends ƒn> = {
     phase: `applying` | `building`;
     time: number;
-    core: StoreCore;
-};
-type TransactionIdle = {
-    phase: `idle`;
+    update: TransactionUpdate<ƒ>;
 };
-type TransactionStatus<ƒ extends ƒn> = TransactionIdle | TransactionUpdateInProgress<ƒ>;
 
 declare function deposit<T>(state: Atom<T>): AtomToken<T>;
 declare function deposit<T>(state: Selector<T>): SelectorToken<T>;
@@ -177,6 +177,13 @@ declare class Junction<const ASide extends string, const BSide extends string, c
     has(a: string, b?: string): boolean;
 }
 
+interface Lineage {
+    parent: typeof this | null;
+    child: typeof this | null;
+}
+declare function newest<T extends Lineage>(scion: T): T;
+declare function eldest<T extends Lineage>(scion: T): T;
+
 interface Transceiver<Signal extends Json.Serializable> {
     do: (update: Signal) => void;
     undo: (update: Signal) => void;
@@ -277,8 +284,9 @@ declare const addAtomToTimeline: (atomToken: AtomToken<any>, tl: Timeline, store
 
 declare const timeTravel: (direction: `backward` | `forward`, token: TimelineToken, store: Store) => void;
 
-type StoreCore = Pick<Store, `atoms` | `atomsThatAreDefault` | `families` | `operation` | `readonlySelectors` | `selectorAtoms` | `selectorGraph` | `selectors` | `timelineAtoms` | `timelines` | `trackers` | `transactions` | `valueMap`>;
-declare class Store {
+declare class Store implements Lineage {
+    parent: Store | null;
+    child: Store | null;
     valueMap: Map<string, any>;
     atoms: Map<string, Atom<any> | MutableAtom<any>>;
     selectors: Map<string, Selector<any>>;
@@ -298,10 +306,11 @@ declare class Store {
         selectorCreation: Subject<ReadonlySelectorToken<unknown> | SelectorToken<unknown>>;
         transactionCreation: Subject<TransactionToken<ƒn>>;
         timelineCreation: Subject<TimelineToken>;
+        transactionApplying: StatefulSubject<TransactionMeta<ƒn> | null>;
         operationStatus: Subject<OperationProgress>;
     };
     operation: OperationProgress;
-    transactionStatus: TransactionStatus<ƒn>;
+    transactionMeta: TransactionMeta<ƒn> | null;
     config: {
         name: string;
     };
@@ -378,12 +387,23 @@ declare function createReadonlySelectorFamily<T, K extends Json.Serializable>(op
 declare function createSelectorFamily<T, K extends Json.Serializable>(options: SelectorFamilyOptions<T, K>, store: Store): SelectorFamily<T, K>;
 declare function createSelectorFamily<T, K extends Json.Serializable>(options: ReadonlySelectorFamilyOptions<T, K>, store: Store): ReadonlySelectorFamily<T, K>;
 
-declare const readOrComputeValue: <T>(state: Atom<T> | ReadonlySelector<T> | Selector<T>, store: Store) => T;
+declare class LazyMap<K, V> extends Map<K, V> {
+    protected readonly source: Map<K, V>;
+    deleted: Set<K>;
+    constructor(source: Map<K, V>);
+    get(key: K): V | undefined;
+    set(key: K, value: V): this;
+    hasOwn(key: K): boolean;
+    has(key: K): boolean;
+    delete(key: K): boolean;
+}
 
 declare class NotFoundError extends Error {
     constructor(token: ReadonlySelectorToken<any> | StateToken<any>, store: Store);
 }
 
+declare const readOrComputeValue: <T>(state: Atom<T> | ReadonlySelector<T> | Selector<T>, store: Store) => T;
+
 type Modify<T> = (thing: T) => T;
 declare const become: <T>(nextVersionOfThing: T | Modify<T>) => (originalThing: T) => T;
 
@@ -391,4 +411,4 @@ declare const setAtomOrSelector: <T>(state: Atom<T> | Selector<T>, value: T | ((
 
 declare const subscribeToRootAtoms: <T>(state: ReadonlySelector<T> | Selector<T>, store: Store) => (() => void)[] | null;
 
-export { type Atom, type AtomKey, FamilyTracker, Future, IMPLICIT, type Modify, type MutableAtom, NotFoundError, type OperationProgress, type ReadonlySelector, type ReadonlySelectorKey, type Selector, type SelectorKey, type Signal, type StateKey, Store, type StoreCore, Subject, TRANSACTION_PHASES, type Timeline, type TimelineAtomUpdate, type TimelineSelectorUpdate, type TimelineTransactionUpdate, Tracker, type Transaction, type TransactionIdle, type TransactionPhase, type TransactionStatus, type TransactionUpdateInProgress, type Transceiver, type TransceiverMode, abortTransaction, addAtomToTimeline, applyTransaction, become, buildTransaction, cacheValue, clearStore, closeOperation, createAtom, createAtomFamily, createMutableAtom, createMutableAtomFamily, createReadonlySelectorFamily, createSelector, createSelectorFamily, createTimeline, createTransaction, deleteAtom, deleteSelector, deposit, evictCachedValue, getJsonFamily, getJsonToken, getSelectorDependencyKeys, getUpdateToken, isAtomDefault, isAtomKey, isAtomMutable, isAtomTokenMutable, isDone, isReadonlySelectorKey, isSelectorDefault, isSelectorKey, isStateKey, isTransceiver, isValueCached, markAtomAsDefault, markAtomAsNotDefault, markDone, openOperation, readCachedValue, readOrComputeValue, redoTransactionUpdate, registerSelector, setAtomOrSelector, subscribeToRootAtoms, target, timeTravel, traceAllSelectorAtoms, traceSelectorAtoms, undoTransactionUpdate, updateSelectorAtoms, withdraw, withdrawNewFamilyMember };
+export { type Atom, type AtomKey, FamilyTracker, Future, IMPLICIT, LazyMap, type Lineage, type Modify, type MutableAtom, NotFoundError, type OperationProgress, type ReadonlySelector, type ReadonlySelectorKey, type Selector, type SelectorKey, type Signal, type StateKey, StatefulSubject, Store, Subject, TRANSACTION_PHASES, type Timeline, type TimelineAtomUpdate, type TimelineSelectorUpdate, type TimelineTransactionUpdate, Tracker, type Transaction, type TransactionMeta, type TransactionPhase, type Transceiver, type TransceiverMode, abortTransaction, addAtomToTimeline, applyTransaction, become, buildTransaction, cacheValue, clearStore, closeOperation, createAtom, createAtomFamily, createMutableAtom, createMutableAtomFamily, createReadonlySelectorFamily, createSelector, createSelectorFamily, createTimeline, createTransaction, deleteAtom, deleteSelector, deposit, eldest, evictCachedValue, getJsonFamily, getJsonToken, getSelectorDependencyKeys, getUpdateToken, isAtomDefault, isAtomKey, isAtomMutable, isAtomTokenMutable, isDone, isReadonlySelectorKey, isSelectorDefault, isSelectorKey, isStateKey, isTransceiver, isValueCached, markAtomAsDefault, markAtomAsNotDefault, markDone, newest, openOperation, readCachedValue, readOrComputeValue, redoTransactionUpdate, registerSelector, setAtomOrSelector, subscribeToRootAtoms, timeTravel, traceAllSelectorAtoms, traceSelectorAtoms, undoTransactionUpdate, updateSelectorAtoms, withdraw, withdrawNewFamilyMember };