atom.io 0.17.0 → 0.18.1

package/react-devtools/src/StateEditor.tsx

@@ -4,10 +4,10 @@ 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 { isJson } from "~/packages/anvl/src/refinement"
+import { RelationEditor } from "~/packages/hamr/react-data-designer/src"
+import { ElasticInput } from "~/packages/hamr/react-elastic-input/src"
+import { JsonEditor } from "~/packages/hamr/react-json-editor/src"
 
 export const StateEditor: FC<{
 	token: WritableToken<unknown>

package/react-devtools/src/StateIndex.tsx

@@ -9,10 +9,7 @@ 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 { isJson, refineJsonType } from "~/packages/anvl/src/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/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 { Refinery } from "~/packages/anvl/src/refinement"
 import {
 	Differ,
 	diffArray,
@@ -12,6 +11,7 @@ import {
 	diffObject,
 	diffString,
 } from "~/packages/anvl/src/tree/differ"
+import { lazyLocalStorageEffect } from "~/packages/atom.io/__unstable__/web-effects/src"
 
 export * from "./AtomIODevtools"
 

package/realtime/dist/index.cjs

@@ -0,0 +1,120 @@
+'use strict';
+
+var internal = require('atom.io/internal');
+var atom_io = require('atom.io');
+var data = require('atom.io/data');
+var setRtx = require('atom.io/transceivers/set-rtx');
+
+// 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;
+      for (const global of globals) {
+        switch (global.type) {
+          case `atom`:
+            this.globals.push(global);
+            break;
+          case `mutable_atom`:
+            this.globals.push(internal.getUpdateToken(global));
+            break;
+        }
+      }
+    } 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,
+        viewAtoms: 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;
+}
+var usersInThisRoomIndex = atom_io.atom({
+  key: `usersInRoomIndex`,
+  mutable: true,
+  default: () => new setRtx.SetRTX(),
+  toJson: (set) => set.toJSON(),
+  fromJson: (json) => setRtx.SetRTX.fromJSON(json)
+});
+var roomIndex = atom_io.atom({
+  key: `roomIndex`,
+  default: () => new setRtx.SetRTX(),
+  mutable: true,
+  toJson: (set) => set.toJSON(),
+  fromJson: (json) => setRtx.SetRTX.fromJSON(json)
+});
+var DEFAULT_USER_IN_ROOM_META = {
+  enteredAtEpoch: 0
+};
+var usersInRooms = data.join(
+  {
+    key: `usersInRooms`,
+    between: [`room`, `user`],
+    cardinality: `1:n`
+  },
+  DEFAULT_USER_IN_ROOM_META
+);
+var usersInMyRoomView = atom_io.selectorFamily({
+  key: `usersInMyRoomView`,
+  get: (username) => ({ find }) => {
+    return [find(usersInRooms.core.findRelatedKeysState, username)];
+  }
+});
+
+exports.DEFAULT_USER_IN_ROOM_META = DEFAULT_USER_IN_ROOM_META;
+exports.InvariantMap = InvariantMap;
+exports.SyncGroup = SyncGroup;
+exports.continuity = continuity;
+exports.roomIndex = roomIndex;
+exports.usersInMyRoomView = usersInMyRoomView;
+exports.usersInRooms = usersInRooms;
+exports.usersInThisRoomIndex = usersInThisRoomIndex;
+//# sourceMappingURL=out.js.map
+//# sourceMappingURL=index.cjs.map

