@proseql/core 0.1.0

package/dist/operations/crud/unique-check.js

@@ -0,0 +1,383 @@
+/**
+ * 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.
+ */
+// ============================================================================
+// Constraint Normalization
+// ============================================================================
+/**
+ * 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 const normalizeConstraints = (uniqueFields) => {
+    if (!uniqueFields || uniqueFields.length === 0) {
+        return [];
+    }
+    return uniqueFields.map((constraint) => typeof constraint === "string" ? [constraint] : constraint);
+};
+// ============================================================================
+// Unique Constraint Checking
+// ============================================================================
+import { Effect } from "effect";
+import { UniqueConstraintError, ValidationError, } from "../../errors/crud-errors.js";
+/**
+ * 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 const checkUniqueConstraints = (entity, existingMap, constraints, collectionName) => {
+    // No constraints configured — nothing to check
+    if (constraints.length === 0) {
+        return Effect.void;
+    }
+    const entityRecord = entity;
+    for (const constraintFields of constraints) {
+        // Extract values for this constraint
+        const constraintValues = {};
+        let hasNullOrUndefined = false;
+        for (const field of constraintFields) {
+            const value = entityRecord[field];
+            if (value === null || value === undefined) {
+                hasNullOrUndefined = true;
+                break;
+            }
+            constraintValues[field] = value;
+        }
+        // Skip constraint if any field is null/undefined
+        if (hasNullOrUndefined) {
+            continue;
+        }
+        // Check against existing entities
+        for (const [existingId, existing] of existingMap) {
+            // Exclude the entity itself (for updates)
+            if (existingId === entity.id) {
+                continue;
+            }
+            const existingRecord = existing;
+            // Check if ALL fields in the constraint match
+            let allFieldsMatch = true;
+            for (const field of constraintFields) {
+                if (existingRecord[field] !== constraintValues[field]) {
+                    allFieldsMatch = false;
+                    break;
+                }
+            }
+            if (allFieldsMatch) {
+                // Generate constraint name: "unique_" + fields joined by "_"
+                const constraintName = `unique_${constraintFields.join("_")}`;
+                return Effect.fail(new UniqueConstraintError({
+                    collection: collectionName,
+                    constraint: constraintName,
+                    fields: constraintFields,
+                    values: constraintValues,
+                    existingId,
+                    message: `Unique constraint violation on ${collectionName}: ${constraintName} (${constraintFields.join(", ")}) = ${JSON.stringify(constraintValues)} already exists (id: ${existingId})`,
+                }));
+            }
+        }
+    }
+    return Effect.void;
+};
+/**
+ * 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 const checkBatchUniqueConstraints = (entities, existingMap, constraints, collectionName) => {
+    // No constraints configured — nothing to check
+    if (constraints.length === 0) {
+        return Effect.void;
+    }
+    // No entities to check
+    if (entities.length === 0) {
+        return Effect.void;
+    }
+    // Build a lookup index from entities processed so far in the batch
+    // Key: constraintName + ":" + serialized values, Value: entity id
+    const batchIndex = new Map();
+    for (const entity of entities) {
+        const entityRecord = entity;
+        for (const constraintFields of constraints) {
+            // Extract values for this constraint
+            const constraintValues = {};
+            let hasNullOrUndefined = false;
+            for (const field of constraintFields) {
+                const value = entityRecord[field];
+                if (value === null || value === undefined) {
+                    hasNullOrUndefined = true;
+                    break;
+                }
+                constraintValues[field] = value;
+            }
+            // Skip constraint if any field is null/undefined
+            if (hasNullOrUndefined) {
+                continue;
+            }
+            const constraintName = `unique_${constraintFields.join("_")}`;
+            // Create a stable key for this constraint+values combination
+            const valuesKey = constraintFields
+                .map((f) => constraintValues[f])
+                .join("\0");
+            const indexKey = `${constraintName}:${valuesKey}`;
+            // Check against existing entities in the collection
+            for (const [existingId, existing] of existingMap) {
+                // Exclude the entity itself (for updates)
+                if (existingId === entity.id) {
+                    continue;
+                }
+                const existingRecord = existing;
+                // Check if ALL fields in the constraint match
+                let allFieldsMatch = true;
+                for (const field of constraintFields) {
+                    if (existingRecord[field] !== constraintValues[field]) {
+                        allFieldsMatch = false;
+                        break;
+                    }
+                }
+                if (allFieldsMatch) {
+                    return Effect.fail(new UniqueConstraintError({
+                        collection: collectionName,
+                        constraint: constraintName,
+                        fields: constraintFields,
+                        values: constraintValues,
+                        existingId,
+                        message: `Unique constraint violation on ${collectionName}: ${constraintName} (${constraintFields.join(", ")}) = ${JSON.stringify(constraintValues)} already exists (id: ${existingId})`,
+                    }));
+                }
+            }
+            // Check against entities already processed in this batch
+            const conflictingId = batchIndex.get(indexKey);
+            if (conflictingId !== undefined && conflictingId !== entity.id) {
+                return Effect.fail(new UniqueConstraintError({
+                    collection: collectionName,
+                    constraint: constraintName,
+                    fields: constraintFields,
+                    values: constraintValues,
+                    existingId: conflictingId,
+                    message: `Unique constraint violation on ${collectionName}: ${constraintName} (${constraintFields.join(", ")}) = ${JSON.stringify(constraintValues)} already exists in batch (id: ${conflictingId})`,
+                }));
+            }
+            // Add this entity to the batch index
+            batchIndex.set(indexKey, entity.id);
+        }
+    }
+    return Effect.void;
+};
+// ============================================================================
+// Per-Entity Unique Constraint Checking (for skipDuplicates support)
+// ============================================================================
+/**
+ * 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 const checkEntityUniqueConstraints = (entity, entityRecord, existingMap, constraints, collectionName, batchIndex) => {
+    // No constraints configured — nothing to check
+    if (constraints.length === 0) {
+        return Effect.void;
+    }
+    for (const constraintFields of constraints) {
+        // Extract values for this constraint
+        const constraintValues = {};
+        let hasNullOrUndefined = false;
+        for (const field of constraintFields) {
+            const value = entityRecord[field];
+            if (value === null || value === undefined) {
+                hasNullOrUndefined = true;
+                break;
+            }
+            constraintValues[field] = value;
+        }
+        // Skip constraint if any field is null/undefined
+        if (hasNullOrUndefined) {
+            continue;
+        }
+        const constraintName = `unique_${constraintFields.join("_")}`;
+        // Create a stable key for this constraint+values combination
+        const valuesKey = constraintFields
+            .map((f) => constraintValues[f])
+            .join("\0");
+        const indexKey = `${constraintName}:${valuesKey}`;
+        // Check against existing entities in the collection
+        for (const [existingId, existing] of existingMap) {
+            // Exclude the entity itself (for updates)
+            if (existingId === entity.id) {
+                continue;
+            }
+            const existingRecord = existing;
+            // Check if ALL fields in the constraint match
+            let allFieldsMatch = true;
+            for (const field of constraintFields) {
+                if (existingRecord[field] !== constraintValues[field]) {
+                    allFieldsMatch = false;
+                    break;
+                }
+            }
+            if (allFieldsMatch) {
+                return Effect.fail(new UniqueConstraintError({
+                    collection: collectionName,
+                    constraint: constraintName,
+                    fields: constraintFields,
+                    values: constraintValues,
+                    existingId,
+                    message: `Unique constraint violation on ${collectionName}: ${constraintName} (${constraintFields.join(", ")}) = ${JSON.stringify(constraintValues)} already exists (id: ${existingId})`,
+                }));
+            }
+        }
+        // Check against entities already processed in this batch
+        const conflictingId = batchIndex.get(indexKey);
+        if (conflictingId !== undefined && conflictingId !== entity.id) {
+            return Effect.fail(new UniqueConstraintError({
+                collection: collectionName,
+                constraint: constraintName,
+                fields: constraintFields,
+                values: constraintValues,
+                existingId: conflictingId,
+                message: `Unique constraint violation on ${collectionName}: ${constraintName} (${constraintFields.join(", ")}) = ${JSON.stringify(constraintValues)} already exists in batch (id: ${conflictingId})`,
+            }));
+        }
+    }
+    return Effect.void;
+};
+/**
+ * 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 const addEntityToBatchIndex = (entity, entityRecord, constraints, batchIndex) => {
+    for (const constraintFields of constraints) {
+        // Extract values for this constraint
+        const constraintValues = {};
+        let hasNullOrUndefined = false;
+        for (const field of constraintFields) {
+            const value = entityRecord[field];
+            if (value === null || value === undefined) {
+                hasNullOrUndefined = true;
+                break;
+            }
+            constraintValues[field] = value;
+        }
+        // Skip constraint if any field is null/undefined
+        if (hasNullOrUndefined) {
+            continue;
+        }
+        const constraintName = `unique_${constraintFields.join("_")}`;
+        const valuesKey = constraintFields
+            .map((f) => constraintValues[f])
+            .join("\0");
+        const indexKey = `${constraintName}:${valuesKey}`;
+        // Add this entity to the batch index
+        batchIndex.set(indexKey, entity.id);
+    }
+};
+// ============================================================================
+// Upsert Where Clause Validation
+// ============================================================================
+/**
+ * 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 const validateUpsertWhere = (where, constraints, collectionName) => {
+    const whereKeys = Object.keys(where);
+    // `id` is always a valid constraint (implicitly unique)
+    if (whereKeys.includes("id")) {
+        return Effect.void;
+    }
+    // Check if where keys cover at least one declared constraint
+    for (const constraintFields of constraints) {
+        // All fields in the constraint must be present in where keys
+        const coversConstraint = constraintFields.every((field) => whereKeys.includes(field));
+        if (coversConstraint) {
+            return Effect.void;
+        }
+    }
+    // No constraint is covered — build error message
+    const validFields = buildValidFieldsDescription(constraints);
+    return Effect.fail(new ValidationError({
+        message: `Upsert where clause must target a unique field or id`,
+        issues: [
+            {
+                field: "where",
+                message: `Where clause does not match any declared unique field in collection '${collectionName}'. Valid unique fields: ${validFields}`,
+                value: where,
+            },
+        ],
+    }));
+};
+/**
+ * Build a human-readable description of valid unique fields for error messages.
+ *
+ * @param constraints - Normalized constraints
+ * @returns String like "email, username" or "(userId, settingKey)" for compounds
+ */
+const buildValidFieldsDescription = (constraints) => {
+    if (constraints.length === 0) {
+        return "id";
+    }
+    const descriptions = constraints.map((constraintFields) => {
+        if (constraintFields.length === 1) {
+            return constraintFields[0];
+        }
+        // Compound constraint: show as tuple notation
+        return `(${constraintFields.join(", ")})`;
+    });
+    // Always include id as valid
+    return [...descriptions, "id"].join(", ");
+};
+//# sourceMappingURL=unique-check.js.map

