@dialecte/core 0.4.7 → 0.4.8

package/dist/helpers/converter.d.ts

@@ -1,10 +1,32 @@
 import { Ref, RefOrRecord } from '../document';
-import { RawRecord, TrackedRecord, TreeRecord, AnyDialecteConfig, AttributeInputOf, ElementsOf, FullAttributeObjectOf, AttributesValueObjectOf, OperationStatus, ParentRelationship, ChildRelationship } from '../types';
+import { RawRecord, TrackedRecord, TreeRecord, AnyDialecteConfig, Attribute, AttributeInputOf, ElementsOf, FullAttributeObjectOf, AttributesValueObjectOf, OperationStatus, ParentRelationship, ChildRelationship } from '../types';
 /**
  * Converts a TrackedRecord | TreeRecord to RawRecord
  * If already a RawRecord, returns as-is.
  */
 export declare function toRawRecord<GenericConfig extends AnyDialecteConfig, GenericElement extends ElementsOf<GenericConfig>>(record: RawRecord<GenericConfig, GenericElement> | TrackedRecord<GenericConfig, GenericElement> | TreeRecord<GenericConfig, GenericElement>): RawRecord<GenericConfig, GenericElement>;
+/**
+ * Widen any per-element dialecte value to its element-union form — the same value,
+ * with its element type parameter widened from a specific `GenericElement` to
+ * `ElementsOf<GenericConfig>`.
+ *
+ * A `RawRecord<Config, GenericElement>` (or `Ref`, `Attribute`, …) is semantically
+ * one of the element union, but these types are invariant in their element
+ * parameter (the attribute `name`/`tagName` narrows per element), so TypeScript
+ * cannot verify the upcast for an unresolved type parameter. `widen` performs it
+ * in one place, behind overloads that keep it a *widening* (not an arbitrary cast):
+ * the config is inferred from the argument, so callers write `widen(record)` with
+ * no type arguments. At runtime it is the identity function.
+ *
+ * Use it wherever a per-element value must flow into an element-union API — e.g.
+ * building an `Operation`, or passing a `Ref<Config, GenericElement>` to a
+ * union-typed method.
+ */
+export declare function widen<GenericConfig extends AnyDialecteConfig, GenericElement extends ElementsOf<GenericConfig>>(thing: TreeRecord<GenericConfig, GenericElement>): TreeRecord<GenericConfig, ElementsOf<GenericConfig>>;
+export declare function widen<GenericConfig extends AnyDialecteConfig, GenericElement extends ElementsOf<GenericConfig>>(thing: TrackedRecord<GenericConfig, GenericElement>): TrackedRecord<GenericConfig, ElementsOf<GenericConfig>>;
+export declare function widen<GenericConfig extends AnyDialecteConfig, GenericElement extends ElementsOf<GenericConfig>>(thing: RawRecord<GenericConfig, GenericElement>): RawRecord<GenericConfig, ElementsOf<GenericConfig>>;
+export declare function widen<GenericConfig extends AnyDialecteConfig, GenericElement extends ElementsOf<GenericConfig>>(thing: Ref<GenericConfig, GenericElement>): Ref<GenericConfig, ElementsOf<GenericConfig>>;
+export declare function widen<GenericConfig extends AnyDialecteConfig, GenericElement extends ElementsOf<GenericConfig>>(thing: Attribute<GenericConfig, GenericElement>): Attribute<GenericConfig, ElementsOf<GenericConfig>>;
 /**
  * Converts a RawRecord | TreeRecord to TrackedRecord
  * If already a TrackedRecord, returns as-is.

package/dist/helpers/converter.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"converter.d.ts","sourceRoot":"","sources":["../../src/helpers/converter.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,GAAG,EAAE,WAAW,EAAE,MAAM,YAAY,CAAA;AAClD,OAAO,KAAK,EACX,SAAS,EACT,aAAa,EACb,UAAU,EACV,iBAAiB,EACjB,gBAAgB,EAChB,UAAU,EACV,qBAAqB,EACrB,uBAAuB,EAEvB,eAAe,EACf,kBAAkB,EAClB,iBAAiB,EACjB,MAAM,SAAS,CAAA;AAEhB;;;GAGG;AACH,wBAAgB,WAAW,CAC1B,aAAa,SAAS,iBAAiB,EACvC,cAAc,SAAS,UAAU,CAAC,aAAa,CAAC,EAEhD,MAAM,EACH,SAAS,CAAC,aAAa,EAAE,cAAc,CAAC,GACxC,aAAa,CAAC,aAAa,EAAE,cAAc,CAAC,GAC5C,UAAU,CAAC,aAAa,EAAE,cAAc,CAAC,GAC1C,SAAS,CAAC,aAAa,EAAE,cAAc,CAAC,CAU1C;AAED;;;GAGG;AACH,wBAAgB,eAAe,CAC9B,aAAa,SAAS,iBAAiB,EACvC,cAAc,SAAS,UAAU,CAAC,aAAa,CAAC,EAC/C,MAAM,EAAE;IACT,MAAM,EACH,SAAS,CAAC,aAAa,EAAE,cAAc,CAAC,GACxC,aAAa,CAAC,aAAa,EAAE,cAAc,CAAC,GAC5C,UAAU,CAAC,aAAa,EAAE,cAAc,CAAC,CAAA;IAC5C,MAAM,CAAC,EAAE,eAAe,CAAA;CACxB,GAAG,aAAa,CAAC,aAAa,EAAE,cAAc,CAAC,CAQ/C;AAED;;;GAGG;AACH,wBAAgB,YAAY,CAC3B,aAAa,SAAS,iBAAiB,EACvC,cAAc,SAAS,UAAU,CAAC,aAAa,CAAC,EAC/C,MAAM,EAAE;IACT,MAAM,EACH,SAAS,CAAC,aAAa,EAAE,cAAc,CAAC,GACxC,aAAa,CAAC,aAAa,EAAE,cAAc,CAAC,GAC5C,UAAU,CAAC,aAAa,EAAE,cAAc,CAAC,CAAA;IAC5C,MAAM,CAAC,EAAE,eAAe,CAAA;IACxB,IAAI,CAAC,EAAE,UAAU,CAAC,aAAa,EAAE,cAAc,CAAC,EAAE,CAAA;CAClD,GAAG,UAAU,CAAC,aAAa,EAAE,cAAc,CAAC,CAS5C;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CACnC,aAAa,SAAS,iBAAiB,EACvC,cAAc,SAAS,UAAU,CAAC,aAAa,CAAC,EAC/C,MAAM,EAAE;IACT,cAAc,EAAE,aAAa,CAAA;IAC7B,OAAO,EAAE,cAAc,CAAA;IACvB,UAAU,EACP,OAAO,CAAC,uBAAuB,CAAC,aAAa,EAAE,cAAc,CAAC,CAAC,GAC/D,gBAAgB,CAAC,aAAa,EAAE,cAAc,CAAC,EAAE,CAAA;CACpD,GAAG,qBAAqB,CAAC,aAAa,EAAE,cAAc,CAAC,EAAE,CAezD;AAmED;;;GAGG;AACH,wBAAgB,KAAK,CACpB,aAAa,SAAS,iBAAiB,EACvC,cAAc,SAAS,UAAU,CAAC,aAAa,CAAC,EAC/C,KAAK,EAAE,GAAG,CAAC,aAAa,EAAE,cAAc,CAAC,GAAG,SAAS,GAAG,GAAG,CAAC,aAAa,EAAE,cAAc,CAAC,CAAA;AAC5F,wBAAgB,KAAK,CACpB,aAAa,SAAS,iBAAiB,EACvC,cAAc,SAAS,UAAU,CAAC,aAAa,CAAC,EAEhD,KAAK,EACF,kBAAkB,CAAC,aAAa,EAAE,cAAc,CAAC,GACjD,iBAAiB,CAAC,aAAa,EAAE,cAAc,CAAC,GAChD,SAAS,GACV,GAAG,CAAC,aAAa,EAAE,cAAc,CAAC,CAAA;AACrC,wBAAgB,KAAK,CACpB,aAAa,SAAS,iBAAiB,EACvC,cAAc,SAAS,UAAU,CAAC,aAAa,CAAC,EAEhD,KAAK,EACF,SAAS,CAAC,aAAa,EAAE,cAAc,CAAC,GACxC,aAAa,CAAC,aAAa,EAAE,cAAc,CAAC,GAC5C,UAAU,CAAC,aAAa,EAAE,cAAc,CAAC,GACzC,SAAS,GACV,GAAG,CAAC,aAAa,EAAE,cAAc,CAAC,CAAA;AACrC,wBAAgB,KAAK,CACpB,aAAa,SAAS,iBAAiB,EACvC,cAAc,SAAS,UAAU,CAAC,aAAa,CAAC,EAC/C,KAAK,EAAE,WAAW,CAAC,aAAa,EAAE,cAAc,CAAC,GAAG,SAAS,GAAG,GAAG,CAAC,aAAa,EAAE,cAAc,CAAC,CAAA"}
+{"version":3,"file":"converter.d.ts","sourceRoot":"","sources":["../../src/helpers/converter.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,GAAG,EAAE,WAAW,EAAE,MAAM,YAAY,CAAA;AAClD,OAAO,KAAK,EACX,SAAS,EACT,aAAa,EACb,UAAU,EACV,iBAAiB,EACjB,SAAS,EACT,gBAAgB,EAChB,UAAU,EACV,qBAAqB,EACrB,uBAAuB,EAEvB,eAAe,EACf,kBAAkB,EAClB,iBAAiB,EACjB,MAAM,SAAS,CAAA;AAEhB;;;GAGG;AACH,wBAAgB,WAAW,CAC1B,aAAa,SAAS,iBAAiB,EACvC,cAAc,SAAS,UAAU,CAAC,aAAa,CAAC,EAEhD,MAAM,EACH,SAAS,CAAC,aAAa,EAAE,cAAc,CAAC,GACxC,aAAa,CAAC,aAAa,EAAE,cAAc,CAAC,GAC5C,UAAU,CAAC,aAAa,EAAE,cAAc,CAAC,GAC1C,SAAS,CAAC,aAAa,EAAE,cAAc,CAAC,CAU1C;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,KAAK,CACpB,aAAa,SAAS,iBAAiB,EACvC,cAAc,SAAS,UAAU,CAAC,aAAa,CAAC,EAEhD,KAAK,EAAE,UAAU,CAAC,aAAa,EAAE,cAAc,CAAC,GAC9C,UAAU,CAAC,aAAa,EAAE,UAAU,CAAC,aAAa,CAAC,CAAC,CAAA;AACvD,wBAAgB,KAAK,CACpB,aAAa,SAAS,iBAAiB,EACvC,cAAc,SAAS,UAAU,CAAC,aAAa,CAAC,EAEhD,KAAK,EAAE,aAAa,CAAC,aAAa,EAAE,cAAc,CAAC,GACjD,aAAa,CAAC,aAAa,EAAE,UAAU,CAAC,aAAa,CAAC,CAAC,CAAA;AAC1D,wBAAgB,KAAK,CACpB,aAAa,SAAS,iBAAiB,EACvC,cAAc,SAAS,UAAU,CAAC,aAAa,CAAC,EAEhD,KAAK,EAAE,SAAS,CAAC,aAAa,EAAE,cAAc,CAAC,GAC7C,SAAS,CAAC,aAAa,EAAE,UAAU,CAAC,aAAa,CAAC,CAAC,CAAA;AACtD,wBAAgB,KAAK,CACpB,aAAa,SAAS,iBAAiB,EACvC,cAAc,SAAS,UAAU,CAAC,aAAa,CAAC,EAC/C,KAAK,EAAE,GAAG,CAAC,aAAa,EAAE,cAAc,CAAC,GAAG,GAAG,CAAC,aAAa,EAAE,UAAU,CAAC,aAAa,CAAC,CAAC,CAAA;AAC3F,wBAAgB,KAAK,CACpB,aAAa,SAAS,iBAAiB,EACvC,cAAc,SAAS,UAAU,CAAC,aAAa,CAAC,EAEhD,KAAK,EAAE,SAAS,CAAC,aAAa,EAAE,cAAc,CAAC,GAC7C,SAAS,CAAC,aAAa,EAAE,UAAU,CAAC,aAAa,CAAC,CAAC,CAAA;AAKtD;;;GAGG;AACH,wBAAgB,eAAe,CAC9B,aAAa,SAAS,iBAAiB,EACvC,cAAc,SAAS,UAAU,CAAC,aAAa,CAAC,EAC/C,MAAM,EAAE;IACT,MAAM,EACH,SAAS,CAAC,aAAa,EAAE,cAAc,CAAC,GACxC,aAAa,CAAC,aAAa,EAAE,cAAc,CAAC,GAC5C,UAAU,CAAC,aAAa,EAAE,cAAc,CAAC,CAAA;IAC5C,MAAM,CAAC,EAAE,eAAe,CAAA;CACxB,GAAG,aAAa,CAAC,aAAa,EAAE,cAAc,CAAC,CAQ/C;AAED;;;GAGG;AACH,wBAAgB,YAAY,CAC3B,aAAa,SAAS,iBAAiB,EACvC,cAAc,SAAS,UAAU,CAAC,aAAa,CAAC,EAC/C,MAAM,EAAE;IACT,MAAM,EACH,SAAS,CAAC,aAAa,EAAE,cAAc,CAAC,GACxC,aAAa,CAAC,aAAa,EAAE,cAAc,CAAC,GAC5C,UAAU,CAAC,aAAa,EAAE,cAAc,CAAC,CAAA;IAC5C,MAAM,CAAC,EAAE,eAAe,CAAA;IACxB,IAAI,CAAC,EAAE,UAAU,CAAC,aAAa,EAAE,cAAc,CAAC,EAAE,CAAA;CAClD,GAAG,UAAU,CAAC,aAAa,EAAE,cAAc,CAAC,CAS5C;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CACnC,aAAa,SAAS,iBAAiB,EACvC,cAAc,SAAS,UAAU,CAAC,aAAa,CAAC,EAC/C,MAAM,EAAE;IACT,cAAc,EAAE,aAAa,CAAA;IAC7B,OAAO,EAAE,cAAc,CAAA;IACvB,UAAU,EACP,OAAO,CAAC,uBAAuB,CAAC,aAAa,EAAE,cAAc,CAAC,CAAC,GAC/D,gBAAgB,CAAC,aAAa,EAAE,cAAc,CAAC,EAAE,CAAA;CACpD,GAAG,qBAAqB,CAAC,aAAa,EAAE,cAAc,CAAC,EAAE,CAezD;AAmED;;;GAGG;AACH,wBAAgB,KAAK,CACpB,aAAa,SAAS,iBAAiB,EACvC,cAAc,SAAS,UAAU,CAAC,aAAa,CAAC,EAC/C,KAAK,EAAE,GAAG,CAAC,aAAa,EAAE,cAAc,CAAC,GAAG,SAAS,GAAG,GAAG,CAAC,aAAa,EAAE,cAAc,CAAC,CAAA;AAC5F,wBAAgB,KAAK,CACpB,aAAa,SAAS,iBAAiB,EACvC,cAAc,SAAS,UAAU,CAAC,aAAa,CAAC,EAEhD,KAAK,EACF,kBAAkB,CAAC,aAAa,EAAE,cAAc,CAAC,GACjD,iBAAiB,CAAC,aAAa,EAAE,cAAc,CAAC,GAChD,SAAS,GACV,GAAG,CAAC,aAAa,EAAE,cAAc,CAAC,CAAA;AACrC,wBAAgB,KAAK,CACpB,aAAa,SAAS,iBAAiB,EACvC,cAAc,SAAS,UAAU,CAAC,aAAa,CAAC,EAEhD,KAAK,EACF,SAAS,CAAC,aAAa,EAAE,cAAc,CAAC,GACxC,aAAa,CAAC,aAAa,EAAE,cAAc,CAAC,GAC5C,UAAU,CAAC,aAAa,EAAE,cAAc,CAAC,GACzC,SAAS,GACV,GAAG,CAAC,aAAa,EAAE,cAAc,CAAC,CAAA;AACrC,wBAAgB,KAAK,CACpB,aAAa,SAAS,iBAAiB,EACvC,cAAc,SAAS,UAAU,CAAC,aAAa,CAAC,EAC/C,KAAK,EAAE,WAAW,CAAC,aAAa,EAAE,cAAc,CAAC,GAAG,SAAS,GAAG,GAAG,CAAC,aAAa,EAAE,cAAc,CAAC,CAAA"}

package/dist/helpers.js

@@ -64,35 +64,38 @@ function E(e) {
 	};
 }
 function D(e) {
+	return e;
+}
+function O(e) {
 	let { record: t, status: n } = e, r = n ?? ("status" in t ? t.status : "unchanged");
 	return {
 		...E(t),
 		status: r
 	};
 }
-function O(e) {
+function k(e) {
 	let { record: t, status: n, tree: r } = e, i = r ?? ("tree" in t ? t.tree : []);
 	return {
-		...D({
+		...O({
 			record: t,
 			status: n
 		}),
 		tree: i
 	};
 }
-function k(e) {
+function A(e) {
 	let { dialecteConfig: t, tagName: n, attributes: r } = e;
 	return (Array.isArray(r) ? r : Object.entries(r).map(([e, r]) => ({
 		name: e,
 		value: r,
 		namespace: t.definition[n]?.attributes.details[e]?.namespace || void 0
-	}))).map((e) => A({
+	}))).map((e) => j({
 		attribute: e,
 		dialecteConfig: t,
 		tagName: n
 	}));
 }
-function A(t) {
+function j(t) {
 	let { attribute: r, dialecteConfig: a, tagName: s } = t, c;
 	typeof r.namespace == "string" ? (c = o(a, r.namespace), c || i("UNKNOWN_NAMESPACE_PREFIX", {
 		detail: `Unknown namespace '${r.namespace}' on attribute '${r.name}' — use a registered namespace key or pass a full { name, namespace: { prefix, uri } }.`,
@@ -115,7 +118,7 @@ function A(t) {
 		namespace: c
 	});
 }
-function j(e) {
+function M(e) {
 	return a(e, { detail: "The record or ref is undefined" }), {
 		id: e.id,
 		tagName: e.tagName
@@ -123,8 +126,8 @@ function j(e) {
 }
 //#endregion
 //#region src/helpers/standardizing.ts
-function M(e) {
-	let { dialecteConfig: n, hooks: r, record: i } = e, { id: a, tagName: o, attributes: s, namespace: c, value: l } = i, u = a ?? crypto.randomUUID(), d = s ? k({
+function N(e) {
+	let { dialecteConfig: n, hooks: r, record: i } = e, { id: a, tagName: o, attributes: s, namespace: c, value: l } = i, u = a ?? crypto.randomUUID(), d = s ? A({
 		tagName: o,
 		attributes: s,
 		dialecteConfig: n
@@ -164,7 +167,7 @@ function M(e) {
 }
 //#endregion
 //#region src/helpers/assert-fixed.ts
-function N(e) {
+function P(e) {
 	let { dialecteConfig: t, tagName: n, attributes: a } = e;
 	for (let e of a) {
 		let a = r({
@@ -180,7 +183,7 @@ function N(e) {
 }
 //#endregion
 //#region src/helpers/merge-extensions.ts
-function P(e, t, n, r) {
+function F(e, t, n, r) {
 	if (!e || !t) return;
 	let i = Object.keys(t).filter((t) => t in e);
 	a(i.length === 0, {
@@ -188,12 +191,12 @@ function P(e, t, n, r) {
 		detail: `Module "${n}" has conflicting ${r} method(s): ${i.map((e) => `"${e}"`).join(", ")}`
 	});
 }
-function F(e) {
+function I(e) {
 	let t = {}, n = {}, r = [...Object.entries(e.base ?? {}), ...Object.entries(e.custom ?? {})];
-	for (let [e, i] of r) i.query && (P(t[e], i.query, e, "query"), t[e] = {
+	for (let [e, i] of r) i.query && (F(t[e], i.query, e, "query"), t[e] = {
 		...t[e],
 		...i.query
-	}), i.transaction && (P(n[e], i.transaction, e, "transaction"), n[e] = {
+	}), i.transaction && (F(n[e], i.transaction, e, "transaction"), n[e] = {
 		...n[e],
 		...i.transaction
 	});
@@ -204,15 +207,15 @@ function F(e) {
 }
 //#endregion
 //#region src/helpers/strip-attributes.ts
-function I(e, t) {
+function L(e, t) {
 	let n = new Set(t), r = {
 		...e,
 		attributes: e.attributes.filter((e) => !n.has(e.name))
 	};
 	return "tree" in e ? {
 		...r,
-		tree: e.tree.map((e) => I(e, t))
+		tree: e.tree.map((e) => L(e, t))
 	} : r;
 }
 //#endregion
-export { l as CUSTOM_RECORD_ID_ATTRIBUTE, s as CUSTOM_RECORD_ID_ATTRIBUTE_NAME, c as DIALECTE_DEV_NAMESPACE, f as DIALECTE_NAMESPACES, d as XMLNS_XSI_NAMESPACE, u as XSI_NAMESPACE, N as assertNoFixedViolation, T as isAttributeOf, S as isChildOf, w as isElementOf, _ as isFullAttributeArray, C as isParentOf, v as isRawRecord, x as isRecordOf, y as isTrackedRecord, b as isTreeRecord, F as mergeExtensions, M as standardizeRecord, I as stripAttributes, k as toFullAttributeArray, E as toRawRecord, j as toRef, D as toTrackedRecord, O as toTreeRecord };
+export { l as CUSTOM_RECORD_ID_ATTRIBUTE, s as CUSTOM_RECORD_ID_ATTRIBUTE_NAME, c as DIALECTE_DEV_NAMESPACE, f as DIALECTE_NAMESPACES, d as XMLNS_XSI_NAMESPACE, u as XSI_NAMESPACE, P as assertNoFixedViolation, T as isAttributeOf, S as isChildOf, w as isElementOf, _ as isFullAttributeArray, C as isParentOf, v as isRawRecord, x as isRecordOf, y as isTrackedRecord, b as isTreeRecord, I as mergeExtensions, N as standardizeRecord, L as stripAttributes, A as toFullAttributeArray, E as toRawRecord, M as toRef, O as toTrackedRecord, k as toTreeRecord, D as widen };

package/package.json

@@ -1,6 +1,6 @@
 {
 	"name": "@dialecte/core",
-	"version": "0.4.7",
+	"version": "0.4.8",
 	"description": "Dialecte - Core functionality for Dialecte SDK",
 	"license": "MIT",
 	"repository": {