@proseql/core 0.1.0

package/dist/operations/crud/create.js

@@ -0,0 +1,333 @@
+/**
+ * Effect-based create operations for entities.
+ *
+ * Uses Ref<ReadonlyMap> for atomic state mutation, Effect Schema for validation,
+ * and typed errors (ValidationError, DuplicateKeyError, ForeignKeyError).
+ */
+import { Effect, PubSub, Ref } from "effect";
+import { DuplicateKeyError, } from "../../errors/crud-errors.js";
+import { runAfterCreateHooks, runBeforeCreateHooks, runOnChangeHooks, } from "../../hooks/hook-runner.js";
+import { addManyToIndex, addToIndex } from "../../indexes/index-manager.js";
+import { addToSearchIndex } from "../../indexes/search-index.js";
+import { generateId } from "../../utils/id-generator.js";
+import { validateForeignKeysEffect } from "../../validators/foreign-key.js";
+import { validateEntity } from "../../validators/schema-validator.js";
+import { addEntityToBatchIndex, checkEntityUniqueConstraints, checkUniqueConstraints, } from "./unique-check.js";
+// ============================================================================
+// Create Single Entity
+// ============================================================================
+/**
+ * Strip computed field keys from an input object.
+ * Used to remove computed field names from create/update input before schema validation.
+ *
+ * @param input - The input object (possibly with computed field keys)
+ * @param computed - The computed fields configuration that defines which keys to strip
+ * @returns A new object with computed field keys removed
+ */
+const stripComputedFromInput = (input, computed) => {
+    if (computed === undefined || Object.keys(computed).length === 0) {
+        return input;
+    }
+    const computedKeys = new Set(Object.keys(computed));
+    const result = {};
+    for (const key of Object.keys(input)) {
+        if (!computedKeys.has(key)) {
+            result[key] = input[key];
+        }
+    }
+    return result;
+};
+/**
+ * Create a single entity with validation, hooks, and foreign key checks.
+ *
+ * Steps:
+ * 1. Strip computed field keys from input (they are derived, not stored)
+ * 2. Generate ID if not provided, add timestamps
+ * 3. Validate through Effect Schema
+ * 4. Run beforeCreate hooks (can transform entity)
+ * 5. Check for duplicate ID in Ref state
+ * 6. Validate foreign key constraints
+ * 7. Atomically add to Ref state
+ * 8. Update indexes if provided
+ */
+export const create = (collectionName, schema, relationships, ref, stateRefs, indexes, hooks, uniqueFields = [], computed, searchIndexRef, searchIndexFields, idGeneratorName, idGeneratorMap, changePubSub) => (input) => Effect.gen(function* () {
+    // Strip computed field keys from input (they are derived, not stored)
+    const sanitizedInput = stripComputedFromInput(input, computed);
+    // Determine which ID generator to use:
+    // 1. If input has an id, use it
+    // 2. If collection specifies idGenerator and it exists in the map, use the plugin generator
+    // 3. Otherwise, use the default generateId
+    const inputId = sanitizedInput.id;
+    let id;
+    if (inputId) {
+        id = inputId;
+    }
+    else if (idGeneratorName && idGeneratorMap?.has(idGeneratorName)) {
+        const generator = idGeneratorMap.get(idGeneratorName);
+        id = generator ? generator.generate() : generateId();
+    }
+    else {
+        id = generateId();
+    }
+    const now = new Date().toISOString();
+    // Build raw entity object for schema validation
+    const raw = {
+        ...sanitizedInput,
+        id,
+        createdAt: now,
+        updatedAt: now,
+    };
+    // Validate through Effect Schema
+    const validated = yield* validateEntity(schema, raw);
+    // Run beforeCreate hooks (can transform the entity)
+    const entity = yield* runBeforeCreateHooks(hooks?.beforeCreate, {
+        operation: "create",
+        collection: collectionName,
+        data: validated,
+    });
+    // Check for duplicate ID atomically
+    const currentMap = yield* Ref.get(ref);
+    if (currentMap.has(id)) {
+        return yield* Effect.fail(new DuplicateKeyError({
+            collection: collectionName,
+            field: "id",
+            value: id,
+            existingId: id,
+            message: `Duplicate value for field 'id': "${id}"`,
+        }));
+    }
+    // Check unique constraints
+    yield* checkUniqueConstraints(entity, currentMap, uniqueFields, collectionName);
+    // Validate foreign keys
+    yield* validateForeignKeysEffect(entity, collectionName, relationships, stateRefs);
+    // Atomically add to state
+    yield* Ref.update(ref, (map) => {
+        const next = new Map(map);
+        next.set(id, entity);
+        return next;
+    });
+    // Update indexes if provided
+    if (indexes && indexes.size > 0) {
+        yield* addToIndex(indexes, entity);
+    }
+    // Update search index if configured
+    if (searchIndexRef && searchIndexFields && searchIndexFields.length > 0) {
+        yield* addToSearchIndex(searchIndexRef, entity, searchIndexFields);
+    }
+    // Run afterCreate hooks (fire-and-forget, errors swallowed)
+    yield* runAfterCreateHooks(hooks?.afterCreate, {
+        operation: "create",
+        collection: collectionName,
+        entity,
+    });
+    // Run onChange hooks with type: "create" (fire-and-forget, errors swallowed)
+    yield* runOnChangeHooks(hooks?.onChange, {
+        type: "create",
+        collection: collectionName,
+        entity,
+    });
+    // Publish change event to reactive subscribers
+    if (changePubSub) {
+        yield* PubSub.publish(changePubSub, {
+            collection: collectionName,
+            operation: "create",
+        });
+    }
+    return entity;
+});
+// ============================================================================
+// Create Multiple Entities
+// ============================================================================
+/**
+ * Create multiple entities with batch validation, hooks, and optional duplicate skipping.
+ *
+ * When `skipDuplicates` is true, entities that fail validation, have duplicate IDs,
+ * or have a HookError are skipped and reported in the result. Otherwise, the first error
+ * stops the operation.
+ */
+export const createMany = (collectionName, schema, relationships, ref, stateRefs, indexes, hooks, uniqueFields = [], computed, searchIndexRef, searchIndexFields, idGeneratorName, idGeneratorMap, changePubSub) => (inputs, options) => Effect.gen(function* () {
+    const created = [];
+    const skipped = [];
+    const now = new Date().toISOString();
+    const skipOnError = options?.skipDuplicates === true;
+    // Get current state once for duplicate checking
+    const currentMap = yield* Ref.get(ref);
+    const existingIds = new Set(currentMap.keys());
+    // Track IDs we're adding in this batch
+    const batchIds = new Set();
+    // Phase 1: Validate all entities and run beforeCreate hooks
+    const validEntities = [];
+    for (const input of inputs) {
+        // Strip computed field keys from input (they are derived, not stored)
+        const sanitizedInput = stripComputedFromInput(input, computed);
+        // Determine which ID generator to use for this entity:
+        // 1. If input has an id, use it
+        // 2. If collection specifies idGenerator and it exists in the map, use the plugin generator
+        // 3. Otherwise, use the default generateId
+        const inputId = sanitizedInput.id;
+        let id;
+        if (inputId) {
+            id = inputId;
+        }
+        else if (idGeneratorName && idGeneratorMap?.has(idGeneratorName)) {
+            const generator = idGeneratorMap.get(idGeneratorName);
+            id = generator ? generator.generate() : generateId();
+        }
+        else {
+            id = generateId();
+        }
+        // Check for duplicate ID
+        if (existingIds.has(id) || batchIds.has(id)) {
+            if (skipOnError) {
+                skipped.push({
+                    data: { ...sanitizedInput, id },
+                    reason: `Duplicate ID: ${id}`,
+                });
+                continue;
+            }
+            return yield* Effect.fail(new DuplicateKeyError({
+                collection: collectionName,
+                field: "id",
+                value: id,
+                existingId: id,
+                message: `Duplicate value for field 'id': "${id}"`,
+            }));
+        }
+        const raw = { ...sanitizedInput, id, createdAt: now, updatedAt: now };
+        // Validate through schema
+        const validationResult = yield* validateEntity(schema, raw).pipe(Effect.map((validated) => ({ _tag: "ok", validated })), Effect.catchTag("ValidationError", (err) => skipOnError
+            ? Effect.succeed({ _tag: "skipped", error: err })
+            : Effect.fail(err)));
+        if (validationResult._tag === "skipped") {
+            skipped.push({
+                data: { ...sanitizedInput, id },
+                reason: `Validation failed: ${validationResult.error.issues[0]?.message ?? "unknown"}`,
+            });
+            continue;
+        }
+        const validated = validationResult.validated;
+        // Run beforeCreate hooks (can transform or reject the entity)
+        const hookResult = yield* runBeforeCreateHooks(hooks?.beforeCreate, {
+            operation: "create",
+            collection: collectionName,
+            data: validated,
+        }).pipe(Effect.map((entity) => ({ _tag: "ok", entity })), Effect.catchTag("HookError", (err) => skipOnError
+            ? Effect.succeed({ _tag: "skipped", error: err })
+            : Effect.fail(err)));
+        if (hookResult._tag === "skipped") {
+            skipped.push({
+                data: { ...sanitizedInput, id },
+                reason: `Hook rejected: ${hookResult.error.message}`,
+            });
+            continue;
+        }
+        batchIds.add(id);
+        validEntities.push(hookResult.entity);
+    }
+    // Phase 2: Check unique constraints (with per-entity skipDuplicates handling)
+    // We check incrementally to support skipDuplicates for unique violations
+    const uniquePassedEntities = [];
+    // Track constraint values we've seen in this batch for inter-batch conflict detection
+    // Key: constraintName + ":" + serialized values, Value: entity id
+    const batchConstraintIndex = new Map();
+    for (const entity of validEntities) {
+        const entityRecord = entity;
+        // Check this entity against existing map and batch index
+        const uniqueResult = yield* checkEntityUniqueConstraints(entity, entityRecord, currentMap, uniqueFields, collectionName, batchConstraintIndex).pipe(Effect.map(() => ({ _tag: "ok" })), Effect.catchTag("UniqueConstraintError", (err) => skipOnError
+            ? Effect.succeed({ _tag: "skipped", error: err })
+            : Effect.fail(err)));
+        if (uniqueResult._tag === "skipped") {
+            skipped.push({
+                data: entity,
+                reason: `Unique constraint violation: ${uniqueResult.error.message}`,
+            });
+            continue;
+        }
+        // Add this entity to the batch constraint index for subsequent checks
+        addEntityToBatchIndex(entity, entityRecord, uniqueFields, batchConstraintIndex);
+        uniquePassedEntities.push(entity);
+    }
+    // Phase 3: Validate foreign keys if requested
+    if (options?.validateRelationships !== false) {
+        const finalEntities = [];
+        for (let i = 0; i < uniquePassedEntities.length; i++) {
+            const entity = uniquePassedEntities[i];
+            if (!entity)
+                continue;
+            const fkResult = yield* validateForeignKeysEffect(entity, collectionName, relationships, stateRefs).pipe(Effect.map(() => ({ _tag: "ok" })), Effect.catchTag("ForeignKeyError", (err) => skipOnError
+                ? Effect.succeed({ _tag: "skipped", error: err })
+                : Effect.fail(err)));
+            if (fkResult._tag === "skipped") {
+                skipped.push({
+                    data: entity,
+                    reason: `Foreign key violation: ${fkResult.error.message}`,
+                });
+            }
+            else {
+                finalEntities.push(entity);
+                created.push(entity);
+            }
+        }
+        // Atomically add all valid entities to state
+        if (finalEntities.length > 0) {
+            yield* Ref.update(ref, (map) => {
+                const next = new Map(map);
+                for (const entity of finalEntities) {
+                    next.set(entity.id, entity);
+                }
+                return next;
+            });
+        }
+    }
+    else {
+        // No FK validation, add all unique-passed entities
+        created.push(...uniquePassedEntities);
+        if (uniquePassedEntities.length > 0) {
+            yield* Ref.update(ref, (map) => {
+                const next = new Map(map);
+                for (const entity of uniquePassedEntities) {
+                    next.set(entity.id, entity);
+                }
+                return next;
+            });
+        }
+    }
+    // Update indexes for all created entities using batch operation
+    if (indexes && indexes.size > 0 && created.length > 0) {
+        yield* addManyToIndex(indexes, created);
+    }
+    // Update search index for all created entities
+    if (searchIndexRef &&
+        searchIndexFields &&
+        searchIndexFields.length > 0 &&
+        created.length > 0) {
+        for (const entity of created) {
+            yield* addToSearchIndex(searchIndexRef, entity, searchIndexFields);
+        }
+    }
+    // Phase 3: Run afterCreate and onChange hooks for each created entity
+    for (const entity of created) {
+        yield* runAfterCreateHooks(hooks?.afterCreate, {
+            operation: "create",
+            collection: collectionName,
+            entity,
+        });
+        yield* runOnChangeHooks(hooks?.onChange, {
+            type: "create",
+            collection: collectionName,
+            entity,
+        });
+    }
+    // Publish a single change event after all entities are inserted
+    if (changePubSub && created.length > 0) {
+        yield* PubSub.publish(changePubSub, {
+            collection: collectionName,
+            operation: "create",
+        });
+    }
+    return {
+        created,
+        ...(skipped.length > 0 ? { skipped } : {}),
+    };
+});
+//# sourceMappingURL=create.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"create.js","sourceRoot":"","sources":["../../../src/operations/crud/create.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAe,MAAM,QAAQ,CAAC;AAC1D,OAAO,EACN,iBAAiB,GAKjB,MAAM,6BAA6B,CAAC;AACrC,OAAO,EACN,mBAAmB,EACnB,oBAAoB,EACpB,gBAAgB,GAChB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AAYjE,OAAO,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAC;AACzD,OAAO,EAAE,yBAAyB,EAAE,MAAM,iCAAiC,CAAC;AAC5E,OAAO,EAAE,cAAc,EAAE,MAAM,sCAAsC,CAAC;AACtE,OAAO,EACN,qBAAqB,EACrB,4BAA4B,EAC5B,sBAAsB,GAEtB,MAAM,mBAAmB,CAAC;AAc3B,+EAA+E;AAC/E,uBAAuB;AACvB,+EAA+E;AAE/E;;;;;;;GAOG;AACH,MAAM,sBAAsB,GAAG,CAC9B,KAAQ,EACR,QAAmD,EAC/C,EAAE;IACN,IAAI,QAAQ,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClE,OAAO,KAAK,CAAC;IACd,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;IACpD,MAAM,MAAM,GAA4B,EAAE,CAAC;IAE3C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAgC,CAAC,EAAE,CAAC;QACjE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5B,MAAM,CAAC,GAAG,CAAC,GAAI,KAAiC,CAAC,GAAG,CAAC,CAAC;QACvD,CAAC;IACF,CAAC;IAED,OAAO,MAAW,CAAC;AACpB,CAAC,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,MAAM,GAClB,CACC,cAAsB,EACtB,MAA2B,EAC3B,aAAiD,EACjD,GAAoC,EACpC,SAA8D,EAC9D,OAA2B,EAC3B,KAAsB,EACtB,eAAsC,EAAE,EACxC,QAAwC,EACxC,cAAwC,EACxC,iBAAyC,EACzC,eAAwB,EACxB,cAA+C,EAC/C,YAAyC,EACxC,EAAE,CACJ,CACC,KAAqB,EAQpB,EAAE,CACH,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IACnB,sEAAsE;IACtE,MAAM,cAAc,GAAG,sBAAsB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAE/D,uCAAuC;IACvC,gCAAgC;IAChC,4FAA4F;IAC5F,2CAA2C;IAC3C,MAAM,OAAO,GAAI,cAA0C,CAAC,EAEhD,CAAC;IACb,IAAI,EAAU,CAAC;IACf,IAAI,OAAO,EAAE,CAAC;QACb,EAAE,GAAG,OAAO,CAAC;IACd,CAAC;SAAM,IAAI,eAAe,IAAI,cAAc,EAAE,GAAG,CAAC,eAAe,CAAC,EAAE,CAAC;QACpE,MAAM,SAAS,GAAG,cAAc,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;QACtD,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC;IACtD,CAAC;SAAM,CAAC;QACP,EAAE,GAAG,UAAU,EAAE,CAAC;IACnB,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAErC,gDAAgD;IAChD,MAAM,GAAG,GAAG;QACX,GAAG,cAAc;QACjB,EAAE;QACF,SAAS,EAAE,GAAG;QACd,SAAS,EAAE,GAAG;KACd,CAAC;IAEF,iCAAiC;IACjC,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,cAAc,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAErD,oDAAoD;IACpD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,oBAAoB,CAAC,KAAK,EAAE,YAAY,EAAE;QAC/D,SAAS,EAAE,QAAQ;QACnB,UAAU,EAAE,cAAc;QAC1B,IAAI,EAAE,SAAS;KACf,CAAC,CAAC;IAEH,oCAAoC;IACpC,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACvC,IAAI,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;QACxB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACxB,IAAI,iBAAiB,CAAC;YACrB,UAAU,EAAE,cAAc;YAC1B,KAAK,EAAE,IAAI;YACX,KAAK,EAAE,EAAE;YACT,UAAU,EAAE,EAAE;YACd,OAAO,EAAE,oCAAoC,EAAE,GAAG;SAClD,CAAC,CACF,CAAC;IACH,CAAC;IAED,2BAA2B;IAC3B,KAAK,CAAC,CAAC,sBAAsB,CAC5B,MAAM,EACN,UAAU,EACV,YAAY,EACZ,cAAc,CACd,CAAC;IAEF,wBAAwB;IACxB,KAAK,CAAC,CAAC,yBAAyB,CAC/B,MAAM,EACN,cAAc,EACd,aAAa,EACb,SAAS,CACT,CAAC;IAEF,0BAA0B;IAC1B,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,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACrB,OAAO,IAAI,CAAC;IACb,CAAC,CAAC,CAAC;IAEH,6BAA6B;IAC7B,IAAI,OAAO,IAAI,OAAO,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACjC,KAAK,CAAC,CAAC,UAAU,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACpC,CAAC;IAED,oCAAoC;IACpC,IAAI,cAAc,IAAI,iBAAiB,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzE,KAAK,CAAC,CAAC,gBAAgB,CAAC,cAAc,EAAE,MAAM,EAAE,iBAAiB,CAAC,CAAC;IACpE,CAAC;IAED,4DAA4D;IAC5D,KAAK,CAAC,CAAC,mBAAmB,CAAC,KAAK,EAAE,WAAW,EAAE;QAC9C,SAAS,EAAE,QAAQ;QACnB,UAAU,EAAE,cAAc;QAC1B,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,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;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,UAAU,GACtB,CACC,cAAsB,EACtB,MAA2B,EAC3B,aAAiD,EACjD,GAAoC,EACpC,SAA8D,EAC9D,OAA2B,EAC3B,KAAsB,EACtB,eAAsC,EAAE,EACxC,QAAwC,EACxC,cAAwC,EACxC,iBAAyC,EACzC,eAAwB,EACxB,cAA+C,EAC/C,YAAyC,EACxC,EAAE,CACJ,CACC,MAAqC,EACrC,OAA2B,EAQ1B,EAAE,CACH,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IACnB,MAAM,OAAO,GAAQ,EAAE,CAAC;IACxB,MAAM,OAAO,GAAgD,EAAE,CAAC;IAChE,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IACrC,MAAM,WAAW,GAAG,OAAO,EAAE,cAAc,KAAK,IAAI,CAAC;IAErD,gDAAgD;IAChD,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACvC,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;IAC/C,uCAAuC;IACvC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IAEnC,4DAA4D;IAC5D,MAAM,aAAa,GAAQ,EAAE,CAAC;IAE9B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC5B,sEAAsE;QACtE,MAAM,cAAc,GAAG,sBAAsB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QAE/D,uDAAuD;QACvD,gCAAgC;QAChC,4FAA4F;QAC5F,2CAA2C;QAC3C,MAAM,OAAO,GAAI,cAA0C,CAAC,EAEhD,CAAC;QACb,IAAI,EAAU,CAAC;QACf,IAAI,OAAO,EAAE,CAAC;YACb,EAAE,GAAG,OAAO,CAAC;QACd,CAAC;aAAM,IAAI,eAAe,IAAI,cAAc,EAAE,GAAG,CAAC,eAAe,CAAC,EAAE,CAAC;YACpE,MAAM,SAAS,GAAG,cAAc,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;YACtD,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC;QACtD,CAAC;aAAM,CAAC;YACP,EAAE,GAAG,UAAU,EAAE,CAAC;QACnB,CAAC;QAED,yBAAyB;QACzB,IAAI,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YAC7C,IAAI,WAAW,EAAE,CAAC;gBACjB,OAAO,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,EAAE,GAAG,cAAc,EAAE,EAAE,EAAgB;oBAC7C,MAAM,EAAE,iBAAiB,EAAE,EAAE;iBAC7B,CAAC,CAAC;gBACH,SAAS;YACV,CAAC;YACD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACxB,IAAI,iBAAiB,CAAC;gBACrB,UAAU,EAAE,cAAc;gBAC1B,KAAK,EAAE,IAAI;gBACX,KAAK,EAAE,EAAE;gBACT,UAAU,EAAE,EAAE;gBACd,OAAO,EAAE,oCAAoC,EAAE,GAAG;aAClD,CAAC,CACF,CAAC;QACH,CAAC;QAED,MAAM,GAAG,GAAG,EAAE,GAAG,cAAc,EAAE,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC;QAEtE,0BAA0B;QAC1B,MAAM,gBAAgB,GAAG,KAAK,CAAC,CAAC,cAAc,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,CAC/D,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAa,EAAE,SAAS,EAAE,CAAC,CAAC,EAC/D,MAAM,CAAC,QAAQ,CAAC,iBAAiB,EAAE,CAAC,GAAG,EAAE,EAAE,CAC1C,WAAW;YACV,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,SAAkB,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;YAC1D,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CACnB,CACD,CAAC;QAEF,IAAI,gBAAgB,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACzC,OAAO,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,EAAE,GAAG,cAAc,EAAE,EAAE,EAAgB;gBAC7C,MAAM,EAAE,sBAAsB,gBAAgB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,IAAI,SAAS,EAAE;aACtF,CAAC,CAAC;YACH,SAAS;QACV,CAAC;QAED,MAAM,SAAS,GAAG,gBAAgB,CAAC,SAAS,CAAC;QAE7C,8DAA8D;QAC9D,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,oBAAoB,CAAC,KAAK,EAAE,YAAY,EAAE;YACnE,SAAS,EAAE,QAAQ;YACnB,UAAU,EAAE,cAAc;YAC1B,IAAI,EAAE,SAAS;SACf,CAAC,CAAC,IAAI,CACN,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAa,EAAE,MAAM,EAAE,CAAC,CAAC,EACzD,MAAM,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC,GAAG,EAAE,EAAE,CACpC,WAAW;YACV,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,SAAkB,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;YAC1D,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CACnB,CACD,CAAC;QAEF,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACnC,OAAO,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,EAAE,GAAG,cAAc,EAAE,EAAE,EAAgB;gBAC7C,MAAM,EAAE,kBAAkB,UAAU,CAAC,KAAK,CAAC,OAAO,EAAE;aACpD,CAAC,CAAC;YACH,SAAS;QACV,CAAC;QAED,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACjB,aAAa,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IACvC,CAAC;IAED,8EAA8E;IAC9E,yEAAyE;IACzE,MAAM,oBAAoB,GAAQ,EAAE,CAAC;IACrC,sFAAsF;IACtF,kEAAkE;IAClE,MAAM,oBAAoB,GAAG,IAAI,GAAG,EAAkB,CAAC;IAEvD,KAAK,MAAM,MAAM,IAAI,aAAa,EAAE,CAAC;QACpC,MAAM,YAAY,GAAG,MAAiC,CAAC;QAEvD,yDAAyD;QACzD,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,4BAA4B,CACvD,MAAM,EACN,YAAY,EACZ,UAAU,EACV,YAAY,EACZ,cAAc,EACd,oBAAoB,CACpB,CAAC,IAAI,CACL,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAa,EAAE,CAAC,CAAC,EAC3C,MAAM,CAAC,QAAQ,CAAC,uBAAuB,EAAE,CAAC,GAAG,EAAE,EAAE,CAChD,WAAW;YACV,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,SAAkB,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;YAC1D,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CACnB,CACD,CAAC;QAEF,IAAI,YAAY,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACrC,OAAO,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,MAAoB;gBAC1B,MAAM,EAAE,gCAAgC,YAAY,CAAC,KAAK,CAAC,OAAO,EAAE;aACpE,CAAC,CAAC;YACH,SAAS;QACV,CAAC;QAED,sEAAsE;QACtE,qBAAqB,CACpB,MAAM,EACN,YAAY,EACZ,YAAY,EACZ,oBAAoB,CACpB,CAAC;QACF,oBAAoB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACnC,CAAC;IAED,8CAA8C;IAC9C,IAAI,OAAO,EAAE,qBAAqB,KAAK,KAAK,EAAE,CAAC;QAC9C,MAAM,aAAa,GAAQ,EAAE,CAAC;QAE9B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,oBAAoB,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtD,MAAM,MAAM,GAAG,oBAAoB,CAAC,CAAC,CAAC,CAAC;YACvC,IAAI,CAAC,MAAM;gBAAE,SAAS;YACtB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,yBAAyB,CAChD,MAAM,EACN,cAAc,EACd,aAAa,EACb,SAAS,CACT,CAAC,IAAI,CACL,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAa,EAAE,CAAC,CAAC,EAC3C,MAAM,CAAC,QAAQ,CAAC,iBAAiB,EAAE,CAAC,GAAG,EAAE,EAAE,CAC1C,WAAW;gBACV,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,SAAkB,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;gBAC1D,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CACnB,CACD,CAAC;YAEF,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACjC,OAAO,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,MAAoB;oBAC1B,MAAM,EAAE,0BAA0B,QAAQ,CAAC,KAAK,CAAC,OAAO,EAAE;iBAC1D,CAAC,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACP,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBAC3B,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACtB,CAAC;QACF,CAAC;QAED,6CAA6C;QAC7C,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9B,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE;gBAC9B,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC1B,KAAK,MAAM,MAAM,IAAI,aAAa,EAAE,CAAC;oBACpC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;gBAC7B,CAAC;gBACD,OAAO,IAAI,CAAC;YACb,CAAC,CAAC,CAAC;QACJ,CAAC;IACF,CAAC;SAAM,CAAC;QACP,mDAAmD;QACnD,OAAO,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC,CAAC;QACtC,IAAI,oBAAoB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrC,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE;gBAC9B,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC1B,KAAK,MAAM,MAAM,IAAI,oBAAoB,EAAE,CAAC;oBAC3C,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;gBAC7B,CAAC;gBACD,OAAO,IAAI,CAAC;YACb,CAAC,CAAC,CAAC;QACJ,CAAC;IACF,CAAC;IAED,gEAAgE;IAChE,IAAI,OAAO,IAAI,OAAO,CAAC,IAAI,GAAG,CAAC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvD,KAAK,CAAC,CAAC,cAAc,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACzC,CAAC;IAED,+CAA+C;IAC/C,IACC,cAAc;QACd,iBAAiB;QACjB,iBAAiB,CAAC,MAAM,GAAG,CAAC;QAC5B,OAAO,CAAC,MAAM,GAAG,CAAC,EACjB,CAAC;QACF,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC9B,KAAK,CAAC,CAAC,gBAAgB,CAAC,cAAc,EAAE,MAAM,EAAE,iBAAiB,CAAC,CAAC;QACpE,CAAC;IACF,CAAC;IAED,sEAAsE;IACtE,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC9B,KAAK,CAAC,CAAC,mBAAmB,CAAC,KAAK,EAAE,WAAW,EAAE;YAC9C,SAAS,EAAE,QAAQ;YACnB,UAAU,EAAE,cAAc;YAC1B,MAAM;SACN,CAAC,CAAC;QAEH,KAAK,CAAC,CAAC,gBAAgB,CAAC,KAAK,EAAE,QAAQ,EAAE;YACxC,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE,cAAc;YAC1B,MAAM;SACN,CAAC,CAAC;IACJ,CAAC;IAED,gEAAgE;IAChE,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;QACN,OAAO;QACP,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACnB,CAAC;AAC1B,CAAC,CAAC,CAAC"}

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

