effect-dynamodb 0.1.0

package/dist/Table.js

@@ -0,0 +1,211 @@
+/**
+ * Table — Groups entities sharing a physical DynamoDB table and application namespace.
+ *
+ * The Table holds a DynamoSchema reference for key prefix generation and
+ * a record of named entities (and optionally aggregates).
+ * The physical table name is provided at runtime via Effect Layers.
+ *
+ * Use `DynamoClient.make()` to get a typed client with bound entity operations.
+ */
+import { Context, Effect, Layer } from "effect";
+/**
+ * Counter for generating unique Tag identifiers.
+ * Each `make()` call increments this to ensure distinct Context.Service tags.
+ */
+let tableCounter = 0;
+/**
+ * Create a new Table definition with optional entity and aggregate members.
+ *
+ * Each call to `make` creates a new unique Context.Service, so different tables
+ * produce independent runtime configurations even when sharing the same schema.
+ *
+ * Entities are automatically configured with the table's schema and tag.
+ *
+ * @example
+ * ```typescript
+ * const MainTable = Table.make({
+ *   schema: AppSchema,
+ *   entities: { Users, Tasks },
+ *   aggregates: { Matches },
+ * })
+ *
+ * // Provide physical table name at the edge
+ * MainTable.layer({ name: "my-prod-table" })
+ *
+ * // Or from environment variables via Effect Config
+ * MainTable.layerConfig({ name: Config.string("TABLE_NAME") })
+ * ```
+ */
+export const make = (config) => {
+    const id = tableCounter++;
+    const Tag = Context.Service(`@effect-dynamodb/Table/${config.schema.name}/${id}`);
+    const entities = (config.entities ?? {});
+    const aggregates = (config.aggregates ?? {});
+    // Configure all entities with this table's schema and tag
+    for (const entity of Object.values(entities)) {
+        if (typeof entity._configure === "function") {
+            entity._configure(config.schema, Tag);
+        }
+    }
+    return {
+        _tag: "Table",
+        schema: config.schema,
+        entities,
+        aggregates,
+        Tag,
+        layer: (tableConfig) => Layer.succeed(Tag, tableConfig),
+        layerConfig: (configDef) => Layer.effect(Tag, Effect.gen(function* () {
+            const tableName = yield* configDef.name;
+            return { name: tableName };
+        })),
+    };
+};
+/**
+ * Derive CreateTable input from a table's registered members.
+ *
+ * Scans all entity index definitions and aggregate GSI configs to produce:
+ * - KeySchema (from primary index)
+ * - AttributeDefinitions (all unique key attributes)
+ * - GlobalSecondaryIndexes (from non-primary entity indexes + aggregate list indexes,
+ *   plus aggregate collection indexes whose PK does not match the base table PK)
+ * - LocalSecondaryIndexes (from aggregate collection indexes whose PK equals the base
+ *   table PK — DynamoDB LSIs by definition share the base table's partition key)
+ *
+ * The physical table name is omitted — that's deployment config.
+ * All key attributes are typed as "S" (String) since generated keys are always strings.
+ *
+ * LSI auto-detection: an aggregate's `collection` GSI config is emitted as an LSI
+ * iff `agg.pkField` equals the table's primary PK field (determined from the first
+ * entity's primary index). This matches DynamoDB semantics — any index that shares
+ * the base table's partition key IS an LSI — and makes `lsi1`..`lsi5`-style indexes
+ * on aggregates work transparently with `db.tables.*.create()`.
+ */
+export const definition = (table) => {
+    const members = [
+        ...Object.values(table.entities),
+        ...Object.values(table.aggregates),
+    ];
+    if (members.length === 0) {
+        throw new Error("Table.definition requires at least one entity or aggregate");
+    }
+    // Pass 1: determine the table's primary PK/SK from the first entity's primary index.
+    // This is needed before we can classify aggregate collection indexes as LSI vs GSI.
+    let primaryPk;
+    let primarySk;
+    for (const member of members) {
+        if ("_tag" in member && member._tag === "Aggregate")
+            continue;
+        const entity = member;
+        const primary = entity.indexes.primary;
+        if (primary) {
+            primaryPk = primary.pk.field;
+            primarySk = primary.sk.field;
+            break;
+        }
+    }
+    if (primaryPk === undefined) {
+        throw new Error("No primary index found on any entity");
+    }
+    // Pass 2: collect attribute names and classify indexes (GSI vs LSI).
+    const attributeNames = new Set();
+    const gsiMap = new Map();
+    const lsiMap = new Map();
+    // Always include the primary key fields in attribute definitions.
+    attributeNames.add(primaryPk);
+    if (primarySk !== undefined && primarySk !== primaryPk) {
+        attributeNames.add(primarySk);
+    }
+    for (const member of members) {
+        if ("_tag" in member && member._tag === "Aggregate") {
+            // Aggregate — extract collection and list index configs
+            const agg = member;
+            // Collection index: PK = aggregate's pkField, SK = collection sk field.
+            // If pkField matches the table's primary PK, emit as an LSI (DynamoDB requires
+            // LSIs to share the base table's HASH key). Otherwise fall back to GSI — this
+            // preserves behaviour for any user whose collection uses a distinct PK attribute.
+            const collectionIndex = agg.collection.index;
+            attributeNames.add(agg.pkField);
+            attributeNames.add(agg.collection.sk.field);
+            if (agg.pkField === primaryPk) {
+                if (!lsiMap.has(collectionIndex) && !gsiMap.has(collectionIndex)) {
+                    lsiMap.set(collectionIndex, { pk: agg.pkField, sk: agg.collection.sk.field });
+                }
+            }
+            else {
+                if (!gsiMap.has(collectionIndex) && !lsiMap.has(collectionIndex)) {
+                    gsiMap.set(collectionIndex, { pk: agg.pkField, sk: agg.collection.sk.field });
+                }
+            }
+            // List GSI (if configured) — always a GSI; has its own PK attribute.
+            if (agg.listIndex) {
+                attributeNames.add(agg.listIndex.pk.field);
+                attributeNames.add(agg.listIndex.sk.field);
+                if (!gsiMap.has(agg.listIndex.index) && !lsiMap.has(agg.listIndex.index)) {
+                    gsiMap.set(agg.listIndex.index, {
+                        pk: agg.listIndex.pk.field,
+                        sk: agg.listIndex.sk.field,
+                    });
+                }
+            }
+        }
+        else {
+            // Entity — scan index definitions
+            const entity = member;
+            for (const [indexName, index] of Object.entries(entity.indexes)) {
+                if (!index)
+                    continue;
+                attributeNames.add(index.pk.field);
+                attributeNames.add(index.sk.field);
+                if (indexName === "primary") {
+                    // Primary key already captured in pass 1.
+                    continue;
+                }
+                if (index.index) {
+                    // Entity-declared secondary index — always a GSI. Entity index definitions
+                    // don't carry LSI semantics; LSIs are only introduced via aggregate collections.
+                    if (!gsiMap.has(index.index) && !lsiMap.has(index.index)) {
+                        gsiMap.set(index.index, { pk: index.pk.field, sk: index.sk.field });
+                    }
+                }
+            }
+        }
+    }
+    const KeySchema = [{ AttributeName: primaryPk, KeyType: "HASH" }];
+    if (primarySk !== undefined && primarySk !== primaryPk) {
+        KeySchema.push({ AttributeName: primarySk, KeyType: "RANGE" });
+    }
+    const AttributeDefinitions = Array.from(attributeNames)
+        .sort()
+        .map((name) => ({ AttributeName: name, AttributeType: "S" }));
+    const GlobalSecondaryIndexes = gsiMap.size > 0
+        ? Array.from(gsiMap.entries())
+            .sort(([a], [b]) => a.localeCompare(b))
+            .map(([indexName, keys]) => ({
+            IndexName: indexName,
+            KeySchema: [
+                { AttributeName: keys.pk, KeyType: "HASH" },
+                { AttributeName: keys.sk, KeyType: "RANGE" },
+            ],
+            Projection: { ProjectionType: "ALL" },
+        }))
+        : undefined;
+    const LocalSecondaryIndexes = lsiMap.size > 0
+        ? Array.from(lsiMap.entries())
+            .sort(([a], [b]) => a.localeCompare(b))
+            .map(([indexName, keys]) => ({
+            IndexName: indexName,
+            KeySchema: [
+                { AttributeName: keys.pk, KeyType: "HASH" },
+                { AttributeName: keys.sk, KeyType: "RANGE" },
+            ],
+            Projection: { ProjectionType: "ALL" },
+        }))
+        : undefined;
+    const result = { KeySchema, AttributeDefinitions };
+    if (GlobalSecondaryIndexes)
+        result.GlobalSecondaryIndexes = GlobalSecondaryIndexes;
+    if (LocalSecondaryIndexes)
+        result.LocalSecondaryIndexes = LocalSecondaryIndexes;
+    return result;
+};
+//# sourceMappingURL=Table.js.map

