@omegup/msync 0.0.75 → 0.0.77

package/index.d.ts

@@ -106,9 +106,10 @@ 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 Del = O<{
+type DDel = {
     readonly deletedAt: Timestamp;
-} & ID & TS>;
+} & ID & TS;
+type Del = O<DDel>;
 type D = O<{
     readonly deletedAt?: Timestamp | null | undefined;
 } & ID>;
@@ -493,10 +494,12 @@ declare const $merge: <V extends O>() => <Out extends doc, SourcePart extends do
 type ND = {
     readonly deletedAt?: null;
 };
-type Merge<T extends ID> = (T & ND & TS) | Del;
-declare const $insertX: <T extends doc, D extends O>(out: RWCollection<Merge<T>>, expr: Expr<T, D>, map: (x: Expr<T & ND & TS, D>) => Expr<Merge<T>, D>) => StreamRunnerParam<D, "out">;
-declare const $simpleInsert: <T extends doc>(out: RWCollection<Merge<T>>) => StreamRunnerParam<T, "out">;
-declare const $insert: <T extends doc>(out: RWCollection<Merge<T>>) => StreamRunnerParam<Delta<T>, "out">;
+type SafeE<E> = Omit<E, `$${string}` | keyof ID>;
+type Merge<T extends doc, E> = Omit<SafeE<E>, keyof (ND & TS)> & ((T & ND & TS) | Del);
+declare const $insertX: <T extends doc, D extends O, EEE>(out: RWCollection<Merge<T, EEE>>, expr: Expr<T, D>, map: (x: Expr<T & ND & TS & Omit<SafeE<EEE>, keyof (ND & TS)>, D>) => Expr<Merge<T, EEE>, D>, ext: ExprsExact<Omit<SafeE<EEE>, keyof (ND & TS)>, unknown>) => StreamRunnerParam<D, "out">;
+declare const $simpleInsert: <T extends doc>(out: RWCollection<Merge<T, {}>>) => StreamRunnerParam<T, "out">;
+declare const $insertPart: <T extends doc, EEE>(out: RWCollection<Merge<T, EEE>>, ext: ExprsExact<Omit<SafeE<EEE>, keyof (ND & TS)>, unknown>) => StreamRunnerParam<Delta<T>, "out">;
+declare const $insert: <T extends doc>(out: RWCollection<Merge<T, {}>>) => StreamRunnerParam<Delta<T>, "out">;
 
 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>;
 
@@ -581,6 +584,8 @@ 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 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>;
 declare const slice: <T, D, C>(array: Expr<Arr<T>, D, C>, start: Expr<number, D, C>, end: Expr<number, D, C>) => Expr<Arr<T>, D, C>;
 declare const except: <T, D, C>(a: Expr<Arr<T>, D, C>, b: Expr<Arr<T>, D, C>) => Expr<Arr<T>, D, C>;
 
@@ -690,4 +695,4 @@ declare const enablePreAndPostImages: <T extends doc>(coll: Collection<T>) => Pr
 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, $insertX, $keys, $let, $lookup, $lt, $lte, $map, $map0, $map1, $match, $matchDelta, $merge, $merge_, $ne, $nin, $nor, $or, $outerLookup, $pushDict, $rand, $replaceWith, $set, $simpleInsert, $simpleMerge, $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, 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, $merge_, $ne, $nin, $nor, $or, $outerLookup, $pushDict, $rand, $reduce, $replaceWith, $set, $simpleInsert, $simpleMerge, $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, 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

@@ -339,6 +339,7 @@ const assertEqual = () => ({
 });
 const omitRORec = () => assertEqual();
 const omitPick = () => assertEqual();
+const translateOmit = () => assertEqual();
 
 const asStages = (x) => x;
 const concatStages = (part1, part2) => asStages([...part1, ...part2]);
