effect-dynamodb 0.1.0

package/dist/internal/PathBuilder.d.ts

@@ -0,0 +1,88 @@
+/**
+ * @internal PathBuilder — Type-safe path proxy for DynamoDB expressions.
+ *
+ * Creates a recursive Proxy that tracks attribute path segments for use in
+ * condition, filter, update, and projection expressions.
+ */
+export declare const PathTag: unique symbol;
+export type PathTag = typeof PathTag;
+/**
+ * A resolved attribute path tracking segments from root to leaf.
+ * Phantom types ensure type safety in expression builders.
+ *
+ * @typeParam Root - The root model type
+ * @typeParam Value - The value type at this path
+ * @typeParam Keys - Tuple of path segments
+ */
+export interface Path<Root = unknown, Value = unknown, Keys extends ReadonlyArray<string | number> = ReadonlyArray<string | number>> {
+    readonly [PathTag]: PathTag;
+    readonly segments: ReadonlyArray<string | number>;
+    /** Phantom */ readonly _Root: (_: never) => Root;
+    /** Phantom */ readonly _Value: (_: never) => Value;
+    /** Phantom */ readonly _Keys: (_: never) => Keys;
+    /** Return a size operand for this path */
+    readonly size: () => SizeOperand<Root>;
+}
+/**
+ * A size() operand — represents the size of the attribute at the given path.
+ */
+export interface SizeOperand<Root = unknown> {
+    readonly _tag: "size";
+    readonly segments: ReadonlyArray<string | number>;
+    /** Phantom */ readonly _Root: (_: never) => Root;
+}
+export interface ArrayPath<Root, Element, Keys extends ReadonlyArray<string | number> = ReadonlyArray<string | number>> extends Path<Root, ReadonlyArray<Element>, Keys> {
+    readonly at: (index: number) => NonNullable<Element> extends globalThis.Record<string, any> ? PathBuilder<Root, NonNullable<Element>> & Path<Root, NonNullable<Element>> : Path<Root, NonNullable<Element>>;
+}
+/**
+ * A recursive mapped type that provides type-safe path access to model attributes.
+ * Each property access returns either:
+ * - `Path<Root, V>` for leaf values (string, number, boolean, etc.)
+ * - `PathBuilder<Root, V> & Path<Root, V>` for nested objects
+ * - `ArrayPath<Root, E>` for arrays
+ */
+export type PathBuilder<Root, Model, Keys extends ReadonlyArray<string | number> = []> = {
+    readonly [K in keyof Model]-?: NonNullable<Model[K]> extends ReadonlyArray<infer E> ? ArrayPath<Root, E, [...Keys, K & string]> : NonNullable<Model[K]> extends globalThis.Record<string, any> ? PathBuilder<Root, NonNullable<Model[K]>, [...Keys, K & string]> & Path<Root, NonNullable<Model[K]>, [...Keys, K & string]> : Path<Root, NonNullable<Model[K]>, [...Keys, K & string]>;
+};
+/** Check if a value is a Path */
+export declare const isPath: (value: unknown) => value is Path;
+/**
+ * Create a PathBuilder proxy that tracks attribute path segments.
+ *
+ * @param segments - Initial segments (default: [])
+ * @param resolveDbName - Optional function to resolve domain names to DynamoDB attribute names
+ */
+export declare const createPathBuilder: <Model>(segments?: ReadonlyArray<string | number>, resolveDbName?: (name: string) => string) => PathBuilder<Model, Model>;
+/**
+ * Compile path segments into DynamoDB ExpressionAttributeNames placeholders.
+ *
+ * @param segments - The path segments (e.g., ["address", "city"])
+ * @param names - Mutable names map to populate
+ * @param prefix - Placeholder prefix (e.g., "p" for paths, "e" for expressions)
+ * @param counter - Mutable counter object for unique placeholder generation
+ * @param resolveDbName - Optional function to resolve domain names to DynamoDB attribute names
+ * @returns The expression path string (e.g., "#p0.#p1" or "#p0[2].#p1")
+ */
+export declare const compilePath: (segments: ReadonlyArray<string | number>, names: globalThis.Record<string, string>, prefix: string, counter: {
+    value: number;
+}, resolveDbName?: (name: string) => string) => string;
+/** Deep pick a single path from a type */
+type DeepPickOne<T, Keys extends ReadonlyArray<string | number>> = Keys extends readonly [
+    infer Head extends keyof T,
+    ...infer Rest extends ReadonlyArray<string | number>
+] ? Rest extends readonly [] ? Pick<T, Head> : {
+    readonly [K in Head]: DeepPickOne<T[Head], Rest>;
+} : T;
+/** Convert a union to an intersection */
+type UnionToIntersection<U> = (U extends any ? (k: U) => void : never) extends (k: infer I) => void ? I : never;
+/**
+ * Deep pick from a type given an array of path tuples.
+ * Used by projections to narrow return types.
+ */
+export type DeepPick<T, Paths extends ReadonlyArray<ReadonlyArray<string | number>>> = UnionToIntersection<{
+    [K in keyof Paths]: DeepPickOne<T, Paths[K]>;
+}[number]>;
+/** Extract the Keys tuple from a Path type */
+export type PathKeys<P> = P extends Path<any, any, infer K> ? K : never;
+export {};
+//# sourceMappingURL=PathBuilder.d.ts.map

