@craft-ts/core 0.7.0-beta.13

package/src/lib/insert-select-resource.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"insert-select-resource.js","sourceRoot":"","sources":["../../../../../libs/core/src/lib/insert-select-resource.ts"],"names":[],"mappings":"AAKA,OAAO,EACL,YAAY,GAGb,MAAM,iBAAiB,CAAC;AA4FzB,MAAM,UAAU,oBAAoB,CAAC,IAAY,EAAE,SAAc;IAC/D,OAAO,CAAC,OAAY,EAAE,EAAE;QACtB,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC;YACzB,MAAM,IAAI,KAAK,CACb,8FAA8F,CAC/F,CAAC;QACJ,CAAC;QAED,OAAQ,YAAoB,CAC1B,IAAI,EACJ,SAAS,CACV,CAAC;YACA,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,GAAG,EAAE,OAAO,CAAC,GAAG;YAChB,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,KAAK,EACH,OAAO,CAAC,KAAK;gBACb,CAAC,CAAC,OAAqC,EAAE,EAAE,CACzC,OAAO,CAAC,MAAM,CAAC,CAAC,OAAY,EAAE,EAAE,CAAC,CAAC;oBAChC,GAAI,OAAkB;oBACtB,GAAG,OAAO,CAAC,OAAO,CAAC;iBACpB,CAAC,CAAC,CAAC;YACR,UAAU,EAAE,OAAO,CAAC,UAAU;YAC9B,eAAe,EAAE,OAAO,CAAC,eAAe;SAClC,CAAC,CAAC;IACZ,CAAC,CAAC;AACJ,CAAC;AAED,oDAAoD;AACpD,MAAM,CAAC,MAAM,iBAAiB,GAAG,oBAAoB,CAAC;AAEtD,uDAAuD;AACvD,MAAM,CAAC,MAAM,oBAAoB,GAAG,oBAAoB,CAAC;AAEzD,2DAA2D;AAC3D,MAAM,CAAC,MAAM,wBAAwB,GAAG,oBAAoB,CAAC","sourcesContent":["/* eslint-disable @typescript-eslint/no-empty-object-type, @typescript-eslint/no-explicit-any */\nimport type {\n  InsertionStateFactoryContext,\n  InsertionsStateFactory,\n} from './query.core';\nimport {\n  insertSelect,\n  type InsertSelectOutput,\n  type SelectedTarget,\n} from './insert-select';\n\ntype ResourceSelectAutoCompleteName<StateType> =\n  NoInfer<StateType> extends readonly object[]\n    ? string\n    : keyof NoInfer<StateType>;\n\ntype ResolveResourceState<StateType> = StateType extends readonly unknown[]\n  ? StateType\n  : StateType extends object\n    ? { [Key in keyof StateType]: StateType[Key] }\n    : StateType;\n\ntype ResourceSelectInsertionReturn<\n  ResourceState extends object | undefined,\n  Name extends string,\n  Insertion,\n  PreviousInsertionsOutputs = {},\n  Yielded = never,\n> = ResourceSelectInsertionFactorySignature<\n  ResourceState,\n  ResourceState,\n  Name,\n  Insertion,\n  PreviousInsertionsOutputs,\n  Yielded\n> &\n  ResourceSelectInsertionFactorySignature<\n    object | undefined,\n    ResourceState,\n    Name,\n    Insertion,\n    PreviousInsertionsOutputs,\n    Yielded\n  >;\n\ntype ResourceSelectInsertionFactorySignature<\n  ContextState extends object | undefined,\n  OutputState extends object | undefined,\n  Name extends string,\n  Insertion,\n  PreviousInsertionsOutputs,\n  Yielded,\n> = (\n  context: Pick<\n    InsertionStateFactoryContext<ContextState, PreviousInsertionsOutputs>,\n    'state' | 'insertions'\n  >,\n) =>\n  | InsertSelectOutput<ResolveResourceState<OutputState>, Name, [Insertion]>\n  | Generator<\n      Yielded,\n      InsertSelectOutput<ResolveResourceState<OutputState>, Name, [Insertion]>,\n      unknown\n    >;\n\n/**\n * Selects a nested property or an item in an array returned by a resource\n * primitive and attaches state-style insertions to that selection.\n *\n * The resource must be non-grouped. Grouped resources expose a collection of\n * resource refs through `resourceById`; selecting inside that collection needs\n * to happen after `select(id)` and is intentionally rejected here rather than\n * receiving an ambiguous state shape.\n *\n * The selected insertion deliberately receives the same context as\n * `insertSelect`: `state`, `set`, `update`, `patch`, and previous insertions.\n * The outer resource still keeps its query/mutation/asyncProcess runtime kind\n * for method wrappers.\n */\nexport function insertSelectResource<\n  ResourceState extends object | undefined,\n  const Name extends ResourceSelectAutoCompleteName<ResourceState> & string,\n  Insertion,\n  PreviousInsertionsOutputs = {},\n  Yielded = never,\n>(\n  name: Name,\n  insertion: InsertionsStateFactory<\n    SelectedTarget<ResourceState, Name>,\n    Insertion,\n    PreviousInsertionsOutputs,\n    Yielded\n  >,\n): ResourceSelectInsertionReturn<\n  ResourceState,\n  Name,\n  Insertion,\n  PreviousInsertionsOutputs,\n  Yielded\n>;\n\nexport function insertSelectResource(name: string, insertion: any): any {\n  return (context: any) => {\n    if (context.resourceById) {\n      throw new Error(\n        'insertSelectResource does not support grouped resources; select the resource instance first.',\n      );\n    }\n\n    return (insertSelect as any)(\n      name,\n      insertion,\n    )({\n      state: context.state,\n      set: context.set,\n      update: context.update,\n      patch:\n        context.patch ??\n        ((patchFn: (current: unknown) => object) =>\n          context.update((current: any) => ({\n            ...(current as object),\n            ...patchFn(current),\n          }))),\n      insertions: context.insertions,\n      __primitiveKind: context.__primitiveKind,\n    } as any);\n  };\n}\n\n/** Alias semantically scoped to query resources. */\nexport const insertQuerySelect = insertSelectResource;\n\n/** Alias semantically scoped to mutation resources. */\nexport const insertMutationSelect = insertSelectResource;\n\n/** Alias semantically scoped to asyncProcess resources. */\nexport const insertAsyncProcessSelect = insertSelectResource;\n"]}

