@omegup/msync 0.1.8 → 0.1.9

package/index.d.ts

@@ -106,13 +106,15 @@ type Stream<out Q extends O, in out T extends Q, in out F extends HKT<[O, O]>, i
 type TS = {
     readonly touchedAt: Timestamp;
 };
-type DDel = {
+type IsDeleted = {
     readonly deletedAt: Timestamp;
-} & ID & TS;
+};
+type DDel = IsDeleted & ID & TS;
 type Del = O<DDel>;
-type D = O<{
+type DeletedAt = {
     readonly deletedAt?: Timestamp | null | undefined;
-} & ID>;
+};
+type D = O<DeletedAt & ID>;
 type Model = D & TS;
 type BA = 'before' | 'after';
 type PreDelta<T, K extends BA = BA, E = unknown> = Rec<K, T> & E;
@@ -431,7 +433,7 @@ type MergeArgs<T extends O, Out extends O, Ctx, In extends O> = {
     stages: true;
     into: RWCollection<In, Out>;
     whenMatched: RawStages<unknown, Out, In, {
-        new: In;
+        new: T;
     }>;
 } | {
     stages: 'ctx';
@@ -503,11 +505,19 @@ type ND$1 = {
     readonly deletedAt?: null;
 };
 type SafeE$1<E> = Omit<E, `$${string}` | keyof ID>;
-declare const $mergeId: <V extends O>() => <SourcePart extends doc, Out extends doc, E = unknown, EEE extends RORec<string, rawItem> = {}>(out: RWCollection<Out | Replace<Out, Patch<V>>, Out>, keys: ExprsExact<TakeDoc<V, unknown>, SourcePart>, id: Expr<string, OutInputE<TakeDoc<V>, E, null>>, ext: Exact<Omit<SafeE$1<EEE>, keyof (ND$1 & TS)>, IdHKT>, whenNotMatched: "fail" | "discard") => StreamRunnerParam<OutInputE<SourcePart, E>, "out">;
-declare const $simpleMergePart: <V extends O>() => <Source extends doc, Out extends doc, EEE extends RORec<string, rawItem>>(out: RWCollection<Out | Replace<Out, Patch<V>>, Out>, keys: ExprsExact<TakeDoc<V, unknown>, Source>, whenNotMatched: "fail" | "discard", ext: Exact<Omit<SafeE$1<EEE>, keyof (ND$1 & TS)>, IdHKT>) => StreamRunnerParam<Source, "out">;
-declare const $simpleMerge: <V extends O>() => <Source extends doc, Out extends doc>(out: RWCollection<Out | Replace<Out, Patch<V>>, Out>, keys: ExprsExact<TakeDoc<V, unknown>, Source>, whenNotMatched?: "fail" | "discard") => StreamRunnerParam<Source, "out">;
-declare const $mergePart: <V extends O>() => <Out extends doc, SourcePart extends doc, EEE extends RORec<string, rawItem>>(out: RWCollection<Out | Replace<Out, Patch<V>>, Out>, keys: ExprsExact<TakeDoc<V, unknown>, SourcePart>, ext: Exact<Omit<SafeE$1<EEE>, keyof (ND$1 & TS)>, IdHKT>, whenNotMatched?: "fail" | "discard") => StreamRunnerParam<Delta<SourcePart>, "out">;
-declare const $merge: <V extends O>() => <Out extends doc, SourcePart extends doc>(out: RWCollection<Out | Replace<Out, Patch<V>>, Out>, keys: ExprsExact<TakeDoc<V, unknown>, SourcePart>, whenNotMatched?: "fail" | "discard") => StreamRunnerParam<Delta<SourcePart>, "out">;
+declare const getWhenMatched: <Out extends Model, P extends Model, K extends keyof IsDeleted>(whenNotMatched: "discard" | "fail" | "insert") => RawStages<O, Out, Out | Replace<Out, P>, RORec<"new", Replace<P, RORec<K, Timestamp>>>>;
+type MergeCollection<V extends O, Out extends Model> = {
+    coll: RWCollection<Out | Replace<Out, Patch<V>> | Replace<Patch<V>, IsDeleted>, Out>;
+    whenNotMatched: 'discard';
+} | {
+    coll: RWCollection<Out | Replace<Out, Patch<V>>, Out>;
+    whenNotMatched: 'fail';
+};
+declare const $mergeId: <V extends O>() => <SourcePart extends doc, Out extends Model, E = unknown, EEE extends RORec<string, rawItem> = {}>(out: MergeCollection<V, Out>, keys: ExprsExact<TakeDoc<V, unknown>, SourcePart>, id: Expr<string, OutInputE<TakeDoc<V>, E, null>>, ext: Exact<Omit<SafeE$1<EEE>, keyof (ND$1 & TS)>, IdHKT>) => StreamRunnerParam<OutInputE<SourcePart, E>, "out">;
+declare const $simpleMergePart: <V extends O>() => <Source extends doc, Out extends Model, EEE extends RORec<string, rawItem>>(out: MergeCollection<V, Out>, keys: ExprsExact<TakeDoc<V, unknown>, Source>, ext: Exact<Omit<SafeE$1<EEE>, keyof (ND$1 & TS)>, IdHKT>) => StreamRunnerParam<Source, "out">;
+declare const $simpleMerge: <V extends O>() => <Source extends doc, Out extends Model>(out: RWCollection<Out | Replace<Out, Patch<V>> | Replace<Patch<V>, IsDeleted>, Out>, keys: ExprsExact<TakeDoc<V, unknown>, Source>, whenNotMatched?: "fail" | "discard") => StreamRunnerParam<Source, "out">;
+declare const $mergePart: <V extends O>() => <Out extends Model, SourcePart extends doc, EEE extends RORec<string, rawItem>>(out: RWCollection<Out | Replace<Out, Patch<V>>, Out>, keys: ExprsExact<TakeDoc<V, unknown>, SourcePart>, ext: Exact<Omit<SafeE$1<EEE>, keyof (ND$1 & TS)>, IdHKT>) => StreamRunnerParam<Delta<SourcePart>, "out">;
+declare const $merge: <V extends O>() => <Out extends Model, SourcePart extends doc>(out: RWCollection<Out | Replace<Out, Patch<V>>, Out>, keys: ExprsExact<TakeDoc<V, unknown>, SourcePart>) => StreamRunnerParam<Delta<SourcePart>, "out">;
 
 type ND = {
     readonly deletedAt?: null;
@@ -519,6 +529,17 @@ declare const $simpleInsert: <T extends doc>(out: RWCollection<Merge<T, {}>>) =>
 declare const $insertPart: <T extends doc, EEE extends RORec<string, rawItem>>(out: RWCollection<Merge<T, EEE>>, ext: Exact<Omit<SafeE<EEE>, keyof (ND & TS)>, IdHKT>) => StreamRunnerParam<Delta<T>, "out">;
 declare const $insert: <T extends doc>(out: RWCollection<Merge<T, {}>>) => StreamRunnerParam<Delta<T>, "out">;
 
+declare const log: (...args: unknown[]) => void;
+
+declare const createIndex: (collection: {
+    readonly createIndex: Collection["createIndex"];
+}, indexSpec: IndexSpecification, options?: CreateIndexesOptions) => Promise<void>;
+
+declare const noop: () => void;
+declare const map1: <K extends string, Im>(k: AsLiteral<K>, to: Im) => { readonly [P in K]: [P, Im]; } & {
+    readonly [_: string]: [K, Im];
+};
+
 declare const $group_: <V extends O>() => <ID, T extends O, C = unknown>(id: Expr<ID, T, C>, args: Accumulators<T, V, C>) => RawStages<O, T, Rec<"_id", ID> & V, C, 1>;
 
 type DeltaPipe<Q extends O, T extends Q, F extends HKT<O2>, G extends HKT<O3>> = {
@@ -608,7 +629,7 @@ declare const first: <T, D, C>(expr: Expr<Arr<T>, D, C>) => Expr<T | null, D, C>
 declare const firstSure: <T, D, C>(expr: Expr<Arr<T>, D, C>) => Expr<T, D, C>;
 declare const last: <T, D, C>(expr: Expr<Arr<T>, D, C>) => Expr<T | null, D, C>;
 type NullToOBJ<N extends null> = N extends null ? O : N;
-declare const mergeObjects: <T1, T2, D, C = unknown, N extends null = never>(exprs_0: Expr<T1 | N, D, C>, exprs_1: Expr<T2, D, C>) => Expr<(T1 | NullToOBJ<N>) & T2, D, C>;
+declare const mergeObjects: <T1, T2, D, C = unknown, N extends null = never>(...exprs: readonly [Expr<T1 | N, D, C>, ...[...Expr<T1 | T2 | N, D, C>[], Expr<T2, D, C>]]) => Expr<(T1 | NullToOBJ<N>) & T2, D, C>;
 declare const anyElementTrue: <D, C = unknown>(expr: Expr<Arr<boolean>, D, C>) => Expr<boolean, D, C>;
 type Reduce<T, V> = RORec<'value', V> & RORec<'this', T>;
 declare const $reduce: <T, V, D, C>(input: Expr<Arr<T>, D, C>, initialValue: Expr<V, D, C>, inExpr: Expr<V, D, C & Reduce<T, V>>) => Expr<V, D, C>;
@@ -706,19 +727,8 @@ declare const $and: Combiner;
 declare const $nor: Combiner;
 declare const $or: Combiner;
 
-declare const log: (...args: unknown[]) => void;
-
-declare const createIndex: (collection: {
-    readonly createIndex: Collection["createIndex"];
-}, indexSpec: IndexSpecification, options?: CreateIndexesOptions) => Promise<void>;
-
-declare const noop: () => void;
-declare const map1: <K extends string, Im>(k: AsLiteral<K>, to: Im) => { readonly [P in K]: [P, Im]; } & {
-    readonly [_: string]: [K, Im];
-};
-
 declare const enablePreAndPostImages: <T extends doc>(coll: Collection<T>) => Promise<Document>;
 declare const prepare: (testName?: string) => Promise<MongoClient$1>;
 declare const makeCol: <T extends ID>(docs: readonly OptionalUnlessRequiredId<T>[], database: Db, name?: string) => Promise<Collection<T>>;
 
-export { $accumulator, $and, $countDict, $entries, $eq, $exists, $expr, $getField, $group, $groupId, $groupMerge, $group_, $gt, $gtTs, $gte, $gteTs, $ifNull, $in, $insert, $insertPart, $insertX, $keys, $let, $lookup, $lt, $lte, $map, $map0, $map1, $match, $matchDelta, $merge, $merge2, $mergeId, $mergePart, $merge_, $ne, $nin, $nor, $or, $outerLookup, $pushDict, $rand, $reduce, $replaceWith, $set, $simpleInsert, $simpleMerge, $simpleMergePart, $sum, $type, $unwind, $unwindDelta, type Accumulators, type Arr, type AsLiteral, type Delta, type DeltaAccumulator, type DeltaAccumulators, Expr, type ExprHKT, type Exprs, type ExprsExact, type ExprsExactHKT, type ExprsPart, Field, type ID, type Loose, Machine, type Merge, type MergeArgs, type MergeInto, type MergeMapOArgs, type Model, type MongoTypeNames, type N, type NoRaw, type NullToOBJ, type O, type OPick, type OPickD, type RONoRaw, type RORec, type RawStages, type Rec, type Replace, type SnapshotStreamExecutionResult, type StrKey, type Strict, type TS, Type, type WriteonlyCollection, add, and, anyElementTrue, array, ceil, comp, concat, concatArray, createIndex, ctx, current, dateAdd, dateDiff, dateLt, datePart, dayAndMonthPart, divide, type doc, enablePreAndPostImages, eq, eqTyped, except, exprMapVal, field, fieldF, fieldM, filter, filterDefined, first, firstSure, floor, from, func, gt, gte, inArray, isArray, ite, type jsonPrim, last, log, lt, lte, makeCol, map1, mapVal, max, maxDate, mergeExact, mergeExact0, mergeExpr, mergeObjects, minDate, monthPart, multiply, ne, nil, noop, not, type notArr, notNull, now, or, pair, prepare, rand, range, regex, root, set, setField, single, size, slice, sortArray, staging, startOf, str, sub, subtract, to, toInt, val, weekPart, wrap, year };
+export { $accumulator, $and, $countDict, $entries, $eq, $exists, $expr, $getField, $group, $groupId, $groupMerge, $group_, $gt, $gtTs, $gte, $gteTs, $ifNull, $in, $insert, $insertPart, $insertX, $keys, $let, $lookup, $lt, $lte, $map, $map0, $map1, $match, $matchDelta, $merge, $merge2, $mergeId, $mergePart, $merge_, $ne, $nin, $nor, $or, $outerLookup, $pushDict, $rand, $reduce, $replaceWith, $set, $simpleInsert, $simpleMerge, $simpleMergePart, $sum, $type, $unwind, $unwindDelta, type Accumulators, type Arr, type AsLiteral, type Delta, type DeltaAccumulator, type DeltaAccumulators, type ExactKeys, Expr, type ExprHKT, type Exprs, type ExprsExact, type ExprsExactHKT, type ExprsPart, Field, type ID, type Loose, Machine, type Merge, type MergeArgs, type MergeInto, type MergeMapOArgs, type Model, type MongoTypeNames, type N, type NoRaw, type NullToOBJ, type O, type OPick, type OPickD, type Patch, type RONoRaw, type RORec, type RawStages, type Rec, type Replace, type SnapshotStreamExecutionResult, type StrKey, type Strict, type TS, Type, type WriteonlyCollection, add, and, anyElementTrue, array, ceil, comp, concat, concatArray, createIndex, ctx, current, dateAdd, dateDiff, dateLt, datePart, dayAndMonthPart, divide, type doc, enablePreAndPostImages, eq, eqTyped, except, exprMapVal, field, fieldF, fieldM, filter, filterDefined, first, firstSure, floor, from, func, getWhenMatched, gt, gte, inArray, isArray, ite, type jsonPrim, last, log, lt, lte, makeCol, map1, mapVal, max, maxDate, mergeExact, mergeExact0, mergeExpr, mergeObjects, minDate, monthPart, multiply, ne, nil, noop, not, type notArr, notNull, now, or, pair, prepare, rand, range, regex, root, set, setField, single, size, slice, sortArray, staging, startOf, str, sub, subtract, to, toInt, val, weekPart, wrap, year };

package/index.esm.js

@@ -1365,84 +1365,88 @@ const $replaceWith = (expr) => ({
     lin: $replaceWith_(expr),
 });
 
-const $mergeX = (out, keys, f, map, whenNotMatched = 'fail', ext) => {
+const getWhenMatched = (whenNotMatched) => {
+    const setDeleted = whenNotMatched === 'discard';
+    const orNull = (e) => (setDeleted ? $ifNull(e, nil) : e);
+    const preMergeOld = setDeleted
+        ? mergeObjects(root().of('old').expr(), field({
+            deletedAt: ['deletedAt', orNull(root().of('old').of('deletedAt').expr())],
+            touchedAt: ['touchedAt', root().of('merged').of('touchedAt').expr()],
+        }))
+        : root().of('old').expr();
+    const same = eq(preMergeOld)(root().of('merged').expr());
+    const newOrOld = whenNotMatched ===
+        'insert'
+        ? ctx()('new')
+        : root();
+    const merged = mergeObjects(root().expr(), ctx()('new').expr(), field({
+        deletedAt: ['deletedAt', orNull(newOrOld.of('deletedAt').expr())],
+    }));
+    return link()
+        .with($replaceWith_(field({
+        old: ['old', root().expr()],
+        merged: ['merged', merged],
+    })))
+        .with($replaceWith_(ite(same, root().of('old').expr(), root().of('merged').expr()))).stages;
+};
+const $mergeX = (out, keys, f, map, ext) => {
     const patch = mapExact(keys, v => sub(v, f));
     const filter = mapExactToObject(ext, v => ({ $eq: v }));
-    const setDeleted = whenNotMatched === 'discard';
+    const setDeleted = out.whenNotMatched === 'discard';
     const replacer = map(field(omitPick().backward(spread(patch, {
         _id: ['_id', f.of('_id').expr()],
         touchedAt: ['touchedAt', current],
-        deletedAt: [setDeleted ? 'deletedAt' : 'touchedAt', current],
     }))));
-    return {
-        raw: (first) => link()
-            .with($replaceWith_(replacer))
+    const sss = setDeleted
+        ? link()
+            .with($set_(set()({
+            deletedAt: ['deletedAt', to(current)],
+        })))
             .with($merge_({
-            into: out,
+            into: out.coll,
+            on: root().of('_id'),
+            whenNotMatched: 'insert',
+            stages: true,
+            whenMatched: getWhenMatched(out.whenNotMatched),
+        })).stages
+        : link().with($merge_({
+            into: out.coll,
             on: root().of('_id'),
-            whenNotMatched: whenNotMatched === 'fail' ? 'fail' : 'insert',
+            whenNotMatched: 'fail',
             stages: true,
-            whenMatched: asStages([
+            whenMatched: getWhenMatched(out.whenNotMatched),
+        })).stages;
+    const teardown = (coll) => ({
+        collection: coll,
+        method: 'updateMany',
+        params: [
+            filter,
+            [
                 {
-                    $replaceWith: {
-                        old: '$$ROOT',
-                        merged: {
-                            $mergeObjects: [
-                                '$$ROOT',
-                                '$$new',
-                                ...(setDeleted ? [{ deletedAt: { $ifNull: ['$deletedAt', null] } }] : []),
-                            ],
-                        },
-                    },
+                    $unset: Object.keys(mapExactToObject(keys, () => 1)),
                 },
-                {
-                    $replaceWith: {
-                        $cond: {
-                            if: {
-                                $eq: [
-                                    {
-                                        $mergeObjects: [
-                                            '$old',
-                                            { deletedAt: { $ifNull: ['$old.deletedAt', null] } },
-                                        ],
-                                    },
-                                    { $mergeObjects: ['$merged', { touchedAt: '$old.touchedAt' }] },
-                                ],
-                            },
-                            then: '$old',
-                            else: '$merged',
-                        },
-                    },
-                },
-            ]),
-        })).stages,
-        teardown: c => c({
-            collection: out,
-            method: 'updateMany',
-            params: [
-                filter,
-                [
-                    {
-                        $unset: Object.keys(mapExactToObject(keys, () => 1)),
-                    },
-                ],
             ],
-        }),
+        ],
+    });
+    return {
+        raw: (first) => link().with($replaceWith_(replacer)).with(sss)
+            .stages,
+        teardown: c => (setDeleted ? c(teardown(out.coll)) : c(teardown(out.coll))),
     };
 };
-const $mergeId = () => (out, keys, id, ext, whenNotMatched) => {
+const $mergeId = () => (out, keys, id, ext) => {
     const omRORec = omitRORec();
     return $mergeX(out, keys, root().of('after'), or => {
         return ite(eqTyped(root().of('after').expr(), nil), field(omRORec.backward(spread(mapExact(keys, () => nil), {
             _id: ['_id', id],
             touchedAt: ['touchedAt', current],
         }))), or);
-    }, whenNotMatched, ext);
+    }, ext);
 };
-const $simpleMergePart = () => (out, keys, whenNotMatched, ext) => $mergeX(out, keys, root(), id$1, whenNotMatched, ext);
-const $simpleMerge = () => (out, keys, whenNotMatched = 'fail') => $mergeX(out, keys, root(), id$1, whenNotMatched, {});
-const $mergePart = () => (out, keys, ext, whenNotMatched = 'fail') => $mergeId()(out, keys, assertNotNull$1(root().of('before').of('_id').expr()), ext, whenNotMatched);
-const $merge = () => (out, keys, whenNotMatched = 'fail') => $mergePart()(out, keys, {}, whenNotMatched);
+const $simpleMergePart = () => (out, keys, ext) => $mergeX(out, keys, root(), id$1, ext);
+const $simpleMerge = () => (out, keys, whenNotMatched = 'fail') => $mergeX({ coll: out, whenNotMatched }, keys, root(), id$1, {});
+const $mergePart = () => (out, keys, ext) => $mergeId()({ coll: out, whenNotMatched: 'fail' }, keys, assertNotNull$1(root().of('before').of('_id').expr()), ext);
+const $merge = () => (out, keys) => $mergePart()(out, keys, {});
 const assertNotNull$1 = (expr) => expr;
 
 const $insertX = (out, expr, map, ext, extExpr) => {
@@ -1467,23 +1471,7 @@ const $insertX = (out, expr, map, ext, extExpr) => {
                 into: out,
                 on: root().of('_id'),
                 stages: true,
-                whenMatched: asStages([
-                    { $replaceWith: { old: '$$ROOT', merged: { $mergeObjects: ['$$ROOT', '$$new'] } } },
-                    {
-                        $replaceWith: {
-                            $cond: {
-                                if: {
-                                    $eq: [
-                                        '$old',
-                                        { $mergeObjects: ['$merged', { touchedAt: '$old.touchedAt' }] },
-                                    ],
-                                },
-                                then: '$old',
-                                else: '$merged',
-                            },
-                        },
-                    },
-                ]),
+                whenMatched: getWhenMatched('insert'),
                 whenNotMatched: 'insert',
             })).stages;
         },