package/dist/internal/PathBuilder.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"PathBuilder.d.ts","sourceRoot":"","sources":["../../src/internal/PathBuilder.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAMH,eAAO,MAAM,OAAO,EAAE,OAAO,MAA2C,CAAA;AACxE,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAA;AAEpC;;;;;;;GAOG;AACH,MAAM,WAAW,IAAI,CACnB,IAAI,GAAG,OAAO,EACd,KAAK,GAAG,OAAO,EACf,IAAI,SAAS,aAAa,CAAC,MAAM,GAAG,MAAM,CAAC,GAAG,aAAa,CAAC,MAAM,GAAG,MAAM,CAAC;IAE5E,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;IAC3B,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,MAAM,GAAG,MAAM,CAAC,CAAA;IACjD,cAAc,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,IAAI,CAAA;IACjD,cAAc,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,KAAK,CAAA;IACnD,cAAc,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,IAAI,CAAA;IACjD,0CAA0C;IAC1C,QAAQ,CAAC,IAAI,EAAE,MAAM,WAAW,CAAC,IAAI,CAAC,CAAA;CACvC;AAED;;GAEG;AACH,MAAM,WAAW,WAAW,CAAC,IAAI,GAAG,OAAO;IACzC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,MAAM,GAAG,MAAM,CAAC,CAAA;IACjD,cAAc,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,IAAI,CAAA;CAClD;AAMD,MAAM,WAAW,SAAS,CACxB,IAAI,EACJ,OAAO,EACP,IAAI,SAAS,aAAa,CAAC,MAAM,GAAG,MAAM,CAAC,GAAG,aAAa,CAAC,MAAM,GAAG,MAAM,CAAC,CAC5E,SAAQ,IAAI,CAAC,IAAI,EAAE,aAAa,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;IAChD,QAAQ,CAAC,EAAE,EAAE,CACX,KAAK,EAAE,MAAM,KACV,WAAW,CAAC,OAAO,CAAC,SAAS,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAC5D,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,OAAO,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,OAAO,CAAC,CAAC,GAC1E,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,OAAO,CAAC,CAAC,CAAA;CACrC;AAMD;;;;;;GAMG;AACH,MAAM,MAAM,WAAW,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,SAAS,aAAa,CAAC,MAAM,GAAG,MAAM,CAAC,GAAG,EAAE,IAAI;IACvF,QAAQ,EAAE,CAAC,IAAI,MAAM,KAAK,CAAC,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,aAAa,CAAC,MAAM,CAAC,CAAC,GAC/E,SAAS,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,GACzC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAC1D,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,GAC7D,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,GAC1D,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC;CAC/D,CAAA;AAMD,iCAAiC;AACjC,eAAO,MAAM,MAAM,GAAI,OAAO,OAAO,KAAG,KAAK,IAAI,IACgB,CAAA;AAEjE;;;;;GAKG;AACH,eAAO,MAAM,iBAAiB,GAAI,KAAK,EACrC,WAAU,aAAa,CAAC,MAAM,GAAG,MAAM,CAAM,EAC7C,gBAAgB,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,KACvC,WAAW,CAAC,KAAK,EAAE,KAAK,CA8B1B,CAAA;AAMD;;;;;;;;;GASG;AACH,eAAO,MAAM,WAAW,GACtB,UAAU,aAAa,CAAC,MAAM,GAAG,MAAM,CAAC,EACxC,OAAO,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EACxC,QAAQ,MAAM,EACd,SAAS;IAAE,KAAK,EAAE,MAAM,CAAA;CAAE,EAC1B,gBAAgB,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,KACvC,MAwBF,CAAA;AAMD,0CAA0C;AAC1C,KAAK,WAAW,CAAC,CAAC,EAAE,IAAI,SAAS,aAAa,CAAC,MAAM,GAAG,MAAM,CAAC,IAAI,IAAI,SAAS,SAAS;IACvF,MAAM,IAAI,SAAS,MAAM,CAAC;IAC1B,GAAG,MAAM,IAAI,SAAS,aAAa,CAAC,MAAM,GAAG,MAAM,CAAC;CACrD,GACG,IAAI,SAAS,SAAS,EAAE,GACtB,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,GACb;IAAE,QAAQ,EAAE,CAAC,IAAI,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC;CAAE,GACtD,CAAC,CAAA;AAEL,yCAAyC;AACzC,KAAK,mBAAmB,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,IAAI,GAC/F,CAAC,GACD,KAAK,CAAA;AAET;;;GAGG;AACH,MAAM,MAAM,QAAQ,CAClB,CAAC,EACD,KAAK,SAAS,aAAa,CAAC,aAAa,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC,IACzD,mBAAmB,CAAC;KAAG,CAAC,IAAI,MAAM,KAAK,GAAG,WAAW,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC,MAAM,CAAC,CAAC,CAAA;AAEjF,8CAA8C;AAC9C,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA"}

package/dist/internal/PathBuilder.js