package/src/lib/insert-select.d.ts

@@ -0,0 +1,126 @@
+import { InsertionsStateFactory } from './query.core';
+import { Source$ as SourceDollarType } from './source$';
+import { MergeObject } from './util/types/util.type';
+import { FilterSource, IsEmptyObject } from './util/util.type';
+import { type NonYieldableInsertionMethod, type YieldableInsertionMethods } from './yieldable';
+export type SelectedTarget<StateType, Name extends string> = StateType extends readonly (infer Item)[] ? Extract<Item, object> : StateType extends Record<string, unknown> ? Name extends keyof StateType ? StateType[Name] : never : never;
+type MergeInsertions<Insertions extends readonly unknown[], Acc = {}> = Insertions extends readonly [infer Head, ...infer Tail] ? MergeInsertions<Tail, Acc & Head> : Acc;
+type Source$Method<SourceType> = [SourceType] extends [void] ? () => Generator<never, void, unknown> : (value: SourceType) => Generator<never, void, unknown>;
+type ExposedInsertions<Insertions> = YieldableInsertionMethods<MergeObject<IsEmptyObject<Insertions> extends true ? {} : FilterSource<Insertions>, {
+    [K in keyof FilterSource<Insertions> as FilterSource<Insertions>[K] extends SourceDollarType<any> ? K : never]: FilterSource<Insertions>[K] extends SourceDollarType<infer SourceType> ? Source$Method<SourceType> : never;
+}>>;
+type SelectItemMethodName<Name extends string> = `select${Capitalize<Name>}`;
+type SelectPropertyMethodName<Name extends string> = `select${Capitalize<Name>}`;
+type SelectedItem<StateType> = StateType extends readonly (infer Item)[] ? Extract<Item, object> : never;
+type ArraySelectedOutput<StateType, Insertions> = MergeObject<SelectedItem<StateType>, ExposedInsertions<Insertions>>;
+type ObjectSelectedOutput<StateType, Name extends string, Insertions> = StateType extends Record<string, unknown> ? Name extends keyof StateType & string ? [Extract<StateType[Name], object>] extends [never] ? ExposedInsertions<Insertions> : MergeObject<Extract<StateType[Name], object>, ExposedInsertions<Insertions>> : never : never;
+type ArrayInsertSelectOutput<StateType, Name extends string, Insertions extends readonly unknown[]> = {
+    [K in SelectItemMethodName<Name>]: NonYieldableInsertionMethod<[
+        id: number
+    ], ArraySelectedOutput<StateType, MergeInsertions<Insertions>> | undefined>;
+} & {
+    items: NonYieldableInsertionMethod<[
+    ], Array<ArraySelectedOutput<StateType, MergeInsertions<Insertions>>>>;
+};
+type ObjectInsertSelectOutput<StateType, Name extends string, Insertions extends readonly unknown[]> = {
+    [K in SelectPropertyMethodName<Name>]: NonYieldableInsertionMethod<[
+    ], ObjectSelectedOutput<StateType, Name, MergeInsertions<Insertions>>>;
+};
+export type InsertSelectOutput<StateType, Name extends string, Insertions extends readonly unknown[]> = StateType extends readonly object[] ? ArrayInsertSelectOutput<StateType, Name, Insertions> : ObjectInsertSelectOutput<StateType, Name, Insertions>;
+type InsertSelectReturn<StateType, Name extends string, Insertions extends readonly unknown[], PreviousInsertionsOutputs> = InsertionsStateFactory<StateType, InsertSelectOutput<StateType, Name, Insertions>, PreviousInsertionsOutputs>;
+/**
+ * Unified selector insertion for nested object properties and array items.
+ *
+ * `insertSelect` lets you compose nested insertions with the same API regardless
+ * of whether the current state is an object or an array.
+ *
+ * You interact with the selected sub-state through generated methods like:
+ * - `selectCell()` for object properties
+ * - `selectCell(index)` for array items
+ * The returned selection exposes both the original state fields and the
+ * insertion methods/computed values.
+ *
+ * @example
+ * ```ts
+ * const board = yield* state(
+ *   {
+ *     cell: { color: 'white', paintCount: 0 },
+ *   },
+ *   insertSelect('cell', ({ update }) => ({
+ *     paintBlack: () =>
+ *       update((cell) => ({
+ *         ...cell,
+ *         color: 'black',
+ *         paintCount: cell.paintCount + 1,
+ *       })),
+ *   })),
+ * ));
+ *
+ * yield* board.selectCell().paintBlack();
+ * console.log(board.selectCell().color); // 'black'
+ * ```
+ *
+ * @example
+ * ```ts
+ * const cells = yield* state(
+ *   [{ color: 'white', paintCount: 0 }],
+ *   insertSelect('cell', ({ update }) => ({
+ *     paint: () =>
+ *       update((cell) => ({
+ *         ...cell,
+ *         color: 'black',
+ *         paintCount: cell.paintCount + 1,
+ *       })),
+ *   })),
+ * ));
+ *
+ * const cell = cells.selectCell(0);
+ * if (cell) yield* cell.paint();
+ * console.log(cells.selectCell(0)?.paintCount); // 1
+ * ```
+ *
+ * `insertSelect` accepts a SINGLE nested insertion. To attach several (or to
+ * chain another `insertSelect` alongside other members), re-pass the selected
+ * context through `craftPipe` — contextual typing is preserved at every
+ * nesting level:
+ *
+ * @example
+ * ```ts
+ * insertSelect('grid', (gridContext) =>
+ *   craftPipe(
+ *     gridContext,
+ *     ({ state, update }) => ({
+ *       addRow: () => update((grid) => [...grid, createNextRow(grid)]),
+ *       rowIndexes: craftComputed(function* () {
+ *         return (yield* state()).map((_row, index) => index);
+ *       }),
+ *     }),
+ *     insertSelect('row', ({ update }) => ({
+ *       // ...
+ *     })),
+ *   ),
+ * );
+ * ```
+ *
+ * `insertSelect` itself also composes as a member of an `insertStatePipe` at
+ * the primitive level:
+ *
+ * @example
+ * ```ts
+ * state(initialCells, insertStatePipe(
+ *     insertStoragePersister(craftUnique({
+ *       storeName: 'app',
+ *       key: 'cells',
+ *     })),
+ *     insertSelect('cell', ({ update }) => ({
+ *       paint: () => update((cell) => ({ ...cell, painted: true })),
+ *     })),
+ *   ),
+ * );
+ * ```
+ */
+export declare function insertSelect<StateType, const Name extends AutoCompleteName & string, Insertions1 = {}, PreviousInsertionsOutputs = {}, Insertions1Yielded = never, AutoCompleteName = NoInfer<StateType> extends readonly object[] ? string : keyof NoInfer<StateType>>(name: Name, insertion1: InsertionsStateFactory<SelectedTarget<StateType, Name>, Insertions1, PreviousInsertionsOutputs, Insertions1Yielded>): InsertSelectReturn<StateType, Name, [
+    Insertions1
+], PreviousInsertionsOutputs>;
+export {};
+//# sourceMappingURL=insert-select.d.ts.map