package/dist/Table.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Table.js","sourceRoot":"","sources":["../src/Table.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,EAAe,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAW5D;;;GAGG;AACH,IAAI,YAAY,GAAG,CAAC,CAAA;AAyDpB;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAGlB,MAID,EAAiC,EAAE;IAClC,MAAM,EAAE,GAAG,YAAY,EAAE,CAAA;IACzB,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,CAAc,0BAA0B,MAAM,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,EAAE,CAAC,CAAA;IAE9F,MAAM,QAAQ,GAAG,CAAC,MAAM,CAAC,QAAQ,IAAI,EAAE,CAAc,CAAA;IACrD,MAAM,UAAU,GAAG,CAAC,MAAM,CAAC,UAAU,IAAI,EAAE,CAAgB,CAAA;IAE3D,0DAA0D;IAC1D,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7C,IAAI,OAAO,MAAM,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;YAC5C,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAA;QACvC,CAAC;IACH,CAAC;IAED,OAAO;QACL,IAAI,EAAE,OAAgB;QACtB,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,QAAQ;QACR,UAAU;QACV,GAAG;QACH,KAAK,EAAE,CAAC,WAAwB,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,WAAW,CAAC;QACpE,WAAW,EAAE,CAAC,SAAmD,EAAE,EAAE,CACnE,KAAK,CAAC,MAAM,CACV,GAAG,EACH,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,IAAI,CAAA;YACvC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAA;QAC5B,CAAC,CAAC,CACH;KACJ,CAAA;AACH,CAAC,CAAA;AA4CD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,KAAY,EAAmB,EAAE;IAC1D,MAAM,OAAO,GAA8C;QACzD,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC;QAChC,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC;KACnC,CAAA;IAED,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CAAC,4DAA4D,CAAC,CAAA;IAC/E,CAAC;IAED,qFAAqF;IACrF,oFAAoF;IACpF,IAAI,SAA6B,CAAA;IACjC,IAAI,SAA6B,CAAA;IACjC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,MAAM,IAAI,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW;YAAE,SAAQ;QAC7D,MAAM,MAAM,GAAG,MAAoB,CAAA;QACnC,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,CAAA;QACtC,IAAI,OAAO,EAAE,CAAC;YACZ,SAAS,GAAG,OAAO,CAAC,EAAE,CAAC,KAAK,CAAA;YAC5B,SAAS,GAAG,OAAO,CAAC,EAAE,CAAC,KAAK,CAAA;YAC5B,MAAK;QACP,CAAC;IACH,CAAC;IAED,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAA;IACzD,CAAC;IAED,qEAAqE;IACrE,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAA;IACxC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAsC,CAAA;IAC5D,MAAM,MAAM,GAAG,IAAI,GAAG,EAAsC,CAAA;IAE5D,kEAAkE;IAClE,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;IAC7B,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QACvD,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;IAC/B,CAAC;IAED,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,MAAM,IAAI,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACpD,wDAAwD;YACxD,MAAM,GAAG,GAAG,MAAuB,CAAA;YAEnC,wEAAwE;YACxE,+EAA+E;YAC/E,8EAA8E;YAC9E,kFAAkF;YAClF,MAAM,eAAe,GAAG,GAAG,CAAC,UAAU,CAAC,KAAK,CAAA;YAC5C,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;YAC/B,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;YAC3C,IAAI,GAAG,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC9B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,EAAE,CAAC;oBACjE,MAAM,CAAC,GAAG,CAAC,eAAe,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,OAAO,EAAE,EAAE,EAAE,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAA;gBAC/E,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,EAAE,CAAC;oBACjE,MAAM,CAAC,GAAG,CAAC,eAAe,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,OAAO,EAAE,EAAE,EAAE,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAA;gBAC/E,CAAC;YACH,CAAC;YAED,qEAAqE;YACrE,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;gBAClB,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;gBAC1C,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;gBAC1C,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;oBACzE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,EAAE;wBAC9B,EAAE,EAAE,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,KAAK;wBAC1B,EAAE,EAAE,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,KAAK;qBAC3B,CAAC,CAAA;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;aAAM,CAAC;YACN,kCAAkC;YAClC,MAAM,MAAM,GAAG,MAAoB,CAAA;YACnC,KAAK,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;gBAChE,IAAI,CAAC,KAAK;oBAAE,SAAQ;gBAEpB,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;gBAClC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;gBAElC,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;oBAC5B,0CAA0C;oBAC1C,SAAQ;gBACV,CAAC;gBACD,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;oBAChB,2EAA2E;oBAC3E,iFAAiF;oBACjF,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;wBACzD,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAA;oBACrE,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,SAAS,GAA4B,CAAC,EAAE,aAAa,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAA;IAC1F,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QACvD,SAAS,CAAC,IAAI,CAAC,EAAE,aAAa,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAA;IAChE,CAAC;IAED,MAAM,oBAAoB,GAA+B,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC;SAChF,IAAI,EAAE;SACN,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,aAAa,EAAE,GAAY,EAAE,CAAC,CAAC,CAAA;IAExE,MAAM,sBAAsB,GAC1B,MAAM,CAAC,IAAI,GAAG,CAAC;QACb,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;aACzB,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;aACtC,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;YAC3B,SAAS,EAAE,SAAS;YACpB,SAAS,EAAE;gBACT,EAAE,aAAa,EAAE,IAAI,CAAC,EAAE,EAAE,OAAO,EAAE,MAAe,EAAE;gBACpD,EAAE,aAAa,EAAE,IAAI,CAAC,EAAE,EAAE,OAAO,EAAE,OAAgB,EAAE;aACtD;YACD,UAAU,EAAE,EAAE,cAAc,EAAE,KAAc,EAAE;SAC/C,CAAC,CAAC;QACP,CAAC,CAAC,SAAS,CAAA;IAEf,MAAM,qBAAqB,GACzB,MAAM,CAAC,IAAI,GAAG,CAAC;QACb,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;aACzB,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;aACtC,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;YAC3B,SAAS,EAAE,SAAS;YACpB,SAAS,EAAE;gBACT,EAAE,aAAa,EAAE,IAAI,CAAC,EAAE,EAAE,OAAO,EAAE,MAAe,EAAE;gBACpD,EAAE,aAAa,EAAE,IAAI,CAAC,EAAE,EAAE,OAAO,EAAE,OAAgB,EAAE;aACtD;YACD,UAAU,EAAE,EAAE,cAAc,EAAE,KAAc,EAAE;SAC/C,CAAC,CAAC;QACP,CAAC,CAAC,SAAS,CAAA;IAEf,MAAM,MAAM,GAKR,EAAE,SAAS,EAAE,oBAAoB,EAAE,CAAA;IACvC,IAAI,sBAAsB;QAAE,MAAM,CAAC,sBAAsB,GAAG,sBAAsB,CAAA;IAClF,IAAI,qBAAqB;QAAE,MAAM,CAAC,qBAAqB,GAAG,qBAAqB,CAAA;IAC/E,OAAO,MAAM,CAAA;AACf,CAAC,CAAA"}