package/dist/operations/crud/unique-check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"unique-check.js","sourceRoot":"","sources":["../../../src/operations/crud/unique-check.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAqBH,+EAA+E;AAC/E,2BAA2B;AAC3B,+EAA+E;AAE/E;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CACnC,YAA4C,EACpB,EAAE;IAC1B,IAAI,CAAC,YAAY,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChD,OAAO,EAAE,CAAC;IACX,CAAC;IAED,OAAO,YAAY,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CACtC,OAAO,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAC1D,CAAC;AACH,CAAC,CAAC;AAEF,+EAA+E;AAC/E,6BAA6B;AAC7B,+EAA+E;AAE/E,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EACN,qBAAqB,EACrB,eAAe,GACf,MAAM,6BAA6B,CAAC;AAIrC;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACrC,MAAS,EACT,WAAmC,EACnC,WAAkC,EAClC,cAAsB,EACuB,EAAE;IAC/C,+CAA+C;IAC/C,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO,MAAM,CAAC,IAAI,CAAC;IACpB,CAAC;IAED,MAAM,YAAY,GAAG,MAAiC,CAAC;IAEvD,KAAK,MAAM,gBAAgB,IAAI,WAAW,EAAE,CAAC;QAC5C,qCAAqC;QACrC,MAAM,gBAAgB,GAA4B,EAAE,CAAC;QACrD,IAAI,kBAAkB,GAAG,KAAK,CAAC;QAE/B,KAAK,MAAM,KAAK,IAAI,gBAAgB,EAAE,CAAC;YACtC,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;YAClC,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBAC3C,kBAAkB,GAAG,IAAI,CAAC;gBAC1B,MAAM;YACP,CAAC;YACD,gBAAgB,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC;QACjC,CAAC;QAED,iDAAiD;QACjD,IAAI,kBAAkB,EAAE,CAAC;YACxB,SAAS;QACV,CAAC;QAED,kCAAkC;QAClC,KAAK,MAAM,CAAC,UAAU,EAAE,QAAQ,CAAC,IAAI,WAAW,EAAE,CAAC;YAClD,0CAA0C;YAC1C,IAAI,UAAU,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC;gBAC9B,SAAS;YACV,CAAC;YAED,MAAM,cAAc,GAAG,QAAmC,CAAC;YAE3D,8CAA8C;YAC9C,IAAI,cAAc,GAAG,IAAI,CAAC;YAC1B,KAAK,MAAM,KAAK,IAAI,gBAAgB,EAAE,CAAC;gBACtC,IAAI,cAAc,CAAC,KAAK,CAAC,KAAK,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC;oBACvD,cAAc,GAAG,KAAK,CAAC;oBACvB,MAAM;gBACP,CAAC;YACF,CAAC;YAED,IAAI,cAAc,EAAE,CAAC;gBACpB,6DAA6D;gBAC7D,MAAM,cAAc,GAAG,UAAU,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBAE9D,OAAO,MAAM,CAAC,IAAI,CACjB,IAAI,qBAAqB,CAAC;oBACzB,UAAU,EAAE,cAAc;oBAC1B,UAAU,EAAE,cAAc;oBAC1B,MAAM,EAAE,gBAAgB;oBACxB,MAAM,EAAE,gBAAgB;oBACxB,UAAU;oBACV,OAAO,EAAE,kCAAkC,cAAc,KAAK,cAAc,KAAK,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,SAAS,CAAC,gBAAgB,CAAC,wBAAwB,UAAU,GAAG;iBACxL,CAAC,CACF,CAAC;YACH,CAAC;QACF,CAAC;IACF,CAAC;IAED,OAAO,MAAM,CAAC,IAAI,CAAC;AACpB,CAAC,CAAC;AAEF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAC1C,QAA0B,EAC1B,WAAmC,EACnC,WAAkC,EAClC,cAAsB,EACuB,EAAE;IAC/C,+CAA+C;IAC/C,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO,MAAM,CAAC,IAAI,CAAC;IACpB,CAAC;IAED,uBAAuB;IACvB,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,MAAM,CAAC,IAAI,CAAC;IACpB,CAAC;IAED,mEAAmE;IACnE,kEAAkE;IAClE,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;IAE7C,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,YAAY,GAAG,MAAiC,CAAC;QAEvD,KAAK,MAAM,gBAAgB,IAAI,WAAW,EAAE,CAAC;YAC5C,qCAAqC;YACrC,MAAM,gBAAgB,GAA4B,EAAE,CAAC;YACrD,IAAI,kBAAkB,GAAG,KAAK,CAAC;YAE/B,KAAK,MAAM,KAAK,IAAI,gBAAgB,EAAE,CAAC;gBACtC,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;gBAClC,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;oBAC3C,kBAAkB,GAAG,IAAI,CAAC;oBAC1B,MAAM;gBACP,CAAC;gBACD,gBAAgB,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC;YACjC,CAAC;YAED,iDAAiD;YACjD,IAAI,kBAAkB,EAAE,CAAC;gBACxB,SAAS;YACV,CAAC;YAED,MAAM,cAAc,GAAG,UAAU,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAE9D,6DAA6D;YAC7D,MAAM,SAAS,GAAG,gBAAgB;iBAChC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC;iBAC/B,IAAI,CAAC,IAAI,CAAC,CAAC;YACb,MAAM,QAAQ,GAAG,GAAG,cAAc,IAAI,SAAS,EAAE,CAAC;YAElD,oDAAoD;YACpD,KAAK,MAAM,CAAC,UAAU,EAAE,QAAQ,CAAC,IAAI,WAAW,EAAE,CAAC;gBAClD,0CAA0C;gBAC1C,IAAI,UAAU,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC;oBAC9B,SAAS;gBACV,CAAC;gBAED,MAAM,cAAc,GAAG,QAAmC,CAAC;gBAE3D,8CAA8C;gBAC9C,IAAI,cAAc,GAAG,IAAI,CAAC;gBAC1B,KAAK,MAAM,KAAK,IAAI,gBAAgB,EAAE,CAAC;oBACtC,IAAI,cAAc,CAAC,KAAK,CAAC,KAAK,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC;wBACvD,cAAc,GAAG,KAAK,CAAC;wBACvB,MAAM;oBACP,CAAC;gBACF,CAAC;gBAED,IAAI,cAAc,EAAE,CAAC;oBACpB,OAAO,MAAM,CAAC,IAAI,CACjB,IAAI,qBAAqB,CAAC;wBACzB,UAAU,EAAE,cAAc;wBAC1B,UAAU,EAAE,cAAc;wBAC1B,MAAM,EAAE,gBAAgB;wBACxB,MAAM,EAAE,gBAAgB;wBACxB,UAAU;wBACV,OAAO,EAAE,kCAAkC,cAAc,KAAK,cAAc,KAAK,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,SAAS,CAAC,gBAAgB,CAAC,wBAAwB,UAAU,GAAG;qBACxL,CAAC,CACF,CAAC;gBACH,CAAC;YACF,CAAC;YAED,yDAAyD;YACzD,MAAM,aAAa,GAAG,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YAC/C,IAAI,aAAa,KAAK,SAAS,IAAI,aAAa,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC;gBAChE,OAAO,MAAM,CAAC,IAAI,CACjB,IAAI,qBAAqB,CAAC;oBACzB,UAAU,EAAE,cAAc;oBAC1B,UAAU,EAAE,cAAc;oBAC1B,MAAM,EAAE,gBAAgB;oBACxB,MAAM,EAAE,gBAAgB;oBACxB,UAAU,EAAE,aAAa;oBACzB,OAAO,EAAE,kCAAkC,cAAc,KAAK,cAAc,KAAK,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,SAAS,CAAC,gBAAgB,CAAC,iCAAiC,aAAa,GAAG;iBACpM,CAAC,CACF,CAAC;YACH,CAAC;YAED,qCAAqC;YACrC,UAAU,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;QACrC,CAAC;IACF,CAAC;IAED,OAAO,MAAM,CAAC,IAAI,CAAC;AACpB,CAAC,CAAC;AAEF,+EAA+E;AAC/E,qEAAqE;AACrE,+EAA+E;AAE/E;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC3C,MAAS,EACT,YAAqC,EACrC,WAAmC,EACnC,WAAkC,EAClC,cAAsB,EACtB,UAA+B,EACc,EAAE;IAC/C,+CAA+C;IAC/C,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO,MAAM,CAAC,IAAI,CAAC;IACpB,CAAC;IAED,KAAK,MAAM,gBAAgB,IAAI,WAAW,EAAE,CAAC;QAC5C,qCAAqC;QACrC,MAAM,gBAAgB,GAA4B,EAAE,CAAC;QACrD,IAAI,kBAAkB,GAAG,KAAK,CAAC;QAE/B,KAAK,MAAM,KAAK,IAAI,gBAAgB,EAAE,CAAC;YACtC,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;YAClC,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBAC3C,kBAAkB,GAAG,IAAI,CAAC;gBAC1B,MAAM;YACP,CAAC;YACD,gBAAgB,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC;QACjC,CAAC;QAED,iDAAiD;QACjD,IAAI,kBAAkB,EAAE,CAAC;YACxB,SAAS;QACV,CAAC;QAED,MAAM,cAAc,GAAG,UAAU,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QAE9D,6DAA6D;QAC7D,MAAM,SAAS,GAAG,gBAAgB;aAChC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC;aAC/B,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,MAAM,QAAQ,GAAG,GAAG,cAAc,IAAI,SAAS,EAAE,CAAC;QAElD,oDAAoD;QACpD,KAAK,MAAM,CAAC,UAAU,EAAE,QAAQ,CAAC,IAAI,WAAW,EAAE,CAAC;YAClD,0CAA0C;YAC1C,IAAI,UAAU,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC;gBAC9B,SAAS;YACV,CAAC;YAED,MAAM,cAAc,GAAG,QAAmC,CAAC;YAE3D,8CAA8C;YAC9C,IAAI,cAAc,GAAG,IAAI,CAAC;YAC1B,KAAK,MAAM,KAAK,IAAI,gBAAgB,EAAE,CAAC;gBACtC,IAAI,cAAc,CAAC,KAAK,CAAC,KAAK,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC;oBACvD,cAAc,GAAG,KAAK,CAAC;oBACvB,MAAM;gBACP,CAAC;YACF,CAAC;YAED,IAAI,cAAc,EAAE,CAAC;gBACpB,OAAO,MAAM,CAAC,IAAI,CACjB,IAAI,qBAAqB,CAAC;oBACzB,UAAU,EAAE,cAAc;oBAC1B,UAAU,EAAE,cAAc;oBAC1B,MAAM,EAAE,gBAAgB;oBACxB,MAAM,EAAE,gBAAgB;oBACxB,UAAU;oBACV,OAAO,EAAE,kCAAkC,cAAc,KAAK,cAAc,KAAK,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,SAAS,CAAC,gBAAgB,CAAC,wBAAwB,UAAU,GAAG;iBACxL,CAAC,CACF,CAAC;YACH,CAAC;QACF,CAAC;QAED,yDAAyD;QACzD,MAAM,aAAa,GAAG,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC/C,IAAI,aAAa,KAAK,SAAS,IAAI,aAAa,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC;YAChE,OAAO,MAAM,CAAC,IAAI,CACjB,IAAI,qBAAqB,CAAC;gBACzB,UAAU,EAAE,cAAc;gBAC1B,UAAU,EAAE,cAAc;gBAC1B,MAAM,EAAE,gBAAgB;gBACxB,MAAM,EAAE,gBAAgB;gBACxB,UAAU,EAAE,aAAa;gBACzB,OAAO,EAAE,kCAAkC,cAAc,KAAK,cAAc,KAAK,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,SAAS,CAAC,gBAAgB,CAAC,iCAAiC,aAAa,GAAG;aACpM,CAAC,CACF,CAAC;QACH,CAAC;IACF,CAAC;IAED,OAAO,MAAM,CAAC,IAAI,CAAC;AACpB,CAAC,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACpC,MAAS,EACT,YAAqC,EACrC,WAAkC,EAClC,UAA+B,EACxB,EAAE;IACT,KAAK,MAAM,gBAAgB,IAAI,WAAW,EAAE,CAAC;QAC5C,qCAAqC;QACrC,MAAM,gBAAgB,GAA4B,EAAE,CAAC;QACrD,IAAI,kBAAkB,GAAG,KAAK,CAAC;QAE/B,KAAK,MAAM,KAAK,IAAI,gBAAgB,EAAE,CAAC;YACtC,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;YAClC,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBAC3C,kBAAkB,GAAG,IAAI,CAAC;gBAC1B,MAAM;YACP,CAAC;YACD,gBAAgB,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC;QACjC,CAAC;QAED,iDAAiD;QACjD,IAAI,kBAAkB,EAAE,CAAC;YACxB,SAAS;QACV,CAAC;QAED,MAAM,cAAc,GAAG,UAAU,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QAC9D,MAAM,SAAS,GAAG,gBAAgB;aAChC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC;aAC/B,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,MAAM,QAAQ,GAAG,GAAG,cAAc,IAAI,SAAS,EAAE,CAAC;QAElD,qCAAqC;QACrC,UAAU,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;IACrC,CAAC;AACF,CAAC,CAAC;AAEF,+EAA+E;AAC/E,iCAAiC;AACjC,+EAA+E;AAE/E;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAClC,KAAwC,EACxC,WAAkC,EAClC,cAAsB,EACiB,EAAE;IACzC,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAErC,wDAAwD;IACxD,IAAI,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO,MAAM,CAAC,IAAI,CAAC;IACpB,CAAC;IAED,6DAA6D;IAC7D,KAAK,MAAM,gBAAgB,IAAI,WAAW,EAAE,CAAC;QAC5C,6DAA6D;QAC7D,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CACzD,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,CACzB,CAAC;QACF,IAAI,gBAAgB,EAAE,CAAC;YACtB,OAAO,MAAM,CAAC,IAAI,CAAC;QACpB,CAAC;IACF,CAAC;IAED,iDAAiD;IACjD,MAAM,WAAW,GAAG,2BAA2B,CAAC,WAAW,CAAC,CAAC;IAE7D,OAAO,MAAM,CAAC,IAAI,CACjB,IAAI,eAAe,CAAC;QACnB,OAAO,EAAE,sDAAsD;QAC/D,MAAM,EAAE;YACP;gBACC,KAAK,EAAE,OAAO;gBACd,OAAO,EAAE,wEAAwE,cAAc,2BAA2B,WAAW,EAAE;gBACvI,KAAK,EAAE,KAAK;aACZ;SACD;KACD,CAAC,CACF,CAAC;AACH,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,2BAA2B,GAAG,CACnC,WAAkC,EACzB,EAAE;IACX,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO,IAAI,CAAC;IACb,CAAC;IAED,MAAM,YAAY,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,gBAAgB,EAAE,EAAE;QACzD,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACnC,OAAO,gBAAgB,CAAC,CAAC,CAAC,CAAC;QAC5B,CAAC;QACD,8CAA8C;QAC9C,OAAO,IAAI,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,6BAA6B;IAC7B,OAAO,CAAC,GAAG,YAAY,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC3C,CAAC,CAAC"}

