@omegup/msync 0.1.47 → 0.1.48

package/index.d.ts

@@ -39,6 +39,7 @@ interface RawObj {
 type raw = readonly rawItem[] | RawObj;
 type StrKey<T> = string & keyof T;
 type Replace<R, V> = Omit<R, StrKey<V>> & V & O;
+type ReplaceQ<R extends Q, VV, Q extends O> = Omit<R, StrKey<VV>> & Omit<VV, StrKey<Q>> & Q;
 type AsLiteral<T extends keyof any | boolean | N, V = NoUnion<T>> = T extends keyof any ? {} extends {
     [K in T]: 1;
 } ? never : V : V;
@@ -206,10 +207,10 @@ type BoolExpr<in D1, in D2, in Ctx = unknown> = {
 
 type ExactPart<T, F extends HKT<T[StrKey<T>]>> = MapOPart<T, MappedHKT<T, F>>;
 type ExactKeys<K extends string> = Exact<RORec<K, 1>, IdHKT>;
-type MapO<T, F extends HKT<StrKey<T>>> = MapOPart<T, F> & {
-    readonly [P: string]: readonly [StrKey<T>, unknown];
+type MapO<T, F extends HKT<K>, K extends StrKey<T> = StrKey<T>> = MapOPart<T, F, K> & {
+    readonly [P: string]: readonly [K, unknown];
 };
-type MapOPart<T, F extends HKT<StrKey<T>>, K extends keyof T = StrKey<T>> = {
+type MapOPart<T, F extends HKT<K>, K extends keyof T = StrKey<T>> = {
     readonly [P in K]: readonly [P, App<F, P & string>];
 };
 type Exact<T, F extends HKT<T[StrKey<T>]>> = MapO<T, MappedHKT<T, F>>;
@@ -419,17 +420,17 @@ declare const $merge2: <T extends O, Out extends O = T, Ctx = unknown, In extend
 
 type GI$1<GG> = Exclude<GG, keyof TS>;
 type IdAndTsKeys = keyof (TS & ID);
-type V<VV, GG extends string> = Omit<VV, IdAndTsKeys | GI$1<GG>>;
+type V$1<VV, GG extends string> = Omit<VV, IdAndTsKeys | GI$1<GG>>;
 type Prepare<Grp, GG extends string> = TS & ID & Rec<GI$1<GG>, Grp>;
 type Par<T> = {
     [P in keyof T]?: T[P] | null;
 };
-type Loose<Grp, VV, GG extends string> = Prepare<Grp, GG> & Par<V<VV, GG>>;
-type Strict<Grp, VV, GG extends string, EE> = Prepare<Grp, GG> & V<VV, GG> & Omit<EE, IdAndTsKeys | GI$1<GG> | keyof V<VV, GG>>;
-type V_Grp<VV, GG extends string, Grp> = Rec<GI$1<GG>, Grp> & V<VV, GG>;
-type Extra<EE, VV, GG extends string> = Omit<EE, IdAndTsKeys | GI$1<GG> | keyof V<VV, GG>>;
+type Loose<Grp, VV, GG extends string> = Prepare<Grp, GG> & Par<V$1<VV, GG>>;
+type Strict<Grp, VV, GG extends string, EE> = Prepare<Grp, GG> & V$1<VV, GG> & Omit<EE, IdAndTsKeys | GI$1<GG> | keyof V$1<VV, GG>>;
+type V_Grp<VV, GG extends string, Grp> = Rec<GI$1<GG>, Grp> & V$1<VV, GG>;
+type Extra<EE, VV, GG extends string> = Omit<EE, IdAndTsKeys | GI$1<GG> | keyof V$1<VV, GG>>;
 type OrReplace<T, V> = T | Replace<T, V>;
-type MergedInput<Out, VV, Grp, GG extends string, EE> = OrReplace<Replace<Replace<Out, V<VV, GG>>, Extra<EE, VV, GG>> & Model, TS & ID & V_Grp<VV, GG, Grp> & Extra<EE, VV, GG>>;
+type MergedInput<Out, VV, Grp, GG extends string, EE> = OrReplace<Replace<Replace<Out, V$1<VV, GG>>, Extra<EE, VV, GG>> & Model, TS & ID & V_Grp<VV, GG, Grp> & Extra<EE, VV, GG>>;
 
 type Denied<GID = never> = keyof (TS & ID) | GID;
 type GI<GG> = Exclude<GG, keyof TS>;
@@ -465,14 +466,18 @@ type Updater<in R, in T, out V, in C = unknown> = {
     [Type]?(x: typeof Updater, r: R, t: T, c: C): V;
     readonly raw: <D extends O>(f: Field<D, R | N>) => readonly (readonly [string, rawItem])[];
 };
-interface UpdaterHKT<R, Old, V, C, K extends keyof Old = keyof Old, V2 extends V = V> extends HKT<StrKey<V>> {
-    readonly out: Updater<R, Get<Old, I<StrKey<V>, this>, K>, V2[I<StrKey<V>, this>], C>;
+interface UpdaterHKT<R, Old, V, C, K extends keyof Old = keyof Old, V2 extends V = V> extends UpdaterQHKT<R, Old, V2, StrKey<V>, C, K> {
+}
+interface UpdaterQHKT<R, Old, V, KV extends StrKey<V>, C, K extends keyof Old = keyof Old> extends HKT<KV> {
+    readonly out: Updater<R, Get<Old, I<KV, this>, K>, V[I<KV, this>], C>;
 }
 type Get<T, P extends string, K extends keyof T = never> = P extends K ? T[P] : P extends keyof T ? T[P] : undefined;
 declare const set: <V>() => <R, Old extends notArr, C = unknown, K extends keyof Old = never>(fields: MapO<V, UpdaterHKT<R, Old, V, C, K>>) => Updater<R, Old, O & Omit$1<Old, StrKey<V>> & V, C> & Updater<R, Arr<Old>, Arr<Omit$1<Old, StrKey<V>> & V>, C>;
 declare const to: <R, V, C = unknown, T = unknown>(expr: Expr<V, R, C>) => Updater<R, T, V, C>;
 
-declare const $set: <V extends O>() => <R extends O, C = unknown>(fields: MapO<V, UpdaterHKT<R, R, V, C>>) => DeltaStages<O, R, Replace<R, V>, C> & LinStages<O, R, Replace<R, V>, C>;
+type V<VV, Q> = Exclude<StrKey<VV>, StrKey<Q>>;
+type $Set<VV extends O, Q extends O> = <R extends Q, C = unknown>(fields: MapO<Omit<VV, StrKey<Q>>, UpdaterQHKT<R, R, VV, V<VV, Q>, C>, V<VV, Q>>) => DeltaStages<Q, R, Q & ReplaceQ<R, VV, Q>, C> & LinStages<Q, R, Q & ReplaceQ<R, VV, Q>, C>;
+declare const $set: <VV extends O, Q extends O = O>() => $Set<VV, Q>;
 declare const $replaceWith: <T extends O, V extends O>(expr: Expr<V, T>) => DeltaStages<O, T, V> & LinStages<O, T, V>;
 
 type s$1 = string;

package/index.esm.js

@@ -864,11 +864,17 @@ const $map1 = (ex, map) => $map0({ input: ex, as: 'item', expr: map(ctx()('item'
 const $map = (ex, map) => $map1(ex, i => map(i.expr()));
 
 const subUpdater = (a, f) => ({ raw: (g) => a.raw(g.with(f)) });
+const rawSet = (fields) => (f) => {
+    return Object.entries(mapExactToObject0(fields, v => v)).flatMap(([k, v]) => v.raw(f).map(([l, v]) => [`.${k}${l}`, v]));
+};
 const set = () => (fields) => ({
-    raw: f => {
-        return Object.entries(mapExactToObject0(fields, v => v)).flatMap(([k, v]) => v.raw(f).map(([l, v]) => [`.${k}${l}`, v]));
-    },
+    raw: rawSet(fields),
 });
+const setQ = () => {
+    return (fields) => ({
+        raw: rawSet(fields),
+    });
+};
 const weaken = (updater) => ({ raw: f => updater.raw(f) });
 const to = (expr) => ({
     raw: f => [['', expr.raw(f).get()]],
@@ -1711,9 +1717,7 @@ const $setCore = (updater) => ({
     raw: $set1(updater),
     lin: $set_(updater),
 });
-const $set = () => (fields) => {
-    return $setCore(set()(fields));
-};
+const $set = () => (fields) => $setCore(setQ()(fields));
 const $replaceWith = (expr) => ({
     delta: $replaceWithDelta(expr),
     raw: $replaceWith1(expr),

package/index.js

@@ -866,11 +866,17 @@ const $map1 = (ex, map) => $map0({ input: ex, as: 'item', expr: map(ctx()('item'
 const $map = (ex, map) => $map1(ex, i => map(i.expr()));
 
 const subUpdater = (a, f) => ({ raw: (g) => a.raw(g.with(f)) });
+const rawSet = (fields) => (f) => {
+    return Object.entries(mapExactToObject0(fields, v => v)).flatMap(([k, v]) => v.raw(f).map(([l, v]) => [`.${k}${l}`, v]));
+};
 const set = () => (fields) => ({
-    raw: f => {
-        return Object.entries(mapExactToObject0(fields, v => v)).flatMap(([k, v]) => v.raw(f).map(([l, v]) => [`.${k}${l}`, v]));
-    },
+    raw: rawSet(fields),
 });
+const setQ = () => {
+    return (fields) => ({
+        raw: rawSet(fields),
+    });
+};
 const weaken = (updater) => ({ raw: f => updater.raw(f) });
 const to = (expr) => ({
     raw: f => [['', expr.raw(f).get()]],
@@ -1713,9 +1719,7 @@ const $setCore = (updater) => ({
     raw: $set1(updater),
     lin: $set_(updater),
 });
-const $set = () => (fields) => {
-    return $setCore(set()(fields));
-};
+const $set = () => (fields) => $setCore(setQ()(fields));
 const $replaceWith = (expr) => ({
     delta: $replaceWithDelta(expr),
     raw: $replaceWith1(expr),

package/package.json

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