package/dist/Transaction.d.ts

@@ -0,0 +1,79 @@
+/**
+ * Transaction — TransactGetItems and TransactWriteItems for atomic multi-item operations.
+ *
+ * DynamoDB transactions support up to 100 items. TransactWriteItems costs 2x WCU.
+ * Each item can appear only once per transaction.
+ *
+ * v2 API: accepts Entity operation intermediates directly (EntityGet, EntityPut,
+ * EntityDelete) instead of manual { entity, key/item } objects.
+ * transactGet returns a typed tuple inferred per-position.
+ */
+import { Effect } from "effect";
+import { DynamoClient, type DynamoClientError } from "./DynamoClient.js";
+import type { Entity, EntityDelete, EntityGet, EntityPut } from "./Entity.js";
+import { TransactionCancelled, type ValidationError } from "./Errors.js";
+import type { ExpressionResult } from "./Expression.js";
+import type { TableConfig } from "./Table.js";
+/** @internal */
+export declare const ConditionCheckTypeId: unique symbol;
+export type ConditionCheckTypeId = typeof ConditionCheckTypeId;
+/**
+ * A condition-check operation for use inside {@link transactWrite}.
+ * Created via {@link check} from an EntityGet intermediate + a condition expression.
+ * The EntityGet is never executed — used purely as a typed key resolver.
+ */
+export interface ConditionCheckOp {
+    readonly [ConditionCheckTypeId]: ConditionCheckTypeId;
+    readonly _entity: Entity;
+    readonly _key: Record<string, unknown>;
+    readonly _condition: ExpressionResult;
+}
+/**
+ * Create a conditionCheck operation from an EntityGet intermediate and a condition.
+ * The EntityGet is never executed — used purely as a typed key resolver.
+ *
+ * Works in pipe: `Users.get(key).pipe(Transaction.check(expr))`
+ * Or data-first: `Transaction.check(Users.get(key), expr)`
+ */
+export declare const check: {
+    (condition: ExpressionResult): <A, Rec, E, R>(self: EntityGet<A, Rec, E, R>) => ConditionCheckOp;
+    <A, Rec, E, R>(self: EntityGet<A, Rec, E, R>, condition: ExpressionResult): ConditionCheckOp;
+};
+/**
+ * Map a tuple of EntityGet operations to a tuple of (A | undefined) results.
+ * Each position extracts the model type A from EntityGet<A, ...>.
+ */
+type TransactGetResult<T extends ReadonlyArray<EntityGet<any, any, any, any>>> = {
+    -readonly [K in keyof T]: T[K] extends EntityGet<infer A, any, any, any> ? A | undefined : never;
+};
+/**
+ * Atomically get up to 100 items across entities/tables.
+ * Accepts EntityGet intermediates directly. Returns a typed tuple
+ * where each position is `ModelType | undefined`.
+ *
+ * ```typescript
+ * const [user, post] = yield* Transaction.transactGet([
+ *   Users.get({ userId: "u-1" }),
+ *   Posts.get({ postId: "p-1" }),
+ * ])
+ * // user: User | undefined, post: Post | undefined
+ * ```
+ */
+export declare const transactGet: <const T extends ReadonlyArray<EntityGet<any, any, any, any>>>(items: T) => Effect.Effect<TransactGetResult<T>, DynamoClientError | ValidationError | TransactionCancelled, DynamoClient | TableConfig>;
+/** Union of operations accepted by transactWrite */
+type TransactWriteOp = EntityPut<any, any, any, any> | EntityDelete<any, any> | ConditionCheckOp;
+/**
+ * Atomically write up to 100 items across entities/tables.
+ * Accepts EntityPut, EntityDelete, and ConditionCheckOp (via Transaction.check).
+ *
+ * ```typescript
+ * yield* Transaction.transactWrite([
+ *   Users.put({ userId: "u-1", ... }),
+ *   Posts.delete({ postId: "p-3" }),
+ *   Users.get({ userId: "u-1" }).pipe(Transaction.check(expr)),
+ * ])
+ * ```
+ */
+export declare const transactWrite: (operations: ReadonlyArray<TransactWriteOp>) => Effect.Effect<void, DynamoClientError | ValidationError | TransactionCancelled, DynamoClient | TableConfig>;
+export {};
+//# sourceMappingURL=Transaction.d.ts.map