package/realtime/dist/index.cjs.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/realtime-continuity.ts","../src/shared-room-store.ts"],"names":[],"mappings":";AAOA;AAAA,EACC;AAAA,EACA;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,iBAAW,UAAU,SAAS;AAC7B,gBAAQ,OAAO,MAAM;AAAA,UACpB,KAAK;AACJ,iBAAK,QAAQ,KAAK,MAAM;AACxB;AAAA,UACD,KAAK;AACJ,iBAAK,QAAQ,KAAK,eAAe,MAAM,CAAC;AACxC;AAAA,QACF;AAAA,MACD;AAAA,IACD,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,WAAW;AAAA,MACZ,CAAC;AAAA,IACF;AACA,WAAO;AAAA,EACR;AACD;AAlEa,WASE,WACb,IAAI,aAAa;AAVZ,IAAM,YAAN;AAyEA,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;;;ACrIA,SAAS,MAAM,sBAAsB;AACrC,SAAS,YAAY;AAErB,SAAS,cAAc;AAEhB,IAAM,uBAAuB,KAAyC;AAAA,EAC5E,KAAK;AAAA,EACL,SAAS;AAAA,EACT,SAAS,MAAM,IAAI,OAAe;AAAA,EAClC,QAAQ,CAAC,QAAQ,IAAI,OAAO;AAAA,EAC5B,UAAU,CAAC,SAAS,OAAO,SAAS,IAAI;AACzC,CAAC;AAEM,IAAM,YAAY,KAAK;AAAA,EAC7B,KAAK;AAAA,EACL,SAAS,MAAM,IAAI,OAAe;AAAA,EAClC,SAAS;AAAA,EACT,QAAQ,CAAC,QAAQ,IAAI,OAAO;AAAA,EAC5B,UAAU,CAAC,SAAS,OAAO,SAAS,IAAI;AACzC,CAAC;AAKM,IAAM,4BAA4C;AAAA,EACxD,gBAAgB;AACjB;AACO,IAAM,eAAe;AAAA,EAC3B;AAAA,IACC,KAAK;AAAA,IACL,SAAS,CAAC,QAAQ,MAAM;AAAA,IACxB,aAAa;AAAA,EACd;AAAA,EACA;AACD;AAEO,IAAM,oBAAoB,eAG/B;AAAA,EACD,KAAK;AAAA,EACL,KACC,CAAC,aACD,CAAC,EAAE,KAAK,MAAM;AACb,WAAO,CAAC,KAAK,aAAa,KAAK,sBAAsB,QAAQ,CAAC;AAAA,EAC/D;AACF,CAAC","sourcesContent":["import type {\n\tAtomFamilyToken,\n\tAtomToken,\n\tReadableFamilyToken,\n\tReadableToken,\n\tTransactionToken,\n} from \"atom.io\"\nimport {\n\tIMPLICIT,\n\tassignTransactionToContinuity,\n\tgetUpdateToken,\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\tviewAtoms: ReadableFamilyToken<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\tfor (const global of globals) {\n\t\t\t\tswitch (global.type) {\n\t\t\t\t\tcase `atom`:\n\t\t\t\t\t\tthis.globals.push(global)\n\t\t\t\t\t\tbreak\n\t\t\t\t\tcase `mutable_atom`:\n\t\t\t\t\t\tthis.globals.push(getUpdateToken(global))\n\t\t\t\t\t\tbreak\n\t\t\t\t}\n\t\t\t}\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<ReadableToken<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\tviewAtoms: 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","import type { MutableAtomToken } from \"atom.io\"\nimport { atom, selectorFamily } from \"atom.io\"\nimport { join } from \"atom.io/data\"\nimport type { SetRTXJson } from \"atom.io/transceivers/set-rtx\"\nimport { SetRTX } from \"atom.io/transceivers/set-rtx\"\n\nexport const usersInThisRoomIndex = atom<SetRTX<string>, SetRTXJson<string>>({\n\tkey: `usersInRoomIndex`,\n\tmutable: true,\n\tdefault: () => new SetRTX<string>(),\n\ttoJson: (set) => set.toJSON(),\n\tfromJson: (json) => SetRTX.fromJSON(json),\n})\n\nexport const roomIndex = atom({\n\tkey: `roomIndex`,\n\tdefault: () => new SetRTX<string>(),\n\tmutable: true,\n\ttoJson: (set) => set.toJSON(),\n\tfromJson: (json) => SetRTX.fromJSON(json),\n})\n\nexport type UserInRoomMeta = {\n\tenteredAtEpoch: number\n}\nexport const DEFAULT_USER_IN_ROOM_META: UserInRoomMeta = {\n\tenteredAtEpoch: 0,\n}\nexport const usersInRooms = join(\n\t{\n\t\tkey: `usersInRooms`,\n\t\tbetween: [`room`, `user`],\n\t\tcardinality: `1:n`,\n\t},\n\tDEFAULT_USER_IN_ROOM_META,\n)\n\nexport const usersInMyRoomView = selectorFamily<\n\tMutableAtomToken<SetRTX<string>, SetRTXJson<string>>[],\n\tstring\n>({\n\tkey: `usersInMyRoomView`,\n\tget:\n\t\t(username) =>\n\t\t({ find }) => {\n\t\t\treturn [find(usersInRooms.core.findRelatedKeysState, username)]\n\t\t},\n})\n"]}