package/src/lib/insert-select.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"insert-select.d.ts","sourceRoot":"","sources":["../../../../../libs/core/src/lib/insert-select.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AAEtD,OAAO,EAAE,OAAO,IAAI,gBAAgB,EAAW,MAAM,WAAW,CAAC;AACjE,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AACrD,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAS/D,OAAO,EAKL,KAAK,2BAA2B,EAChC,KAAK,yBAAyB,EAC/B,MAAM,aAAa,CAAC;AAYrB,MAAM,MAAM,cAAc,CACxB,SAAS,EACT,IAAI,SAAS,MAAM,IACjB,SAAS,SAAS,SAAS,CAAC,MAAM,IAAI,CAAC,EAAE,GACzC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,GACrB,SAAS,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACvC,IAAI,SAAS,MAAM,SAAS,GAC1B,SAAS,CAAC,IAAI,CAAC,GACf,KAAK,GACP,KAAK,CAAC;AAEZ,KAAK,eAAe,CAClB,UAAU,SAAS,SAAS,OAAO,EAAE,EACrC,GAAG,GAAG,EAAE,IACN,UAAU,SAAS,SAAS,CAAC,MAAM,IAAI,EAAE,GAAG,MAAM,IAAI,CAAC,GACvD,eAAe,CAAC,IAAI,EAAE,GAAG,GAAG,IAAI,CAAC,GACjC,GAAG,CAAC;AAER,KAAK,aAAa,CAAC,UAAU,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,GACxD,MAAM,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,GACrC,CAAC,KAAK,EAAE,UAAU,KAAK,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;AAa3D,KAAK,iBAAiB,CAAC,UAAU,IAAI,yBAAyB,CAC5D,WAAW,CACT,aAAa,CAAC,UAAU,CAAC,SAAS,IAAI,GAAG,EAAE,GAAG,YAAY,CAAC,UAAU,CAAC,EACtE;KACG,CAAC,IAAI,MAAM,YAAY,CAAC,UAAU,CAAC,IAAI,YAAY,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,gBAAgB,CAAC,GAAG,CAAC,GAC7F,CAAC,GACD,KAAK,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,gBAAgB,CAC9D,MAAM,UAAU,CACjB,GACG,aAAa,CAAC,UAAU,CAAC,GACzB,KAAK;CACV,CACF,CACF,CAAC;AAEF,KAAK,oBAAoB,CAAC,IAAI,SAAS,MAAM,IAAI,SAAS,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;AAC7E,KAAK,wBAAwB,CAAC,IAAI,SAAS,MAAM,IAC/C,SAAS,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;AAE9B,KAAK,YAAY,CAAC,SAAS,IAAI,SAAS,SAAS,SAAS,CAAC,MAAM,IAAI,CAAC,EAAE,GACpE,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,GACrB,KAAK,CAAC;AAEV,KAAK,mBAAmB,CAAC,SAAS,EAAE,UAAU,IAAI,WAAW,CAC3D,YAAY,CAAC,SAAS,CAAC,EACvB,iBAAiB,CAAC,UAAU,CAAC,CAC9B,CAAC;AAEF,KAAK,oBAAoB,CAAC,SAAS,EAAE,IAAI,SAAS,MAAM,EAAE,UAAU,IAClE,SAAS,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACrC,IAAI,SAAS,MAAM,SAAS,GAAG,MAAM,GACnC,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAChD,iBAAiB,CAAC,UAAU,CAAC,GAC7B,WAAW,CACT,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,EAChC,iBAAiB,CAAC,UAAU,CAAC,CAC9B,GACH,KAAK,GACP,KAAK,CAAC;AAEZ,KAAK,uBAAuB,CAC1B,SAAS,EACT,IAAI,SAAS,MAAM,EACnB,UAAU,SAAS,SAAS,OAAO,EAAE,IACnC;KACD,CAAC,IAAI,oBAAoB,CAAC,IAAI,CAAC,GAAG,2BAA2B,CAC5D;QAAC,EAAE,EAAE,MAAM;KAAC,EACZ,mBAAmB,CAAC,SAAS,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,GAAG,SAAS,CACxE;CACF,GAAG;IACF,KAAK,EAAE,2BAA2B,CAChC;KAAE,EACF,KAAK,CAAC,mBAAmB,CAAC,SAAS,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,CAAC,CACnE,CAAC;CACH,CAAC;AAEF,KAAK,wBAAwB,CAC3B,SAAS,EACT,IAAI,SAAS,MAAM,EACnB,UAAU,SAAS,SAAS,OAAO,EAAE,IACnC;KACD,CAAC,IAAI,wBAAwB,CAAC,IAAI,CAAC,GAAG,2BAA2B,CAChE;KAAE,EACF,oBAAoB,CAAC,SAAS,EAAE,IAAI,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,CACnE;CACF,CAAC;AAEF,MAAM,MAAM,kBAAkB,CAC5B,SAAS,EACT,IAAI,SAAS,MAAM,EACnB,UAAU,SAAS,SAAS,OAAO,EAAE,IACnC,SAAS,SAAS,SAAS,MAAM,EAAE,GACnC,uBAAuB,CAAC,SAAS,EAAE,IAAI,EAAE,UAAU,CAAC,GACpD,wBAAwB,CAAC,SAAS,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;AAE1D,KAAK,kBAAkB,CACrB,SAAS,EACT,IAAI,SAAS,MAAM,EACnB,UAAU,SAAS,SAAS,OAAO,EAAE,EACrC,yBAAyB,IACvB,sBAAsB,CACxB,SAAS,EACT,kBAAkB,CAAC,SAAS,EAAE,IAAI,EAAE,UAAU,CAAC,EAC/C,yBAAyB,CAC1B,CAAC;AA+uBF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0FG;AACH,wBAAgB,YAAY,CAC1B,SAAS,EACT,KAAK,CAAC,IAAI,SAAS,gBAAgB,GAAG,MAAM,EAC5C,WAAW,GAAG,EAAE,EAChB,yBAAyB,GAAG,EAAE,EAC9B,kBAAkB,GAAG,KAAK,EAC1B,gBAAgB,GAAG,OAAO,CAAC,SAAS,CAAC,SAAS,SAAS,MAAM,EAAE,GAC3D,MAAM,GACN,MAAM,OAAO,CAAC,SAAS,CAAC,EAE5B,IAAI,EAAE,IAAI,EACV,UAAU,EAAE,sBAAsB,CAChC,cAAc,CAAC,SAAS,EAAE,IAAI,CAAC,EAC/B,WAAW,EACX,yBAAyB,EACzB,kBAAkB,CACnB,GACA,kBAAkB,CACnB,SAAS,EACT,IAAI,EACJ;IAAC,WAAW;CAAC,EACb,yBAAyB,CAC1B,CAAC"}