package/dist/Transaction.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Transaction.d.ts","sourceRoot":"","sources":["../src/Transaction.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,MAAM,EAAkB,MAAM,QAAQ,CAAA;AAC/C,OAAO,EAAE,YAAY,EAAE,KAAK,iBAAiB,EAAE,MAAM,mBAAmB,CAAA;AACxE,OAAO,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AAE7E,OAAO,EAGL,oBAAoB,EACpB,KAAK,eAAe,EACrB,MAAM,aAAa,CAAA;AACpB,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAA;AAOvD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAA;AAM7C,gBAAgB;AAChB,eAAO,MAAM,oBAAoB,EAAE,OAAO,MAAqD,CAAA;AAC/F,MAAM,MAAM,oBAAoB,GAAG,OAAO,oBAAoB,CAAA;AAE9D;;;;GAIG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,CAAC,oBAAoB,CAAC,EAAE,oBAAoB,CAAA;IACrD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IACtC,QAAQ,CAAC,UAAU,EAAE,gBAAgB,CAAA;CACtC;AAED;;;;;;GAMG;AACH,eAAO,MAAM,KAAK,EAAE;IAClB,CAAC,SAAS,EAAE,gBAAgB,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,gBAAgB,CAAA;IAChG,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,gBAAgB,GAAG,gBAAgB,CAAA;CAe7F,CAAA;AAMD;;;GAGG;AACH,KAAK,iBAAiB,CAAC,CAAC,SAAS,aAAa,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,IAAI;IAC/E,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,SAAS,GAAG,KAAK;CACjG,CAAA;AAED;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,WAAW,GAAI,KAAK,CAAC,CAAC,SAAS,aAAa,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EACtF,OAAO,CAAC,KACP,MAAM,CAAC,MAAM,CACd,iBAAiB,CAAC,CAAC,CAAC,EACpB,iBAAiB,GAAG,eAAe,GAAG,oBAAoB,EAC1D,YAAY,GAAG,WAAW,CAuExB,CAAA;AAMJ,oDAAoD;AACpD,KAAK,eAAe,GAAG,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,YAAY,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,gBAAgB,CAAA;AAEhG;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,aAAa,GACxB,YAAY,aAAa,CAAC,eAAe,CAAC,KACzC,MAAM,CAAC,MAAM,CACd,IAAI,EACJ,iBAAiB,GAAG,eAAe,GAAG,oBAAoB,EAC1D,YAAY,GAAG,WAAW,CAkHxB,CAAA"}