@@ -0,0 +1,100 @@
+/**
+ * @internal PathBuilder — Type-safe path proxy for DynamoDB expressions.
+ *
+ * Creates a recursive Proxy that tracks attribute path segments for use in
+ * condition, filter, update, and projection expressions.
+ */
+// ---------------------------------------------------------------------------
+// Path interface — a resolved attribute path with phantom types
+// ---------------------------------------------------------------------------
+export const PathTag = Symbol.for("effect-dynamodb/Path");
+// ---------------------------------------------------------------------------
+// Runtime: createPathBuilder — single recursive Proxy handler
+// ---------------------------------------------------------------------------
+/** Check if a value is a Path */
+export const isPath = (value) => typeof value === "object" && value !== null && PathTag in value;
+/**
+ * Create a PathBuilder proxy that tracks attribute path segments.
+ *
+ * @param segments - Initial segments (default: [])
+ * @param resolveDbName - Optional function to resolve domain names to DynamoDB attribute names
+ */
+export const createPathBuilder = (segments = [], resolveDbName) => {
+    const handler = {
+        get(_target, prop) {
+            if (prop === PathTag)
+                return PathTag;
+            if (prop === "_tag")
+                return "Path";
+            if (prop === "segments")
+                return segments;
+            if (prop === "_Root" || prop === "_Value")
+                return undefined;
+            if (prop === "size") {
+                return () => ({
+                    _tag: "size",
+                    _Root: undefined,
+                    segments,
+                });
+            }
+            if (prop === "at") {
+                return (index) => createPathBuilder([...segments, index], resolveDbName);
+            }
+            // Pipe/iterator/Symbol access — return undefined to avoid interference
+            if (typeof prop === "symbol")
+                return undefined;
+            if (prop === "pipe" || prop === "toJSON" || prop === "then")
+                return undefined;
+            if (typeof prop === "string") {
+                return createPathBuilder([...segments, prop], resolveDbName);
+            }
+            return undefined;
+        },
+        has(_target, prop) {
+            return prop === PathTag || prop === "_tag" || prop === "segments";
+        },
+    };
+    return new Proxy({}, handler);
+};
+// ---------------------------------------------------------------------------
+// compilePath — shared path→DynamoDB expression name compilation
+// ---------------------------------------------------------------------------
+/**
+ * Compile path segments into DynamoDB ExpressionAttributeNames placeholders.
+ *
+ * @param segments - The path segments (e.g., ["address", "city"])
+ * @param names - Mutable names map to populate
+ * @param prefix - Placeholder prefix (e.g., "p" for paths, "e" for expressions)
+ * @param counter - Mutable counter object for unique placeholder generation
+ * @param resolveDbName - Optional function to resolve domain names to DynamoDB attribute names
+ * @returns The expression path string (e.g., "#p0.#p1" or "#p0[2].#p1")
+ */
+export const compilePath = (segments, names, prefix, counter, resolveDbName) => {
+    const parts = [];
+    for (const seg of segments) {
+        if (typeof seg === "number") {
+            // Array index — append directly to previous part
+            parts.push(`[${seg}]`);
+        }
+        else {
+            const key = `#${prefix}${counter.value++}`;
+            names[key] = resolveDbName ? resolveDbName(seg) : seg;
+            parts.push(key);
+        }
+    }
+    // Join parts: string placeholders with ".", array indices attach directly
+    let result = "";
+    for (const part of parts) {
+        if (part.startsWith("[")) {
+            result += part;
+        }
+        else if (result === "") {
+            result = part;
+        }
+        else {
+            result += `.${part}`;
+        }
+    }
+    return result;
+};
+//# sourceMappingURL=PathBuilder.js.map

package/dist/internal/PathBuilder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"PathBuilder.js","sourceRoot":"","sources":["../../src/internal/PathBuilder.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,8EAA8E;AAC9E,gEAAgE;AAChE,8EAA8E;AAE9E,MAAM,CAAC,MAAM,OAAO,GAAkB,MAAM,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAA;AAsExE,8EAA8E;AAC9E,8DAA8D;AAC9D,8EAA8E;AAE9E,iCAAiC;AACjC,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAc,EAAiB,EAAE,CACtD,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,CAAA;AAEjE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,WAA2C,EAAE,EAC7C,aAAwC,EACb,EAAE;IAC7B,MAAM,OAAO,GAAyB;QACpC,GAAG,CAAC,OAAO,EAAE,IAAI;YACf,IAAI,IAAI,KAAK,OAAO;gBAAE,OAAO,OAAO,CAAA;YACpC,IAAI,IAAI,KAAK,MAAM;gBAAE,OAAO,MAAM,CAAA;YAClC,IAAI,IAAI,KAAK,UAAU;gBAAE,OAAO,QAAQ,CAAA;YACxC,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,QAAQ;gBAAE,OAAO,SAAS,CAAA;YAC3D,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;gBACpB,OAAO,GAAG,EAAE,CAAC,CAAC;oBACZ,IAAI,EAAE,MAAe;oBACrB,KAAK,EAAE,SAAS;oBAChB,QAAQ;iBACT,CAAC,CAAA;YACJ,CAAC;YACD,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;gBAClB,OAAO,CAAC,KAAa,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,GAAG,QAAQ,EAAE,KAAK,CAAC,EAAE,aAAa,CAAC,CAAA;YAClF,CAAC;YACD,uEAAuE;YACvE,IAAI,OAAO,IAAI,KAAK,QAAQ;gBAAE,OAAO,SAAS,CAAA;YAC9C,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,MAAM;gBAAE,OAAO,SAAS,CAAA;YAC7E,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC7B,OAAO,iBAAiB,CAAC,CAAC,GAAG,QAAQ,EAAE,IAAI,CAAC,EAAE,aAAa,CAAC,CAAA;YAC9D,CAAC;YACD,OAAO,SAAS,CAAA;QAClB,CAAC;QACD,GAAG,CAAC,OAAO,EAAE,IAAI;YACf,OAAO,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,UAAU,CAAA;QACnE,CAAC;KACF,CAAA;IACD,OAAO,IAAI,KAAK,CAAC,EAAS,EAAE,OAAO,CAA8B,CAAA;AACnE,CAAC,CAAA;AAED,8EAA8E;AAC9E,iEAAiE;AACjE,8EAA8E;AAE9E;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,QAAwC,EACxC,KAAwC,EACxC,MAAc,EACd,OAA0B,EAC1B,aAAwC,EAChC,EAAE;IACV,MAAM,KAAK,GAAkB,EAAE,CAAA;IAC/B,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;YAC5B,iDAAiD;YACjD,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,GAAG,CAAC,CAAA;QACxB,CAAC;aAAM,CAAC;YACN,MAAM,GAAG,GAAG,IAAI,MAAM,GAAG,OAAO,CAAC,KAAK,EAAE,EAAE,CAAA;YAC1C,KAAK,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAA;YACrD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QACjB,CAAC;IACH,CAAC;IACD,0EAA0E;IAC1E,IAAI,MAAM,GAAG,EAAE,CAAA;IACf,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACzB,MAAM,IAAI,IAAI,CAAA;QAChB,CAAC;aAAM,IAAI,MAAM,KAAK,EAAE,EAAE,CAAC;YACzB,MAAM,GAAG,IAAI,CAAA;QACf,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,IAAI,IAAI,EAAE,CAAA;QACtB,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC,CAAA"}