@@ -0,0 +1,63 @@
+/**
+ * Effect-based delete operations with relationship cascade support.
+ *
+ * Uses Ref<ReadonlyMap> for atomic state mutation and typed errors.
+ * Supports cascade, restrict, set_null, cascade_soft, and preserve
+ * cascade options for relationship handling during deletion.
+ */
+import { Effect, PubSub, Ref } from "effect";
+import { NotFoundError, type OperationError, ValidationError } from "../../errors/crud-errors.js";
+import type { DeleteWithRelationshipsOptions, DeleteWithRelationshipsResult } 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: unknown;
+    readonly relationships: Record<string, RelationshipConfig>;
+};
+type DatabaseConfig = Record<string, CollectionConfig>;
+type CascadeResult = {
+    readonly [collection: string]: {
+        readonly count: number;
+        readonly ids: ReadonlyArray<string>;
+    };
+};
+/**
+ * Delete a single entity with relationship cascade support.
+ *
+ * Steps:
+ * 1. Look up entity by ID in Ref state (O(1))
+ * 2. Process relationship cascades (restrict, cascade, set_null, etc.)
+ * 3. Fail if any restrict violations exist
+ * 4. Perform the delete (soft or hard)
+ * 5. Return deleted entity with cascade information
+ */
+export declare const deleteWithRelationships: <T extends HasId>(collectionName: string, relationships: Record<string, RelationshipConfig>, ref: Ref.Ref<ReadonlyMap<string, T>>, stateRefs: Record<string, Ref.Ref<ReadonlyMap<string, HasId>>>, dbConfig: DatabaseConfig, changePubSub?: PubSub.PubSub<ChangeEvent>) => (id: string, options?: DeleteWithRelationshipsOptions<T, Record<string, RelationshipDef>>) => Effect.Effect<DeleteWithRelationshipsResult<T>, NotFoundError | ValidationError | OperationError>;
+/**
+ * Delete multiple entities matching a predicate with relationship cascade support.
+ *
+ * Steps:
+ * 1. Find all matching entities using predicate
+ * 2. Apply limit if specified
+ * 3. Check all restrict violations first (fail-fast)
+ * 4. Process cascade operations for all entities
+ * 5. Perform the deletes (soft or hard)
+ * 6. Return count, deleted entities, and cascade information
+ */
+export declare const deleteManyWithRelationships: <T extends HasId>(collectionName: string, relationships: Record<string, RelationshipConfig>, ref: Ref.Ref<ReadonlyMap<string, T>>, stateRefs: Record<string, Ref.Ref<ReadonlyMap<string, HasId>>>, dbConfig: DatabaseConfig, changePubSub?: PubSub.PubSub<ChangeEvent>) => (predicate: (entity: T) => boolean, options?: DeleteWithRelationshipsOptions<T, Record<string, RelationshipDef>> & {
+    readonly limit?: number;
+}) => Effect.Effect<{
+    readonly count: number;
+    readonly deleted: ReadonlyArray<T>;
+    readonly cascaded?: CascadeResult;
+}, ValidationError | OperationError>;
+export {};
+//# sourceMappingURL=delete-with-relationships.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"delete-with-relationships.d.ts","sourceRoot":"","sources":["../../../src/operations/crud/delete-with-relationships.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,QAAQ,CAAC;AAC7C,OAAO,EACN,aAAa,EACb,KAAK,cAAc,EACnB,eAAe,EACf,MAAM,6BAA6B,CAAC;AACrC,OAAO,KAAK,EAEX,8BAA8B,EAC9B,6BAA6B,EAE7B,MAAM,wCAAwC,CAAC;AAChD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAC;AACjE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAM5D,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,OAAO,CAAC;IACzB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;CAC3D,CAAC;AAEF,KAAK,cAAc,GAAG,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;AAEvD,KAAK,aAAa,GAAG;IACpB,QAAQ,EAAE,UAAU,EAAE,MAAM,GAAG;QAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;KACpC,CAAC;CACF,CAAC;AAyPF;;;;;;;;;GASG;AACH,eAAO,MAAM,uBAAuB,GAClC,CAAC,SAAS,KAAK,EACf,gBAAgB,MAAM,EACtB,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,eAAe,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,MAGzC,IAAI,MAAM,EACV,UAAU,8BAA8B,CACvC,CAAC,EACD,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAC/B,KACC,MAAM,CAAC,MAAM,CACf,6BAA6B,CAAC,CAAC,CAAC,EAChC,aAAa,GAAG,eAAe,GAAG,cAAc,CAmF9C,CAAC;AAML;;;;;;;;;;GAUG;AACH,eAAO,MAAM,2BAA2B,GACtC,CAAC,SAAS,KAAK,EACf,gBAAgB,MAAM,EACtB,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,eAAe,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,MAGzC,WAAW,CAAC,MAAM,EAAE,CAAC,KAAK,OAAO,EACjC,UAAU,8BAA8B,CACvC,CAAC,EACD,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAC/B,GAAG;IAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,KAC7B,MAAM,CAAC,MAAM,CACf;IACC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC;IACnC,QAAQ,CAAC,QAAQ,CAAC,EAAE,aAAa,CAAC;CAClC,EACD,eAAe,GAAG,cAAc,CAgM9B,CAAC"}