package/dist/Transaction.js

@@ -0,0 +1,215 @@
+/**
+ * Transaction — TransactGetItems and TransactWriteItems for atomic multi-item operations.
+ *
+ * DynamoDB transactions support up to 100 items. TransactWriteItems costs 2x WCU.
+ * Each item can appear only once per transaction.
+ *
+ * v2 API: accepts Entity operation intermediates directly (EntityGet, EntityPut,
+ * EntityDelete) instead of manual { entity, key/item } objects.
+ * transactGet returns a typed tuple inferred per-position.
+ */
+import { Effect, Function as Fn } from "effect";
+import { DynamoClient } from "./DynamoClient.js";
+import { extractTransactable } from "./Entity.js";
+import { DynamoError, isAwsTransactionCancelled, TransactionCancelled, } from "./Errors.js";
+import { composePrimaryKey, resolveTableNames, validateAndBuildPutItem, } from "./internal/TransactableOps.js";
+import { fromAttributeMap, toAttributeMap } from "./Marshaller.js";
+// ---------------------------------------------------------------------------
+// ConditionCheck — composable from EntityGet + condition expression
+// ---------------------------------------------------------------------------
+/** @internal */
+export const ConditionCheckTypeId = Symbol.for("effect-dynamodb/ConditionCheck");
+/**
+ * Create a conditionCheck operation from an EntityGet intermediate and a condition.
+ * The EntityGet is never executed — used purely as a typed key resolver.
+ *
+ * Works in pipe: `Users.get(key).pipe(Transaction.check(expr))`
+ * Or data-first: `Transaction.check(Users.get(key), expr)`
+ */
+export const check = Fn.dual(2, (self, condition) => {
+    const info = extractTransactable(self);
+    if (!info || info.opType !== "get") {
+        throw new Error("Transaction.check requires an EntityGet intermediate");
+    }
+    return {
+        [ConditionCheckTypeId]: ConditionCheckTypeId,
+        _entity: info.entity,
+        _key: info.key,
+        _condition: condition,
+    };
+});
+/**
+ * Atomically get up to 100 items across entities/tables.
+ * Accepts EntityGet intermediates directly. Returns a typed tuple
+ * where each position is `ModelType | undefined`.
+ *
+ * ```typescript
+ * const [user, post] = yield* Transaction.transactGet([
+ *   Users.get({ userId: "u-1" }),
+ *   Posts.get({ postId: "p-1" }),
+ * ])
+ * // user: User | undefined, post: Post | undefined
+ * ```
+ */
+export const transactGet = (items) => Effect.gen(function* () {
+    // Cast rationale: same as Batch.get — empty array satisfies any mapped tuple type
+    if (items.length === 0)
+        return [];
+    if (items.length > 100) {
+        return yield* Effect.fail(new DynamoError({
+            operation: "TransactGetItems",
+            cause: new Error("TransactGetItems supports a maximum of 100 items"),
+        }));
+    }
+    const client = yield* DynamoClient;
+    // Extract entity info from each EntityGet intermediate
+    const infos = items.map((item) => {
+        const info = extractTransactable(item);
+        if (!info || info.opType !== "get") {
+            throw new Error("transactGet requires EntityGet intermediates");
+        }
+        return info;
+    });
+    const tableNames = yield* resolveTableNames(infos);
+    const transactItems = infos.map((info) => ({
+        Get: {
+            TableName: tableNames.get(info.entity),
+            Key: toAttributeMap(composePrimaryKey(info.entity, info.key)),
+        },
+    }));
+    const result = yield* client.transactGetItems({ TransactItems: transactItems }).pipe(Effect.mapError((error) => {
+        if (isAwsTransactionCancelled(error.cause)) {
+            return new TransactionCancelled({
+                operation: "TransactGetItems",
+                reasons: (error.cause.CancellationReasons ?? []).map((r) => ({
+                    code: r?.Code,
+                    message: r?.Message,
+                })),
+                cause: error.cause,
+            });
+        }
+        return error;
+    }));
+    const responses = result.Responses ?? [];
+    const decoded = [];
+    for (let i = 0; i < infos.length; i++) {
+        const response = responses[i];
+        const entity = infos[i].entity;
+        const raw = response?.Item ? fromAttributeMap(response.Item) : undefined;
+        if (raw === undefined) {
+            decoded.push(undefined);
+            continue;
+        }
+        const item = yield* entity._decodeRecord(raw);
+        decoded.push(item);
+    }
+    // Cast rationale: decoded is built as Array<A | undefined> by iterating
+    // Responses in order. The mapped tuple type captures per-position entity types
+    // which the runtime array construction preserves but TypeScript cannot verify.
+    return decoded;
+});
+/**
+ * Atomically write up to 100 items across entities/tables.
+ * Accepts EntityPut, EntityDelete, and ConditionCheckOp (via Transaction.check).
+ *
+ * ```typescript
+ * yield* Transaction.transactWrite([
+ *   Users.put({ userId: "u-1", ... }),
+ *   Posts.delete({ postId: "p-3" }),
+ *   Users.get({ userId: "u-1" }).pipe(Transaction.check(expr)),
+ * ])
+ * ```
+ */
+export const transactWrite = (operations) => Effect.gen(function* () {
+    if (operations.length === 0)
+        return;
+    if (operations.length > 100) {
+        return yield* Effect.fail(new DynamoError({
+            operation: "TransactWriteItems",
+            cause: new Error("TransactWriteItems supports a maximum of 100 items"),
+        }));
+    }
+    const client = yield* DynamoClient;
+    // Build info for each operation
+    const opInfos = [];
+    for (const op of operations) {
+        // Check for ConditionCheckOp first (has its own TypeId)
+        if (ConditionCheckTypeId in op) {
+            const checkOp = op;
+            opInfos.push({
+                type: "conditionCheck",
+                entity: checkOp._entity,
+                key: checkOp._key,
+                condition: checkOp._condition,
+            });
+            continue;
+        }
+        const info = extractTransactable(op);
+        if (!info) {
+            throw new Error("transactWrite: unrecognized operation type");
+        }
+        if (info.opType === "put") {
+            opInfos.push({
+                type: "put",
+                entity: info.entity,
+                input: info.input,
+            });
+        }
+        else if (info.opType === "delete") {
+            opInfos.push({
+                type: "delete",
+                entity: info.entity,
+                key: info.key,
+            });
+        }
+        else {
+            throw new Error(`transactWrite: unsupported operation type "${info.opType}". Use EntityPut, EntityDelete, or Transaction.check().`);
+        }
+    }
+    const tableNames = yield* resolveTableNames(opInfos);
+    const transactItems = [];
+    for (const op of opInfos) {
+        const tableName = tableNames.get(op.entity);
+        if (op.type === "put") {
+            const marshalledItem = yield* validateAndBuildPutItem(op.entity, op.input, "transactWrite.put");
+            transactItems.push({
+                Put: { TableName: tableName, Item: marshalledItem },
+            });
+        }
+        else if (op.type === "delete") {
+            transactItems.push({
+                Delete: {
+                    TableName: tableName,
+                    Key: toAttributeMap(composePrimaryKey(op.entity, op.key)),
+                },
+            });
+        }
+        else {
+            // conditionCheck
+            const marshalledKey = toAttributeMap(composePrimaryKey(op.entity, op.key));
+            transactItems.push({
+                ConditionCheck: {
+                    TableName: tableName,
+                    Key: marshalledKey,
+                    ConditionExpression: op.condition.expression,
+                    ExpressionAttributeNames: op.condition.names,
+                    ExpressionAttributeValues: op.condition.values,
+                },
+            });
+        }
+    }
+    yield* client.transactWriteItems({ TransactItems: transactItems }).pipe(Effect.mapError((error) => {
+        if (isAwsTransactionCancelled(error.cause)) {
+            return new TransactionCancelled({
+                operation: "TransactWriteItems",
+                reasons: (error.cause.CancellationReasons ?? []).map((r) => ({
+                    code: r?.Code,
+                    message: r?.Message,
+                })),
+                cause: error.cause,
+            });
+        }
+        return error;
+    }));
+});
+//# sourceMappingURL=Transaction.js.map

