@proseql/core 0.1.0

package/dist/operations/crud/delete.js

@@ -0,0 +1,267 @@
+/**
+ * Effect-based delete operations for entities.
+ *
+ * Uses Ref<ReadonlyMap> for atomic state mutation and typed errors
+ * (NotFoundError, OperationError, ForeignKeyError).
+ *
+ * Preserves soft delete support, foreign key constraint checking,
+ * and cascade handling from the legacy implementation.
+ */
+import { Effect, PubSub, Ref } from "effect";
+import { NotFoundError, OperationError, } from "../../errors/crud-errors.js";
+import { runAfterDeleteHooks, runBeforeDeleteHooks, runOnChangeHooks, } from "../../hooks/hook-runner.js";
+import { removeFromIndex, removeManyFromIndex, } from "../../indexes/index-manager.js";
+import { removeFromSearchIndex } from "../../indexes/search-index.js";
+import { checkDeleteConstraintsEffect } from "../../validators/foreign-key.js";
+// ============================================================================
+// Delete Single Entity
+// ============================================================================
+/**
+ * Delete a single entity by ID with optional soft delete.
+ *
+ * Steps:
+ * 1. Look up entity by ID in Ref state (O(1))
+ * 2. Run beforeDelete hooks (can reject)
+ * 3. If soft delete requested, verify entity has deletedAt field
+ * 4. Check foreign key constraints across all collections
+ * 5. Soft delete: update entity with deletedAt timestamp
+ *    Hard delete: remove entity from Ref state
+ */
+export const del = (collectionName, allRelationships, ref, stateRefs, supportsSoftDelete = false, indexes, hooks, searchIndexRef, searchIndexFields, changePubSub) => (id, options) => Effect.gen(function* () {
+    // Look up entity by ID (O(1))
+    const currentMap = yield* Ref.get(ref);
+    const entity = currentMap.get(id);
+    if (entity === undefined) {
+        return yield* Effect.fail(new NotFoundError({
+            collection: collectionName,
+            id,
+            message: `Entity '${id}' not found in collection '${collectionName}'`,
+        }));
+    }
+    // Run beforeDelete hooks (can reject the delete)
+    yield* runBeforeDeleteHooks(hooks?.beforeDelete, {
+        operation: "delete",
+        collection: collectionName,
+        id,
+        entity,
+    });
+    const isSoft = options?.soft === true;
+    // Check if soft delete is requested but entity doesn't support it
+    if (isSoft && !supportsSoftDelete) {
+        return yield* Effect.fail(new OperationError({
+            operation: "soft delete",
+            reason: "Entity does not have a deletedAt field",
+            message: "Entity does not have a deletedAt field",
+        }));
+    }
+    // Check foreign key constraints
+    yield* checkDeleteConstraintsEffect(id, collectionName, allRelationships, stateRefs);
+    if (isSoft) {
+        // Soft delete: mark with deletedAt timestamp
+        // If already soft-deleted, preserve the original deletedAt
+        const existingDeletedAt = entity.deletedAt;
+        const now = new Date().toISOString();
+        const softDeleted = {
+            ...entity,
+            deletedAt: existingDeletedAt || now,
+            updatedAt: existingDeletedAt
+                ? entity.updatedAt
+                : now,
+        };
+        yield* Ref.update(ref, (map) => {
+            const next = new Map(map);
+            next.set(id, softDeleted);
+            return next;
+        });
+        // Run afterDelete hooks (fire-and-forget, errors swallowed)
+        yield* runAfterDeleteHooks(hooks?.afterDelete, {
+            operation: "delete",
+            collection: collectionName,
+            id,
+            entity: softDeleted,
+        });
+        // Run onChange hooks with type: "delete" (fire-and-forget, errors swallowed)
+        yield* runOnChangeHooks(hooks?.onChange, {
+            type: "delete",
+            collection: collectionName,
+            id,
+            entity: softDeleted,
+        });
+        // Publish change event to reactive subscribers
+        if (changePubSub) {
+            yield* PubSub.publish(changePubSub, {
+                collection: collectionName,
+                operation: "delete",
+            });
+        }
+        return softDeleted;
+    }
+    // Hard delete: remove from indexes first (while entity is still accessible)
+    if (indexes && indexes.size > 0) {
+        yield* removeFromIndex(indexes, entity);
+    }
+    // Hard delete: remove from search index first (while entity is still accessible)
+    if (searchIndexRef && searchIndexFields && searchIndexFields.length > 0) {
+        yield* removeFromSearchIndex(searchIndexRef, entity, searchIndexFields);
+    }
+    // Hard delete: remove from state
+    yield* Ref.update(ref, (map) => {
+        const next = new Map(map);
+        next.delete(id);
+        return next;
+    });
+    // Run afterDelete hooks (fire-and-forget, errors swallowed)
+    yield* runAfterDeleteHooks(hooks?.afterDelete, {
+        operation: "delete",
+        collection: collectionName,
+        id,
+        entity,
+    });
+    // Run onChange hooks with type: "delete" (fire-and-forget, errors swallowed)
+    yield* runOnChangeHooks(hooks?.onChange, {
+        type: "delete",
+        collection: collectionName,
+        id,
+        entity,
+    });
+    // Publish change event to reactive subscribers
+    if (changePubSub) {
+        yield* PubSub.publish(changePubSub, {
+            collection: collectionName,
+            operation: "delete",
+        });
+    }
+    return entity;
+});
+// ============================================================================
+// Delete Multiple Entities
+// ============================================================================
+/**
+ * Delete multiple entities matching a predicate with optional soft delete.
+ *
+ * Uses a predicate function to select which entities to delete.
+ * The caller (database factory) can use the Stream-based filter pipeline
+ * to build the predicate from a WhereClause.
+ *
+ * Runs hooks per entity: beforeDelete can reject deletion,
+ * afterDelete and onChange run after state mutation.
+ *
+ * All matching entities are deleted atomically in a single Ref.update call.
+ */
+export const deleteMany = (collectionName, allRelationships, ref, stateRefs, supportsSoftDelete = false, indexes, hooks, searchIndexRef, searchIndexFields, changePubSub) => (predicate, options) => Effect.gen(function* () {
+    // Get current state and find matching entities
+    const currentMap = yield* Ref.get(ref);
+    let matchingEntities = [];
+    for (const entity of currentMap.values()) {
+        if (predicate(entity)) {
+            matchingEntities.push(entity);
+        }
+    }
+    // Apply limit if specified
+    if (options?.limit !== undefined && options.limit > 0) {
+        matchingEntities = matchingEntities.slice(0, options.limit);
+    }
+    if (matchingEntities.length === 0) {
+        return { count: 0, deleted: [] };
+    }
+    const isSoft = options?.soft === true;
+    // Check if soft delete is requested but entities don't support it
+    if (isSoft && !supportsSoftDelete) {
+        return yield* Effect.fail(new OperationError({
+            operation: "soft delete",
+            reason: "Entities do not have a deletedAt field",
+            message: "Entities do not have a deletedAt field",
+        }));
+    }
+    // Run beforeDelete hooks for each entity (can reject deletion)
+    for (const entity of matchingEntities) {
+        yield* runBeforeDeleteHooks(hooks?.beforeDelete, {
+            operation: "delete",
+            collection: collectionName,
+            id: entity.id,
+            entity,
+        });
+    }
+    // Check foreign key constraints for all entities (only for hard delete)
+    if (!isSoft) {
+        for (const entity of matchingEntities) {
+            yield* checkDeleteConstraintsEffect(entity.id, collectionName, allRelationships, stateRefs);
+        }
+    }
+    const now = new Date().toISOString();
+    const deleted = [];
+    if (isSoft) {
+        // Soft delete: update matching entities with deletedAt
+        const updatedEntities = new Map();
+        for (const entity of matchingEntities) {
+            const existingDeletedAt = entity
+                .deletedAt;
+            const softDeleted = {
+                ...entity,
+                deletedAt: existingDeletedAt || now,
+                updatedAt: existingDeletedAt
+                    ? entity.updatedAt
+                    : now,
+            };
+            updatedEntities.set(entity.id, softDeleted);
+            deleted.push(softDeleted);
+        }
+        yield* Ref.update(ref, (map) => {
+            const next = new Map(map);
+            for (const [id, entity] of updatedEntities) {
+                next.set(id, entity);
+            }
+            return next;
+        });
+    }
+    else {
+        // Hard delete: remove from indexes first (while entities are still accessible)
+        if (indexes && indexes.size > 0) {
+            yield* removeManyFromIndex(indexes, matchingEntities);
+        }
+        // Hard delete: remove from search index first (while entities are still accessible)
+        if (searchIndexRef &&
+            searchIndexFields &&
+            searchIndexFields.length > 0) {
+            for (const entity of matchingEntities) {
+                yield* removeFromSearchIndex(searchIndexRef, entity, searchIndexFields);
+            }
+        }
+        // Hard delete: remove matching entities from state
+        const deletedIds = new Set(matchingEntities.map((e) => e.id));
+        deleted.push(...matchingEntities);
+        yield* Ref.update(ref, (map) => {
+            const next = new Map(map);
+            for (const id of deletedIds) {
+                next.delete(id);
+            }
+            return next;
+        });
+    }
+    // Run afterDelete and onChange hooks for each deleted entity
+    for (const entity of deleted) {
+        // Run afterDelete hooks (fire-and-forget, errors swallowed)
+        yield* runAfterDeleteHooks(hooks?.afterDelete, {
+            operation: "delete",
+            collection: collectionName,
+            id: entity.id,
+            entity,
+        });
+        // Run onChange hooks with type: "delete" (fire-and-forget, errors swallowed)
+        yield* runOnChangeHooks(hooks?.onChange, {
+            type: "delete",
+            collection: collectionName,
+            id: entity.id,
+            entity,
+        });
+    }
+    // Publish a single change event after all deletes are complete
+    if (changePubSub && deleted.length > 0) {
+        yield* PubSub.publish(changePubSub, {
+            collection: collectionName,
+            operation: "delete",
+        });
+    }
+    return { count: deleted.length, deleted };
+});
+//# sourceMappingURL=delete.js.map