@@ -2007,4 +1995,4 @@ const makeCol = async (docs, database, name) => {
     }
 };
 
-export { $accumulator, $and, $countDict, $entries, $eq, $exists, $expr, $getField, $group, $groupId, $groupMerge, $group_, $gt, $gtTs, $gte, $gteTs, $ifNull, $in, $insert, $insertPart, $insertX, $keys, $let, $lookup, $lt, $lte, $map, $map0, $map1, $match, $matchDelta, $merge, $merge2, $mergeId, $mergePart, $merge_, $ne, $nin, $nor, $or, $outerLookup, $pushDict, $rand, $reduce, $replaceWith, $set, $simpleInsert, $simpleMerge, $simpleMergePart, $sum, $type, $unwind, $unwindDelta, Field, Machine, add, and, anyElementTrue, array, ceil, comp, concat$1 as concat, concatArray, createIndex, ctx, current, dateAdd, dateDiff, dateLt, datePart, dayAndMonthPart, divide, enablePreAndPostImages, eq, eqTyped, except, exprMapVal, field, fieldF, fieldM, filter, filterDefined, first$1 as first, firstSure, floor, from, func, gt, gte, inArray, isArray, ite, last, log, lt, lte, makeCol, map1, mapVal, max, maxDate, mergeExact, mergeExact0, mergeExpr, mergeObjects, minDate, monthPart, multiply, ne, nil, noop, not, notNull, now, or, pair, prepare, rand, range, regex, root, set, setField, single, size, slice, sortArray, staging, startOf, str, sub, subtract, to, toInt, val, weekPart, wrap, year };
+export { $accumulator, $and, $countDict, $entries, $eq, $exists, $expr, $getField, $group, $groupId, $groupMerge, $group_, $gt, $gtTs, $gte, $gteTs, $ifNull, $in, $insert, $insertPart, $insertX, $keys, $let, $lookup, $lt, $lte, $map, $map0, $map1, $match, $matchDelta, $merge, $merge2, $mergeId, $mergePart, $merge_, $ne, $nin, $nor, $or, $outerLookup, $pushDict, $rand, $reduce, $replaceWith, $set, $simpleInsert, $simpleMerge, $simpleMergePart, $sum, $type, $unwind, $unwindDelta, Field, Machine, add, and, anyElementTrue, array, ceil, comp, concat$1 as concat, concatArray, createIndex, ctx, current, dateAdd, dateDiff, dateLt, datePart, dayAndMonthPart, divide, enablePreAndPostImages, eq, eqTyped, except, exprMapVal, field, fieldF, fieldM, filter, filterDefined, first$1 as first, firstSure, floor, from, func, getWhenMatched, gt, gte, inArray, isArray, ite, last, log, lt, lte, makeCol, map1, mapVal, max, maxDate, mergeExact, mergeExact0, mergeExpr, mergeObjects, minDate, monthPart, multiply, ne, nil, noop, not, notNull, now, or, pair, prepare, rand, range, regex, root, set, setField, single, size, slice, sortArray, staging, startOf, str, sub, subtract, to, toInt, val, weekPart, wrap, year };

