atom.io 0.14.8 → 0.15.1

package/data/src/join.ts

@@ -1,27 +1,28 @@
 /* eslint-disable @typescript-eslint/ban-types */
 import type {
 	AtomFamily,
+	MutableAtomFamily,
 	Read,
 	SelectorFamily,
 	Transactors,
 	Write,
 } from "atom.io"
-import { getState, setState } from "atom.io"
+import { dispose, getState, setState } from "atom.io"
 import type { Store } from "atom.io/internal"
 import {
 	IMPLICIT,
-	createAtomFamily,
 	createMutableAtomFamily,
+	createRegularAtomFamily,
 	createSelectorFamily,
 	getJsonFamily,
 } from "atom.io/internal"
 import type { Json } from "atom.io/json"
+import type { SetRTXJson } from "atom.io/transceivers/set-rtx"
 import { SetRTX } from "atom.io/transceivers/set-rtx"
 
 import type {
 	BaseExternalStoreConfiguration,
 	ExternalStoreConfiguration,
-	ExternalStoreWithContentConfiguration,
 	JunctionEntries,
 	JunctionSchema,
 } from "~/packages/rel8/junction/src"
@@ -57,7 +58,7 @@ export type JoinState<
 					readonly [AB in ASide | BSide as AB extends ASide
 						? `${AB}EntryOf${Capitalize<BSide>}`
 						: `${AB}EntryOf${Capitalize<ASide>}`]: SelectorFamily<
-						[string, Content] | undefined,
+						[string, Content] | null,
 						string
 					>
 			  }
@@ -65,7 +66,7 @@ export type JoinState<
 			readonly [AB in ASide | BSide as AB extends ASide
 				? `${AB}KeyOf${Capitalize<BSide>}`
 				: `${AB}KeyOf${Capitalize<ASide>}`]: SelectorFamily<
-				string | undefined,
+				string | null,
 				string
 			>
 	  }
@@ -73,7 +74,7 @@ export type JoinState<
 	  ? (Content extends Json.Object
 				? {
 						readonly [A in ASide as `${A}EntryOf${Capitalize<BSide>}`]: SelectorFamily<
-							[string, Content] | undefined,
+							[string, Content] | null,
 							string
 						>
 				  } & {
@@ -84,7 +85,7 @@ export type JoinState<
 				  }
 				: {}) & {
 				readonly [A in ASide as `${A}KeyOf${Capitalize<BSide>}`]: SelectorFamily<
-					string | undefined,
+					string | null,
 					string
 				>
 		  } & {
@@ -113,338 +114,378 @@ export type JoinState<
 			  }
 		  : never
 
-export function join<
+export class Join<
 	const ASide extends string,
 	const BSide extends string,
-	const Cardinality extends Rel8.Cardinality,
->(
-	options: JoinOptions<ASide, BSide, Cardinality, null>,
-	defaultContent?: undefined,
-	store?: Store,
-): {
-	relations: Junction<ASide, BSide>
-	findState: JoinState<ASide, BSide, Cardinality, null>
-}
-export function join<
-	const ASide extends string,
 	const Cardinality extends `1:1` | `1:n` | `n:n`,