package/dist/internal/TransactableOps.d.ts

@@ -0,0 +1,25 @@
+/**
+ * @internal Shared helpers for Batch and Transaction operations.
+ *
+ * Extracts common patterns: table name resolution, primary key composition,
+ * and put-item construction (validation + key composition + system fields).
+ */
+import { Effect, Schema } from "effect";
+import type { Entity } from "../Entity.js";
+import { ValidationError } from "../Errors.js";
+import * as KeyComposer from "../KeyComposer.js";
+/**
+ * Resolve table names for a set of entity infos, deduplicating by entity reference.
+ */
+export declare const resolveTableNames: (infos: ReadonlyArray<{
+    readonly entity: Entity;
+}>) => Effect.Effect<Map<Entity<Schema.Top, string, Record<string, KeyComposer.IndexDefinition>, import("./EntityConfig.js").TimestampsConfig | undefined, import("./EntityConfig.js").VersionedConfig | undefined, import("./EntityConfig.js").SoftDeleteConfig | undefined, import("./EntityConfig.js").UniqueConfig | undefined, undefined, undefined>, string>, never, import("../Table.js").TableConfig>;
+/**
+ * Compose the primary key for an entity item.
+ */
+export declare const composePrimaryKey: (entity: Entity, key: Record<string, unknown>) => Record<string, unknown>;
+/**
+ * Validate input, compose all keys, and build a marshalled put item.
+ */
+export declare const validateAndBuildPutItem: (entity: Entity, input: Record<string, unknown>, operation: string) => Effect.Effect<Record<string, import("@aws-sdk/client-dynamodb").AttributeValue>, ValidationError>;
+//# sourceMappingURL=TransactableOps.d.ts.map

package/dist/internal/TransactableOps.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"TransactableOps.d.ts","sourceRoot":"","sources":["../../src/internal/TransactableOps.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,cAAc,CAAA;AAC1C,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAA;AAC9C,OAAO,KAAK,WAAW,MAAM,mBAAmB,CAAA;AAGhD;;GAEG;AACH,eAAO,MAAM,iBAAiB,GAAI,OAAO,aAAa,CAAC;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC,2YAU/E,CAAA;AAEJ;;GAEG;AACH,eAAO,MAAM,iBAAiB,GAC5B,QAAQ,MAAM,EACd,KAAK,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAC3B,MAAM,CAAC,MAAM,EAAE,OAAO,CAOxB,CAAA;AAED;;GAEG;AACH,eAAO,MAAM,uBAAuB,GAClC,QAAQ,MAAM,EACd,OAAO,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC9B,WAAW,MAAM,KAChB,MAAM,CAAC,MAAM,CACd,MAAM,CAAC,MAAM,EAAE,OAAO,0BAA0B,EAAE,cAAc,CAAC,EACjE,eAAe,CAiCb,CAAA"}

package/dist/internal/TransactableOps.js

@@ -0,0 +1,58 @@
+/**
+ * @internal Shared helpers for Batch and Transaction operations.
+ *
+ * Extracts common patterns: table name resolution, primary key composition,
+ * and put-item construction (validation + key composition + system fields).
+ */
+import { Effect, Schema } from "effect";
+import { ValidationError } from "../Errors.js";
+import * as KeyComposer from "../KeyComposer.js";
+import { toAttributeMap } from "../Marshaller.js";
+/**
+ * Resolve table names for a set of entity infos, deduplicating by entity reference.
+ */
+export const resolveTableNames = (infos) => Effect.gen(function* () {
+    const tableNames = new Map();
+    for (const info of infos) {
+        if (!tableNames.has(info.entity)) {
+            const { name } = yield* info.entity._tableTag;
+            tableNames.set(info.entity, name);
+        }
+    }
+    return tableNames;
+});
+/**
+ * Compose the primary key for an entity item.
+ */
+export const composePrimaryKey = (entity, key) => {
+    const primary = entity.indexes.primary;
+    const schema = entity._schema;
+    return {
+        [primary.pk.field]: KeyComposer.composePk(schema, entity.entityType, primary, key),
+        [primary.sk.field]: KeyComposer.composeSk(schema, entity.entityType, 1, primary, key),
+    };
+};
+/**
+ * Validate input, compose all keys, and build a marshalled put item.
+ */
+export const validateAndBuildPutItem = (entity, input, operation) => Effect.gen(function* () {
+    const inputSchema = entity.schemas.inputSchema;
+    const validated = yield* Schema.decodeUnknownEffect(inputSchema)(input).pipe(Effect.mapError((cause) => new ValidationError({
+        entityType: entity.entityType,
+        operation,
+        cause,
+    })));
+    const item = { ...validated };
+    item.__edd_e__ = entity.entityType;
+    const keys = KeyComposer.composeAllKeys(entity._schema, entity.entityType, 1, entity.indexes, validated);
+    Object.assign(item, keys);
+    const now = new Date().toISOString();
+    if (entity.systemFields.createdAt)
+        item[entity.systemFields.createdAt] = now;
+    if (entity.systemFields.updatedAt)
+        item[entity.systemFields.updatedAt] = now;
+    if (entity.systemFields.version)
+        item[entity.systemFields.version] = 1;
+    return toAttributeMap(item);
+});
+//# sourceMappingURL=TransactableOps.js.map