package/index.js

@@ -1367,84 +1367,88 @@ const $replaceWith = (expr) => ({
     lin: $replaceWith_(expr),
 });
 
-const $mergeX = (out, keys, f, map, whenNotMatched = 'fail', ext) => {
+const getWhenMatched = (whenNotMatched) => {
+    const setDeleted = whenNotMatched === 'discard';
+    const orNull = (e) => (setDeleted ? $ifNull(e, nil) : e);
+    const preMergeOld = setDeleted
+        ? mergeObjects(root().of('old').expr(), field({
+            deletedAt: ['deletedAt', orNull(root().of('old').of('deletedAt').expr())],
+            touchedAt: ['touchedAt', root().of('merged').of('touchedAt').expr()],
+        }))
+        : root().of('old').expr();
+    const same = eq(preMergeOld)(root().of('merged').expr());
+    const newOrOld = whenNotMatched ===
+        'insert'
+        ? ctx()('new')
+        : root();
+    const merged = mergeObjects(root().expr(), ctx()('new').expr(), field({
+        deletedAt: ['deletedAt', orNull(newOrOld.of('deletedAt').expr())],
+    }));
+    return link()
+        .with($replaceWith_(field({
+        old: ['old', root().expr()],
+        merged: ['merged', merged],
+    })))
+        .with($replaceWith_(ite(same, root().of('old').expr(), root().of('merged').expr()))).stages;
+};
+const $mergeX = (out, keys, f, map, ext) => {
     const patch = mapExact(keys, v => sub(v, f));
     const filter = mapExactToObject(ext, v => ({ $eq: v }));
-    const setDeleted = whenNotMatched === 'discard';
+    const setDeleted = out.whenNotMatched === 'discard';
     const replacer = map(field(omitPick().backward(spread(patch, {
         _id: ['_id', f.of('_id').expr()],
         touchedAt: ['touchedAt', current],
-        deletedAt: [setDeleted ? 'deletedAt' : 'touchedAt', current],
     }))));
-    return {
-        raw: (first) => link()
-            .with($replaceWith_(replacer))
+    const sss = setDeleted
+        ? link()
+            .with($set_(set()({
+            deletedAt: ['deletedAt', to(current)],
+        })))
             .with($merge_({
-            into: out,
+            into: out.coll,
+            on: root().of('_id'),
+            whenNotMatched: 'insert',
+            stages: true,
+            whenMatched: getWhenMatched(out.whenNotMatched),
+        })).stages
+        : link().with($merge_({
+            into: out.coll,
             on: root().of('_id'),
-            whenNotMatched: whenNotMatched === 'fail' ? 'fail' : 'insert',
+            whenNotMatched: 'fail',
             stages: true,
-            whenMatched: asStages([
+            whenMatched: getWhenMatched(out.whenNotMatched),
+        })).stages;
+    const teardown = (coll) => ({
+        collection: coll,
+        method: 'updateMany',
+        params: [
+            filter,
+            [
                 {
-                    $replaceWith: {
-                        old: '$$ROOT',
-                        merged: {
-                            $mergeObjects: [
-                                '$$ROOT',
-                                '$$new',
-                                ...(setDeleted ? [{ deletedAt: { $ifNull: ['$deletedAt', null] } }] : []),
-                            ],
-                        },
-                    },
+                    $unset: Object.keys(mapExactToObject(keys, () => 1)),
                 },
-                {
-                    $replaceWith: {
-                        $cond: {
-                            if: {
-                                $eq: [
-                                    {
-                                        $mergeObjects: [
-                                            '$old',
-                                            { deletedAt: { $ifNull: ['$old.deletedAt', null] } },
-                                        ],
-                                    },
-                                    { $mergeObjects: ['$merged', { touchedAt: '$old.touchedAt' }] },
-                                ],
-                            },
-                            then: '$old',
-                            else: '$merged',
-                        },
-                    },
-                },
-            ]),
-        })).stages,
-        teardown: c => c({
-            collection: out,
-            method: 'updateMany',
-            params: [
-                filter,
-                [
-                    {
-                        $unset: Object.keys(mapExactToObject(keys, () => 1)),
-                    },
-                ],
             ],
-        }),
+        ],
+    });
+    return {
+        raw: (first) => link().with($replaceWith_(replacer)).with(sss)
+            .stages,
+        teardown: c => (setDeleted ? c(teardown(out.coll)) : c(teardown(out.coll))),
     };
 };