package/dist/operations/crud/delete.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"delete.js","sourceRoot":"","sources":["../../../src/operations/crud/delete.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,QAAQ,CAAC;AAC7C,OAAO,EAGN,aAAa,EACb,cAAc,GACd,MAAM,6BAA6B,CAAC;AACrC,OAAO,EACN,mBAAmB,EACnB,oBAAoB,EACpB,gBAAgB,GAChB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACN,eAAe,EACf,mBAAmB,GACnB,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AAMtE,OAAO,EAAE,4BAA4B,EAAE,MAAM,iCAAiC,CAAC;AAuB/E,+EAA+E;AAC/E,uBAAuB;AACvB,+EAA+E;AAE/E;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,GAAG,GACf,CACC,cAAsB,EACtB,gBAAoE,EACpE,GAAoC,EACpC,SAA8D,EAC9D,qBAA8B,KAAK,EACnC,OAA2B,EAC3B,KAAsB,EACtB,cAAwC,EACxC,iBAAyC,EACzC,YAAyC,EACxC,EAAE,CACJ,CACC,EAAU,EACV,OAAuB,EAItB,EAAE,CACH,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IACnB,8BAA8B;IAC9B,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAClC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QAC1B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACxB,IAAI,aAAa,CAAC;YACjB,UAAU,EAAE,cAAc;YAC1B,EAAE;YACF,OAAO,EAAE,WAAW,EAAE,8BAA8B,cAAc,GAAG;SACrE,CAAC,CACF,CAAC;IACH,CAAC;IAED,iDAAiD;IACjD,KAAK,CAAC,CAAC,oBAAoB,CAAC,KAAK,EAAE,YAAY,EAAE;QAChD,SAAS,EAAE,QAAQ;QACnB,UAAU,EAAE,cAAc;QAC1B,EAAE;QACF,MAAM;KACN,CAAC,CAAC;IAEH,MAAM,MAAM,GAAG,OAAO,EAAE,IAAI,KAAK,IAAI,CAAC;IAEtC,kEAAkE;IAClE,IAAI,MAAM,IAAI,CAAC,kBAAkB,EAAE,CAAC;QACnC,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACxB,IAAI,cAAc,CAAC;YAClB,SAAS,EAAE,aAAa;YACxB,MAAM,EAAE,wCAAwC;YAChD,OAAO,EAAE,wCAAwC;SACjD,CAAC,CACF,CAAC;IACH,CAAC;IAED,gCAAgC;IAChC,KAAK,CAAC,CAAC,4BAA4B,CAClC,EAAE,EACF,cAAc,EACd,gBAAgB,EAChB,SAAS,CACT,CAAC;IAEF,IAAI,MAAM,EAAE,CAAC;QACZ,6CAA6C;QAC7C,2DAA2D;QAC3D,MAAM,iBAAiB,GAAI,MAAkC,CAAC,SAAS,CAAC;QACxE,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QACrC,MAAM,WAAW,GAAG;YACnB,GAAG,MAAM;YACT,SAAS,EAAE,iBAAiB,IAAI,GAAG;YACnC,SAAS,EAAE,iBAAiB;gBAC3B,CAAC,CAAE,MAAkC,CAAC,SAAS;gBAC/C,CAAC,CAAC,GAAG;SACD,CAAC;QAEP,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE;YAC9B,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC;YAC1B,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;YAC1B,OAAO,IAAI,CAAC;QACb,CAAC,CAAC,CAAC;QAEH,4DAA4D;QAC5D,KAAK,CAAC,CAAC,mBAAmB,CAAC,KAAK,EAAE,WAAW,EAAE;YAC9C,SAAS,EAAE,QAAQ;YACnB,UAAU,EAAE,cAAc;YAC1B,EAAE;YACF,MAAM,EAAE,WAAW;SACnB,CAAC,CAAC;QAEH,6EAA6E;QAC7E,KAAK,CAAC,CAAC,gBAAgB,CAAC,KAAK,EAAE,QAAQ,EAAE;YACxC,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE,cAAc;YAC1B,EAAE;YACF,MAAM,EAAE,WAAW;SACnB,CAAC,CAAC;QAEH,+CAA+C;QAC/C,IAAI,YAAY,EAAE,CAAC;YAClB,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,YAAY,EAAE;gBACnC,UAAU,EAAE,cAAc;gBAC1B,SAAS,EAAE,QAAiB;aAC5B,CAAC,CAAC;QACJ,CAAC;QAED,OAAO,WAAW,CAAC;IACpB,CAAC;IAED,4EAA4E;IAC5E,IAAI,OAAO,IAAI,OAAO,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACjC,KAAK,CAAC,CAAC,eAAe,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACzC,CAAC;IAED,iFAAiF;IACjF,IAAI,cAAc,IAAI,iBAAiB,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzE,KAAK,CAAC,CAAC,qBAAqB,CAAC,cAAc,EAAE,MAAM,EAAE,iBAAiB,CAAC,CAAC;IACzE,CAAC;IAED,iCAAiC;IACjC,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE;QAC9B,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC;QAC1B,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAChB,OAAO,IAAI,CAAC;IACb,CAAC,CAAC,CAAC;IAEH,4DAA4D;IAC5D,KAAK,CAAC,CAAC,mBAAmB,CAAC,KAAK,EAAE,WAAW,EAAE;QAC9C,SAAS,EAAE,QAAQ;QACnB,UAAU,EAAE,cAAc;QAC1B,EAAE;QACF,MAAM;KACN,CAAC,CAAC;IAEH,6EAA6E;IAC7E,KAAK,CAAC,CAAC,gBAAgB,CAAC,KAAK,EAAE,QAAQ,EAAE;QACxC,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE,cAAc;QAC1B,EAAE;QACF,MAAM;KACN,CAAC,CAAC;IAEH,+CAA+C;IAC/C,IAAI,YAAY,EAAE,CAAC;QAClB,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,YAAY,EAAE;YACnC,UAAU,EAAE,cAAc;YAC1B,SAAS,EAAE,QAAiB;SAC5B,CAAC,CAAC;IACJ,CAAC;IAED,OAAO,MAAM,CAAC;AACf,CAAC,CAAC,CAAC;AAEL,+EAA+E;AAC/E,2BAA2B;AAC3B,+EAA+E;AAE/E;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,UAAU,GACtB,CACC,cAAsB,EACtB,gBAAoE,EACpE,GAAoC,EACpC,SAA8D,EAC9D,qBAA8B,KAAK,EACnC,OAA2B,EAC3B,KAAsB,EACtB,cAAwC,EACxC,iBAAyC,EACzC,YAAyC,EACxC,EAAE,CACJ,CACC,SAAiC,EACjC,OAA2B,EAI1B,EAAE,CACH,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IACnB,+CAA+C;IAC/C,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACvC,IAAI,gBAAgB,GAAQ,EAAE,CAAC;IAC/B,KAAK,MAAM,MAAM,IAAI,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;QAC1C,IAAI,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;YACvB,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC/B,CAAC;IACF,CAAC;IAED,2BAA2B;IAC3B,IAAI,OAAO,EAAE,KAAK,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;QACvD,gBAAgB,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAC7D,CAAC;IAED,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnC,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IAClC,CAAC;IAED,MAAM,MAAM,GAAG,OAAO,EAAE,IAAI,KAAK,IAAI,CAAC;IAEtC,kEAAkE;IAClE,IAAI,MAAM,IAAI,CAAC,kBAAkB,EAAE,CAAC;QACnC,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACxB,IAAI,cAAc,CAAC;YAClB,SAAS,EAAE,aAAa;YACxB,MAAM,EAAE,wCAAwC;YAChD,OAAO,EAAE,wCAAwC;SACjD,CAAC,CACF,CAAC;IACH,CAAC;IAED,+DAA+D;IAC/D,KAAK,MAAM,MAAM,IAAI,gBAAgB,EAAE,CAAC;QACvC,KAAK,CAAC,CAAC,oBAAoB,CAAC,KAAK,EAAE,YAAY,EAAE;YAChD,SAAS,EAAE,QAAQ;YACnB,UAAU,EAAE,cAAc;YAC1B,EAAE,EAAE,MAAM,CAAC,EAAE;YACb,MAAM;SACN,CAAC,CAAC;IACJ,CAAC;IAED,wEAAwE;IACxE,IAAI,CAAC,MAAM,EAAE,CAAC;QACb,KAAK,MAAM,MAAM,IAAI,gBAAgB,EAAE,CAAC;YACvC,KAAK,CAAC,CAAC,4BAA4B,CAClC,MAAM,CAAC,EAAE,EACT,cAAc,EACd,gBAAgB,EAChB,SAAS,CACT,CAAC;QACH,CAAC;IACF,CAAC;IAED,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IACrC,MAAM,OAAO,GAAQ,EAAE,CAAC;IAExB,IAAI,MAAM,EAAE,CAAC;QACZ,uDAAuD;QACvD,MAAM,eAAe,GAAG,IAAI,GAAG,EAAa,CAAC;QAC7C,KAAK,MAAM,MAAM,IAAI,gBAAgB,EAAE,CAAC;YACvC,MAAM,iBAAiB,GAAI,MAAkC;iBAC3D,SAAS,CAAC;YACZ,MAAM,WAAW,GAAG;gBACnB,GAAG,MAAM;gBACT,SAAS,EAAE,iBAAiB,IAAI,GAAG;gBACnC,SAAS,EAAE,iBAAiB;oBAC3B,CAAC,CAAE,MAAkC,CAAC,SAAS;oBAC/C,CAAC,CAAC,GAAG;aACD,CAAC;YACP,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;YAC5C,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC3B,CAAC;QAED,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE;YAC9B,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC;YAC1B,KAAK,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,eAAe,EAAE,CAAC;gBAC5C,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;YACtB,CAAC;YACD,OAAO,IAAI,CAAC;QACb,CAAC,CAAC,CAAC;IACJ,CAAC;SAAM,CAAC;QACP,+EAA+E;QAC/E,IAAI,OAAO,IAAI,OAAO,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YACjC,KAAK,CAAC,CAAC,mBAAmB,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC;QACvD,CAAC;QAED,oFAAoF;QACpF,IACC,cAAc;YACd,iBAAiB;YACjB,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAC3B,CAAC;YACF,KAAK,MAAM,MAAM,IAAI,gBAAgB,EAAE,CAAC;gBACvC,KAAK,CAAC,CAAC,qBAAqB,CAC3B,cAAc,EACd,MAAM,EACN,iBAAiB,CACjB,CAAC;YACH,CAAC;QACF,CAAC;QAED,mDAAmD;QACnD,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC9D,OAAO,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,CAAC;QAElC,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE;YAC9B,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC;YAC1B,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;gBAC7B,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACjB,CAAC;YACD,OAAO,IAAI,CAAC;QACb,CAAC,CAAC,CAAC;IACJ,CAAC;IAED,6DAA6D;IAC7D,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC9B,4DAA4D;QAC5D,KAAK,CAAC,CAAC,mBAAmB,CAAC,KAAK,EAAE,WAAW,EAAE;YAC9C,SAAS,EAAE,QAAQ;YACnB,UAAU,EAAE,cAAc;YAC1B,EAAE,EAAE,MAAM,CAAC,EAAE;YACb,MAAM;SACN,CAAC,CAAC;QAEH,6EAA6E;QAC7E,KAAK,CAAC,CAAC,gBAAgB,CAAC,KAAK,EAAE,QAAQ,EAAE;YACxC,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE,cAAc;YAC1B,EAAE,EAAE,MAAM,CAAC,EAAE;YACb,MAAM;SACN,CAAC,CAAC;IACJ,CAAC;IAED,+DAA+D;IAC/D,IAAI,YAAY,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxC,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,YAAY,EAAE;YACnC,UAAU,EAAE,cAAc;YAC1B,SAAS,EAAE,QAAiB;SAC5B,CAAC,CAAC;IACJ,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC;AAC3C,CAAC,CAAC,CAAC"}

