lib0 1.0.0-rc.31 → 1.0.0-rc.32

package/dist/delta/delta.d.ts

@@ -1274,9 +1274,20 @@ export type DeltaConfigGetRecursiveAttrs<Conf_1 extends DeltaConf> = Conf_1 exte
     recursiveAttrs: true;
 } ? true : false;
 /**
- * Transform Delta(Builder) to a normal delta.
- */
-export type _SanifyDelta<V> = V extends never ? never : (import("../ts.js").TypeIsAny<V, any, V extends Delta<infer Conf_1> ? Delta<Conf_1> : V>);
+ * Transform Delta(Builder) to a normal delta: a `DeltaBuilder<Conf>` becomes `Delta<Conf>`, anything
+ * else passes through.
+ *
+ * Infers the conf from `DeltaBuilder` on purpose, not from `Delta<infer Conf>`. lib0's own source
+ * check never had a problem with the latter, but a consumer type-checks the emitted declaration
+ * files, and there matching a builder against `Delta<infer Conf>` is structural: TypeScript walks
+ * `Delta`'s members and recurses through {@link DeltaConfGetChildren}'s recursive branch until its
+ * instantiation-depth limit, so every nested condensed builder (for example
+ * `create().insert([create('c', {}, [create('p', {}, 'x')])])`) failed with TS2589 in
+ * y-prosemirror and yjs. The structural walk also leaked the grandchild conf into the child
+ * union; inferring from the builder keeps the nesting exact. dist-check/consumer.js pins both
+ * against dist.
+ */
+export type _SanifyDelta<V> = V extends never ? never : (import("../ts.js").TypeIsAny<V, any, V extends DeltaBuilder<infer Conf_1, any> ? Delta<Conf_1> : V>);
 export type PrettifyDeltaConf<Conf_1 extends DeltaConf> = import("../ts.js").Prettify<{ [K in keyof Conf_1]: K extends "attrs" ? import("../ts.js").Prettify<{ [KA in keyof Conf_1[K]]: _SanifyDelta<Conf_1[K][KA]>; }, 1> : (K extends "children" ? _SanifyDelta<Conf_1[K]> : Conf_1[K]); }, 1>;
 export type DeltaConfOverwrite<D1 extends DeltaConf, D2> = (import("../ts.js").TypeIsAny<D1, any, PrettifyDeltaConf<{ [K in (keyof D1 | keyof D2)]: K extends keyof D2 ? D2[K] : (K extends keyof D1 ? D1[K] : never); }>> & {}) extends infer DC extends DeltaConf ? DC : never;
 export type ReadableDeltaConf = {
@@ -1523,10 +1534,21 @@ declare class Mark {
  * @typedef {Conf extends {recursiveAttrs:true} ? true : false} DeltaConfigGetRecursiveAttrs
  */
 /**
- * Transform Delta(Builder) to a normal delta.
+ * Transform Delta(Builder) to a normal delta: a `DeltaBuilder<Conf>` becomes `Delta<Conf>`, anything
+ * else passes through.
+ *
+ * Infers the conf from `DeltaBuilder` on purpose, not from `Delta<infer Conf>`. lib0's own source
+ * check never had a problem with the latter, but a consumer type-checks the emitted declaration
+ * files, and there matching a builder against `Delta<infer Conf>` is structural: TypeScript walks
+ * `Delta`'s members and recurses through {@link DeltaConfGetChildren}'s recursive branch until its
+ * instantiation-depth limit, so every nested condensed builder (for example
+ * `create().insert([create('c', {}, [create('p', {}, 'x')])])`) failed with TS2589 in
+ * y-prosemirror and yjs. The structural walk also leaked the grandchild conf into the child
+ * union; inferring from the builder keeps the nesting exact. dist-check/consumer.js pins both
+ * against dist.
  *
  * @template V
- * @typedef {V extends never ? never : (import('../ts.js').TypeIsAny<V,any,V extends Delta<infer Conf> ? Delta<Conf> : V>)} _SanifyDelta
+ * @typedef {V extends never ? never : (import('../ts.js').TypeIsAny<V,any,V extends DeltaBuilder<infer Conf, any> ? Delta<Conf> : V>)} _SanifyDelta
  */
 /**
  * @template {DeltaConf} Conf

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "lib0",
-  "version": "1.0.0-rc.31",
+  "version": "1.0.0-rc.32",
   "description": "isomorphic utility functions",
   "sideEffects": false,
   "type": "module",

package/src/delta/delta.js

@@ -1360,10 +1360,21 @@ export const createMark = (key, id, assoc, attrs, transient) => new Mark(key, id
  */
 
 /**
- * Transform Delta(Builder) to a normal delta.
+ * Transform Delta(Builder) to a normal delta: a `DeltaBuilder<Conf>` becomes `Delta<Conf>`, anything
+ * else passes through.
+ *
+ * Infers the conf from `DeltaBuilder` on purpose, not from `Delta<infer Conf>`. lib0's own source
+ * check never had a problem with the latter, but a consumer type-checks the emitted declaration
+ * files, and there matching a builder against `Delta<infer Conf>` is structural: TypeScript walks
+ * `Delta`'s members and recurses through {@link DeltaConfGetChildren}'s recursive branch until its
+ * instantiation-depth limit, so every nested condensed builder (for example
+ * `create().insert([create('c', {}, [create('p', {}, 'x')])])`) failed with TS2589 in
+ * y-prosemirror and yjs. The structural walk also leaked the grandchild conf into the child
+ * union; inferring from the builder keeps the nesting exact. dist-check/consumer.js pins both
+ * against dist.
  *
  * @template V
- * @typedef {V extends never ? never : (import('../ts.js').TypeIsAny<V,any,V extends Delta<infer Conf> ? Delta<Conf> : V>)} _SanifyDelta
+ * @typedef {V extends never ? never : (import('../ts.js').TypeIsAny<V,any,V extends DeltaBuilder<infer Conf, any> ? Delta<Conf> : V>)} _SanifyDelta
  */
 
 /**