package/dist/Transaction.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Transaction.js","sourceRoot":"","sources":["../src/Transaction.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,MAAM,EAAE,QAAQ,IAAI,EAAE,EAAE,MAAM,QAAQ,CAAA;AAC/C,OAAO,EAAE,YAAY,EAA0B,MAAM,mBAAmB,CAAA;AAExE,OAAO,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAA;AACjD,OAAO,EACL,WAAW,EACX,yBAAyB,EACzB,oBAAoB,GAErB,MAAM,aAAa,CAAA;AAEpB,OAAO,EACL,iBAAiB,EACjB,iBAAiB,EACjB,uBAAuB,GACxB,MAAM,+BAA+B,CAAA;AACtC,OAAO,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAA;AAGlE,8EAA8E;AAC9E,oEAAoE;AACpE,8EAA8E;AAE9E,gBAAgB;AAChB,MAAM,CAAC,MAAM,oBAAoB,GAAkB,MAAM,CAAC,GAAG,CAAC,gCAAgC,CAAC,CAAA;AAe/F;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,KAAK,GAGd,EAAE,CAAC,IAAI,CACT,CAAC,EACD,CAAe,IAA6B,EAAE,SAA2B,EAAoB,EAAE;IAC7F,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAA;IACtC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,EAAE,CAAC;QACnC,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAA;IACzE,CAAC;IACD,OAAO;QACL,CAAC,oBAAoB,CAAC,EAAE,oBAAoB;QAC5C,OAAO,EAAE,IAAI,CAAC,MAAM;QACpB,IAAI,EAAE,IAAI,CAAC,GAAI;QACf,UAAU,EAAE,SAAS;KACtB,CAAA;AACH,CAAC,CACF,CAAA;AAcD;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,KAAQ,EAKR,EAAE,CACF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,kFAAkF;IAClF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAqC,CAAA;IACpE,IAAI,KAAK,CAAC,MAAM,GAAG,GAAG,EAAE,CAAC;QACvB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,WAAW,CAAC;YACd,SAAS,EAAE,kBAAkB;YAC7B,KAAK,EAAE,IAAI,KAAK,CAAC,kDAAkD,CAAC;SACrE,CAAC,CACH,CAAA;IACH,CAAC;IAED,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,YAAY,CAAA;IAElC,uDAAuD;IACvD,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QAC/B,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAA;QACtC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,EAAE,CAAC;YACnC,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAA;QACjE,CAAC;QACD,OAAO,IAAI,CAAA;IACb,CAAC,CAAC,CAAA;IAEF,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAA;IAElD,MAAM,aAAa,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACzC,GAAG,EAAE;YACH,SAAS,EAAE,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAE;YACvC,GAAG,EAAE,cAAc,CAAC,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,GAAI,CAAC,CAAC;SAC/D;KACF,CAAC,CAAC,CAAA;IAEH,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,aAAa,EAAE,aAAa,EAAE,CAAC,CAAC,IAAI,CAClF,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE;QACxB,IAAI,yBAAyB,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;YAC3C,OAAO,IAAI,oBAAoB,CAAC;gBAC9B,SAAS,EAAE,kBAAkB;gBAC7B,OAAO,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBAC3D,IAAI,EAAE,CAAC,EAAE,IAAI;oBACb,OAAO,EAAE,CAAC,EAAE,OAAO;iBACpB,CAAC,CAAC;gBACH,KAAK,EAAE,KAAK,CAAC,KAAK;aACnB,CAA6C,CAAA;QAChD,CAAC;QACD,OAAO,KAAiD,CAAA;IAC1D,CAAC,CAAC,CACH,CAAA;IAED,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,IAAI,EAAE,CAAA;IACxC,MAAM,OAAO,GAAmB,EAAE,CAAA;IAElC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,QAAQ,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;QAC7B,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC,MAAM,CAAA;QAC/B,MAAM,GAAG,GAAG,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,gBAAgB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;QAExE,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;YACvB,SAAQ;QACV,CAAC;QAED,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAA;QAC7C,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACpB,CAAC;IAED,wEAAwE;IACxE,+EAA+E;IAC/E,+EAA+E;IAC/E,OAAO,OAA0C,CAAA;AACnD,CAAC,CAAC,CAAA;AASJ;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,UAA0C,EAK1C,EAAE,CACF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAM;IACnC,IAAI,UAAU,CAAC,MAAM,GAAG,GAAG,EAAE,CAAC;QAC5B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,WAAW,CAAC;YACd,SAAS,EAAE,oBAAoB;YAC/B,KAAK,EAAE,IAAI,KAAK,CAAC,oDAAoD,CAAC;SACvE,CAAC,CACH,CAAA;IACH,CAAC;IAED,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,YAAY,CAAA;IAElC,gCAAgC;IAChC,MAAM,OAAO,GAMR,EAAE,CAAA;IAEP,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;QAC5B,wDAAwD;QACxD,IAAI,oBAAoB,IAAI,EAAE,EAAE,CAAC;YAC/B,MAAM,OAAO,GAAG,EAAsB,CAAA;YACtC,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,gBAAgB;gBACtB,MAAM,EAAE,OAAO,CAAC,OAAO;gBACvB,GAAG,EAAE,OAAO,CAAC,IAAI;gBACjB,SAAS,EAAE,OAAO,CAAC,UAAU;aAC9B,CAAC,CAAA;YACF,SAAQ;QACV,CAAC;QAED,MAAM,IAAI,GAAG,mBAAmB,CAAC,EAAE,CAAC,CAAA;QACpC,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAA;QAC/D,CAAC;QAED,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,EAAE,CAAC;YAC1B,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,KAAK;gBACX,MAAM,EAAE,IAAI,CAAC,MAAM;gBACnB,KAAK,EAAE,IAAI,CAAC,KAAM;aACnB,CAAC,CAAA;QACJ,CAAC;aAAM,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YACpC,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,QAAQ;gBACd,MAAM,EAAE,IAAI,CAAC,MAAM;gBACnB,GAAG,EAAE,IAAI,CAAC,GAAI;aACf,CAAC,CAAA;QACJ,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,KAAK,CACb,8CAA8C,IAAI,CAAC,MAAM,yDAAyD,CACnH,CAAA;QACH,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAA;IAEpD,MAAM,aAAa,GAA+B,EAAE,CAAA;IAEpD,KAAK,MAAM,EAAE,IAAI,OAAO,EAAE,CAAC;QACzB,MAAM,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAE,CAAA;QAE5C,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACtB,MAAM,cAAc,GAAG,KAAK,CAAC,CAAC,uBAAuB,CACnD,EAAE,CAAC,MAAM,EACT,EAAE,CAAC,KAAM,EACT,mBAAmB,CACpB,CAAA;YACD,aAAa,CAAC,IAAI,CAAC;gBACjB,GAAG,EAAE,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,cAAc,EAAE;aACpD,CAAC,CAAA;QACJ,CAAC;aAAM,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAChC,aAAa,CAAC,IAAI,CAAC;gBACjB,MAAM,EAAE;oBACN,SAAS,EAAE,SAAS;oBACpB,GAAG,EAAE,cAAc,CAAC,iBAAiB,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,GAAI,CAAC,CAAC;iBAC3D;aACF,CAAC,CAAA;QACJ,CAAC;aAAM,CAAC;YACN,iBAAiB;YACjB,MAAM,aAAa,GAAG,cAAc,CAAC,iBAAiB,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,GAAI,CAAC,CAAC,CAAA;YAC3E,aAAa,CAAC,IAAI,CAAC;gBACjB,cAAc,EAAE;oBACd,SAAS,EAAE,SAAS;oBACpB,GAAG,EAAE,aAAa;oBAClB,mBAAmB,EAAE,EAAE,CAAC,SAAU,CAAC,UAAU;oBAC7C,wBAAwB,EAAE,EAAE,CAAC,SAAU,CAAC,KAAK;oBAC7C,yBAAyB,EAAE,EAAE,CAAC,SAAU,CAAC,MAAM;iBAChD;aACF,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IAED,KAAK,CAAC,CAAC,MAAM,CAAC,kBAAkB,CAAC,EAAE,aAAa,EAAE,aAAa,EAAE,CAAC,CAAC,IAAI,CACrE,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE;QACxB,IAAI,yBAAyB,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;YAC3C,OAAO,IAAI,oBAAoB,CAAC;gBAC9B,SAAS,EAAE,oBAAoB;gBAC/B,OAAO,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBAC3D,IAAI,EAAE,CAAC,EAAE,IAAI;oBACb,OAAO,EAAE,CAAC,EAAE,OAAO;iBACpB,CAAC,CAAC;gBACH,KAAK,EAAE,KAAK,CAAC,KAAK;aACnB,CAA6C,CAAA;QAChD,CAAC;QACD,OAAO,KAAiD,CAAA;IAC1D,CAAC,CAAC,CACH,CAAA;AACH,CAAC,CAAC,CAAA"}