package/dist/internal/TransactableOps.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"TransactableOps.js","sourceRoot":"","sources":["../../src/internal/TransactableOps.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAEvC,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAA;AAC9C,OAAO,KAAK,WAAW,MAAM,mBAAmB,CAAA;AAChD,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAA;AAEjD;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,KAAiD,EAAE,EAAE,CACrF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAA;IAC5C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YACjC,MAAM,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAA;YAC7C,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;QACnC,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAA;AACnB,CAAC,CAAC,CAAA;AAEJ;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,MAAc,EACd,GAA4B,EACH,EAAE;IAC3B,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,OAAQ,CAAA;IACvC,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAA;IAC7B,OAAO;QACL,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE,GAAG,CAAC;QAClF,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC;KACtF,CAAA;AACH,CAAC,CAAA;AAED;;GAEG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,MAAc,EACd,KAA8B,EAC9B,SAAiB,EAIjB,EAAE,CACF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,CAAC,WAAgC,CAAA;IACnE,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,WAAW,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAC1E,MAAM,CAAC,QAAQ,CACb,CAAC,KAAK,EAAE,EAAE,CACR,IAAI,eAAe,CAAC;QAClB,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,SAAS;QACT,KAAK;KACN,CAAC,CACL,CACF,CAAA;IAED,MAAM,IAAI,GAA4B,EAAE,GAAG,SAAS,EAAE,CAAA;IACtD,IAAI,CAAC,SAAS,GAAG,MAAM,CAAC,UAAU,CAAA;IAElC,MAAM,IAAI,GAAG,WAAW,CAAC,cAAc,CACrC,MAAM,CAAC,OAAO,EACd,MAAM,CAAC,UAAU,EACjB,CAAC,EACD,MAAM,CAAC,OAAO,EACd,SAAS,CACV,CAAA;IACD,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;IAEzB,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAA;IACpC,IAAI,MAAM,CAAC,YAAY,CAAC,SAAS;QAAE,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,SAAS,CAAC,GAAG,GAAG,CAAA;IAC5E,IAAI,MAAM,CAAC,YAAY,CAAC,SAAS;QAAE,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,SAAS,CAAC,GAAG,GAAG,CAAA;IAC5E,IAAI,MAAM,CAAC,YAAY,CAAC,OAAO;QAAE,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;IAEtE,OAAO,cAAc,CAAC,IAAI,CAAC,CAAA;AAC7B,CAAC,CAAC,CAAA"}

package/dist/internal/sparse_check.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=sparse_check.d.ts.map

package/dist/internal/sparse_check.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sparse_check.d.ts","sourceRoot":"","sources":["../../src/internal/sparse_check.ts"],"names":[],"mappings":""}

package/dist/internal/sparse_check.js