-const $mergeId = () => (out, keys, id, ext, whenNotMatched) => {
+const $mergeId = () => (out, keys, id, ext) => {
     const omRORec = omitRORec();
     return $mergeX(out, keys, root().of('after'), or => {
         return ite(eqTyped(root().of('after').expr(), nil), field(omRORec.backward(spread(mapExact(keys, () => nil), {
             _id: ['_id', id],
             touchedAt: ['touchedAt', current],
         }))), or);
-    }, whenNotMatched, ext);
+    }, ext);
 };
-const $simpleMergePart = () => (out, keys, whenNotMatched, ext) => $mergeX(out, keys, root(), id$1, whenNotMatched, ext);
-const $simpleMerge = () => (out, keys, whenNotMatched = 'fail') => $mergeX(out, keys, root(), id$1, whenNotMatched, {});
-const $mergePart = () => (out, keys, ext, whenNotMatched = 'fail') => $mergeId()(out, keys, assertNotNull$1(root().of('before').of('_id').expr()), ext, whenNotMatched);
-const $merge = () => (out, keys, whenNotMatched = 'fail') => $mergePart()(out, keys, {}, whenNotMatched);
+const $simpleMergePart = () => (out, keys, ext) => $mergeX(out, keys, root(), id$1, ext);
+const $simpleMerge = () => (out, keys, whenNotMatched = 'fail') => $mergeX({ coll: out, whenNotMatched }, keys, root(), id$1, {});
+const $mergePart = () => (out, keys, ext) => $mergeId()({ coll: out, whenNotMatched: 'fail' }, keys, assertNotNull$1(root().of('before').of('_id').expr()), ext);
+const $merge = () => (out, keys) => $mergePart()(out, keys, {});
 const assertNotNull$1 = (expr) => expr;
 
 const $insertX = (out, expr, map, ext, extExpr) => {
@@ -1469,23 +1473,7 @@ const $insertX = (out, expr, map, ext, extExpr) => {
                 into: out,
                 on: root().of('_id'),
                 stages: true,
-                whenMatched: asStages([
-                    { $replaceWith: { old: '$$ROOT', merged: { $mergeObjects: ['$$ROOT', '$$new'] } } },
-                    {
-                        $replaceWith: {
-                            $cond: {
-                                if: {
-                                    $eq: [
-                                        '$old',
-                                        { $mergeObjects: ['$merged', { touchedAt: '$old.touchedAt' }] },
-                                    ],
-                                },
-                                then: '$old',
-                                else: '$merged',
-                            },
-                        },
-                    },
-                ]),
+                whenMatched: getWhenMatched('insert'),
                 whenNotMatched: 'insert',
             })).stages;
         },