package/dist/_AggregateCursor.d.ts

@@ -0,0 +1,44 @@
+/**
+ * @internal Aggregate cursor and update context types.
+ *
+ * Extracted from Aggregate.ts for decomposition. Not part of the public API.
+ */
+import type { Optic } from "effect";
+/**
+ * A pre-bound optic rooted at the current aggregate state.
+ * Navigate with `.key()`, `.optionalKey()`, or `.at()`, then apply terminals
+ * `.get()`, `.replace()`, or `.modify()` — no need to pass the source explicitly.
+ * For composing externally-defined optics, use `optic` + `state`.
+ */
+export interface Cursor<S, A = S> {
+    /** Focus on a required key */
+    readonly key: <K extends keyof A & string>(k: K) => Cursor<S, A[K]>;
+    /** Focus on an optional key (narrows away `undefined`) */
+    readonly optionalKey: <K extends keyof A & string>(k: K) => Cursor<S, NonNullable<A[K]>>;
+    /** Focus on an array element by index (available when focused on an array) */
+    readonly at: A extends ReadonlyArray<infer E> ? (index: number) => Cursor<S, E> : never;
+    /** Read the focused value (returns `undefined` for absent optional/indexed focuses) */
+    readonly get: () => A;
+    /** Replace the focused value, returning the full updated state */
+    readonly replace: (value: A) => S;
+    /** Modify the focused value with a function, returning the full updated state */
+    readonly modify: (f: (a: A) => A) => S;
+}
+/** @internal Build a cursor by binding a source value into an optic */
+export declare const makeCursor: <S>(source: S, optic: Optic.Iso<S, S>) => Cursor<S, S>;
+/** Context provided to the aggregate update mutation function */
+export interface UpdateContext<TIso, TClass = unknown> {
+    /** The current aggregate state as a plain object */
+    readonly state: TIso;
+    /** Pre-bound cursor — navigate with `.key()`, then `.get()` / `.replace()` / `.modify()` */
+    readonly cursor: Cursor<TIso>;
+    /** Composable optic rooted at the plain type — use with externally-defined lenses and `state` */
+    readonly optic: Optic.Iso<TIso, TIso>;
+    /** The current state as a Schema.Class instance (rarely needed) */
+    readonly current: TClass;
+}
+/** Discriminator config for binding a sub-aggregate */
+export interface DiscriminatorConfig {
+    readonly discriminator: Record<string, unknown>;
+}
+//# sourceMappingURL=_AggregateCursor.d.ts.map

