atom.io 0.17.0 → 0.18.0

package/react-devtools/src/StateEditor.tsx

@@ -2,12 +2,12 @@ import type { ReadonlySelectorToken, WritableToken } from "atom.io"
 import { useI, useO } from "atom.io/react"
 import type { FC } from "react"
 
-import { fallback } from "~/packages/anvl/src/function"
-import { Join } from "~/packages/anvl/src/join"
-import { isJson } from "~/packages/anvl/src/refinement/refine-json"
-import { RelationEditor } from "~/packages/hamr/src/react-data-designer"
-import { ElasticInput } from "~/packages/hamr/src/react-elastic-input"
-import { JsonEditor } from "~/packages/hamr/src/react-json-editor"
+import { fallback } from "anvl/function"
+import { Join } from "anvl/join"
+import { isJson } from "anvl/refinement"
+import { RelationEditor } from "hamr/react-data-designer"
+import { ElasticInput } from "hamr/react-elastic-input"
+import { JsonEditor } from "hamr/react-json-editor"
 
 export const StateEditor: FC<{
 	token: WritableToken<unknown>

package/react-devtools/src/StateIndex.tsx

@@ -8,11 +8,8 @@ import type { FamilyNode, WritableTokenIndex } from "atom.io/introspection"
 import { useI, useO } from "atom.io/react"
 import type { FC } from "react"
 
-import { recordToEntries } from "~/packages/anvl/src/object"
-import {
-	isJson,
-	refineJsonType,
-} from "~/packages/anvl/src/refinement/refine-json"
+import { recordToEntries } from "anvl/object"
+import { isJson, refineJsonType } from "anvl/refinement"
 
 import { findViewIsOpenState, primitiveRefinery } from "."
 import { button } from "./Button"

package/react-devtools/src/TimelineIndex.tsx

@@ -3,7 +3,7 @@ import type {
 	RegularAtomToken,
 	TimelineToken,
 } from "atom.io"
-import { redo, undo } from "atom.io"
+import { findState, redo, undo } from "atom.io"
 import type { Timeline } from "atom.io/internal"
 import { useI, useO } from "atom.io/react"
 import { type FC, Fragment } from "react"
@@ -82,8 +82,8 @@ export const TimelineIndex: FC = () => {
 						<TimelineLog
 							key={token.key}
 							token={token}
-							isOpenState={findViewIsOpenState(token.key)}
-							timelineState={findTimelineState(token.key)}
+							isOpenState={findState(findViewIsOpenState, token.key)}
+							timelineState={findState(findTimelineState, token.key)}
 						/>
 					)
 				})}

package/react-devtools/src/TransactionIndex.tsx

@@ -1,9 +1,10 @@
-import type {
-	ReadonlySelectorToken,
-	RegularAtomToken,
-	TransactionToken,
-	TransactionUpdate,
-	ƒn,
+import {
+	type ReadonlySelectorToken,
+	type RegularAtomToken,
+	type TransactionToken,
+	type TransactionUpdate,
+	findState,
+	type ƒn,
 } from "atom.io"
 import { useI, useO } from "atom.io/react"
 import type { FC } from "react"
@@ -60,8 +61,8 @@ export const TransactionIndex: FC = () => {
 						<TransactionLog
 							key={token.key}
 							token={token}
-							isOpenState={findViewIsOpenState(token.key)}
-							logState={findTransactionLogState(token.key)}
+							isOpenState={findState(findViewIsOpenState, token.key)}
+							logState={findState(findTransactionLogState, token.key)}
 						/>
 					)
 				})}

package/react-devtools/src/Updates.tsx

@@ -6,7 +6,7 @@ import type {
 } from "atom.io"
 import * as React from "react"
 
-import { discoverType } from "~/packages/anvl/src/refinement/refinery"
+import { discoverType } from "anvl/refinement/refinery"
 
 import { prettyJson } from "."
 

package/react-devtools/src/index.ts

@@ -1,9 +1,8 @@
 import { atom, atomFamily } from "atom.io"
 import { attachIntrospectionStates } from "atom.io/introspection"
-import { lazyLocalStorageEffect } from "~/packages/atom.io/__unstable__/web-effects/src"
 