package/realtime/dist/index.d.ts

@@ -0,0 +1,146 @@
+import * as atom_io from 'atom.io';
+import { AtomFamilyToken, ReadableFamilyToken, ReadableToken, AtomToken, TransactionToken, MutableAtomToken } from 'atom.io';
+import { Json } from 'atom.io/json';
+import * as atom_io_data from 'atom.io/data';
+import * as atom_io_internal from 'atom.io/internal';
+import { SetRTX, SetRTXJson } from 'atom.io/transceivers/set-rtx';
+
+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;
+    viewAtoms: ReadableFamilyToken<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;
+
+type primitive = boolean | number | string | null;
+
+type Serializable = primitive | Readonly<{
+    [key: string]: Serializable;
+}> | ReadonlyArray<Serializable>;
+type Object$1<Key extends string = string, Value extends Serializable = Serializable> = Record<Key, Value>;
+
+type Refinement<Unrefined, Refined extends Unrefined> = (value: Unrefined) => value is Refined;
+type Cardinality = `1:1` | `1:n` | `n:n`;
+
+interface JunctionEntries<Content extends Object$1 | null> extends Object$1 {
+    readonly relations: [string, string[]][];
+    readonly contents: [string, Content][];
+}
+interface JunctionSchema<ASide extends string, BSide extends string> extends Object$1 {
+    readonly between: [a: ASide, b: BSide];
+    readonly cardinality: Cardinality;
+}
+type BaseExternalStoreConfiguration = {
+    addRelation: (a: string, b: string) => void;
+    deleteRelation: (a: string, b: string) => void;
+    replaceRelationsSafely: (a: string, bs: string[]) => void;
+    replaceRelationsUnsafely: (a: string, bs: string[]) => void;
+    getRelatedKeys: (key: string) => Set<string> | undefined;
+    has: (a: string, b?: string) => boolean;
+};
+type ExternalStoreWithContentConfiguration<Content extends Object$1> = {
+    getContent: (contentKey: string) => Content | undefined;
+    setContent: (contentKey: string, content: Content) => void;
+    deleteContent: (contentKey: string) => void;
+};
+type Empty<Obj extends object> = {
+    [Key in keyof Obj]?: undefined;
+};
+type ExternalStoreConfiguration<Content extends Object$1 | null> = Content extends Object$1 ? BaseExternalStoreConfiguration & ExternalStoreWithContentConfiguration<Content> : BaseExternalStoreConfiguration & Empty<ExternalStoreWithContentConfiguration<Object$1>>;
+type JunctionAdvancedConfiguration<Content extends Object$1 | null> = {
+    externalStore?: ExternalStoreConfiguration<Content>;
+    isContent?: Refinement<unknown, Content>;
+    makeContentKey?: (a: string, b: string) => string;
+};
+type JunctionJSON<ASide extends string, BSide extends string, Content extends Object$1 | null> = JunctionEntries<Content> & JunctionSchema<ASide, BSide>;
+declare class Junction<const ASide extends string, const BSide extends string, const Content extends Object$1 | null = null> {
+    readonly a: ASide;
+    readonly b: BSide;
+    readonly cardinality: Cardinality;
+    readonly relations: Map<string, Set<string>>;
+    readonly contents: Map<string, Content>;
+    isContent: Refinement<unknown, Content> | null;
+    makeContentKey: (a: string, b: string) => string;
+    getRelatedKeys(key: string): Set<string> | undefined;
+    protected addRelation(a: string, b: string): void;
+    protected deleteRelation(a: string, b: string): void;
+    protected replaceRelationsUnsafely(a: string, bs: string[]): void;
+    protected replaceRelationsSafely(a: string, bs: string[]): void;
+    protected getContentInternal(contentKey: string): Content | undefined;
+    protected setContent(contentKey: string, content: Content): void;
+    protected deleteContent(contentKey: string): void;
+    constructor(data: JunctionSchema<ASide, BSide> & Partial<JunctionEntries<Content>>, config?: JunctionAdvancedConfiguration<Content>);
+    toJSON(): JunctionJSON<ASide, BSide, Content>;
+    set(a: string, ...rest: Content extends null ? [b: string] : [b: string, content: Content]): this;
+    set(relation: {
+        [Key in ASide | BSide]: string;
+    }, ...rest: Content extends null ? [] | [b?: undefined] : [content: Content]): this;
+    delete(a: string, b?: string): this;
+    delete(relation: Record<ASide | BSide, string> | Record<ASide, string> | Record<BSide, string>, b?: undefined): this;
+    getRelatedKey(key: string): string | undefined;
+    replaceRelations(a: string, relations: Content extends null ? string[] : Record<string, Content>, config?: {
+        reckless: boolean;
+    }): this;
+    getContent(a: string, b: string): Content | undefined;
+    getRelationEntries(input: Record<ASide, string> | Record<BSide, string>): [string, Content][];
+    has(a: string, b?: string): boolean;
+}
+
+declare const usersInThisRoomIndex: MutableAtomToken<SetRTX<string>, SetRTXJson<string>>;
+declare const roomIndex: MutableAtomToken<SetRTX<string>, SetRTXJson<string>>;
+type UserInRoomMeta = {
+    enteredAtEpoch: number;
+};
+declare const DEFAULT_USER_IN_ROOM_META: UserInRoomMeta;
+declare const usersInRooms: {
+    readonly relations: Junction<"room", "user", UserInRoomMeta>;
+    readonly states: {
+        readonly roomEntryOfUser: atom_io.ReadonlySelectorFamily<[string, UserInRoomMeta] | null, string>;
+    } & {
+        readonly userEntriesOfRoom: atom_io.ReadonlySelectorFamily<[string, UserInRoomMeta][], string>;
+    } & {
+        readonly roomKeyOfUser: atom_io.ReadonlySelectorFamily<string | null, string>;
+    } & {
+        readonly userKeysOfRoom: atom_io.ReadonlySelectorFamily<string[], string>;
+    };
+    readonly in: (store: atom_io_internal.Store) => atom_io_data.Join<"room", "user", "1:n", UserInRoomMeta>;
+    readonly transact: (transactors: Readonly<{
+        get: <S>(state: atom_io.ReadonlySelectorToken<S> | atom_io.WritableToken<S>) => S;
+        set: <S_1, New extends S_1>(state: atom_io.WritableToken<S_1>, newValue: New | ((oldValue: S_1) => New)) => void;
+        find: typeof atom_io.findState;
+    }>, run: (join: atom_io_data.Join<"room", "user", "1:n", UserInRoomMeta>) => void) => void;
+    readonly core: {
+        readonly findRelatedKeysState: atom_io.MutableAtomFamily<SetRTX<string>, SetRTXJson<string>, string>;
+    };
+};
+declare const usersInMyRoomView: atom_io.ReadonlySelectorFamilyTokenWithCall<MutableAtomToken<SetRTX<string>, SetRTXJson<string>>[], string>;
+
+export { type ContinuityOptions, type ContinuityToken, DEFAULT_USER_IN_ROOM_META, InvariantMap, type PerspectiveToken, SyncGroup, type UserInRoomMeta, continuity, roomIndex, usersInMyRoomView, usersInRooms, usersInThisRoomIndex };