-	const BSide extends string,
-	const Content extends Json.Object,
->(
-	options: JoinOptions<ASide, BSide, Cardinality, Content>,
-	defaultContent: Content,
-	store?: Store,
-): {
-	relations: Junction<ASide, BSide, Content>
-	findState: JoinState<ASide, BSide, Cardinality, Content>
-}
-export function join<
-	ASide extends string,
-	BSide extends string,
-	Cardinality extends Rel8.Cardinality,
-	Content extends Json.Object,
->(
-	options: JoinOptions<ASide, BSide, Cardinality, Content>,
-	defaultContent: Content | undefined,
-	store: Store = IMPLICIT.STORE,
-): {
-	relations: Junction<ASide, BSide, Content>
-	findState: JoinState<ASide, BSide, Cardinality, Content>
-} {
-	const a: ASide = options.between[0]
-	const b: BSide = options.between[1]
-	const findRelatedKeysState = createMutableAtomFamily<
-		SetRTX<string>,
-		string[],
-		string
-	>(
-		{
-			key: `${options.key}/relatedKeys`,
-			default: () => new SetRTX(),
-			mutable: true,
-			fromJson: (json) => new SetRTX(json),
-			toJson: (set) => [...set],
-		},
-		store,
-	)
-	const getRelatedKeys: Read<(key: string) => Set<string> | undefined> = (
-		{ get },
-		key,
-	) => get(findRelatedKeysState(key))
-	const addRelation: Write<(a: string, b: string) => void> = (
-		transactors,
-		a,
-		b,
-	) => {
-		const aKeys = getRelatedKeys(transactors, a)
-		const bKeys = getRelatedKeys(transactors, b)
-		if (aKeys) {
+	const Content extends Json.Object | null = null,
+> {
+	private transactors: Transactors = TRANSACTORS
+	public relations: Junction<ASide, BSide, Content>
+	public findState: JoinState<ASide, BSide, Cardinality, Content>
+	public core: {
+		findRelatedKeysState: MutableAtomFamily<
+			SetRTX<string>,
+			SetRTXJson<string>,
+			string
+		>
+	}
+	public transact(
+		transactors: Transactors,
+		run: (join: Join<ASide, BSide, Cardinality, Content>) => void,
+	): void {
+		this.transactors = transactors
+		run(this)
+		this.transactors = TRANSACTORS
+	}
+	public constructor(
+		options: JoinOptions<ASide, BSide, Cardinality, Content>,
+		defaultContent: Content | undefined,
+		store: Store = IMPLICIT.STORE,
+	) {
+		const a: ASide = options.between[0]
+		const b: BSide = options.between[1]
+		const findRelatedKeysState = createMutableAtomFamily<
+			SetRTX<string>,
+			SetRTXJson<string>,
+			string
+		>(
+			{
+				key: `${options.key}/relatedKeys`,
+				default: () => new SetRTX(),
+				mutable: true,
+				fromJson: (json) => SetRTX.fromJSON(json),
+				toJson: (set) => set.toJSON(),
+			},
+			store,
+		)
+		this.core = { findRelatedKeysState }
+		const getRelatedKeys: Read<(key: string) => SetRTX<string>> = (
+			{ get },
+			key,
+		) => get(findRelatedKeysState(key))
+		const addRelation: Write<(a: string, b: string) => void> = (
+			transactors,
+			a,
+			b,
+		) => {
+			const aKeys = getRelatedKeys(transactors, a)
+			const bKeys = getRelatedKeys(transactors, b)
 			transactors.set(findRelatedKeysState(a), aKeys.add(b))
-		} else {
-			transactors.set(findRelatedKeysState(a), new SetRTX([b]))
-		}
-		if (bKeys) {
 			transactors.set(findRelatedKeysState(b), bKeys.add(a))
-		} else {
-			transactors.set(findRelatedKeysState(b), new SetRTX([a]))
 		}
-	}
-	const deleteRelation: Write<(a: string, b: string) => void> = (
-		transactors,
-		a,
-		b,
-	) => {
-		const aKeys = getRelatedKeys(transactors, a)
-		if (aKeys) {
+		const deleteRelation: Write<(a: string, b: string) => void> = (
+			transactors,
+			a,
+			b,
+		) => {
+			const aKeys = getRelatedKeys(transactors, a)
 			aKeys.delete(b)
 			if (aKeys.size === 0) {
-				transactors.set(findRelatedKeysState(a), undefined)
+				dispose(findRelatedKeysState(a))
 			}
 			const bKeys = getRelatedKeys(transactors, b)
-			if (bKeys) {
-				bKeys.delete(a)
-				if (bKeys.size === 0) {
-					transactors.set(findRelatedKeysState(b), undefined)
-				}
+			bKeys.delete(a)
+			if (bKeys.size === 0) {
+				dispose(findRelatedKeysState(b))
 			}
 		}
-	}
-	const replaceRelationsSafely: Write<(a: string, bs: string[]) => void> = (
-		transactors,
-		a,
-		bs,
-	) => {
-		const aRelations = getRelatedKeys(transactors, a)
-		if (aRelations) {
+		const replaceRelationsSafely: Write<(a: string, bs: string[]) => void> = (
+			transactors,
+			a,
+			bs,
+		) => {
+			const aRelations = getRelatedKeys(transactors, a)
 			for (const b of aRelations) {
 				const bKeys = getRelatedKeys(transactors, b)
 				if (bKeys) {
 					bKeys.delete(a)
 					if (bKeys.size === 0) {
-						transactors.set(findRelatedKeysState(b), undefined)
+						dispose(findRelatedKeysState(b))
 					}
 				}
 			}
-		}
-		transactors.set(findRelatedKeysState(a), new SetRTX(bs))
-		for (const b of bs) {
-			const bKeys = getRelatedKeys(transactors, b)
-			if (bKeys) {
+			transactors.set(findRelatedKeysState(a), new SetRTX(bs))
+			for (const b of bs) {
+				const bKeys = getRelatedKeys(transactors, b)
 				bKeys.add(a)
-			} else {
-				transactors.set(findRelatedKeysState(b), new SetRTX([a]))
 			}
 		}
-	}
-	const replaceRelationsUnsafely: Write<(a: string, bs: string[]) => void> = (
-		transactors,
-		a,
-		bs,
-	) => {
-		transactors.set(findRelatedKeysState(a), new SetRTX(bs))
-		for (const b of bs) {
-			let bKeys = getRelatedKeys(transactors, b)
-			if (bKeys) {
+		const replaceRelationsUnsafely: Write<(a: string, bs: string[]) => void> = (
+			transactors,
+			a,
+			bs,
+		) => {
+			transactors.set(findRelatedKeysState(a), new SetRTX(bs))
+			for (const b of bs) {
+				const bKeys = getRelatedKeys(transactors, b)
 				bKeys.add(a)
-			} else {
-				bKeys = new SetRTX([a])
-				transactors.set(findRelatedKeysState(b), bKeys)
 			}
 		}
-	}
-	const has: Read<(a: string, b?: string) => boolean> = (transactors, a, b) => {
-		const aKeys = getRelatedKeys(transactors, a)
-		return b ? aKeys?.has(b) ?? false : (aKeys?.size ?? 0) > 0 ?? false
-	}
-	const baseExternalStoreConfiguration: BaseExternalStoreConfiguration = {
-		getRelatedKeys: (key) => getRelatedKeys(TRANSACTORS, key),
-		addRelation: (a, b) => addRelation(TRANSACTORS, a, b),
-		deleteRelation: (a, b) => deleteRelation(TRANSACTORS, a, b),
-		replaceRelationsSafely: (a, bs) =>
-			replaceRelationsSafely(TRANSACTORS, a, bs),
-		replaceRelationsUnsafely: (a, bs) =>
-			replaceRelationsUnsafely(TRANSACTORS, a, bs),
-		has: (a, b) => has(TRANSACTORS, a, b),
-	}
-	let externalStore: ExternalStoreConfiguration<Content>
-	let findContentState: AtomFamily<Content, string>
-	if (defaultContent) {
-		findContentState = createAtomFamily<Content, string>(
-			{
-				key: `${options.key}/content`,
-				default: defaultContent,
-			},
-			store,
-		)
-		const getContent: Read<(key: string) => Content | undefined> = (
-			{ get },
-			key,
-		) => get(findContentState(key))
-		const setContent: Write<(key: string, content: Content) => void> = (
+		const has: Read<(a: string, b?: string) => boolean> = (
 			transactors,
-			key,
-			content,
-		) => transactors.set(findContentState(key), content)
-		const deleteContent: Write<(key: string) => void> = (transactors, key) =>
-			transactors.set(findContentState(key), undefined)
-		const externalStoreWithContentConfiguration: ExternalStoreWithContentConfiguration<Content> =
-			{
+			a,
+			b,
+		) => {
+			const aKeys = getRelatedKeys(transactors, a)
+			return b ? aKeys.has(b) : aKeys.size > 0
+		}
+		const baseExternalStoreConfiguration: BaseExternalStoreConfiguration = {
+			getRelatedKeys: (key) => getRelatedKeys(this.transactors, key),
+			addRelation: (a, b) => addRelation(this.transactors, a, b),
+			deleteRelation: (a, b) => deleteRelation(this.transactors, a, b),
+			replaceRelationsSafely: (a, bs) =>
+				replaceRelationsSafely(this.transactors, a, bs),
+			replaceRelationsUnsafely: (a, bs) =>
+				replaceRelationsUnsafely(this.transactors, a, bs),
+			has: (a, b) => has(this.transactors, a, b),
+		}
+		let externalStore: ExternalStoreConfiguration<Content>
+		let findContentState: AtomFamily<Content, string>
+		if (defaultContent) {
+			findContentState = createRegularAtomFamily<Content, string>(
+				{
+					key: `${options.key}/content`,
+					default: defaultContent,
+				},
+				store,
+			)
+			const getContent: Read<(key: string) => Content | null> = ({ get }, key) =>
+				get(findContentState(key))
+			const setContent: Write<(key: string, content: Content) => void> = (
+				transactors,
+				key,
+				content,
+			) => transactors.set(findContentState(key), content)
+			const deleteContent: Write<(key: string) => void> = (_, key) =>
+				dispose(findContentState(key))
+			const externalStoreWithContentConfiguration = {
 				getContent: (contentKey: string) => {
-					const content = getContent(TRANSACTORS, contentKey)
+					const content = getContent(this.transactors, contentKey)
 					return content
 				},
 				setContent: (contentKey: string, content: Content) => {
-					setContent(TRANSACTORS, contentKey, content)
+					setContent(this.transactors, contentKey, content)
 				},
 				deleteContent: (contentKey: string) => {
-					deleteContent(TRANSACTORS, contentKey)
+					deleteContent(this.transactors, contentKey)
 				},
 			}
-		externalStore = Object.assign(
-			baseExternalStoreConfiguration,
-			externalStoreWithContentConfiguration,
-		) as ExternalStoreConfiguration<Content>
-	} else {
-		externalStore =
-			baseExternalStoreConfiguration as ExternalStoreConfiguration<Content>
-	}
-	const relations = new Junction<ASide, BSide, Content>(options, {
-		externalStore,
-		makeContentKey: (...args) => args.sort().join(`:`),
-	})
+			externalStore = Object.assign(
+				baseExternalStoreConfiguration,
+				externalStoreWithContentConfiguration,
+			) as ExternalStoreConfiguration<Content>
+		} else {
+			externalStore =
+				baseExternalStoreConfiguration as ExternalStoreConfiguration<Content>
+		}
+		const relations = new Junction<ASide, BSide, Content>(options, {
+			externalStore,
+			makeContentKey: (...args) => args.sort().join(`:`),
+		})
 
-	const createSingleKeyStateFamily = () =>
-		createSelectorFamily<string | undefined, string>(
-			{
-				key: `${options.key}/singleRelatedKey`,
-				get:
-					(key) =>
-					({ get }) => {
-						const relatedKeys = get(findRelatedKeysState(key))
-						for (const relatedKey of relatedKeys) {
-							return relatedKey
-						}
-					},
-			},
-			store,
-		)
-	const getMultipleKeyStateFamily = () =>
-		getJsonFamily(findRelatedKeysState, store)
-	const createSingleEntryStateFamily = () =>
-		createSelectorFamily<[string, Content] | undefined, string>(
-			{
-				key: `${options.key}/singleRelatedEntry`,
-				get:
-					(key) =>
-					({ get }) => {
-						const relatedKeys = get(findRelatedKeysState(key))
-						for (const relatedKey of relatedKeys) {
-							const contentKey = relations.makeContentKey(key, relatedKey)
-							return [relatedKey, get(findContentState(contentKey))]
-						}
-					},
-			},
-			store,
-		)
-	const getMultipleEntryStateFamily = () =>
-		createSelectorFamily<[string, Content][], string>(
-			{
-				key: `${options.key}/multipleRelatedEntries`,
-				get:
-					(key) =>
-					({ get }) => {
-						const relatedKeys = get(findRelatedKeysState(key))
-						return [...relatedKeys].map((relatedKey) => {
-							const contentKey = relations.makeContentKey(key, relatedKey)
-							return [relatedKey, get(findContentState(contentKey))]
-						})
-					},
-			},
-			store,
-		)
+		const createSingleKeyStateFamily = () =>
+			createSelectorFamily<string | null, string>(
+				{
+					key: `${options.key}/singleRelatedKey`,
+					get:
+						(key) =>
+						({ get }) => {
+							const relatedKeys = get(findRelatedKeysState(key))
+							for (const relatedKey of relatedKeys) {
+								return relatedKey
+							}
+							return null
+						},
+				},
+				store,
+			)
+		const getMultipleKeyStateFamily = () => {
+			return createSelectorFamily<string[], string>(
+				{
+					key: `${options.key}/multipleRelatedKeys`,
+					get:
+						(key) =>
+						({ get }) => {
+							const jsonFamily = getJsonFamily(findRelatedKeysState, store)
+							const json = get(jsonFamily(key))
+							return json.members
+						},
+				},
+				store,
+			)
+		}
+		const createSingleEntryStateFamily = () =>
+			createSelectorFamily<[string, Content] | null, string>(
+				{
+					key: `${options.key}/singleRelatedEntry`,
+					get:
+						(key) =>
+						({ get }) => {
+							const relatedKeys = get(findRelatedKeysState(key))
+							for (const relatedKey of relatedKeys) {
+								const contentKey = relations.makeContentKey(key, relatedKey)
+								return [relatedKey, get(findContentState(contentKey))]
+							}
+							return null
+						},
+				},
+				store,
+			)
+		const getMultipleEntryStateFamily = () =>
+			createSelectorFamily<[string, Content][], string>(
+				{
+					key: `${options.key}/multipleRelatedEntries`,
+					get:
+						(key) =>
+						({ get }) => {
+							const jsonFamily = getJsonFamily(findRelatedKeysState, store)
+							const json = get(jsonFamily(key))
+							return json.members.map((relatedKey) => {
+								const contentKey = relations.makeContentKey(key, relatedKey)
+								return [relatedKey, get(findContentState(contentKey))]
+							})
+						},
+				},
+				store,
+			)
 
-	switch (options.cardinality) {
-		case `1:1`: {
-			const findSingleRelatedKeyState = createSingleKeyStateFamily()
-			const stateKeyA = `${a}KeyOf${capitalize(b)}` as const
-			const stateKeyB = `${b}KeyOf${capitalize(a)}` as const
-			const findStateBase = {
-				[stateKeyA]: findSingleRelatedKeyState,
-				[stateKeyB]: findSingleRelatedKeyState,
-			} as JoinState<ASide, BSide, Cardinality, Content>
-			let findState: JoinState<ASide, BSide, Cardinality, Content>
-			if (defaultContent) {
-				const findSingleRelatedEntryState = createSingleEntryStateFamily()
-				const entriesStateKeyA = `${a}EntryOf${capitalize(b)}` as const
-				const entriesStateKeyB = `${b}EntryOf${capitalize(a)}` as const
-				const findStateWithContent = {
-					[entriesStateKeyA]: findSingleRelatedEntryState,
-					[entriesStateKeyB]: findSingleRelatedEntryState,
+		switch (options.cardinality) {
+			case `1:1`: {
+				const findSingleRelatedKeyState = createSingleKeyStateFamily()
+				const stateKeyA = `${a}KeyOf${capitalize(b)}` as const
+				const stateKeyB = `${b}KeyOf${capitalize(a)}` as const
+				const findStateBase = {
+					[stateKeyA]: findSingleRelatedKeyState,
+					[stateKeyB]: findSingleRelatedKeyState,
+				} as JoinState<ASide, BSide, Cardinality, Content>
+				let findState: JoinState<ASide, BSide, Cardinality, Content>
+				if (defaultContent) {
+					const findSingleRelatedEntryState = createSingleEntryStateFamily()
+					const entriesStateKeyA = `${a}EntryOf${capitalize(b)}` as const
+					const entriesStateKeyB = `${b}EntryOf${capitalize(a)}` as const
+					const findStateWithContent = {
+						[entriesStateKeyA]: findSingleRelatedEntryState,
+						[entriesStateKeyB]: findSingleRelatedEntryState,
+					}
+					findState = Object.assign(findStateBase, findStateWithContent)
+				} else {
+					findState = findStateBase
 				}
-				findState = Object.assign(findStateBase, findStateWithContent)
-			} else {
-				findState = findStateBase
-			}
-			return {
-				relations,
-				findState,
+				this.relations = relations
+				this.findState = findState
+				break
 			}
-		}
-		case `1:n`: {
-			const findSingleRelatedKeyState = createSingleKeyStateFamily()
-			const findMultipleRelatedKeysState = getMultipleKeyStateFamily()
-			const stateKeyA = `${a}KeyOf${capitalize(b)}` as const
-			const stateKeyB = `${b}KeysOf${capitalize(a)}` as const
-			const findStateBase = {
-				[stateKeyA]: findSingleRelatedKeyState,
-				[stateKeyB]: findMultipleRelatedKeysState,
-			} as JoinState<ASide, BSide, Cardinality, Content>
-			let findState: JoinState<ASide, BSide, Cardinality, Content>
-			if (defaultContent) {
-				const findSingleRelatedEntryState = createSingleEntryStateFamily()
-				const findMultipleRelatedEntriesState = getMultipleEntryStateFamily()
-				const entriesStateKeyA = `${a}EntryOf${capitalize(b)}` as const
-				const entriesStateKeyB = `${b}EntriesOf${capitalize(a)}` as const
-				const findStateWithContent = {
-					[entriesStateKeyA]: findSingleRelatedEntryState,
-					[entriesStateKeyB]: findMultipleRelatedEntriesState,
+			case `1:n`: {
+				const findSingleRelatedKeyState = createSingleKeyStateFamily()
+				const findMultipleRelatedKeysState = getMultipleKeyStateFamily()
+				const stateKeyA = `${a}KeyOf${capitalize(b)}` as const
+				const stateKeyB = `${b}KeysOf${capitalize(a)}` as const
+				const findStateBase = {
+					[stateKeyA]: findSingleRelatedKeyState,
+					[stateKeyB]: findMultipleRelatedKeysState,
+				} as JoinState<ASide, BSide, Cardinality, Content>
+				let findState: JoinState<ASide, BSide, Cardinality, Content>
+				if (defaultContent) {
+					const findSingleRelatedEntryState = createSingleEntryStateFamily()
+					const findMultipleRelatedEntriesState = getMultipleEntryStateFamily()
+					const entriesStateKeyA = `${a}EntryOf${capitalize(b)}` as const
+					const entriesStateKeyB = `${b}EntriesOf${capitalize(a)}` as const
+					const findStateWithContent = {
+						[entriesStateKeyA]: findSingleRelatedEntryState,
+						[entriesStateKeyB]: findMultipleRelatedEntriesState,
+					}
+					findState = Object.assign(findStateBase, findStateWithContent)
+				} else {
+					findState = findStateBase
 				}
-				findState = Object.assign(findStateBase, findStateWithContent)
-			} else {
-				findState = findStateBase
+				this.relations = relations
+				this.findState = findState
+				break
 			}
-			return {
-				relations,
-				findState,
-			}
-		}
-		case `n:n`: {
-			const findMultipleRelatedKeysState = getMultipleKeyStateFamily()
-			const stateKeyA = `${a}KeysOf${capitalize(b)}` as const
-			const stateKeyB = `${b}KeysOf${capitalize(a)}` as const
-			const findStateBase = {
-				[stateKeyA]: findMultipleRelatedKeysState,
-				[stateKeyB]: findMultipleRelatedKeysState,
-			} as JoinState<ASide, BSide, Cardinality, Content>
-			let findState: JoinState<ASide, BSide, Cardinality, Content>
-			if (defaultContent) {
-				const findMultipleRelatedEntriesState = getMultipleEntryStateFamily()
-				const entriesStateKeyA = `${a}EntriesOf${capitalize(b)}` as const
-				const entriesStateKeyB = `${b}EntriesOf${capitalize(a)}` as const
-				const findStateWithContent = {
-					[entriesStateKeyA]: findMultipleRelatedEntriesState,
-					[entriesStateKeyB]: findMultipleRelatedEntriesState,
+			default: {
+				const findMultipleRelatedKeysState = getMultipleKeyStateFamily()
+				const stateKeyA = `${a}KeysOf${capitalize(b)}` as const
+				const stateKeyB = `${b}KeysOf${capitalize(a)}` as const
+				const findStateBase = {
+					[stateKeyA]: findMultipleRelatedKeysState,
+					[stateKeyB]: findMultipleRelatedKeysState,
+				} as JoinState<ASide, BSide, Cardinality, Content>
+				let findState: JoinState<ASide, BSide, Cardinality, Content>
+				if (defaultContent) {
+					const findMultipleRelatedEntriesState = getMultipleEntryStateFamily()
+					const entriesStateKeyA = `${a}EntriesOf${capitalize(b)}` as const
+					const entriesStateKeyB = `${b}EntriesOf${capitalize(a)}` as const
+					const findStateWithContent = {
+						[entriesStateKeyA]: findMultipleRelatedEntriesState,
+						[entriesStateKeyB]: findMultipleRelatedEntriesState,
+					}
+					findState = Object.assign(findStateBase, findStateWithContent)
+				} else {
+					findState = findStateBase
 				}
-				findState = Object.assign(findStateBase, findStateWithContent)
-			} else {
-				findState = findStateBase
-			}
-			return {
-				relations,
-				findState,
+				this.relations = relations
+				this.findState = findState
 			}
 		}
-		default:
-			throw new Error(`Invalid cardinality: ${options.cardinality}`)
 	}
 }
+export function join<
+	const ASide extends string,
+	const BSide extends string,
+	const Cardinality extends `1:1` | `1:n` | `n:n`,
+>(
+	options: JoinOptions<ASide, BSide, Cardinality, null>,
+	defaultContent?: undefined,
+	store?: Store,
+): {
+	readonly relations: Junction<ASide, BSide, null>
+	readonly findState: JoinState<ASide, BSide, Cardinality, null>
+	readonly transact: (
+		transactors: Transactors,
+		run: (join: Join<ASide, BSide, Cardinality, null>) => void,
+	) => void
+	readonly core: {
+		readonly findRelatedKeysState: MutableAtomFamily<
+			SetRTX<string>,
+			SetRTXJson<string>,
+			string
+		>
+	}
+}
+export function join<
+	const ASide extends string,
+	const BSide extends string,
+	const Cardinality extends `1:1` | `1:n` | `n:n`,
+	const Content extends Json.Object,
+>(
+	options: JoinOptions<ASide, BSide, Cardinality, Content>,
+	defaultContent: Content,
+	store?: Store,
+): {
+	readonly relations: Junction<ASide, BSide, Content>
+	readonly findState: JoinState<ASide, BSide, Cardinality, Content>
+	readonly transact: (
+		transactors: Transactors,
+		run: (join: Join<ASide, BSide, Cardinality, Content>) => void,
+	) => void
+	readonly core: {
+		readonly findRelatedKeysState: MutableAtomFamily<
+			SetRTX<string>,
+			SetRTXJson<string>,
+			string
+		>
+	}
+}
+export function join<
+	ASide extends string,
+	BSide extends string,
+	Cardinality extends `1:1` | `1:n` | `n:n`,
+	Content extends Json.Object,
+>(
+	options: JoinOptions<ASide, BSide, Cardinality, Content>,
+	defaultContent: Content | undefined,
+	store: Store = IMPLICIT.STORE,
+): Join<ASide, BSide, Cardinality, Content> {
+	return new Join(options, defaultContent, store)
+}