-import { isPlainObject } from "~/packages/anvl/src/object"
-import { Refinery } from "~/packages/anvl/src/refinement/refinery"
+import { isPlainObject } from "anvl/object"
+import { Refinery } from "anvl/refinement"
 import {
 	Differ,
 	diffArray,
@@ -11,7 +10,8 @@ import {
 	diffNumber,
 	diffObject,
 	diffString,
-} from "~/packages/anvl/src/tree/differ"
+} from "anvl/tree/differ"
+import { lazyLocalStorageEffect } from "~/packages/atom.io/__unstable__/web-effects/src"
 
 export * from "./AtomIODevtools"
 

package/realtime/dist/index.cjs

@@ -0,0 +1,72 @@
+'use strict';
+
+var internal = require('atom.io/internal');
+
+// realtime/src/realtime-continuity.ts
+var InvariantMap = class extends Map {
+  set(key, value) {
+    if (this.has(key)) {
+      console.warn(`Tried to set a key that already exists in an InvariantMap`, {
+        key,
+        value
+      });
+      return this;
+    }
+    return super.set(key, value);
+  }
+  clear() {
+    throw new Error(`Cannot clear an InvariantMap`);
+  }
+};
+var _SyncGroup = class _SyncGroup {
+  constructor(key) {
+    this.key = key;
+    this.type = `continuity`;
+    this.globals = [];
+    this.actions = [];
+    this.perspectives = [];
+  }
+  static create(key, builder) {
+    const group = new _SyncGroup(key);
+    const { type, globals, actions, perspectives } = builder(group);
+    const token = { type, key, globals, actions, perspectives };
+    _SyncGroup.existing.set(key, token);
+    return token;
+  }
+  add(...args) {
+    const zeroth = args[0];
+    if (zeroth.type === `atom` || zeroth.type === `mutable_atom`) {
+      const globals = args;
+      this.globals.push(...globals);
+    } else if (zeroth.type === `transaction`) {
+      const actions = args;
+      this.actions.push(...actions);
+    } else {
+      const [family, index] = args;
+      this.perspectives.push({
+        type: `realtime_perspective`,
+        resourceAtoms: family,
+        perspectiveAtoms: index
+      });
+    }
+    return this;
+  }
+};
+_SyncGroup.existing = new InvariantMap();
+var SyncGroup = _SyncGroup;
+function continuity(options) {
+  const { key, config } = options;
+  const token = SyncGroup.create(key, config);
+  const { actions } = token;
+  for (const action of actions) {
+    internal.assignTransactionToContinuity(key, action.key, internal.IMPLICIT.STORE);
+  }
+  internal.setEpochNumberOfContinuity(key, -1, internal.IMPLICIT.STORE);
+  return token;
+}
+
+exports.InvariantMap = InvariantMap;
+exports.SyncGroup = SyncGroup;
+exports.continuity = continuity;
+//# sourceMappingURL=out.js.map
+//# sourceMappingURL=index.cjs.map