@@ -0,0 +1,196 @@
+/**
+ * Type-level verification for sparse GSI all-or-none constraints.
+ * This file is NOT shipped — it exists solely for `pnpm check` validation.
+ *
+ * Enforcement:
+ * - Data-first: Entity.set(self, updates) — type error at the call site (NoInfer<U>)
+ * - Data-last: .pipe(Entity.set(updates)) — clean types, runtime validation catches
+ *   partial GSI composites. Runtime is always active on all code paths.
+ *
+ * § Why data-last loses the constraint (with core Effect comparison):
+ *
+ * Core Effect duals like Ref.set and HashMap.set use a SHARED type parameter
+ * across the outer and inner functions:
+ *
+ *   Ref.set:     <A>(value: A)       → (self: Ref<A>) → Effect<void>
+ *   HashMap.set: <K, V>(key: K, v: V) → (self: HashMap<K, V>) → HashMap<K, V>
+ *
+ * In data-last, A/V are inferred from the arguments. When piped, `self` is
+ * checked against that inferred type. Because Ref and HashMap are INVARIANT
+ * in their type parameter, a mismatch between the inferred A and self's A
+ * produces a type error on self.
+ *
+ * Entity.set is different. The update constraint U is an all-or-none union:
+ *
+ *   U = { tenantId: string; region: string } | { tenantId?: never; region?: never }
+ *
+ * If we used the same shared-parameter pattern:
+ *
+ *   <U>(updates: U) → (self: EntityUpdate<..., U, ...>) → EntityUpdate<..., U, ...>
+ *
+ * Then Entity.set({ tenantId: "t-3" }) infers U = { tenantId: string }. When
+ * piped, self's U (the all-or-none union above) would need to extend
+ * { tenantId: string }. But it doesn't — the NoneAllowed branch has
+ * tenantId?: never. So this WOULD error, but at the self position, producing
+ * a confusing "EntityUpdate<...> is not assignable to EntityUpdate<...>" message
+ * rather than the clear "missing property 'region'" error from data-first.
+ *
+ * Worse: for non-constrained fields the error is reversed. Entity.set({ name: "Alice" })
+ * infers U = { name: string }, then self's U (the all-or-none union) would need
+ * to extend { name: string } — but { tenantId?: never; region?: never } doesn't
+ * have name at all, so it would ALSO error, even though the update is perfectly valid.
+ *
+ * The module-level Entity.set uses `Updates extends Record<string, unknown>` in
+ * data-last to avoid these false positives, accepting that the constraint is
+ * enforced only at runtime. Data-first uses NoInfer<U> for precise type-level
+ * enforcement.
+ *
+ * § Entity-scoped set (the solution):
+ *
+ * Each Entity instance exposes a `.set` dual where U is pre-bound from the
+ * entity definition — following the schemaBodyJson(schema) factory pattern
+ * from Effect HTTP. Because U is resolved at entity creation (not inferred
+ * from the updates argument), both data-first and data-last paths are type-safe.
+ */
+import { Effect, HashMap, pipe, Ref, Schema } from "effect";
+import * as Entity from "../Entity.js";
+class Employee extends Schema.Class("Employee")({
+    employeeId: Schema.String,
+    name: Schema.NonEmptyString,
+    tenantId: Schema.String,
+    region: Schema.String,
+}) {
+}
+const Employees = Entity.make({
+    model: Employee,
+    entityType: "Employee",
+    primaryKey: {
+        pk: { field: "pk", composite: ["employeeId"] },
+        sk: { field: "sk", composite: [] },
+    },
+    indexes: {
+        byTenant: {
+            name: "gsi1",
+            pk: { field: "gsi1pk", composite: ["tenantId"] },
+            sk: { field: "gsi1sk", composite: ["region"] },
+        },
+    },
+});
+// -----------------------------------------------------------------------
+// DATA-FIRST: Entity.set(self, updates) — runtime validated
+// GSI all-or-none is no longer enforced at the type level (TS 25-member
+// union assignability limit). These all compile; partial composites
+// produce a ValidationError at runtime.
+// -----------------------------------------------------------------------
+// Partial GSI composites: tenantId without region — caught at runtime
+Entity.set(Employees.update({ employeeId: "e-1" }), { tenantId: "t-3" });
+// All GSI composites
+Entity.set(Employees.update({ employeeId: "e-1" }), { tenantId: "t-3", region: "us-east-1" });
+// No GSI composites
+Entity.set(Employees.update({ employeeId: "e-1" }), { name: "Alice" });
+// -----------------------------------------------------------------------
+// PIPE PATH: .pipe(Entity.set({ ... })) — clean types, runtime-validated
+// -----------------------------------------------------------------------
+// Partial GSI composites: no type error in pipe path (runtime catches it)
+const _pipeBadRuntime = Effect.gen(function* () {
+    yield* Employees.update({ employeeId: "e-1" }).pipe(Entity.set({ tenantId: "t-3" }), Entity.asModel);
+});
+// GOOD: all GSI composites in pipe
+const _pipeGood1 = Effect.gen(function* () {
+    yield* Employees.update({ employeeId: "e-1" }).pipe(Entity.set({ tenantId: "t-3", region: "us-east-1" }), Entity.asModel);
+});
+// GOOD: no GSI composites in pipe
+const _pipeGood2 = Effect.gen(function* () {
+    yield* Employees.update({ employeeId: "e-1" }).pipe(Entity.set({ name: "Alice" }), Entity.asModel);
+});
+// -----------------------------------------------------------------------
+// PIPE CHAIN: Entity.set → Effect.map → Effect.catchTag composes cleanly
+// -----------------------------------------------------------------------
+// Partial GSI in pipe chain — no type error; runtime validation catches it.
+// .asEffect() crosses the entity-op/Effect boundary before Effect combinators.
+const _pipeChainPartial = Effect.gen(function* () {
+    const result = yield* Employees.update({ employeeId: "e-1" }).pipe(Entity.set({ tenantId: "t-3" }), (op) => op.asEffect(), Effect.map(() => "unexpected success"), Effect.catchTag("ValidationError", (e) => Effect.succeed(`Caught ValidationError: ${e.cause}`)));
+    return result;
+});
+// Full pipe chain with all GSI composites — .asEffect() at the boundary
+const _pipeChainGood = Effect.gen(function* () {
+    const result = yield* Employees.update({ employeeId: "e-1" }).pipe(Entity.set({ tenantId: "t-3", region: "us-east-1" }), Entity.expectedVersion(1), (op) => op.asEffect(), Effect.map(() => "success"), Effect.catchTag("OptimisticLockError", () => Effect.succeed("lock failed")));
+    return result;
+});
+// -----------------------------------------------------------------------
+// CORE EFFECT COMPARISON — why Ref.set / HashMap.set catch data-last
+// mismatches but Entity.set cannot
+// -----------------------------------------------------------------------
+// Ref.set: shared type parameter A — invariant container catches mismatches
+const _refExample = Effect.gen(function* () {
+    const ref = yield* Ref.make("red");
+    // Data-first: TYPE ERROR — "green" not in "red" | "blue"
+    // @ts-expect-error
+    yield* Ref.set(ref, "green");
+    // Data-last: ALSO TYPE ERROR — Ref<"red"|"blue"> not assignable to Ref<"green">
+    // The shared A is inferred as "green" from the argument, then self (Ref<"red"|"blue">)
+    // is checked — Ref is invariant, so the mismatch is caught.
+    // @ts-expect-error
+    yield* pipe(ref, Ref.set("green"));
+});
+// HashMap.set: shared type parameters K, V — invariant container catches mismatches
+const _hashMapExample = Effect.gen(function* () {
+    const map = HashMap.make(["a", 1], ["b", 2]); // HashMap<string, number>
+    // Data-first: TYPE ERROR — "hello" is not number
+    // @ts-expect-error
+    HashMap.set(map, "c", "hello");
+    // Data-last: ALSO TYPE ERROR — HashMap<string, number> not assignable to HashMap<string, string>
+    // V is inferred as string from "hello", then self (HashMap<string, number>) is checked.
+    // @ts-expect-error
+    pipe(map, HashMap.set("c", "hello"));
+});
+// Entity.set: WHY it's different — the constraint is a union, not a simple type
+//
+// If Entity.set used the Ref/HashMap pattern (shared U parameter), then:
+//
+//   Entity.set({ name: "Alice" })  // infers U = { name: string }
+//   // Returns: (self: EntityUpdate<..., { name: string }, ...>) => EntityUpdate<...>
+//
+//   // When piped, self's U is the all-or-none union:
+//   //   { tenantId: string; region: string } | { tenantId?: never; region?: never }
+//   // This union is NOT assignable to { name: string } — FALSE POSITIVE error.
+//   // A perfectly valid non-GSI update would be rejected.
+//
+// So the module-level Entity.set uses `Updates extends Record<string, unknown>`
+// in data-last, accepting any record and deferring validation to runtime.
+// -----------------------------------------------------------------------
+// ENTITY-SCOPED SET: Employees.set() — runtime validated
+// -----------------------------------------------------------------------
+// Each Entity instance exposes a `.set` dual where U is pre-bound from the
+// entity definition. GSI all-or-none is enforced at runtime.
+// DATA-FIRST: partial GSI composites caught at runtime
+Employees.set(Employees.update({ employeeId: "e-1" }), { tenantId: "t-3" });
+// DATA-LAST: partial GSI composites caught at runtime
+const _entityScopedBad = Effect.gen(function* () {
+    yield* Employees.update({ employeeId: "e-1" }).pipe(Employees.set({ tenantId: "t-3" }), Entity.asModel);
+});
+// GOOD: all GSI composites in entity-scoped pipe
+const _entityScopedGood1 = Effect.gen(function* () {
+    yield* Employees.update({ employeeId: "e-1" }).pipe(Employees.set({ tenantId: "t-3", region: "us-east-1" }), Entity.asModel);
+});
+// GOOD: no GSI composites in entity-scoped pipe
+const _entityScopedGood2 = Effect.gen(function* () {
+    yield* Employees.update({ employeeId: "e-1" }).pipe(Employees.set({ name: "Alice" }), Entity.asModel);
+});
+// PIPE CHAIN: Entity-scoped set composes with Effect.map/catchTag
+const _entityScopedChain = Effect.gen(function* () {
+    const result = yield* Employees.update({ employeeId: "e-1" }).pipe(Employees.set({ tenantId: "t-3", region: "us-east-1" }), Employees.expectedVersion(1), (op) => op.asEffect(), Effect.map(() => "success"), Effect.catchTag("OptimisticLockError", () => Effect.succeed("lock failed")));
+    return result;
+});
+void _pipeBadRuntime;
+void _pipeGood1;
+void _pipeGood2;
+void _pipeChainPartial;
+void _pipeChainGood;
+void _refExample;
+void _hashMapExample;
+void _entityScopedBad;
+void _entityScopedGood1;
+void _entityScopedGood2;
+void _entityScopedChain;
+//# sourceMappingURL=sparse_check.js.map