package/dist/operations/crud/update-with-relationships.d.ts

@@ -0,0 +1,45 @@
+/**
+ * Effect-based update operations with relationship support.
+ *
+ * Uses Ref<ReadonlyMap> for atomic state mutation, Effect Schema for validation,
+ * and typed errors. Supports $disconnect, $connect, $update, $delete, and $set
+ * operations for both ref (single) and inverse (many) relationship types.
+ */
+import { Effect, PubSub, Ref, type Schema } from "effect";
+import { ForeignKeyError, NotFoundError, type OperationError, ValidationError } from "../../errors/crud-errors.js";
+import type { ComputedFieldsConfig } from "../../types/computed-types.js";
+import type { UpdateWithRelationshipsInput } from "../../types/crud-relationship-types.js";
+import type { ChangeEvent } from "../../types/reactive-types.js";
+import type { RelationshipDef } from "../../types/types.js";
+type HasId = {
+    readonly id: string;
+};
+type RelationshipConfig = {
+    readonly type: "ref" | "inverse";
+    readonly target?: string;
+    readonly __targetCollection?: string;
+    readonly foreignKey?: string;
+};
+type CollectionConfig = {
+    readonly schema: Schema.Schema<HasId, unknown>;
+    readonly relationships: Record<string, RelationshipConfig>;
+};
+type DatabaseConfig = Record<string, CollectionConfig>;
+/**
+ * Update a single entity with relationship support.
+ *
+ * Steps:
+ * 1. Strip computed field keys from input (they are derived, not stored)
+ * 2. Look up existing entity by ID
+ * 3. Parse relationship operations from input
+ * 4. Extract base entity updates (non-relationship fields)
+ * 5. Process $disconnect: set FK to null (ref) or update inverse entities
+ * 6. Process $connect: set FK (ref) or update inverse entity FKs
+ * 7. Process $update: update related entities in target collections
+ * 8. Process $delete: disconnect specific inverse entities
+ * 9. Process $set: replace all inverse relationships
+ * 10. Merge base updates, validate, and update the entity
+ */
+export declare const updateWithRelationships: <T extends HasId, I = T>(collectionName: string, schema: Schema.Schema<T, I>, relationships: Record<string, RelationshipConfig>, ref: Ref.Ref<ReadonlyMap<string, T>>, stateRefs: Record<string, Ref.Ref<ReadonlyMap<string, HasId>>>, dbConfig: DatabaseConfig, computed?: ComputedFieldsConfig<unknown>, changePubSub?: PubSub.PubSub<ChangeEvent>) => (id: string, input: UpdateWithRelationshipsInput<T, Record<string, RelationshipDef>>) => Effect.Effect<T, ValidationError | NotFoundError | ForeignKeyError | OperationError>;
+export {};
+//# sourceMappingURL=update-with-relationships.d.ts.map