package/realtime/dist/index.cjs.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/realtime-continuity.ts"],"names":[],"mappings":";AAOA;AAAA,EACC;AAAA,EACA;AAAA,EACA;AAAA,OACM;AAGA,IAAM,eAAN,cAAiC,IAAU;AAAA,EAC1C,IAAI,KAAQ,OAAgB;AAClC,QAAI,KAAK,IAAI,GAAG,GAAG;AAClB,cAAQ,KAAK,6DAA6D;AAAA,QACzE;AAAA,QACA;AAAA,MACD,CAAC;AACD,aAAO;AAAA,IACR;AACA,WAAO,MAAM,IAAI,KAAK,KAAK;AAAA,EAC5B;AAAA,EAEO,QAAc;AACpB,UAAM,IAAI,MAAM,8BAA8B;AAAA,EAC/C;AACD;AAsBO,IAAM,aAAN,MAAM,WAAU;AAAA,EAOZ,YAA+B,KAAa;AAAb;AANzC,SAAU,OAAO;AAEjB,SAAU,UAA4B,CAAC;AACvC,SAAU,UAAmC,CAAC;AAC9C,SAAU,eAA6C,CAAC;AAAA,EAED;AAAA,EAIvD,OAAc,OACb,KACA,SACkB;AAClB,UAAM,QAAQ,IAAI,WAAU,GAAG;AAC/B,UAAM,EAAE,MAAM,SAAS,SAAS,aAAa,IAAI,QAAQ,KAAK;AAC9D,UAAM,QAAQ,EAAE,MAAM,KAAK,SAAS,SAAS,aAAa;AAC1D,eAAU,SAAS,IAAI,KAAK,KAAK;AACjC,WAAO;AAAA,EACR;AAAA,EAWO,OACH,MAIS;AACZ,UAAM,SAAS,KAAK,CAAC;AACrB,QAAI,OAAO,SAAS,UAAU,OAAO,SAAS,gBAAgB;AAC7D,YAAM,UAAU;AAChB,WAAK,QAAQ,KAAK,GAAG,OAAO;AAAA,IAC7B,WAAW,OAAO,SAAS,eAAe;AACzC,YAAM,UAAU;AAChB,WAAK,QAAQ,KAAK,GAAG,OAAO;AAAA,IAC7B,OAAO;AACN,YAAM,CAAC,QAAQ,KAAK,IAAI;AAIxB,WAAK,aAAa,KAAK;AAAA,QACtB,MAAM;AAAA,QACN,eAAe;AAAA,QACf,kBAAkB;AAAA,MACnB,CAAC;AAAA,IACF;AACA,WAAO;AAAA,EACR;AACD;AAzDa,WASE,WACb,IAAI,aAAa;AAVZ,IAAM,YAAN;AAgEA,SAAS,WAAW,SAA6C;AACvE,QAAM,EAAE,KAAK,OAAO,IAAI;AACxB,QAAM,QAAQ,UAAU,OAAO,KAAK,MAAM;AAC1C,QAAM,EAAE,QAAQ,IAAI;AACpB,aAAW,UAAU,SAAS;AAC7B,kCAA8B,KAAK,OAAO,KAAK,SAAS,KAAK;AAAA,EAC9D;AACA,6BAA2B,KAAK,IAAI,SAAS,KAAK;AAClD,SAAO;AACR","sourcesContent":["import type {\n\tAtomFamilyToken,\n\tAtomToken,\n\tReadableFamilyToken,\n\tReadableToken,\n\tTransactionToken,\n} from \"atom.io\"\nimport {\n\tIMPLICIT,\n\tassignTransactionToContinuity,\n\tsetEpochNumberOfContinuity,\n} from \"atom.io/internal\"\nimport type { Json } from \"atom.io/json\"\n\nexport class InvariantMap<K, V> extends Map<K, V> {\n\tpublic set(key: K, value: V): this {\n\t\tif (this.has(key)) {\n\t\t\tconsole.warn(`Tried to set a key that already exists in an InvariantMap`, {\n\t\t\t\tkey,\n\t\t\t\tvalue,\n\t\t\t})\n\t\t\treturn this\n\t\t}\n\t\treturn super.set(key, value)\n\t}\n\n\tpublic clear(): void {\n\t\tthrow new Error(`Cannot clear an InvariantMap`)\n\t}\n}\n\nexport type PerspectiveToken<\n\tF extends AtomFamilyToken<any>,\n\tT extends F extends AtomFamilyToken<infer T, any> ? T : never,\n> = {\n\ttype: `realtime_perspective`\n\tresourceAtoms: F\n\tperspectiveAtoms: ReadableFamilyToken<Iterable<ReadableToken<T>>, string>\n}\n\nexport type ContinuityToken = {\n\treadonly type: `continuity`\n\treadonly key: string\n\treadonly globals: AtomToken<any>[]\n\treadonly actions: TransactionToken<any>[]\n\treadonly perspectives: PerspectiveToken<\n\t\tAtomFamilyToken<any, Json.Serializable>,\n\t\tJson.Serializable\n\t>[]\n}\n\nexport class SyncGroup {\n\tprotected type = `continuity` as const\n\n\tprotected globals: AtomToken<any>[] = []\n\tprotected actions: TransactionToken<any>[] = []\n\tprotected perspectives: PerspectiveToken<any, any>[] = []\n\n\tprotected constructor(protected readonly key: string) {}\n\n\tpublic static existing: InvariantMap<string, ContinuityToken> =\n\t\tnew InvariantMap()\n\tpublic static create(\n\t\tkey: string,\n\t\tbuilder: (group: SyncGroup) => SyncGroup,\n\t): ContinuityToken {\n\t\tconst group = new SyncGroup(key)\n\t\tconst { type, globals, actions, perspectives } = builder(group)\n\t\tconst token = { type, key, globals, actions, perspectives }\n\t\tSyncGroup.existing.set(key, token)\n\t\treturn token\n\t}\n\n\tpublic add(...atoms: AtomToken<any>[]): SyncGroup\n\tpublic add(...args: TransactionToken<any>[]): SyncGroup\n\tpublic add<\n\t\tF extends AtomFamilyToken<any>,\n\t\tT extends F extends AtomFamilyToken<infer T> ? T : never,\n\t>(\n\t\tfamily: AtomFamilyToken<T, any>,\n\t\tindex: ReadableFamilyToken<Iterable<AtomToken<T>>, string>,\n\t): SyncGroup\n\tpublic add(\n\t\t...args:\n\t\t\t| readonly AtomToken<any>[]\n\t\t\t| readonly TransactionToken<any>[]\n\t\t\t| [AtomFamilyToken<any, any>, ReadableFamilyToken<Iterable<any>, string>]\n\t): SyncGroup {\n\t\tconst zeroth = args[0]\n\t\tif (zeroth.type === `atom` || zeroth.type === `mutable_atom`) {\n\t\t\tconst globals = args as AtomToken<any>[]\n\t\t\tthis.globals.push(...globals)\n\t\t} else if (zeroth.type === `transaction`) {\n\t\t\tconst actions = args as TransactionToken<any>[]\n\t\t\tthis.actions.push(...actions)\n\t\t} else {\n\t\t\tconst [family, index] = args as [\n\t\t\t\tAtomFamilyToken<any, any>,\n\t\t\t\tReadableFamilyToken<Iterable<any>, string>,\n\t\t\t]\n\t\t\tthis.perspectives.push({\n\t\t\t\ttype: `realtime_perspective`,\n\t\t\t\tresourceAtoms: family,\n\t\t\t\tperspectiveAtoms: index,\n\t\t\t})\n\t\t}\n\t\treturn this\n\t}\n}\n\nexport type ContinuityOptions = {\n\tkey: string\n\tconfig: (group: SyncGroup) => SyncGroup\n}\n\nexport function continuity(options: ContinuityOptions): ContinuityToken {\n\tconst { key, config } = options\n\tconst token = SyncGroup.create(key, config)\n\tconst { actions } = token\n\tfor (const action of actions) {\n\t\tassignTransactionToContinuity(key, action.key, IMPLICIT.STORE)\n\t}\n\tsetEpochNumberOfContinuity(key, -1, IMPLICIT.STORE)\n\treturn token\n}\n\n// const counterStates = atomFamily<number, { c: string }>({\n// \tkey: `counter`,\n// \tdefault: 0,\n// })\n// const counterIndices = atomFamily<{ c: string }[], string>({\n// \tkey: `counterIndex`,\n// \tdefault: [],\n// })\n// const nameStates = atomFamily<number, { n: string }>({\n// \tkey: `name`,\n// \tdefault: 0,\n// })\n// const nameIndices = atomFamily<{ n: string }[], string>({\n// \tkey: `nameIndex`,\n// \tdefault: [],\n// })\n\n// const counterContinuity = continuity({\n// \tkey: `counter`,\n// \tconfig: (group) =>\n// \t\tgroup\n// \t\t\t.add(counterStates, counterIndices)\n// \t\t\t.add(nameStates, nameIndices)\n// \t\t\t.add(nameStates, nameIndices)\n// \t\t\t.add(nameStates, nameIndices),\n// })\n"]}