package/dist/internal/sparse_check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sparse_check.js","sourceRoot":"","sources":["../../src/internal/sparse_check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqDG;AACH,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC3D,OAAO,KAAK,MAAM,MAAM,cAAc,CAAA;AAEtC,MAAM,QAAS,SAAQ,MAAM,CAAC,KAAK,CAAW,UAAU,CAAC,CAAC;IACxD,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,IAAI,EAAE,MAAM,CAAC,cAAc;IAC3B,QAAQ,EAAE,MAAM,CAAC,MAAM;IACvB,MAAM,EAAE,MAAM,CAAC,MAAM;CACtB,CAAC;CAAG;AAEL,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC;IAC5B,KAAK,EAAE,QAAQ;IACf,UAAU,EAAE,UAAU;IACtB,UAAU,EAAE;QACV,EAAE,EAAE,EAAE,KAAK,EAAE,IAAa,EAAE,SAAS,EAAE,CAAC,YAAY,CAAU,EAAE;QAChE,EAAE,EAAE,EAAE,KAAK,EAAE,IAAa,EAAE,SAAS,EAAE,EAAW,EAAE;KACrD;IACD,OAAO,EAAE;QACP,QAAQ,EAAE;YACR,IAAI,EAAE,MAAM;YACZ,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,UAAU,CAAC,EAAE;YAChD,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,QAAQ,CAAC,EAAE;SAC/C;KACF;CACF,CAAC,CAAA;AAEF,0EAA0E;AAC1E,4DAA4D;AAC5D,wEAAwE;AACxE,oEAAoE;AACpE,wCAAwC;AACxC,0EAA0E;AAE1E,sEAAsE;AACtE,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAA;AAExE,qBAAqB;AACrB,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAA;AAE7F,oBAAoB;AACpB,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,OAAc,EAAE,CAAC,CAAA;AAE7E,0EAA0E;AAC1E,yEAAyE;AACzE,0EAA0E;AAE1E,0EAA0E;AAC1E,MAAM,eAAe,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAC1C,KAAK,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,CACjD,MAAM,CAAC,GAAG,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAC/B,MAAM,CAAC,OAAO,CACf,CAAA;AACH,CAAC,CAAC,CAAA;AAEF,mCAAmC;AACnC,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IACrC,KAAK,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,CACjD,MAAM,CAAC,GAAG,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,EACpD,MAAM,CAAC,OAAO,CACf,CAAA;AACH,CAAC,CAAC,CAAA;AAEF,kCAAkC;AAClC,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IACrC,KAAK,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,CAAA;AACpG,CAAC,CAAC,CAAA;AAEF,0EAA0E;AAC1E,yEAAyE;AACzE,0EAA0E;AAE1E,4EAA4E;AAC5E,+EAA+E;AAC/E,MAAM,iBAAiB,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAC5C,MAAM,MAAM,GAAW,KAAK,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,CACxE,MAAM,CAAC,GAAG,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAC/B,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,QAAQ,EAAE,EACrB,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,oBAAoB,CAAC,EACtC,MAAM,CAAC,QAAQ,CAAC,iBAAiB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,2BAA2B,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAChG,CAAA;IACD,OAAO,MAAM,CAAA;AACf,CAAC,CAAC,CAAA;AAEF,wEAAwE;AACxE,MAAM,cAAc,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IACzC,MAAM,MAAM,GAAW,KAAK,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,CACxE,MAAM,CAAC,GAAG,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,EACpD,MAAM,CAAC,eAAe,CAAC,CAAC,CAAC,EACzB,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,QAAQ,EAAE,EACrB,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,EAC3B,MAAM,CAAC,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAC5E,CAAA;IACD,OAAO,MAAM,CAAA;AACf,CAAC,CAAC,CAAA;AAEF,0EAA0E;AAC1E,qEAAqE;AACrE,mCAAmC;AACnC,0EAA0E;AAE1E,4EAA4E;AAC5E,MAAM,WAAW,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IACtC,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAiB,KAAK,CAAC,CAAA;IAElD,yDAAyD;IACzD,mBAAmB;IACnB,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAA;IAE5B,gFAAgF;IAChF,uFAAuF;IACvF,4DAA4D;IAC5D,mBAAmB;IACnB,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAA;AACpC,CAAC,CAAC,CAAA;AAEF,oFAAoF;AACpF,MAAM,eAAe,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAC1C,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAA,CAAC,0BAA0B;IAEvE,iDAAiD;IACjD,mBAAmB;IACnB,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,OAAO,CAAC,CAAA;IAE9B,iGAAiG;IACjG,wFAAwF;IACxF,mBAAmB;IACnB,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,CAAA;AACtC,CAAC,CAAC,CAAA;AAEF,gFAAgF;AAChF,EAAE;AACF,yEAAyE;AACzE,EAAE;AACF,kEAAkE;AAClE,sFAAsF;AACtF,EAAE;AACF,sDAAsD;AACtD,qFAAqF;AACrF,gFAAgF;AAChF,2DAA2D;AAC3D,EAAE;AACF,gFAAgF;AAChF,0EAA0E;AAE1E,0EAA0E;AAC1E,yDAAyD;AACzD,0EAA0E;AAC1E,2EAA2E;AAC3E,6DAA6D;AAE7D,uDAAuD;AACvD,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAA;AAE3E,sDAAsD;AACtD,MAAM,gBAAgB,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAC3C,KAAK,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,CACjD,SAAS,CAAC,GAAG,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAClC,MAAM,CAAC,OAAO,CACf,CAAA;AACH,CAAC,CAAC,CAAA;AAEF,iDAAiD;AACjD,MAAM,kBAAkB,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAC7C,KAAK,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,CACjD,SAAS,CAAC,GAAG,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,EACvD,MAAM,CAAC,OAAO,CACf,CAAA;AACH,CAAC,CAAC,CAAA;AAEF,gDAAgD;AAChD,MAAM,kBAAkB,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAC7C,KAAK,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,CACjD,SAAS,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAChC,MAAM,CAAC,OAAO,CACf,CAAA;AACH,CAAC,CAAC,CAAA;AAEF,kEAAkE;AAClE,MAAM,kBAAkB,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAC7C,MAAM,MAAM,GAAW,KAAK,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,CACxE,SAAS,CAAC,GAAG,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,EACvD,SAAS,CAAC,eAAe,CAAC,CAAC,CAAC,EAC5B,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,QAAQ,EAAE,EACrB,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,EAC3B,MAAM,CAAC,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAC5E,CAAA;IACD,OAAO,MAAM,CAAA;AACf,CAAC,CAAC,CAAA;AAEF,KAAK,eAAe,CAAA;AACpB,KAAK,UAAU,CAAA;AACf,KAAK,UAAU,CAAA;AACf,KAAK,iBAAiB,CAAA;AACtB,KAAK,cAAc,CAAA;AACnB,KAAK,WAAW,CAAA;AAChB,KAAK,eAAe,CAAA;AACpB,KAAK,gBAAgB,CAAA;AACrB,KAAK,kBAAkB,CAAA;AACvB,KAAK,kBAAkB,CAAA;AACvB,KAAK,kBAAkB,CAAA"}