@@ -2096,6 +2084,7 @@ exports.firstSure = firstSure;
 exports.floor = floor;
 exports.from = from;
 exports.func = func;
+exports.getWhenMatched = getWhenMatched;
 exports.gt = gt;
 exports.gte = gte;
 exports.inArray = inArray;

package/lib/aggregate/$merge.d.ts

@@ -1,19 +1,27 @@
-import type { IdHKT, OPick, RWCollection } from '../../types';
-import type { ID, N, O, RORec, Rec, Replace, StrKey, doc, rawItem } from '../../types/json';
+import type { IdHKT, OPick, RWCollection, Timestamp } from '../../types';
+import type { doc, ID, N, O, rawItem, Rec, Replace, RORec, StrKey } from '../../types/json';
 import { type ExprsExact } from '../expression/concat';
-import type { Delta, Expr, StreamRunnerParam, TS } from '../types';
+import type { Delta, Expr, IsDeleted, Model, RawStages, StreamRunnerParam, TS } from '../types';
 import { type Exact } from '../utils/map-object';
 type OutInputE<T, E, A = T | null> = ID & Rec<'after', A> & E;
 type Allowed<K extends string> = Exclude<K, keyof (TS & ID)>;
-type Patch<V, KK extends StrKey<V> = StrKey<V>> = ((OPick<V, Allowed<KK>> & ID) | (Rec<Allowed<KK>, N> & ID)) & TS;
+export type Patch<V, KK extends StrKey<V> = StrKey<V>> = ((OPick<V, Allowed<KK>> & ID) | (Rec<Allowed<KK>, N> & ID)) & TS;
 type TakeDoc<V, E = ID, KK extends StrKey<V> = StrKey<V>> = OPick<V, Allowed<KK>> & E;
 type ND = {
     readonly deletedAt?: null;
 };
 type SafeE<E> = Omit<E, `$${string}` | keyof ID>;