package/realtime/dist/index.d.ts

@@ -0,0 +1,39 @@
+import { AtomFamilyToken, ReadableFamilyToken, ReadableToken, AtomToken, TransactionToken } from 'atom.io';
+import { Json } from 'atom.io/json';
+
+declare class InvariantMap<K, V> extends Map<K, V> {
+    set(key: K, value: V): this;
+    clear(): void;
+}
+type PerspectiveToken<F extends AtomFamilyToken<any>, T extends F extends AtomFamilyToken<infer T, any> ? T : never> = {
+    type: `realtime_perspective`;
+    resourceAtoms: F;
+    perspectiveAtoms: ReadableFamilyToken<Iterable<ReadableToken<T>>, string>;
+};
+type ContinuityToken = {
+    readonly type: `continuity`;
+    readonly key: string;
+    readonly globals: AtomToken<any>[];
+    readonly actions: TransactionToken<any>[];
+    readonly perspectives: PerspectiveToken<AtomFamilyToken<any, Json.Serializable>, Json.Serializable>[];
+};
+declare class SyncGroup {
+    protected readonly key: string;
+    protected type: "continuity";
+    protected globals: AtomToken<any>[];
+    protected actions: TransactionToken<any>[];
+    protected perspectives: PerspectiveToken<any, any>[];
+    protected constructor(key: string);
+    static existing: InvariantMap<string, ContinuityToken>;
+    static create(key: string, builder: (group: SyncGroup) => SyncGroup): ContinuityToken;
+    add(...atoms: AtomToken<any>[]): SyncGroup;
+    add(...args: TransactionToken<any>[]): SyncGroup;
+    add<F extends AtomFamilyToken<any>, T extends F extends AtomFamilyToken<infer T> ? T : never>(family: AtomFamilyToken<T, any>, index: ReadableFamilyToken<Iterable<AtomToken<T>>, string>): SyncGroup;
+}
+type ContinuityOptions = {
+    key: string;
+    config: (group: SyncGroup) => SyncGroup;
+};
+declare function continuity(options: ContinuityOptions): ContinuityToken;
+
+export { type ContinuityOptions, type ContinuityToken, InvariantMap, type PerspectiveToken, SyncGroup, continuity };