package/realtime/dist/index.js

@@ -0,0 +1,111 @@
+import '../../dist/chunk-PZLG2HP3.js';
+import { assignTransactionToContinuity, IMPLICIT, setEpochNumberOfContinuity, getUpdateToken } from 'atom.io/internal';
+import { atom, selectorFamily } from 'atom.io';
+import { join } from 'atom.io/data';
+import { SetRTX } from 'atom.io/transceivers/set-rtx';
+
+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;
+      for (const global of globals) {
+        switch (global.type) {
+          case `atom`:
+            this.globals.push(global);
+            break;
+          case `mutable_atom`:
+            this.globals.push(getUpdateToken(global));
+            break;
+        }
+      }
+    } 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,
+        viewAtoms: 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;
+}
+var usersInThisRoomIndex = atom({
+  key: `usersInRoomIndex`,
+  mutable: true,
+  default: () => new SetRTX(),
+  toJson: (set) => set.toJSON(),
+  fromJson: (json) => SetRTX.fromJSON(json)
+});
+var roomIndex = atom({
+  key: `roomIndex`,
+  default: () => new SetRTX(),
+  mutable: true,
+  toJson: (set) => set.toJSON(),
+  fromJson: (json) => SetRTX.fromJSON(json)
+});
+var DEFAULT_USER_IN_ROOM_META = {
+  enteredAtEpoch: 0
+};
+var usersInRooms = join(
+  {
+    key: `usersInRooms`,
+    between: [`room`, `user`],
+    cardinality: `1:n`
+  },
+  DEFAULT_USER_IN_ROOM_META
+);
+var usersInMyRoomView = selectorFamily({
+  key: `usersInMyRoomView`,
+  get: (username) => ({ find }) => {
+    return [find(usersInRooms.core.findRelatedKeysState, username)];
+  }
+});
+
+export { DEFAULT_USER_IN_ROOM_META, InvariantMap, SyncGroup, continuity, roomIndex, usersInMyRoomView, usersInRooms, usersInThisRoomIndex };
+//# sourceMappingURL=out.js.map
+//# sourceMappingURL=index.js.map