@@ -414,7 +415,7 @@ const mergeObjects = (...exprs) => asExpr({
 const anyElementTrue = (expr) => asExpr({
     raw: f => asExprRaw({ $anyElementTrue: expr.raw(f).get() }),
 });
-const reduce = (input, initialValue, inExpr) => asExpr({
+const $reduce = (input, initialValue, inExpr) => asExpr({
     raw: f => asExprRaw({
         $reduce: {
             input: input.raw(f).get(),
@@ -442,7 +443,7 @@ const except = (a, b) => {
     return $let({
         res: [
             'res',
-            reduce(a, field({ out: ['out', array()], except: ['except', b] }), $let({
+            $reduce(a, field({ out: ['out', array()], except: ['except', b] }), $let({
                 indexInExcept: ['indexInExcept', indexOfArray(except, curr)],
             }, ite(gte(indexInExcept, val(0)), field({
                 out: ['out', out],
@@ -1378,30 +1379,40 @@ const $simpleMerge = () => (out, keys) => $mergeX(out, keys, root(), id$1);
 const $merge = () => (out, keys) => $mergeId()(out, keys, assertNotNull$1(root().of('before').of('_id').expr()));
 const assertNotNull$1 = (expr) => expr;
 
-const $insertX = (out, expr, map) => ({
-    teardown: c => c({
-        collection: out,
-        method: 'updateMany',
-        params: [{}, [{ $set: { deletedAt: '$$NOW', touchedAt: '$$CLUSTER_TIME' } }]],
-    }),
-    raw: () => {
-        const replacer = map(mergeObjects(expr, field({ deletedAt: ['deletedAt', nil], touchedAt: ['touchedAt', current] })));
-        return link()
-            .with($replaceWith_(replacer))
-            .with($merge_({
-            into: out,
-            on: root().of('_id'),
-            whenMatched: 'merge',
-            whenNotMatched: 'insert',
-        })).stages;
-    },
-});
-const $simpleInsert = (out) => $insertX(out, root().expr(), id$1);
-const $insert = (out) => $insertX(out, assertNotNull(root().of('after').expr()), x => ite(eq(root().of('after').expr())(nil), field({
+const $insertX = (out, expr, map, ext) => {
+    const filter = mapExactToObject(ext, v => ({ $eq: v }));
+    return {
+        teardown: c => c({
+            collection: out,
+            method: 'updateMany',
+            params: [
+                filter,
+                [{ $set: { deletedAt: '$$NOW', touchedAt: '$$CLUSTER_TIME' } }],
+            ],
+        }),
+        raw: () => {
+            const replacer = map(mergeObjects(expr, field(mergeExpr(ext, {
+                deletedAt: ['deletedAt', nil],
+                touchedAt: ['touchedAt', current],
+            }))));
+            return link()
+                .with($replaceWith_(replacer))
+                .with($merge_({
+                into: out,
+                on: root().of('_id'),
+                whenMatched: 'merge',
+                whenNotMatched: 'insert',
+            })).stages;
+        },
+    };
+};
+const $simpleInsert = (out) => $insertX(out, root().expr(), id$1, {});
+const $insertPart = (out, ext) => $insertX(out, assertNotNull(root().of('after').expr()), x => ite(eq(root().of('after').expr())(nil), field(mergeExpr(translateOmit().forward(ext), {
     deletedAt: ['deletedAt', current],
     _id: ['_id', assertNotNull(root().of('before').of('_id').expr())],
     touchedAt: ['touchedAt', current],
-}), x));
+})), x), ext);
+const $insert = (out) => $insertPart(out, {});
 const assertNotNull = (expr) => expr;
 
 const T = (s) => `Timestamp(${parseInt(`${BigInt(s) / 2n ** 32n}`)}, ${parseInt(`${BigInt(s) % 2n ** 32n}`)})`;
@@ -1899,4 +1910,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, $insertX, $keys, $let, $lookup, $lt, $lte, $map, $map0, $map1, $match, $matchDelta, $merge, $merge_, $ne, $nin, $nor, $or, $outerLookup, $pushDict, $rand, $replaceWith, $set, $simpleInsert, $simpleMerge, $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, $merge_, $ne, $nin, $nor, $or, $outerLookup, $pushDict, $rand, $reduce, $replaceWith, $set, $simpleInsert, $simpleMerge, $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 };

package/index.js

@@ -341,6 +341,7 @@ const assertEqual = () => ({
 });
 const omitRORec = () => assertEqual();
 const omitPick = () => assertEqual();
+const translateOmit = () => assertEqual();
 
 const asStages = (x) => x;
 const concatStages = (part1, part2) => asStages([...part1, ...part2]);
@@ -416,7 +417,7 @@ const mergeObjects = (...exprs) => asExpr({
 const anyElementTrue = (expr) => asExpr({
     raw: f => asExprRaw({ $anyElementTrue: expr.raw(f).get() }),
 });
-const reduce = (input, initialValue, inExpr) => asExpr({
+const $reduce = (input, initialValue, inExpr) => asExpr({
     raw: f => asExprRaw({
         $reduce: {
             input: input.raw(f).get(),
@@ -444,7 +445,7 @@ const except = (a, b) => {
     return $let({
         res: [
             'res',
-            reduce(a, field({ out: ['out', array()], except: ['except', b] }), $let({
+            $reduce(a, field({ out: ['out', array()], except: ['except', b] }), $let({
                 indexInExcept: ['indexInExcept', indexOfArray(except, curr)],
             }, ite(gte(indexInExcept, val(0)), field({
                 out: ['out', out],
@@ -1380,30 +1381,40 @@ const $simpleMerge = () => (out, keys) => $mergeX(out, keys, root(), id$1);
 const $merge = () => (out, keys) => $mergeId()(out, keys, assertNotNull$1(root().of('before').of('_id').expr()));
 const assertNotNull$1 = (expr) => expr;
 
-const $insertX = (out, expr, map) => ({
-    teardown: c => c({
-        collection: out,
-        method: 'updateMany',
-        params: [{}, [{ $set: { deletedAt: '$$NOW', touchedAt: '$$CLUSTER_TIME' } }]],
-    }),
-    raw: () => {
-        const replacer = map(mergeObjects(expr, field({ deletedAt: ['deletedAt', nil], touchedAt: ['touchedAt', current] })));
-        return link()
-            .with($replaceWith_(replacer))
-            .with($merge_({
-            into: out,
-            on: root().of('_id'),
-            whenMatched: 'merge',
-            whenNotMatched: 'insert',
-        })).stages;
-    },
-});
-const $simpleInsert = (out) => $insertX(out, root().expr(), id$1);
-const $insert = (out) => $insertX(out, assertNotNull(root().of('after').expr()), x => ite(eq(root().of('after').expr())(nil), field({
+const $insertX = (out, expr, map, ext) => {
+    const filter = mapExactToObject(ext, v => ({ $eq: v }));
+    return {
+        teardown: c => c({
+            collection: out,
+            method: 'updateMany',
+            params: [
+                filter,
+                [{ $set: { deletedAt: '$$NOW', touchedAt: '$$CLUSTER_TIME' } }],
+            ],
+        }),
+        raw: () => {
+            const replacer = map(mergeObjects(expr, field(mergeExpr(ext, {
+                deletedAt: ['deletedAt', nil],
+                touchedAt: ['touchedAt', current],
+            }))));
+            return link()
+                .with($replaceWith_(replacer))
+                .with($merge_({
+                into: out,
+                on: root().of('_id'),
+                whenMatched: 'merge',
+                whenNotMatched: 'insert',
+            })).stages;
+        },
+    };
+};
+const $simpleInsert = (out) => $insertX(out, root().expr(), id$1, {});
+const $insertPart = (out, ext) => $insertX(out, assertNotNull(root().of('after').expr()), x => ite(eq(root().of('after').expr())(nil), field(mergeExpr(translateOmit().forward(ext), {
     deletedAt: ['deletedAt', current],
     _id: ['_id', assertNotNull(root().of('before').of('_id').expr())],
     touchedAt: ['touchedAt', current],
-}), x));
+})), x), ext);
+const $insert = (out) => $insertPart(out, {});
 const assertNotNull = (expr) => expr;
 
 const T = (s) => `Timestamp(${parseInt(`${BigInt(s) / 2n ** 32n}`)}, ${parseInt(`${BigInt(s) % 2n ** 32n}`)})`;
@@ -1920,6 +1931,7 @@ exports.$gteTs = $gteTs;
 exports.$ifNull = $ifNull;
 exports.$in = $in;
 exports.$insert = $insert;
+exports.$insertPart = $insertPart;
 exports.$insertX = $insertX;
 exports.$keys = $keys;
 exports.$let = $let;
@@ -1940,6 +1952,7 @@ exports.$or = $or;
 exports.$outerLookup = $outerLookup;
 exports.$pushDict = $pushDict;
 exports.$rand = $rand;
+exports.$reduce = $reduce;
 exports.$replaceWith = $replaceWith;
 exports.$set = $set;
 exports.$simpleInsert = $simpleInsert;

package/package.json

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