package/realtime/dist/index.js

@@ -0,0 +1,68 @@
+import '../../dist/chunk-PZLG2HP3.js';
+import { assignTransactionToContinuity, IMPLICIT, setEpochNumberOfContinuity } from 'atom.io/internal';
+
+var InvariantMap = class extends Map {
+  set(key, value) {
+    if (this.has(key)) {
+      console.warn(`Tried to set a key that already exists in an InvariantMap`, {
+        key,
+        value
+      });
+      return this;
+    }
+    return super.set(key, value);
+  }
+  clear() {
+    throw new Error(`Cannot clear an InvariantMap`);
+  }
+};
+var _SyncGroup = class _SyncGroup {
+  constructor(key) {
+    this.key = key;
+    this.type = `continuity`;
+    this.globals = [];
+    this.actions = [];
+    this.perspectives = [];
+  }
+  static create(key, builder) {
+    const group = new _SyncGroup(key);
+    const { type, globals, actions, perspectives } = builder(group);
+    const token = { type, key, globals, actions, perspectives };
+    _SyncGroup.existing.set(key, token);
+    return token;
+  }
+  add(...args) {
+    const zeroth = args[0];
+    if (zeroth.type === `atom` || zeroth.type === `mutable_atom`) {
+      const globals = args;
+      this.globals.push(...globals);
+    } else if (zeroth.type === `transaction`) {
+      const actions = args;
+      this.actions.push(...actions);
+    } else {
+      const [family, index] = args;
+      this.perspectives.push({
+        type: `realtime_perspective`,
+        resourceAtoms: family,
+        perspectiveAtoms: index
+      });
+    }
+    return this;
+  }
+};
+_SyncGroup.existing = new InvariantMap();
+var SyncGroup = _SyncGroup;
+function continuity(options) {
+  const { key, config } = options;
+  const token = SyncGroup.create(key, config);
+  const { actions } = token;
+  for (const action of actions) {
+    assignTransactionToContinuity(key, action.key, IMPLICIT.STORE);
+  }
+  setEpochNumberOfContinuity(key, -1, IMPLICIT.STORE);
+  return token;
+}
+
+export { InvariantMap, SyncGroup, continuity };
+//# sourceMappingURL=out.js.map
+//# sourceMappingURL=index.js.map