-export declare const $mergeId: <V extends O>() => <SourcePart extends doc, Out extends doc, E = unknown, EEE extends RORec<string, rawItem> = {}>(out: RWCollection<Out | Replace<Out, Patch<V>>, Out>, keys: ExprsExact<TakeDoc<V, unknown>, SourcePart>, id: Expr<string, OutInputE<TakeDoc<V>, E, null>>, ext: Exact<Omit<SafeE<EEE>, keyof (ND & TS)>, IdHKT>, whenNotMatched: "fail" | "discard") => StreamRunnerParam<OutInputE<SourcePart, E>, "out">;
-export declare const $simpleMergePart: <V extends O>() => <Source extends doc, Out extends doc, EEE extends RORec<string, rawItem>>(out: RWCollection<Out | Replace<Out, Patch<V>>, Out>, keys: ExprsExact<TakeDoc<V, unknown>, Source>, whenNotMatched: "fail" | "discard", ext: Exact<Omit<SafeE<EEE>, keyof (ND & TS)>, IdHKT>) => StreamRunnerParam<Source, "out">;
-export declare const $simpleMerge: <V extends O>() => <Source extends doc, Out extends doc>(out: RWCollection<Out | Replace<Out, Patch<V>>, Out>, keys: ExprsExact<TakeDoc<V, unknown>, Source>, whenNotMatched?: "fail" | "discard") => StreamRunnerParam<Source, "out">;
-export declare const $mergePart: <V extends O>() => <Out extends doc, SourcePart extends doc, EEE extends RORec<string, rawItem>>(out: RWCollection<Out | Replace<Out, Patch<V>>, Out>, keys: ExprsExact<TakeDoc<V, unknown>, SourcePart>, ext: Exact<Omit<SafeE<EEE>, keyof (ND & TS)>, IdHKT>, whenNotMatched?: "fail" | "discard") => StreamRunnerParam<Delta<SourcePart>, "out">;
-export declare const $merge: <V extends O>() => <Out extends doc, SourcePart extends doc>(out: RWCollection<Out | Replace<Out, Patch<V>>, Out>, keys: ExprsExact<TakeDoc<V, unknown>, SourcePart>, whenNotMatched?: "fail" | "discard") => StreamRunnerParam<Delta<SourcePart>, "out">;
+export declare const getWhenMatched: <Out extends Model, P extends Model, K extends keyof IsDeleted>(whenNotMatched: "discard" | "fail" | "insert") => RawStages<O, Out, Out | Replace<Out, P>, RORec<"new", Replace<P, RORec<K, Timestamp>>>>;
+type MergeCollection<V extends O, Out extends Model> = {
+    coll: RWCollection<Out | Replace<Out, Patch<V>> | Replace<Patch<V>, IsDeleted>, Out>;
+    whenNotMatched: 'discard';
+} | {
+    coll: RWCollection<Out | Replace<Out, Patch<V>>, Out>;
+    whenNotMatched: 'fail';
+};
+export declare const $mergeId: <V extends O>() => <SourcePart extends doc, Out extends Model, E = unknown, EEE extends RORec<string, rawItem> = {}>(out: MergeCollection<V, Out>, keys: ExprsExact<TakeDoc<V, unknown>, SourcePart>, id: Expr<string, OutInputE<TakeDoc<V>, E, null>>, ext: Exact<Omit<SafeE<EEE>, keyof (ND & TS)>, IdHKT>) => StreamRunnerParam<OutInputE<SourcePart, E>, "out">;
+export declare const $simpleMergePart: <V extends O>() => <Source extends doc, Out extends Model, EEE extends RORec<string, rawItem>>(out: MergeCollection<V, Out>, keys: ExprsExact<TakeDoc<V, unknown>, Source>, ext: Exact<Omit<SafeE<EEE>, keyof (ND & TS)>, IdHKT>) => StreamRunnerParam<Source, "out">;
+export declare const $simpleMerge: <V extends O>() => <Source extends doc, Out extends Model>(out: RWCollection<Out | Replace<Out, Patch<V>> | Replace<Patch<V>, IsDeleted>, Out>, keys: ExprsExact<TakeDoc<V, unknown>, Source>, whenNotMatched?: "fail" | "discard") => StreamRunnerParam<Source, "out">;
+export declare const $mergePart: <V extends O>() => <Out extends Model, SourcePart extends doc, EEE extends RORec<string, rawItem>>(out: RWCollection<Out | Replace<Out, Patch<V>>, Out>, keys: ExprsExact<TakeDoc<V, unknown>, SourcePart>, ext: Exact<Omit<SafeE<EEE>, keyof (ND & TS)>, IdHKT>) => StreamRunnerParam<Delta<SourcePart>, "out">;
+export declare const $merge: <V extends O>() => <Out extends Model, SourcePart extends doc>(out: RWCollection<Out | Replace<Out, Patch<V>>, Out>, keys: ExprsExact<TakeDoc<V, unknown>, SourcePart>) => StreamRunnerParam<Delta<SourcePart>, "out">;
 export {};