package/dist/_AggregateCursor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"_AggregateCursor.d.ts","sourceRoot":"","sources":["../src/_AggregateCursor.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAMnC;;;;;GAKG;AACH,MAAM,WAAW,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC;IAC9B,8BAA8B;IAC9B,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,MAAM,EAAE,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACnE,0DAA0D;IAC1D,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,MAAM,EAAE,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACxF,8EAA8E;IAC9E,QAAQ,CAAC,EAAE,EAAE,CAAC,SAAS,aAAa,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAA;IACvF,uFAAuF;IACvF,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA;IACrB,kEAAkE;IAClE,QAAQ,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,CAAA;IACjC,iFAAiF;IACjF,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;CACvC;AAED,uEAAuE;AACvE,eAAO,MAAM,UAAU,GAAI,CAAC,EAAE,QAAQ,CAAC,EAAE,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAU5E,CAAA;AAED,iEAAiE;AACjE,MAAM,WAAW,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO;IACnD,oDAAoD;IACpD,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAA;IACpB,4FAA4F;IAC5F,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAA;IAC7B,iGAAiG;IACjG,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;IACrC,mEAAmE;IACnE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB;AAED,uDAAuD;AACvD,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAChD"}

package/dist/_AggregateCursor.js

@@ -0,0 +1,18 @@
+/**
+ * @internal Aggregate cursor and update context types.
+ *
+ * Extracted from Aggregate.ts for decomposition. Not part of the public API.
+ */
+/** @internal Build a cursor by binding a source value into an optic */
+export const makeCursor = (source, optic) => {
+    const build = (op) => ({
+        key: (k) => build(op.key(k)),
+        optionalKey: (k) => build(op.optionalKey(k)),
+        at: ((index) => build(op.at(index))),
+        get: () => (op.get ? op.get(source) : op.getResult(source)?.value),
+        replace: (value) => op.replace(value, source),
+        modify: (f) => op.modify(f)(source),
+    });
+    return build(optic);
+};
+//# sourceMappingURL=_AggregateCursor.js.map

package/dist/_AggregateCursor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"_AggregateCursor.js","sourceRoot":"","sources":["../src/_AggregateCursor.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AA6BH,uEAAuE;AACvE,MAAM,CAAC,MAAM,UAAU,GAAG,CAAI,MAAS,EAAE,KAAsB,EAAgB,EAAE;IAC/E,MAAM,KAAK,GAAG,CAAI,EAAO,EAAgB,EAAE,CAAC,CAAC;QAC3C,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC5B,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;QAC5C,EAAE,EAAE,CAAC,CAAC,KAAa,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAQ;QACnD,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC;QAClE,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC;QAC7C,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;KACpC,CAAC,CAAA;IACF,OAAO,KAAK,CAAC,KAAK,CAAC,CAAA;AACrB,CAAC,CAAA"}