package/realtime/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/realtime-continuity.ts"],"names":[],"mappings":";;;AAOA;AAAA,EACC;AAAA,EACA;AAAA,EACA;AAAA,OACM;AAGA,IAAM,eAAN,cAAiC,IAAU;AAAA,EAC1C,IAAI,KAAQ,OAAgB;AAClC,QAAI,KAAK,IAAI,GAAG,GAAG;AAClB,cAAQ,KAAK,6DAA6D;AAAA,QACzE;AAAA,QACA;AAAA,MACD,CAAC;AACD,aAAO;AAAA,IACR;AACA,WAAO,MAAM,IAAI,KAAK,KAAK;AAAA,EAC5B;AAAA,EAEO,QAAc;AACpB,UAAM,IAAI,MAAM,8BAA8B;AAAA,EAC/C;AACD;AAsBO,IAAM,aAAN,MAAM,WAAU;AAAA,EAOZ,YAA+B,KAAa;AAAb;AANzC,SAAU,OAAO;AAEjB,SAAU,UAA4B,CAAC;AACvC,SAAU,UAAmC,CAAC;AAC9C,SAAU,eAA6C,CAAC;AAAA,EAED;AAAA,EAIvD,OAAc,OACb,KACA,SACkB;AAClB,UAAM,QAAQ,IAAI,WAAU,GAAG;AAC/B,UAAM,EAAE,MAAM,SAAS,SAAS,aAAa,IAAI,QAAQ,KAAK;AAC9D,UAAM,QAAQ,EAAE,MAAM,KAAK,SAAS,SAAS,aAAa;AAC1D,eAAU,SAAS,IAAI,KAAK,KAAK;AACjC,WAAO;AAAA,EACR;AAAA,EAWO,OACH,MAIS;AACZ,UAAM,SAAS,KAAK,CAAC;AACrB,QAAI,OAAO,SAAS,UAAU,OAAO,SAAS,gBAAgB;AAC7D,YAAM,UAAU;AAChB,WAAK,QAAQ,KAAK,GAAG,OAAO;AAAA,IAC7B,WAAW,OAAO,SAAS,eAAe;AACzC,YAAM,UAAU;AAChB,WAAK,QAAQ,KAAK,GAAG,OAAO;AAAA,IAC7B,OAAO;AACN,YAAM,CAAC,QAAQ,KAAK,IAAI;AAIxB,WAAK,aAAa,KAAK;AAAA,QACtB,MAAM;AAAA,QACN,eAAe;AAAA,QACf,kBAAkB;AAAA,MACnB,CAAC;AAAA,IACF;AACA,WAAO;AAAA,EACR;AACD;AAzDa,WASE,WACb,IAAI,aAAa;AAVZ,IAAM,YAAN;AAgEA,SAAS,WAAW,SAA6C;AACvE,QAAM,EAAE,KAAK,OAAO,IAAI;AACxB,QAAM,QAAQ,UAAU,OAAO,KAAK,MAAM;AAC1C,QAAM,EAAE,QAAQ,IAAI;AACpB,aAAW,UAAU,SAAS;AAC7B,kCAA8B,KAAK,OAAO,KAAK,SAAS,KAAK;AAAA,EAC9D;AACA,6BAA2B,KAAK,IAAI,SAAS,KAAK;AAClD,SAAO;AACR","sourcesContent":["import type {\n\tAtomFamilyToken,\n\tAtomToken,\n\tReadableFamilyToken,\n\tReadableToken,\n\tTransactionToken,\n} from \"atom.io\"\nimport {\n\tIMPLICIT,\n\tassignTransactionToContinuity,\n\tsetEpochNumberOfContinuity,\n} from \"atom.io/internal\"\nimport type { Json } from \"atom.io/json\"\n\nexport class InvariantMap<K, V> extends Map<K, V> {\n\tpublic set(key: K, value: V): this {\n\t\tif (this.has(key)) {\n\t\t\tconsole.warn(`Tried to set a key that already exists in an InvariantMap`, {\n\t\t\t\tkey,\n\t\t\t\tvalue,\n\t\t\t})\n\t\t\treturn this\n\t\t}\n\t\treturn super.set(key, value)\n\t}\n\n\tpublic clear(): void {\n\t\tthrow new Error(`Cannot clear an InvariantMap`)\n\t}\n}\n\nexport type PerspectiveToken<\n\tF extends AtomFamilyToken<any>,\n\tT extends F extends AtomFamilyToken<infer T, any> ? T : never,\n> = {\n\ttype: `realtime_perspective`\n\tresourceAtoms: F\n\tperspectiveAtoms: ReadableFamilyToken<Iterable<ReadableToken<T>>, string>\n}\n\nexport type ContinuityToken = {\n\treadonly type: `continuity`\n\treadonly key: string\n\treadonly globals: AtomToken<any>[]\n\treadonly actions: TransactionToken<any>[]\n\treadonly perspectives: PerspectiveToken<\n\t\tAtomFamilyToken<any, Json.Serializable>,\n\t\tJson.Serializable\n\t>[]\n}\n\nexport class SyncGroup {\n\tprotected type = `continuity` as const\n\n\tprotected globals: AtomToken<any>[] = []\n\tprotected actions: TransactionToken<any>[] = []\n\tprotected perspectives: PerspectiveToken<any, any>[] = []\n\n\tprotected constructor(protected readonly key: string) {}\n\n\tpublic static existing: InvariantMap<string, ContinuityToken> =\n\t\tnew InvariantMap()\n\tpublic static create(\n\t\tkey: string,\n\t\tbuilder: (group: SyncGroup) => SyncGroup,\n\t): ContinuityToken {\n\t\tconst group = new SyncGroup(key)\n\t\tconst { type, globals, actions, perspectives } = builder(group)\n\t\tconst token = { type, key, globals, actions, perspectives }\n\t\tSyncGroup.existing.set(key, token)\n\t\treturn token\n\t}\n\n\tpublic add(...atoms: AtomToken<any>[]): SyncGroup\n\tpublic add(...args: TransactionToken<any>[]): SyncGroup\n\tpublic add<\n\t\tF extends AtomFamilyToken<any>,\n\t\tT extends F extends AtomFamilyToken<infer T> ? T : never,\n\t>(\n\t\tfamily: AtomFamilyToken<T, any>,\n\t\tindex: ReadableFamilyToken<Iterable<AtomToken<T>>, string>,\n\t): SyncGroup\n\tpublic add(\n\t\t...args:\n\t\t\t| readonly AtomToken<any>[]\n\t\t\t| readonly TransactionToken<any>[]\n\t\t\t| [AtomFamilyToken<any, any>, ReadableFamilyToken<Iterable<any>, string>]\n\t): SyncGroup {\n\t\tconst zeroth = args[0]\n\t\tif (zeroth.type === `atom` || zeroth.type === `mutable_atom`) {\n\t\t\tconst globals = args as AtomToken<any>[]\n\t\t\tthis.globals.push(...globals)\n\t\t} else if (zeroth.type === `transaction`) {\n\t\t\tconst actions = args as TransactionToken<any>[]\n\t\t\tthis.actions.push(...actions)\n\t\t} else {\n\t\t\tconst [family, index] = args as [\n\t\t\t\tAtomFamilyToken<any, any>,\n\t\t\t\tReadableFamilyToken<Iterable<any>, string>,\n\t\t\t]\n\t\t\tthis.perspectives.push({\n\t\t\t\ttype: `realtime_perspective`,\n\t\t\t\tresourceAtoms: family,\n\t\t\t\tperspectiveAtoms: index,\n\t\t\t})\n\t\t}\n\t\treturn this\n\t}\n}\n\nexport type ContinuityOptions = {\n\tkey: string\n\tconfig: (group: SyncGroup) => SyncGroup\n}\n\nexport function continuity(options: ContinuityOptions): ContinuityToken {\n\tconst { key, config } = options\n\tconst token = SyncGroup.create(key, config)\n\tconst { actions } = token\n\tfor (const action of actions) {\n\t\tassignTransactionToContinuity(key, action.key, IMPLICIT.STORE)\n\t}\n\tsetEpochNumberOfContinuity(key, -1, IMPLICIT.STORE)\n\treturn token\n}\n\n// const counterStates = atomFamily<number, { c: string }>({\n// \tkey: `counter`,\n// \tdefault: 0,\n// })\n// const counterIndices = atomFamily<{ c: string }[], string>({\n// \tkey: `counterIndex`,\n// \tdefault: [],\n// })\n// const nameStates = atomFamily<number, { n: string }>({\n// \tkey: `name`,\n// \tdefault: 0,\n// })\n// const nameIndices = atomFamily<{ n: string }[], string>({\n// \tkey: `nameIndex`,\n// \tdefault: [],\n// })\n\n// const counterContinuity = continuity({\n// \tkey: `counter`,\n// \tconfig: (group) =>\n// \t\tgroup\n// \t\t\t.add(counterStates, counterIndices)\n// \t\t\t.add(nameStates, nameIndices)\n// \t\t\t.add(nameStates, nameIndices)\n// \t\t\t.add(nameStates, nameIndices),\n// })\n"]}