package/dist/operations/crud/unique-check.d.ts

@@ -0,0 +1,114 @@
+/**
+ * Unique constraint checking utilities for CRUD operations.
+ *
+ * Handles both single-field constraints (e.g., "email") and compound constraints
+ * (e.g., ["userId", "settingKey"]). All constraints are normalized to arrays internally.
+ */
+/**
+ * Unique fields configuration as declared in collection config.
+ * Can be single field names or arrays of field names for compound constraints.
+ *
+ * Example: ["email", ["userId", "settingKey"]]
+ */
+export type UniqueFieldsConfig = ReadonlyArray<string | ReadonlyArray<string>>;
+/**
+ * Normalized constraints where all entries are arrays of field names.
+ *
+ * Example: [["email"], ["userId", "settingKey"]]
+ */
+export type NormalizedConstraints = ReadonlyArray<ReadonlyArray<string>>;
+/**
+ * Normalize unique fields configuration to a consistent array-of-arrays format.
+ *
+ * Converts:
+ *   ["email", ["userId", "settingKey"]]
+ * To:
+ *   [["email"], ["userId", "settingKey"]]
+ *
+ * This allows a single code path to handle both single and compound constraints.
+ *
+ * @param uniqueFields - Configuration from CollectionConfig.uniqueFields
+ * @returns Normalized constraints where each constraint is an array of field names
+ */
+export declare const normalizeConstraints: (uniqueFields: UniqueFieldsConfig | undefined) => NormalizedConstraints;
+import { Effect } from "effect";
+import { UniqueConstraintError, ValidationError } from "../../errors/crud-errors.js";
+type HasId = {
+    readonly id: string;
+};
+/**
+ * Check for unique constraint violations when creating or updating an entity.
+ *
+ * For each normalized constraint (array of field names):
+ * 1. Extract the values for all fields in the constraint from the entity
+ * 2. Skip if any field value is null or undefined (nulls are not unique-checked)
+ * 3. Check if any existing entity (excluding the same ID) has matching values for ALL fields
+ * 4. Fail-fast on first violation with UniqueConstraintError
+ *
+ * @param entity - The entity being created or updated
+ * @param existingMap - Current state of the collection
+ * @param constraints - Normalized constraints (array of field name arrays)
+ * @param collectionName - Name of the collection for error messages
+ * @returns Effect that succeeds with void or fails with UniqueConstraintError
+ */
+export declare const checkUniqueConstraints: <T extends HasId>(entity: T, existingMap: ReadonlyMap<string, T>, constraints: NormalizedConstraints, collectionName: string) => Effect.Effect<void, UniqueConstraintError>;
+/**
+ * Check for unique constraint violations when creating multiple entities in a batch.
+ *
+ * This function performs two types of checks:
+ * 1. Each entity against the existing map (same as checkUniqueConstraints)
+ * 2. Each entity against other entities in the batch (inter-batch check)
+ *
+ * The inter-batch check ensures that if entities at index 3 and 7 both have
+ * email: "alice@example.com", entity 7 fails (the later one in the batch).
+ *
+ * @param entities - The entities being created in the batch
+ * @param existingMap - Current state of the collection
+ * @param constraints - Normalized constraints (array of field name arrays)
+ * @param collectionName - Name of the collection for error messages
+ * @returns Effect that succeeds with void or fails with UniqueConstraintError
+ */
+export declare const checkBatchUniqueConstraints: <T extends HasId>(entities: ReadonlyArray<T>, existingMap: ReadonlyMap<string, T>, constraints: NormalizedConstraints, collectionName: string) => Effect.Effect<void, UniqueConstraintError>;
+/**
+ * Check a single entity against unique constraints, including a batch index of
+ * previously-checked entities. Used by createMany with skipDuplicates.
+ *
+ * @param entity - The entity being checked
+ * @param entityRecord - The entity as a record for field access
+ * @param existingMap - Current state of the collection
+ * @param constraints - Normalized constraints
+ * @param collectionName - Name of the collection for error messages
+ * @param batchIndex - Map of constraint keys to entity IDs from prior entities in the batch
+ * @returns Effect that succeeds with void or fails with UniqueConstraintError
+ */
+export declare const checkEntityUniqueConstraints: <T extends HasId>(entity: T, entityRecord: Record<string, unknown>, existingMap: ReadonlyMap<string, T>, constraints: NormalizedConstraints, collectionName: string, batchIndex: Map<string, string>) => Effect.Effect<void, UniqueConstraintError>;
+/**
+ * Add an entity's unique constraint values to the batch index.
+ * Called after an entity passes unique constraint checks.
+ *
+ * @param entity - The entity to add
+ * @param entityRecord - The entity as a record for field access
+ * @param constraints - Normalized constraints
+ * @param batchIndex - Map to populate with constraint keys -> entity IDs
+ */
+export declare const addEntityToBatchIndex: <T extends HasId>(entity: T, entityRecord: Record<string, unknown>, constraints: NormalizedConstraints, batchIndex: Map<string, string>) => void;
+/**
+ * Validate that an upsert where clause targets a declared unique field or id.
+ *
+ * The where clause must fully cover at least one declared constraint:
+ * - `{ id: "..." }` — always valid (id is implicitly unique)
+ * - `{ email: "..." }` — valid if `[["email"]]` is in constraints
+ * - `{ userId: "u1", settingKey: "theme" }` — valid if `[["userId", "settingKey"]]` is in constraints
+ * - Extra fields beyond the constraint are allowed (for additional filtering)
+ *
+ * If no constraint is fully covered by the where clause, fail with ValidationError
+ * listing the valid unique fields.
+ *
+ * @param where - The where clause object from upsert
+ * @param constraints - Normalized constraints (array of field name arrays)
+ * @param collectionName - Name of the collection for error messages
+ * @returns Effect that succeeds with void or fails with ValidationError
+ */
+export declare const validateUpsertWhere: (where: Readonly<Record<string, unknown>>, constraints: NormalizedConstraints, collectionName: string) => Effect.Effect<void, ValidationError>;
+export {};
+//# sourceMappingURL=unique-check.d.ts.map