package/dist/operations/crud/update-with-relationships.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"update-with-relationships.d.ts","sourceRoot":"","sources":["../../../src/operations/crud/update-with-relationships.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC1D,OAAO,EACN,eAAe,EACf,aAAa,EACb,KAAK,cAAc,EACnB,eAAe,EACf,MAAM,6BAA6B,CAAC;AACrC,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AAC1E,OAAO,KAAK,EAIX,4BAA4B,EAC5B,MAAM,wCAAwC,CAAC;AAGhD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAC;AACjE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAQ5D,KAAK,KAAK,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC;AAErC,KAAK,kBAAkB,GAAG;IACzB,QAAQ,CAAC,IAAI,EAAE,KAAK,GAAG,SAAS,CAAC;IACjC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,kBAAkB,CAAC,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC7B,CAAC;AAEF,KAAK,gBAAgB,GAAG;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC/C,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;CAC3D,CAAC;AAEF,KAAK,cAAc,GAAG,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;AA0avD;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,uBAAuB,GAClC,CAAC,SAAS,KAAK,EAAE,CAAC,GAAG,CAAC,EACtB,gBAAgB,MAAM,EACtB,QAAQ,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAC3B,eAAe,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,EACjD,KAAK,GAAG,CAAC,GAAG,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EACpC,WAAW,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,EAC9D,UAAU,cAAc,EACxB,WAAW,oBAAoB,CAAC,OAAO,CAAC,EACxC,eAAe,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,MAGzC,IAAI,MAAM,EACV,OAAO,4BAA4B,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC,KACrE,MAAM,CAAC,MAAM,CACf,CAAC,EACD,eAAe,GAAG,aAAa,GAAG,eAAe,GAAG,cAAc,CAqThE,CAAC"}