package/realtime/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/realtime-continuity.ts","../src/shared-room-store.ts"],"names":[],"mappings":";;;AAOA;AAAA,EACC;AAAA,EACA;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,iBAAW,UAAU,SAAS;AAC7B,gBAAQ,OAAO,MAAM;AAAA,UACpB,KAAK;AACJ,iBAAK,QAAQ,KAAK,MAAM;AACxB;AAAA,UACD,KAAK;AACJ,iBAAK,QAAQ,KAAK,eAAe,MAAM,CAAC;AACxC;AAAA,QACF;AAAA,MACD;AAAA,IACD,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,WAAW;AAAA,MACZ,CAAC;AAAA,IACF;AACA,WAAO;AAAA,EACR;AACD;AAlEa,WASE,WACb,IAAI,aAAa;AAVZ,IAAM,YAAN;AAyEA,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;;;ACrIA,SAAS,MAAM,sBAAsB;AACrC,SAAS,YAAY;AAErB,SAAS,cAAc;AAEhB,IAAM,uBAAuB,KAAyC;AAAA,EAC5E,KAAK;AAAA,EACL,SAAS;AAAA,EACT,SAAS,MAAM,IAAI,OAAe;AAAA,EAClC,QAAQ,CAAC,QAAQ,IAAI,OAAO;AAAA,EAC5B,UAAU,CAAC,SAAS,OAAO,SAAS,IAAI;AACzC,CAAC;AAEM,IAAM,YAAY,KAAK;AAAA,EAC7B,KAAK;AAAA,EACL,SAAS,MAAM,IAAI,OAAe;AAAA,EAClC,SAAS;AAAA,EACT,QAAQ,CAAC,QAAQ,IAAI,OAAO;AAAA,EAC5B,UAAU,CAAC,SAAS,OAAO,SAAS,IAAI;AACzC,CAAC;AAKM,IAAM,4BAA4C;AAAA,EACxD,gBAAgB;AACjB;AACO,IAAM,eAAe;AAAA,EAC3B;AAAA,IACC,KAAK;AAAA,IACL,SAAS,CAAC,QAAQ,MAAM;AAAA,IACxB,aAAa;AAAA,EACd;AAAA,EACA;AACD;AAEO,IAAM,oBAAoB,eAG/B;AAAA,EACD,KAAK;AAAA,EACL,KACC,CAAC,aACD,CAAC,EAAE,KAAK,MAAM;AACb,WAAO,CAAC,KAAK,aAAa,KAAK,sBAAsB,QAAQ,CAAC;AAAA,EAC/D;AACF,CAAC","sourcesContent":["import type {\n\tAtomFamilyToken,\n\tAtomToken,\n\tReadableFamilyToken,\n\tReadableToken,\n\tTransactionToken,\n} from \"atom.io\"\nimport {\n\tIMPLICIT,\n\tassignTransactionToContinuity,\n\tgetUpdateToken,\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\tviewAtoms: ReadableFamilyToken<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\tfor (const global of globals) {\n\t\t\t\tswitch (global.type) {\n\t\t\t\t\tcase `atom`:\n\t\t\t\t\t\tthis.globals.push(global)\n\t\t\t\t\t\tbreak\n\t\t\t\t\tcase `mutable_atom`:\n\t\t\t\t\t\tthis.globals.push(getUpdateToken(global))\n\t\t\t\t\t\tbreak\n\t\t\t\t}\n\t\t\t}\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<ReadableToken<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\tviewAtoms: 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","import type { MutableAtomToken } from \"atom.io\"\nimport { atom, selectorFamily } from \"atom.io\"\nimport { join } from \"atom.io/data\"\nimport type { SetRTXJson } from \"atom.io/transceivers/set-rtx\"\nimport { SetRTX } from \"atom.io/transceivers/set-rtx\"\n\nexport const usersInThisRoomIndex = atom<SetRTX<string>, SetRTXJson<string>>({\n\tkey: `usersInRoomIndex`,\n\tmutable: true,\n\tdefault: () => new SetRTX<string>(),\n\ttoJson: (set) => set.toJSON(),\n\tfromJson: (json) => SetRTX.fromJSON(json),\n})\n\nexport const roomIndex = atom({\n\tkey: `roomIndex`,\n\tdefault: () => new SetRTX<string>(),\n\tmutable: true,\n\ttoJson: (set) => set.toJSON(),\n\tfromJson: (json) => SetRTX.fromJSON(json),\n})\n\nexport type UserInRoomMeta = {\n\tenteredAtEpoch: number\n}\nexport const DEFAULT_USER_IN_ROOM_META: UserInRoomMeta = {\n\tenteredAtEpoch: 0,\n}\nexport const usersInRooms = join(\n\t{\n\t\tkey: `usersInRooms`,\n\t\tbetween: [`room`, `user`],\n\t\tcardinality: `1:n`,\n\t},\n\tDEFAULT_USER_IN_ROOM_META,\n)\n\nexport const usersInMyRoomView = selectorFamily<\n\tMutableAtomToken<SetRTX<string>, SetRTXJson<string>>[],\n\tstring\n>({\n\tkey: `usersInMyRoomView`,\n\tget:\n\t\t(username) =>\n\t\t({ find }) => {\n\t\t\treturn [find(usersInRooms.core.findRelatedKeysState, username)]\n\t\t},\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,2 @@
+export * from "./realtime-continuity"
+export * from "./shared-room-store"