package/package.json

@@ -0,0 +1,71 @@
+{
+  "name": "effect-dynamodb",
+  "version": "0.1.0",
+  "description": "Effect TS ORM for DynamoDB — schema-driven entity modeling, single-table design, composite keys, transactions, and Stream-based pagination",
+  "type": "module",
+  "license": "MIT",
+  "author": "Justin Menga",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/jmenga/effect-dynamodb",
+    "directory": "packages/effect-dynamodb"
+  },
+  "homepage": "https://jmenga.github.io/effect-dynamodb",
+  "bugs": {
+    "url": "https://github.com/jmenga/effect-dynamodb/issues"
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "keywords": [
+    "effect",
+    "effect-ts",
+    "dynamodb",
+    "orm",
+    "single-table",
+    "schema",
+    "typescript",
+    "aws",
+    "nosql",
+    "transactions",
+    "stream",
+    "pagination"
+  ],
+  "sideEffects": false,
+  "main": "dist/index.js",
+  "types": "dist/index.d.ts",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js"
+    }
+  },
+  "files": [
+    "dist",
+    "README.md",
+    "LICENSE"
+  ],
+  "scripts": {
+    "build": "tsc",
+    "test": "vitest run",
+    "test:watch": "vitest",
+    "test:connected": "vitest run --config vitest.connected.ts",
+    "check": "tsc --noEmit && tsc --noEmit -p tsconfig.examples.json",
+    "lint": "biome check .",
+    "lint:fix": "biome check --write ."
+  },
+  "dependencies": {
+    "@aws-sdk/client-dynamodb": "^3.700.0",
+    "@aws-sdk/util-dynamodb": "^3.700.0"
+  },
+  "peerDependencies": {
+    "effect": "^4.0.0-beta.48"
+  },
+  "devDependencies": {
+    "@effect/vitest": "4.0.0-beta.48",
+    "@types/node": "^25.5.0",
+    "effect": "4.0.0-beta.48",
+    "typescript": "^5.7.0",
+    "vitest": "^4.1.0"
+  }
+}