atom.io 0.6.6 → 0.6.8

package/dist/index.d.mts

@@ -1,20 +1,29 @@
-import { Hamt } from 'hamt_plus';
 import { Refinement } from 'fp-ts/Refinement';
 
 type ƒn = (...parameters: any[]) => any;
 
-type JsonInterface<T, J extends Json = Json> = {
+type JsonInterface<T, J extends Serializable = Serializable> = {
     toJson: (t: T) => J;
     fromJson: (json: J) => T;
 };
 
-type Primitive = boolean | number | string | null;
-type Serializable = Primitive | Readonly<{
+type primitive = boolean | number | string | null;
+
+type Serializable = primitive | Readonly<{
     [key: string]: Serializable;
 }> | ReadonlyArray<Serializable>;
-type JsonObj<Key extends string = string, Value extends Serializable = Serializable> = Record<Key, Value>;
-type JsonArr<Element extends Serializable = Serializable> = ReadonlyArray<Element>;
-type Json = JsonArr | JsonObj | Primitive;
+type Object$1<Key extends string = string, Value extends Serializable = Serializable> = Record<Key, Value>;
+type Array<Element extends Serializable = Serializable> = ReadonlyArray<Element>;
+
+type json_Array<Element extends Serializable = Serializable> = Array<Element>;
+type json_Serializable = Serializable;
+declare namespace json {
+  export {
+    json_Array as Array,
+    Object$1 as Object,
+    json_Serializable as Serializable,
+  };
+}
 
 type Identified = {
     id: string;
@@ -22,23 +31,23 @@ type Identified = {
 
 declare const RELATION_TYPES: readonly ["1:1", "1:n", "n:n"];
 type RelationType = typeof RELATION_TYPES[number];
-type RelationData<CONTENT extends JsonObj | null = null, A extends string = `from`, B extends string = `to`> = {
-    contents: JsonObj<string, CONTENT>;
-    relations: JsonObj<string, string[]>;
+type RelationData<CONTENT extends Object$1 | null = null, A extends string = `from`, B extends string = `to`> = {
+    contents: Object$1<string, CONTENT>;
+    relations: Object$1<string, string[]>;
     relationType: RelationType;
     a: A;
     b: B;
 };
-type IsRelationDataOptions<CONTENT extends JsonObj | null = null, A extends string = `from`, B extends string = `to`> = {
+type IsRelationDataOptions<CONTENT extends Object$1 | null = null, A extends string = `from`, B extends string = `to`> = {
     from?: A;
     to?: B;
-    isContent?: (json: Json) => json is CONTENT;
+    isContent?: (json: Serializable) => json is CONTENT;
 };
 
 type NullSafeUnion<Base, Extension> = Extension extends null ? Base : Base & Extension;
-type NullSafeRest<MaybeArg> = MaybeArg extends null ? [] | [undefined] : [MaybeArg];
+type NullSafeRest<MaybeArg, IfArg = MaybeArg> = MaybeArg extends null ? [] | [undefined] : [IfArg];
 
-declare class Join<CONTENT extends JsonObj | null = null, A extends string = `from`, B extends string = `to`> implements RelationData<CONTENT, A, B> {
+declare class Join<CONTENT extends Object$1 | null = null, A extends string = `from`, B extends string = `to`> implements RelationData<CONTENT, A, B> {
     readonly relationType: `1:1` | `1:n` | `n:n`;
     readonly a: A;
     readonly b: B;
@@ -46,7 +55,7 @@ declare class Join<CONTENT extends JsonObj | null = null, A extends string = `fr
     readonly contents: Record<string, CONTENT>;
     constructor(json?: Partial<RelationData<CONTENT, A, B>>);
     toJSON(): RelationData<CONTENT, A, B>;
-    static fromJSON<CONTENT extends JsonObj | null, A extends string, B extends string>(json: Json, options?: IsRelationDataOptions<CONTENT, A, B>): Join<CONTENT, A, B>;
+    static fromJSON<CONTENT extends Object$1 | null, A extends string, B extends string>(json: Serializable, options?: IsRelationDataOptions<CONTENT, A, B>): Join<CONTENT, A, B>;
     from<AA extends string>(newA: AA): Join<CONTENT, AA, B>;
     to<BB extends string>(newB: BB): Join<CONTENT, A, BB>;
     makeJsonInterface: (...params: CONTENT extends null ? [
@@ -71,18 +80,18 @@ declare class Join<CONTENT extends JsonObj | null = null, A extends string = `fr
 
 type StoreCore = Pick<Store, `atoms` | `atomsThatAreDefault` | `operation` | `readonlySelectors` | `selectorAtoms` | `selectorGraph` | `selectors` | `timelineAtoms` | `timelines` | `transactions` | `valueMap`>;
 interface Store {
-    atoms: Hamt<Atom<any>, string>;
+    atoms: Map<string, Atom<any>>;
     atomsThatAreDefault: Set<string>;
-    readonlySelectors: Hamt<ReadonlySelector<any>, string>;
+    readonlySelectors: Map<string, ReadonlySelector<any>>;
     selectorAtoms: Join<null, `selectorKey`, `atomKey`>;
     selectorGraph: Join<{
         source: string;
     }>;
-    selectors: Hamt<Selector<any>, string>;
+    selectors: Map<string, Selector<any>>;
     timelineAtoms: Join<null, `timelineKey`, `atomKey`>;
-    timelines: Hamt<Timeline, string>;
-    transactions: Hamt<Transaction<any>, string>;
-    valueMap: Hamt<any, string>;
+    timelines: Map<string, Timeline>;
+    transactions: Map<string, Transaction<any>>;
+    valueMap: Map<string, any>;
     subject: {
         atomCreation: Subject<AtomToken<unknown>>;
         selectorCreation: Subject<ReadonlySelectorToken<unknown> | SelectorToken<unknown>>;
@@ -175,7 +184,7 @@ type OperationProgress = {
 } | {
     open: true;
     done: Set<string>;
-    prev: Hamt<any, string>;
+    prev: Map<string, any>;
     time: number;
     token: StateToken<any>;
 };
@@ -298,7 +307,7 @@ type TimelineTransactionUpdate = TransactionUpdate<ƒn> & {
 type Timeline = {
     key: string;
     at: number;
-    timeTraveling: boolean;
+    timeTraveling: `into_future` | `into_past` | null;
     history: TimelineUpdate[];
     selectorTime: number | null;
     transactionKey: string | null;
@@ -550,7 +559,7 @@ type UpdateHandler<T> = (update: StateUpdate<T>) => void;
 declare const subscribe: <T>(token: ReadonlySelectorToken<T> | StateToken<T>, handleUpdate: UpdateHandler<T>, store?: Store) => (() => void);
 type TransactionUpdateHandler<ƒ extends ƒn> = (data: TransactionUpdate<ƒ>) => void;
 declare const subscribeToTransaction: <ƒ extends ƒn>(token: TransactionToken<ƒ>, handleUpdate: TransactionUpdateHandler<ƒ>, store?: Store) => (() => void);
-declare const subscribeToTimeline: (token: TimelineToken, handleUpdate: (update: TimelineUpdate) => void, store?: Store) => (() => void);
+declare const subscribeToTimeline: (token: TimelineToken, handleUpdate: (update: TimelineUpdate | `redo` | `undo`) => void, store?: Store) => (() => void);
 
 type TimelineToken = {
     key: string;
@@ -592,4 +601,4 @@ declare const getState: <T>(token: ReadonlySelectorToken<T> | StateToken<T>, sto
 declare const setState: <T, New extends T>(token: StateToken<T>, value: New | ((oldValue: T) => New), store?: Store) => void;
 declare const isDefault: (token: ReadonlySelectorToken<unknown> | StateToken<unknown>, store?: Store) => boolean;
 
-export { AtomEffect, AtomFamily, AtomFamilyOptions, AtomOptions, AtomToken, Effectors, FamilyMetadata, KeyedStateUpdate, LOG_LEVELS, Logger, Read, ReadonlySelectorFamily, ReadonlySelectorFamilyOptions, ReadonlySelectorOptions, ReadonlySelectorToken, ReadonlyTransactors, SelectorFamily, SelectorFamilyOptions, SelectorOptions, SelectorToken, Serializable, Silo, StateToken, StateUpdate, Store, TimelineOptions, TimelineToken, TimelineUpdate, TransactionIO, TransactionOptions, TransactionToken, TransactionUpdate, TransactionUpdateHandler, Transactors, UpdateHandler, Write, index as __INTERNAL__, atom, atomFamily, getState, isDefault, redo, runTransaction, selector, selectorFamily, setLogLevel, setState, silo, subscribe, subscribeToTimeline, subscribeToTransaction, timeline, transaction, undo, useLogger };
+export { AtomEffect, AtomFamily, AtomFamilyOptions, AtomOptions, AtomToken, Effectors, FamilyMetadata, json as Json, KeyedStateUpdate, LOG_LEVELS, Logger, Read, ReadonlySelectorFamily, ReadonlySelectorFamilyOptions, ReadonlySelectorOptions, ReadonlySelectorToken, ReadonlyTransactors, SelectorFamily, SelectorFamilyOptions, SelectorOptions, SelectorToken, Silo, StateToken, StateUpdate, Store, TimelineOptions, TimelineToken, TimelineUpdate, TransactionIO, TransactionOptions, TransactionToken, TransactionUpdate, TransactionUpdateHandler, Transactors, UpdateHandler, Write, index as __INTERNAL__, atom, atomFamily, getState, isDefault, redo, runTransaction, selector, selectorFamily, setLogLevel, setState, silo, subscribe, subscribeToTimeline, subscribeToTransaction, timeline, transaction, undo, useLogger };

package/dist/index.d.ts

@@ -1,20 +1,29 @@
-import { Hamt } from 'hamt_plus';
 import { Refinement } from 'fp-ts/Refinement';
 
 type ƒn = (...parameters: any[]) => any;
 
-type JsonInterface<T, J extends Json = Json> = {
+type JsonInterface<T, J extends Serializable = Serializable> = {
     toJson: (t: T) => J;
     fromJson: (json: J) => T;
 };
 
-type Primitive = boolean | number | string | null;
-type Serializable = Primitive | Readonly<{
+type primitive = boolean | number | string | null;
+
+type Serializable = primitive | Readonly<{
     [key: string]: Serializable;
 }> | ReadonlyArray<Serializable>;
-type JsonObj<Key extends string = string, Value extends Serializable = Serializable> = Record<Key, Value>;
-type JsonArr<Element extends Serializable = Serializable> = ReadonlyArray<Element>;
-type Json = JsonArr | JsonObj | Primitive;
+type Object$1<Key extends string = string, Value extends Serializable = Serializable> = Record<Key, Value>;
+type Array<Element extends Serializable = Serializable> = ReadonlyArray<Element>;
+
+type json_Array<Element extends Serializable = Serializable> = Array<Element>;
+type json_Serializable = Serializable;
+declare namespace json {
+  export {
+    json_Array as Array,
+    Object$1 as Object,
+    json_Serializable as Serializable,
+  };
+}
 
 type Identified = {
     id: string;
@@ -22,23 +31,23 @@ type Identified = {
 
 declare const RELATION_TYPES: readonly ["1:1", "1:n", "n:n"];
 type RelationType = typeof RELATION_TYPES[number];
-type RelationData<CONTENT extends JsonObj | null = null, A extends string = `from`, B extends string = `to`> = {
-    contents: JsonObj<string, CONTENT>;
-    relations: JsonObj<string, string[]>;
+type RelationData<CONTENT extends Object$1 | null = null, A extends string = `from`, B extends string = `to`> = {
+    contents: Object$1<string, CONTENT>;
+    relations: Object$1<string, string[]>;
     relationType: RelationType;
     a: A;
     b: B;
 };
-type IsRelationDataOptions<CONTENT extends JsonObj | null = null, A extends string = `from`, B extends string = `to`> = {
+type IsRelationDataOptions<CONTENT extends Object$1 | null = null, A extends string = `from`, B extends string = `to`> = {
     from?: A;
     to?: B;
-    isContent?: (json: Json) => json is CONTENT;
+    isContent?: (json: Serializable) => json is CONTENT;
 };
 
 type NullSafeUnion<Base, Extension> = Extension extends null ? Base : Base & Extension;
-type NullSafeRest<MaybeArg> = MaybeArg extends null ? [] | [undefined] : [MaybeArg];
+type NullSafeRest<MaybeArg, IfArg = MaybeArg> = MaybeArg extends null ? [] | [undefined] : [IfArg];
 
-declare class Join<CONTENT extends JsonObj | null = null, A extends string = `from`, B extends string = `to`> implements RelationData<CONTENT, A, B> {
+declare class Join<CONTENT extends Object$1 | null = null, A extends string = `from`, B extends string = `to`> implements RelationData<CONTENT, A, B> {
     readonly relationType: `1:1` | `1:n` | `n:n`;
     readonly a: A;
     readonly b: B;
@@ -46,7 +55,7 @@ declare class Join<CONTENT extends JsonObj | null = null, A extends string = `fr
     readonly contents: Record<string, CONTENT>;
     constructor(json?: Partial<RelationData<CONTENT, A, B>>);
     toJSON(): RelationData<CONTENT, A, B>;
-    static fromJSON<CONTENT extends JsonObj | null, A extends string, B extends string>(json: Json, options?: IsRelationDataOptions<CONTENT, A, B>): Join<CONTENT, A, B>;
+    static fromJSON<CONTENT extends Object$1 | null, A extends string, B extends string>(json: Serializable, options?: IsRelationDataOptions<CONTENT, A, B>): Join<CONTENT, A, B>;
     from<AA extends string>(newA: AA): Join<CONTENT, AA, B>;
     to<BB extends string>(newB: BB): Join<CONTENT, A, BB>;
     makeJsonInterface: (...params: CONTENT extends null ? [
@@ -71,18 +80,18 @@ declare class Join<CONTENT extends JsonObj | null = null, A extends string = `fr
 
 type StoreCore = Pick<Store, `atoms` | `atomsThatAreDefault` | `operation` | `readonlySelectors` | `selectorAtoms` | `selectorGraph` | `selectors` | `timelineAtoms` | `timelines` | `transactions` | `valueMap`>;
 interface Store {
-    atoms: Hamt<Atom<any>, string>;
+    atoms: Map<string, Atom<any>>;
     atomsThatAreDefault: Set<string>;
-    readonlySelectors: Hamt<ReadonlySelector<any>, string>;
+    readonlySelectors: Map<string, ReadonlySelector<any>>;
     selectorAtoms: Join<null, `selectorKey`, `atomKey`>;
     selectorGraph: Join<{
         source: string;
     }>;
-    selectors: Hamt<Selector<any>, string>;
+    selectors: Map<string, Selector<any>>;
     timelineAtoms: Join<null, `timelineKey`, `atomKey`>;
-    timelines: Hamt<Timeline, string>;
-    transactions: Hamt<Transaction<any>, string>;
-    valueMap: Hamt<any, string>;
+    timelines: Map<string, Timeline>;
+    transactions: Map<string, Transaction<any>>;
+    valueMap: Map<string, any>;
     subject: {
         atomCreation: Subject<AtomToken<unknown>>;
         selectorCreation: Subject<ReadonlySelectorToken<unknown> | SelectorToken<unknown>>;
@@ -175,7 +184,7 @@ type OperationProgress = {
 } | {
     open: true;
     done: Set<string>;
-    prev: Hamt<any, string>;
+    prev: Map<string, any>;
     time: number;
     token: StateToken<any>;
 };
@@ -298,7 +307,7 @@ type TimelineTransactionUpdate = TransactionUpdate<ƒn> & {
 type Timeline = {
     key: string;
     at: number;
-    timeTraveling: boolean;
+    timeTraveling: `into_future` | `into_past` | null;
     history: TimelineUpdate[];
     selectorTime: number | null;
     transactionKey: string | null;
@@ -550,7 +559,7 @@ type UpdateHandler<T> = (update: StateUpdate<T>) => void;
 declare const subscribe: <T>(token: ReadonlySelectorToken<T> | StateToken<T>, handleUpdate: UpdateHandler<T>, store?: Store) => (() => void);
 type TransactionUpdateHandler<ƒ extends ƒn> = (data: TransactionUpdate<ƒ>) => void;
 declare const subscribeToTransaction: <ƒ extends ƒn>(token: TransactionToken<ƒ>, handleUpdate: TransactionUpdateHandler<ƒ>, store?: Store) => (() => void);
-declare const subscribeToTimeline: (token: TimelineToken, handleUpdate: (update: TimelineUpdate) => void, store?: Store) => (() => void);
+declare const subscribeToTimeline: (token: TimelineToken, handleUpdate: (update: TimelineUpdate | `redo` | `undo`) => void, store?: Store) => (() => void);
 
 type TimelineToken = {
     key: string;
@@ -592,4 +601,4 @@ declare const getState: <T>(token: ReadonlySelectorToken<T> | StateToken<T>, sto
 declare const setState: <T, New extends T>(token: StateToken<T>, value: New | ((oldValue: T) => New), store?: Store) => void;
 declare const isDefault: (token: ReadonlySelectorToken<unknown> | StateToken<unknown>, store?: Store) => boolean;
 
-export { AtomEffect, AtomFamily, AtomFamilyOptions, AtomOptions, AtomToken, Effectors, FamilyMetadata, KeyedStateUpdate, LOG_LEVELS, Logger, Read, ReadonlySelectorFamily, ReadonlySelectorFamilyOptions, ReadonlySelectorOptions, ReadonlySelectorToken, ReadonlyTransactors, SelectorFamily, SelectorFamilyOptions, SelectorOptions, SelectorToken, Serializable, Silo, StateToken, StateUpdate, Store, TimelineOptions, TimelineToken, TimelineUpdate, TransactionIO, TransactionOptions, TransactionToken, TransactionUpdate, TransactionUpdateHandler, Transactors, UpdateHandler, Write, index as __INTERNAL__, atom, atomFamily, getState, isDefault, redo, runTransaction, selector, selectorFamily, setLogLevel, setState, silo, subscribe, subscribeToTimeline, subscribeToTransaction, timeline, transaction, undo, useLogger };
+export { AtomEffect, AtomFamily, AtomFamilyOptions, AtomOptions, AtomToken, Effectors, FamilyMetadata, json as Json, KeyedStateUpdate, LOG_LEVELS, Logger, Read, ReadonlySelectorFamily, ReadonlySelectorFamilyOptions, ReadonlySelectorOptions, ReadonlySelectorToken, ReadonlyTransactors, SelectorFamily, SelectorFamilyOptions, SelectorOptions, SelectorToken, Silo, StateToken, StateUpdate, Store, TimelineOptions, TimelineToken, TimelineUpdate, TransactionIO, TransactionOptions, TransactionToken, TransactionUpdate, TransactionUpdateHandler, Transactors, UpdateHandler, Write, index as __INTERNAL__, atom, atomFamily, getState, isDefault, redo, runTransaction, selector, selectorFamily, setLogLevel, setState, silo, subscribe, subscribeToTimeline, subscribeToTransaction, timeline, transaction, undo, useLogger };