package/realtime/package.json

@@ -0,0 +1,16 @@
+{
+	"name": "atom.io-realtime",
+	"type": "module",
+	"private": true,
+	"main": "dist/index.cjs",
+	"module": "dist/index.mjs",
+	"types": "dist/index.d.ts",
+	"exports": {
+		".": {
+			"import": "./dist/index.js",
+			"browser": "./dist/index.js",
+			"require": "./dist/index.cjs",
+			"types": "./dist/index.d.ts"
+		}
+	}
+}

package/realtime/src/index.ts

@@ -0,0 +1 @@
+export * from "./realtime-continuity"

package/realtime/src/realtime-continuity.ts

@@ -0,0 +1,152 @@
+import type {
+	AtomFamilyToken,
+	AtomToken,
+	ReadableFamilyToken,
+	ReadableToken,
+	TransactionToken,
+} from "atom.io"
+import {
+	IMPLICIT,
+	assignTransactionToContinuity,
+	setEpochNumberOfContinuity,
+} from "atom.io/internal"
+import type { Json } from "atom.io/json"
+
+export class InvariantMap<K, V> extends Map<K, V> {
+	public set(key: K, value: V): this {
+		if (this.has(key)) {
+			console.warn(`Tried to set a key that already exists in an InvariantMap`, {
+				key,
+				value,
+			})
+			return this
+		}
+		return super.set(key, value)
+	}
+
+	public clear(): void {
+		throw new Error(`Cannot clear an InvariantMap`)
+	}
+}
+
+export type PerspectiveToken<
+	F extends AtomFamilyToken<any>,
+	T extends F extends AtomFamilyToken<infer T, any> ? T : never,
+> = {
+	type: `realtime_perspective`
+	resourceAtoms: F
+	perspectiveAtoms: ReadableFamilyToken<Iterable<ReadableToken<T>>, string>
+}
+
+export type ContinuityToken = {
+	readonly type: `continuity`
+	readonly key: string
+	readonly globals: AtomToken<any>[]
+	readonly actions: TransactionToken<any>[]
+	readonly perspectives: PerspectiveToken<
+		AtomFamilyToken<any, Json.Serializable>,
+		Json.Serializable
+	>[]
+}
+
+export class SyncGroup {
+	protected type = `continuity` as const
+
+	protected globals: AtomToken<any>[] = []
+	protected actions: TransactionToken<any>[] = []
+	protected perspectives: PerspectiveToken<any, any>[] = []
+
+	protected constructor(protected readonly key: string) {}
+
+	public static existing: InvariantMap<string, ContinuityToken> =
+		new InvariantMap()
+	public static create(
+		key: string,
+		builder: (group: SyncGroup) => SyncGroup,
+	): ContinuityToken {
+		const group = new SyncGroup(key)
+		const { type, globals, actions, perspectives } = builder(group)
+		const token = { type, key, globals, actions, perspectives }
+		SyncGroup.existing.set(key, token)
+		return token
+	}
+
+	public add(...atoms: AtomToken<any>[]): SyncGroup
+	public add(...args: TransactionToken<any>[]): SyncGroup
+	public add<
+		F extends AtomFamilyToken<any>,
+		T extends F extends AtomFamilyToken<infer T> ? T : never,
+	>(
+		family: AtomFamilyToken<T, any>,
+		index: ReadableFamilyToken<Iterable<AtomToken<T>>, string>,
+	): SyncGroup
+	public add(
+		...args:
+			| readonly AtomToken<any>[]
+			| readonly TransactionToken<any>[]
+			| [AtomFamilyToken<any, any>, ReadableFamilyToken<Iterable<any>, string>]
+	): SyncGroup {
+		const zeroth = args[0]
+		if (zeroth.type === `atom` || zeroth.type === `mutable_atom`) {
+			const globals = args as AtomToken<any>[]
+			this.globals.push(...globals)
+		} else if (zeroth.type === `transaction`) {
+			const actions = args as TransactionToken<any>[]
+			this.actions.push(...actions)
+		} else {
+			const [family, index] = args as [
+				AtomFamilyToken<any, any>,
+				ReadableFamilyToken<Iterable<any>, string>,
+			]
+			this.perspectives.push({
+				type: `realtime_perspective`,
+				resourceAtoms: family,
+				perspectiveAtoms: index,
+			})
+		}
+		return this
+	}
+}
+
+export type ContinuityOptions = {
+	key: string
+	config: (group: SyncGroup) => SyncGroup
+}
+
+export function continuity(options: ContinuityOptions): ContinuityToken {
+	const { key, config } = options
+	const token = SyncGroup.create(key, config)
+	const { actions } = token
+	for (const action of actions) {
+		assignTransactionToContinuity(key, action.key, IMPLICIT.STORE)
+	}
+	setEpochNumberOfContinuity(key, -1, IMPLICIT.STORE)
+	return token
+}
+
+// const counterStates = atomFamily<number, { c: string }>({
+// 	key: `counter`,
+// 	default: 0,
+// })
+// const counterIndices = atomFamily<{ c: string }[], string>({
+// 	key: `counterIndex`,
+// 	default: [],
+// })
+// const nameStates = atomFamily<number, { n: string }>({
+// 	key: `name`,
+// 	default: 0,
+// })
+// const nameIndices = atomFamily<{ n: string }[], string>({
+// 	key: `nameIndex`,
+// 	default: [],
+// })
+
+// const counterContinuity = continuity({
+// 	key: `counter`,
+// 	config: (group) =>
+// 		group
+// 			.add(counterStates, counterIndices)
+// 			.add(nameStates, nameIndices)
+// 			.add(nameStates, nameIndices)
+// 			.add(nameStates, nameIndices),
+// })