package/lib/aggregate/mongo-stages.d.ts

@@ -9,5 +9,5 @@ export declare const $replaceWith_: <T extends O, V extends O, C = unknown>(expr
 export declare const $unwind_: <T extends O, K extends s, U, Null extends null = never>(k: K, includeNull?: Null) => RawStages<O<T>, T & Rec<K, Arr<U>>, T & Rec<K, Null | U>>;
 export declare const $group_: <V extends O>() => <ID, T extends O, C = unknown>(id: Expr<ID, T, C>, args: Accumulators<T, V, C>) => RawStages<O, T, Rec<"_id", ID> & V, C, 1>;
 export declare const $documents_: <T extends O, C>(docs: Expr<Arr<T>, unknown, C>) => RawStages<unknown, null, T, C, 1>;
-export declare const $project_: <T extends O, K extends import("../..").StrKey<T>>(projection: import("../utils/map-object").ExactKeys<K>) => RawStages<T, T, T, unknown, 1>;
+export declare const $project_: <T extends O, K extends import("../..").StrKey<T>>(projection: import("../utils").ExactKeys<K>) => RawStages<T, T, T, unknown, 1>;
 export declare const $simpleLookup_: <T extends O, U extends O, R, K extends s, Ctx, C = unknown, S = string>(args: LookupArgs<T, U, R, K, Ctx, C, S>) => RawStages<O<T>, T, T & Rec<K, Arr<U>>, C, 1>;

package/lib/aggregate/out.d.ts

@@ -25,7 +25,7 @@ export type MergeArgs<T extends O, Out extends O, Ctx, In extends O> = {
     stages: true;
     into: RWCollection<In, Out>;
     whenMatched: RawStages<unknown, Out, In, {
-        new: In;
+        new: T;
     }>;
 } | {
     stages: 'ctx';

package/lib/expression/array.d.ts

@@ -21,7 +21,7 @@ export declare const first: <T, D, C>(expr: Expr<Arr<T>, D, C>) => Expr<T | null
 export declare const firstSure: <T, D, C>(expr: Expr<Arr<T>, D, C>) => Expr<T, D, C>;
 export declare const last: <T, D, C>(expr: Expr<Arr<T>, D, C>) => Expr<T | null, D, C>;
 export type NullToOBJ<N extends null> = N extends null ? O : N;
-export declare const mergeObjects: <T1, T2, D, C = unknown, N extends null = never>(exprs_0: Expr<T1 | N, D, C>, exprs_1: Expr<T2, D, C>) => Expr<(T1 | NullToOBJ<N>) & T2, D, C>;
+export declare const mergeObjects: <T1, T2, D, C = unknown, N extends null = never>(...exprs: readonly [Expr<T1 | N, D, C>, ...[...Expr<T1 | T2 | N, D, C>[], Expr<T2, D, C>]]) => Expr<(T1 | NullToOBJ<N>) & T2, D, C>;
 export declare const anyElementTrue: <D, C = unknown>(expr: Expr<Arr<boolean>, D, C>) => Expr<boolean, D, C>;
 type Reduce<T, V> = RORec<'value', V> & RORec<'this', T>;
 export declare const $reduce: <T, V, D, C>(input: Expr<Arr<T>, D, C>, initialValue: Expr<V, D, C>, inExpr: Expr<V, D, C & Reduce<T, V>>) => Expr<V, D, C>;

package/lib/types/stream.d.ts

@@ -46,13 +46,15 @@ export type Stream<out Q extends O, in out T extends Q, in out F extends HKT<[O,
 export type TS = {
     readonly touchedAt: Timestamp;
 };
-export type DDel = {
+export type IsDeleted = {
     readonly deletedAt: Timestamp;
-} & ID & TS;
+};
+export type DDel = IsDeleted & ID & TS;
 export type Del = O<DDel>;
-export type D = O<{
+export type DeletedAt = {
     readonly deletedAt?: Timestamp | null | undefined;
-} & ID>;
+};
+export type D = O<DeletedAt & ID>;
 export type Model = D & TS;
 export type OutInput<T, A = T | null> = ID & Rec<'after', A>;
 export type SimpleStream<in out Q extends O, out T extends Q> = <Q2 extends O, Result extends Q2>(input: LinStages<Q2 | T, T, Result>) => SimpleStreamExecutionResult<Q | Q2, Result>;

package/lib/utils/index.d.ts

@@ -1,3 +1,4 @@
 export { log } from './log';
 export { createIndex } from './db-indexes';
 export { map1, noop } from './json';
+export { type ExactKeys } from './map-object';

package/package.json

@@ -3,7 +3,7 @@
     "module": "index.esm.js",
     "typings": "index.d.ts",
     "name": "@omegup/msync",
-    "version": "0.1.8",
+    "version": "0.1.9",
     "dependencies": {
         "dayjs": "^1.11.9",
         "dotenv": "^16.3.1",