package/dist/operations/crud/unique-check.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"unique-check.d.ts","sourceRoot":"","sources":["../../../src/operations/crud/unique-check.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAMH;;;;;GAKG;AACH,MAAM,MAAM,kBAAkB,GAAG,aAAa,CAAC,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC;AAE/E;;;;GAIG;AACH,MAAM,MAAM,qBAAqB,GAAG,aAAa,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC;AAMzE;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,oBAAoB,GAChC,cAAc,kBAAkB,GAAG,SAAS,KAC1C,qBAQF,CAAC;AAMF,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EACN,qBAAqB,EACrB,eAAe,EACf,MAAM,6BAA6B,CAAC;AAErC,KAAK,KAAK,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC;AAErC;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,sBAAsB,GAAI,CAAC,SAAS,KAAK,EACrD,QAAQ,CAAC,EACT,aAAa,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,EACnC,aAAa,qBAAqB,EAClC,gBAAgB,MAAM,KACpB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,qBAAqB,CAgE3C,CAAC;AAEF;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,2BAA2B,GAAI,CAAC,SAAS,KAAK,EAC1D,UAAU,aAAa,CAAC,CAAC,CAAC,EAC1B,aAAa,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,EACnC,aAAa,qBAAqB,EAClC,gBAAgB,MAAM,KACpB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,qBAAqB,CAkG3C,CAAC;AAMF;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,4BAA4B,GAAI,CAAC,SAAS,KAAK,EAC3D,QAAQ,CAAC,EACT,cAAc,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACrC,aAAa,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,EACnC,aAAa,qBAAqB,EAClC,gBAAgB,MAAM,EACtB,YAAY,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,KAC7B,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,qBAAqB,CAkF3C,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,qBAAqB,GAAI,CAAC,SAAS,KAAK,EACpD,QAAQ,CAAC,EACT,cAAc,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACrC,aAAa,qBAAqB,EAClC,YAAY,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,KAC7B,IA6BF,CAAC;AAMF;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,mBAAmB,GAC/B,OAAO,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACxC,aAAa,qBAAqB,EAClC,gBAAgB,MAAM,KACpB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,eAAe,CAkCrC,CAAC"}