@unyt/datex 0.0.9 → 0.0.11

package/esm/datex-core/datex_core_js.js

@@ -1,8 +1,12 @@
 import * as imports from "./datex_core_js.internal.js";
-import { runtimeInterface, detectRuntime } from "../utils/js-runtime-compat/js-runtime.js";
+import {
+    detectRuntime,
+    runtimeInterface,
+} from "../utils/js-runtime-compat/js-runtime.js";
 
 let wasmUrl;
-if (detectRuntime() == "browser") {
+const isVite = !!import.meta.env?.MODE;
+if (detectRuntime() == "browser" && isVite) {
     wasmUrl = (await import("./wasm_url.node.js")).default;
 } else {
     wasmUrl = new URL("datex_core_js.wasm", import.meta.url);
@@ -14,4 +18,4 @@ const wasm = (await runtimeInterface.instantiateWebAssembly(wasmUrl, {
 export * from "./datex_core_js.internal.js";
 import { __wbg_set_wasm } from "./datex_core_js.internal.js";
 __wbg_set_wasm(wasm.exports);
-wasm.exports.__wbindgen_start();
+wasm.exports.__wbindgen_start();

package/esm/datex-core/wasm_url.node.js

@@ -1 +1 @@
-export { default } from "./datex_core_js.wasm?url";
+export { default } from "./datex_core_js.wasm?url";

package/esm/default.d.ts

@@ -2,6 +2,14 @@
  * @module default.ts
  * @description
  * This module exports an instance of the DATEX runtime.
+ *
+ * @example
+ * ```ts
+ * import { Datex } from "@unyt/datex/default";
+ *
+ * // Use the Datex runtime instance
+ * const result = await Datex.execute("@example :: 1 + 2");
+ * ```
  */
 import { Runtime } from "./runtime/runtime.js";
 /**

package/esm/default.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"default.d.ts","sourceRoot":"","sources":["../src/default.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,qBAAqB,CAAC;AAG7B,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAa/C;;GAEG;AACH,eAAO,MAAM,KAAK,EAAE,OAElB,CAAC"}
+{"version":3,"file":"default.d.ts","sourceRoot":"","sources":["../src/default.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,OAAO,qBAAqB,CAAC;AAG7B,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAa/C;;GAEG;AACH,eAAO,MAAM,KAAK,EAAE,OAElB,CAAC"}

package/esm/default.js

@@ -2,6 +2,14 @@
  * @module default.ts
  * @description
  * This module exports an instance of the DATEX runtime.
+ *
+ * @example
+ * ```ts
+ * import { Datex } from "@unyt/datex/default";
+ *
+ * // Use the Datex runtime instance
+ * const result = await Datex.execute("@example :: 1 + 2");
+ * ```
  */
 import { Runtime } from "./runtime/runtime.js";
 /**

package/esm/deno.json

@@ -1,6 +1,6 @@
 {
     "name": "@unyt/datex",
-    "version": "0.0.9",
+    "version": "0.0.11",
     "license": "MIT",
     "exports": {
         ".": "./src/mod.ts",
@@ -39,14 +39,16 @@
     "imports": {
         "@david/path": "jsr:@david/path@^0.2.0",
         "@deno/dnt": "jsr:@deno/dnt@^0.42.1",
-        "@deno/wasmbuild": "https://jsr.io/@deno/wasmbuild/0.19.3/lib/commands/build_command.ts",
+        "@deno/wasmbuild": "https://jsr.io/@deno/wasmbuild/0.20.0/lib/commands/build_command.ts",
         "@qnighy/dedent": "jsr:@qnighy/dedent@^0.1.2",
         "@std/assert": "jsr:@std/assert@^1.0.15",
         "@std/cli": "jsr:@std/cli@^1.0.23",
         "@std/encoding": "jsr:@std/encoding@^1.0.10",
         "@std/fmt": "jsr:@std/fmt@^1.0.8",
+        "@std/fs": "jsr:@std/fs@^1.0.19",
         "@std/uuid": "jsr:@std/uuid@^1.0.9",
-        "@unyt/speck": "jsr:@unyt/speck@^0.0.10"
+        "@unyt/speck": "jsr:@unyt/speck@^0.0.10",
+        "datex-core-js/": "./src/"
     },
     "test": {
         "exclude": [

package/esm/dif/core.d.ts

@@ -5,15 +5,18 @@ export declare const CoreTypeAddress: {
     readonly null: "010000";
     readonly type: "020000";
     readonly boolean: "030000";
+    readonly callable: "050000";
     readonly endpoint: "070000";
     readonly text: "080000";
     readonly list: "090000";
     readonly unit: "0b0000";
     readonly map: "0c0000";
+    readonly never: "0d0000";
+    readonly unknown: "0e0000";
     readonly decimal: "2c0100";
     readonly decimal_f32: "2d0100";
     readonly decimal_f64: "2e0100";
-    readonly decimal_big: "2f0100";
+    readonly decimal_dbig: "2f0100";
     readonly integer: "640000";
     readonly integer_u8: "650000";
     readonly integer_u16: "660000";
@@ -25,7 +28,7 @@ export declare const CoreTypeAddress: {
     readonly integer_i32: "6c0000";
     readonly integer_i64: "6d0000";
     readonly integer_i128: "6e0000";
-    readonly integer_big: "6f0000";
+    readonly integer_ibig: "6f0000";
 };
 /**
  * Type representing the unique pointer addresses of core types.
@@ -36,7 +39,6 @@ export type CoreTypeAddress = typeof CoreTypeAddress[keyof typeof CoreTypeAddres
  */
 export declare const CoreTypeAddressRanges: {
     readonly small_unsigned_integers: Set<"650000" | "660000" | "670000" | "680000" | "690000">;
-    readonly big_unsigned_integers: Set<"6f0000">;
     readonly small_signed_integers: Set<"6a0000" | "6b0000" | "6c0000" | "6d0000" | "6e0000">;
     readonly big_signed_integers: Set<"6f0000">;
     readonly decimals: Set<"2c0100" | "2d0100" | "2e0100" | "2f0100">;

package/esm/dif/core.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"core.d.ts","sourceRoot":"","sources":["../../src/dif/core.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;CAyBlB,CAAC;AACX;;GAEG;AACH,MAAM,MAAM,eAAe,GACvB,OAAO,eAAe,CAAC,MAAM,OAAO,eAAe,CAAC,CAAC;AAEzD;;GAEG;AACH,eAAO,MAAM,qBAAqB;;;;;;CAuBxB,CAAC"}
+{"version":3,"file":"core.d.ts","sourceRoot":"","sources":["../../src/dif/core.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA4BlB,CAAC;AACX;;GAEG;AACH,MAAM,MAAM,eAAe,GACvB,OAAO,eAAe,CAAC,MAAM,OAAO,eAAe,CAAC,CAAC;AAEzD;;GAEG;AACH,eAAO,MAAM,qBAAqB;;;;;CAsBxB,CAAC"}

package/esm/dif/core.js

@@ -5,15 +5,18 @@ export const CoreTypeAddress = {
     null: "010000",
     type: "020000",
     boolean: "030000",
+    callable: "050000",
     endpoint: "070000",
     text: "080000",
     list: "090000",
     unit: "0b0000",
     map: "0c0000",
+    never: "0d0000",
+    unknown: "0e0000",
     decimal: "2c0100",
     decimal_f32: "2d0100",
     decimal_f64: "2e0100",
-    decimal_big: "2f0100",
+    decimal_dbig: "2f0100",
     integer: "640000",
     integer_u8: "650000",
     integer_u16: "660000",
@@ -25,7 +28,7 @@ export const CoreTypeAddress = {
     integer_i32: "6c0000",
     integer_i64: "6d0000",
     integer_i128: "6e0000",
-    integer_big: "6f0000",
+    integer_ibig: "6f0000",
 };
 /**
  * Mapping of core type address ranges for categorization.
@@ -38,7 +41,6 @@ export const CoreTypeAddressRanges = {
         CoreTypeAddress.integer_u64,
         CoreTypeAddress.integer_u128,
     ]),
-    big_unsigned_integers: new Set([CoreTypeAddress.integer_big]),
     small_signed_integers: new Set([
         CoreTypeAddress.integer_i8,
         CoreTypeAddress.integer_i16,
@@ -46,11 +48,11 @@ export const CoreTypeAddressRanges = {
         CoreTypeAddress.integer_i64,
         CoreTypeAddress.integer_i128,
     ]),
-    big_signed_integers: new Set([CoreTypeAddress.integer_big]),
+    big_signed_integers: new Set([CoreTypeAddress.integer_ibig]),
     decimals: new Set([
         CoreTypeAddress.decimal,
         CoreTypeAddress.decimal_f32,
         CoreTypeAddress.decimal_f64,
-        CoreTypeAddress.decimal_big,
+        CoreTypeAddress.decimal_dbig,
     ]),
 };

package/esm/dif/definitions.d.ts

@@ -13,26 +13,26 @@ export type DIFPointerAddress = string;
  * which may optionally include type information.
  */
 export type DIFValue = {
-    type?: DIFTypeContainer;
+    type?: DIFTypeDefinition;
     value: DIFRepresentationValue;
 };
-/**
- * A DATEX value or pointer address representation in the DIF format.
- */
-export type DIFContainer = DIFValue | DIFPointerAddress;
 /**
  * Mapping of DIF type kinds.
  */
-export declare const DIFTypeKinds: {
-    readonly Structural: 0;
-    readonly Reference: 1;
-    readonly Intersection: 2;
-    readonly Union: 3;
-    readonly Unit: 4;
-    readonly Function: 5;
+export declare const DIFTypeDefinitionKind: {
+    readonly Structural: 1;
+    readonly Reference: 2;
+    readonly Type: 3;
+    readonly Intersection: 4;
+    readonly Union: 5;
+    readonly ImplType: 6;
+    readonly Unit: 7;
+    readonly Never: 8;
+    readonly Unknown: 9;
+    readonly Function: 10;
 };
 /** A DIF type kind. */
-export type DIFTypeKind = typeof DIFTypeKinds[keyof typeof DIFTypeKinds];
+export type DIFTypeDefinitionKind = typeof DIFTypeDefinitionKind[keyof typeof DIFTypeDefinitionKind];
 /**
  * Representation of reference mutability (mutable or immutable) in DIF.
  */
@@ -42,25 +42,27 @@ export declare const DIFReferenceMutability: {
 };
 /** A DIF reference mutability. */
 export type DIFReferenceMutability = typeof DIFReferenceMutability[keyof typeof DIFReferenceMutability];
-/** A DIF type definition based on its kind. */
-export type DIFTypeDefinition<Kind extends DIFTypeKind = DIFTypeKind> = Kind extends typeof DIFTypeKinds.Structural ? DIFValue : Kind extends typeof DIFTypeKinds.Reference ? DIFPointerAddress : Kind extends typeof DIFTypeKinds.Intersection ? Array<DIFTypeContainer> : Kind extends typeof DIFTypeKinds.Union ? Array<DIFTypeContainer> : Kind extends typeof DIFTypeKinds.Unit ? null : Kind extends typeof DIFTypeKinds.Function ? unknown : never;
-/** A DIF type representation. */
-export type DIFType<Kind extends DIFTypeKind = DIFTypeKind> = {
+export type DIFType = DIFPointerAddress | {
     name?: string;
-    kind: Kind;
-    def: DIFTypeDefinition<Kind>;
     mut?: DIFReferenceMutability;
+    def: DIFTypeDefinition;
+};
+/** A DIF type definition based on its kind. */
+export type DIFTypeDefinitionInner<Kind extends DIFTypeDefinitionKind = DIFTypeDefinitionKind> = Kind extends typeof DIFTypeDefinitionKind.Structural ? DIFValue : Kind extends typeof DIFTypeDefinitionKind.Reference ? DIFPointerAddress : Kind extends typeof DIFTypeDefinitionKind.Intersection ? Array<DIFType> : Kind extends typeof DIFTypeDefinitionKind.Union ? Array<DIFType> : Kind extends typeof DIFTypeDefinitionKind.Unit ? null : Kind extends typeof DIFTypeDefinitionKind.Function ? unknown : Kind extends typeof DIFTypeDefinitionKind.ImplType ? [DIFType, Array<DIFPointerAddress>] : never;
+/** A DIF type definition representation. */
+export type DIFTypeDefinition<Kind extends DIFTypeDefinitionKind = DIFTypeDefinitionKind> = Kind extends typeof DIFTypeDefinitionKind.Reference ? DIFPointerAddress : VerboseDIFTypeDefinition<Kind>;
+type VerboseDIFTypeDefinition<Kind extends DIFTypeDefinitionKind = DIFTypeDefinitionKind> = {
+    kind: Kind;
+    def: DIFTypeDefinitionInner<Kind>;
 };
 /** A representation of a reference in DIF. */
 export type DIFReference = {
     value: DIFValueContainer;
-    allowed_type: DIFTypeContainer;
+    allowed_type: DIFTypeDefinition;
     mut: DIFReferenceMutability;
 };
 /** A representation of a value or pointer address in DIF. */
 export type DIFValueContainer = DIFValue | DIFPointerAddress;
-/** A representation of a type or type pointer address in DIF. */
-export type DIFTypeContainer = DIFType | DIFPointerAddress;
 /** A DIF object, mapping string keys to DIF value containers. */
 export type DIFObject = Record<string, DIFValueContainer>;
 /** A DIF array, containing DIF value containers. */
@@ -87,30 +89,38 @@ export type DIFProperty = {
  */
 export declare const DIFUpdateKind: {
     readonly Replace: "replace";
-    readonly Push: "push";
+    readonly Append: "append";
     readonly Set: "set";
-    readonly Remove: "remove";
+    readonly Delete: "delete";
     readonly Clear: "clear";
+    readonly ListSplice: "list_splice";
 };
 /** A DIF update kind. */
 export type DIFUpdateKind = typeof DIFUpdateKind[keyof typeof DIFUpdateKind];
 /** Different kinds of updates that can be applied to a DIF value. */
-export type DIFUpdateData = {
-    kind: typeof DIFUpdateKind.Replace;
+export type DIFUpdateBaseData<Kind extends DIFUpdateKind> = {
+    kind: Kind;
+};
+export type DIFUpdateDataReplace = DIFUpdateBaseData<typeof DIFUpdateKind.Replace> & {
     value: DIFValueContainer;
-} | {
-    kind: typeof DIFUpdateKind.Push;
+};
+export type DIFUpdateDataPush = DIFUpdateBaseData<typeof DIFUpdateKind.Append> & {
     value: DIFValueContainer;
-} | {
-    kind: typeof DIFUpdateKind.Remove;
+};
+export type DIFUpdateDataDelete = DIFUpdateBaseData<typeof DIFUpdateKind.Delete> & {
     key: DIFProperty;
-} | {
-    kind: typeof DIFUpdateKind.Set;
+};
+export type DIFUpdateDataSet = DIFUpdateBaseData<typeof DIFUpdateKind.Set> & {
     key: DIFProperty;
     value: DIFValueContainer;
-} | {
-    kind: typeof DIFUpdateKind.Clear;
 };
+export type DIFUpdateDataClear = DIFUpdateBaseData<typeof DIFUpdateKind.Clear>;
+export type DIFUpdateDataListSplice = DIFUpdateBaseData<typeof DIFUpdateKind.ListSplice> & {
+    start: number;
+    delete_count: number;
+    items: DIFValueContainer[];
+};
+export type DIFUpdateData = DIFUpdateDataReplace | DIFUpdateDataPush | DIFUpdateDataDelete | DIFUpdateDataSet | DIFUpdateDataClear | DIFUpdateDataListSplice;
 /** A DIF update struct, associating a source ID with update data. */
 export type DIFUpdate = {
     source_id: number;
@@ -120,4 +130,5 @@ export type DIFUpdate = {
 export type ObserveOptions = {
     relay_own_updates: boolean;
 };
+export {};
 //# sourceMappingURL=definitions.d.ts.map

package/esm/dif/definitions.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"definitions.d.ts","sourceRoot":"","sources":["../../src/dif/definitions.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH;;;GAGG;AACH,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC;AACvC;;;GAGG;AACH,MAAM,MAAM,QAAQ,GAAG;IACnB,IAAI,CAAC,EAAE,gBAAgB,CAAC;IACxB,KAAK,EAAE,sBAAsB,CAAC;CACjC,CAAC;AACF;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG,QAAQ,GAAG,iBAAiB,CAAC;AAExD;;GAEG;AACH,eAAO,MAAM,YAAY;;;;;;;CAOf,CAAC;AACX,uBAAuB;AACvB,MAAM,MAAM,WAAW,GAAG,OAAO,YAAY,CAAC,MAAM,OAAO,YAAY,CAAC,CAAC;AAEzE;;GAEG;AACH,eAAO,MAAM,sBAAsB;;;CAGzB,CAAC;AACX,kCAAkC;AAClC,MAAM,MAAM,sBAAsB,GAC9B,OAAO,sBAAsB,CAAC,MAAM,OAAO,sBAAsB,CAAC,CAAC;AAEvE,+CAA+C;AAC/C,MAAM,MAAM,iBAAiB,CAAC,IAAI,SAAS,WAAW,GAAG,WAAW,IAChE,IAAI,SAAS,OAAO,YAAY,CAAC,UAAU,GAAG,QAAQ,GAChD,IAAI,SAAS,OAAO,YAAY,CAAC,SAAS,GAAG,iBAAiB,GAC9D,IAAI,SAAS,OAAO,YAAY,CAAC,YAAY,GACzC,KAAK,CAAC,gBAAgB,CAAC,GAC3B,IAAI,SAAS,OAAO,YAAY,CAAC,KAAK,GAAG,KAAK,CAAC,gBAAgB,CAAC,GAChE,IAAI,SAAS,OAAO,YAAY,CAAC,IAAI,GAAG,IAAI,GAC5C,IAAI,SAAS,OAAO,YAAY,CAAC,QAAQ,GAAG,OAAO,GACnD,KAAK,CAAC;AAEhB,iCAAiC;AACjC,MAAM,MAAM,OAAO,CAAC,IAAI,SAAS,WAAW,GAAG,WAAW,IAAI;IAC1D,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,IAAI,CAAC;IACX,GAAG,EAAE,iBAAiB,CAAC,IAAI,CAAC,CAAC;IAC7B,GAAG,CAAC,EAAE,sBAAsB,CAAC;CAChC,CAAC;AAEF,8CAA8C;AAC9C,MAAM,MAAM,YAAY,GAAG;IACvB,KAAK,EAAE,iBAAiB,CAAC;IACzB,YAAY,EAAE,gBAAgB,CAAC;IAC/B,GAAG,EAAE,sBAAsB,CAAC;CAC/B,CAAC;AAEF,6DAA6D;AAC7D,MAAM,MAAM,iBAAiB,GAAG,QAAQ,GAAG,iBAAiB,CAAC;AAC7D,iEAAiE;AACjE,MAAM,MAAM,gBAAgB,GAAG,OAAO,GAAG,iBAAiB,CAAC;AAE3D,iEAAiE;AACjE,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;AAC1D,oDAAoD;AACpD,MAAM,MAAM,QAAQ,GAAG,iBAAiB,EAAE,CAAC;AAC3C,qEAAqE;AACrE,MAAM,MAAM,MAAM,GAAG,CAAC,iBAAiB,EAAE,iBAAiB,CAAC,EAAE,CAAC;AAE9D,6DAA6D;AAC7D,MAAM,MAAM,sBAAsB,GAC5B,MAAM,GACN,MAAM,GACN,OAAO,GACP,IAAI,GACJ,SAAS,GACT,MAAM,GACN,QAAQ,CAAC;AAEf;;GAEG;AACH,MAAM,MAAM,WAAW,GACjB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAC/B;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAChC;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,iBAAiB,CAAA;CAAE,CAAC;AAElD;;GAEG;AACH,eAAO,MAAM,aAAa;;;;;;CAMhB,CAAC;AACX,yBAAyB;AACzB,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC,MAAM,OAAO,aAAa,CAAC,CAAC;AAE7E,qEAAqE;AACrE,MAAM,MAAM,aAAa,GACnB;IAAE,IAAI,EAAE,OAAO,aAAa,CAAC,OAAO,CAAC;IAAC,KAAK,EAAE,iBAAiB,CAAA;CAAE,GAChE;IAAE,IAAI,EAAE,OAAO,aAAa,CAAC,IAAI,CAAC;IAAC,KAAK,EAAE,iBAAiB,CAAA;CAAE,GAC7D;IAAE,IAAI,EAAE,OAAO,aAAa,CAAC,MAAM,CAAC;IAAC,GAAG,EAAE,WAAW,CAAA;CAAE,GACvD;IACE,IAAI,EAAE,OAAO,aAAa,CAAC,GAAG,CAAC;IAC/B,GAAG,EAAE,WAAW,CAAC;IACjB,KAAK,EAAE,iBAAiB,CAAC;CAC5B,GACC;IAAE,IAAI,EAAE,OAAO,aAAa,CAAC,KAAK,CAAA;CAAE,CAAC;AAE3C,qEAAqE;AACrE,MAAM,MAAM,SAAS,GAAG;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,aAAa,CAAC;CACvB,CAAC;AAEF,0CAA0C;AAC1C,MAAM,MAAM,cAAc,GAAG;IACzB,iBAAiB,EAAE,OAAO,CAAC;CAC9B,CAAC"}
+{"version":3,"file":"definitions.d.ts","sourceRoot":"","sources":["../../src/dif/definitions.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH;;;GAGG;AACH,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC;AACvC;;;GAGG;AACH,MAAM,MAAM,QAAQ,GAAG;IACnB,IAAI,CAAC,EAAE,iBAAiB,CAAC;IACzB,KAAK,EAAE,sBAAsB,CAAC;CACjC,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,qBAAqB;;;;;;;;;;;CAWxB,CAAC;AACX,uBAAuB;AACvB,MAAM,MAAM,qBAAqB,GAC7B,OAAO,qBAAqB,CAAC,MAAM,OAAO,qBAAqB,CAAC,CAAC;AAErE;;GAEG;AACH,eAAO,MAAM,sBAAsB;;;CAGzB,CAAC;AACX,kCAAkC;AAClC,MAAM,MAAM,sBAAsB,GAC9B,OAAO,sBAAsB,CAAC,MAAM,OAAO,sBAAsB,CAAC,CAAC;AAEvE,MAAM,MAAM,OAAO,GACb,iBAAiB,GACjB;IACE,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,GAAG,CAAC,EAAE,sBAAsB,CAAC;IAC7B,GAAG,EAAE,iBAAiB,CAAC;CAC1B,CAAC;AAEN,+CAA+C;AAC/C,MAAM,MAAM,sBAAsB,CAC9B,IAAI,SAAS,qBAAqB,GAAG,qBAAqB,IAC1D,IAAI,SAAS,OAAO,qBAAqB,CAAC,UAAU,GAAG,QAAQ,GAC7D,IAAI,SAAS,OAAO,qBAAqB,CAAC,SAAS,GAAG,iBAAiB,GACvE,IAAI,SAAS,OAAO,qBAAqB,CAAC,YAAY,GAAG,KAAK,CAAC,OAAO,CAAC,GACvE,IAAI,SAAS,OAAO,qBAAqB,CAAC,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,GAChE,IAAI,SAAS,OAAO,qBAAqB,CAAC,IAAI,GAAG,IAAI,GACrD,IAAI,SAAS,OAAO,qBAAqB,CAAC,QAAQ,GAAG,OAAO,GAC5D,IAAI,SAAS,OAAO,qBAAqB,CAAC,QAAQ,GAC9C,CAAC,OAAO,EAAE,KAAK,CAAC,iBAAiB,CAAC,CAAC,GACvC,KAAK,CAAC;AAEZ,4CAA4C;AAC5C,MAAM,MAAM,iBAAiB,CACzB,IAAI,SAAS,qBAAqB,GAAG,qBAAqB,IAC1D,IAAI,SAAS,OAAO,qBAAqB,CAAC,SAAS,GAAG,iBAAiB,GACrE,wBAAwB,CAAC,IAAI,CAAC,CAAC;AAErC,KAAK,wBAAwB,CACzB,IAAI,SAAS,qBAAqB,GAAG,qBAAqB,IAC1D;IACA,IAAI,EAAE,IAAI,CAAC;IACX,GAAG,EAAE,sBAAsB,CAAC,IAAI,CAAC,CAAC;CACrC,CAAC;AAEF,8CAA8C;AAC9C,MAAM,MAAM,YAAY,GAAG;IACvB,KAAK,EAAE,iBAAiB,CAAC;IACzB,YAAY,EAAE,iBAAiB,CAAC;IAChC,GAAG,EAAE,sBAAsB,CAAC;CAC/B,CAAC;AAEF,6DAA6D;AAC7D,MAAM,MAAM,iBAAiB,GAAG,QAAQ,GAAG,iBAAiB,CAAC;AAE7D,iEAAiE;AACjE,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;AAC1D,oDAAoD;AACpD,MAAM,MAAM,QAAQ,GAAG,iBAAiB,EAAE,CAAC;AAC3C,qEAAqE;AACrE,MAAM,MAAM,MAAM,GAAG,CAAC,iBAAiB,EAAE,iBAAiB,CAAC,EAAE,CAAC;AAE9D,6DAA6D;AAC7D,MAAM,MAAM,sBAAsB,GAC5B,MAAM,GACN,MAAM,GACN,OAAO,GACP,IAAI,GACJ,SAAS,GACT,MAAM,GACN,QAAQ,CAAC;AAEf;;GAEG;AACH,MAAM,MAAM,WAAW,GACjB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAC/B;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAChC;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,iBAAiB,CAAA;CAAE,CAAC;AAElD;;GAEG;AACH,eAAO,MAAM,aAAa;;;;;;;CAOhB,CAAC;AACX,yBAAyB;AACzB,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC,MAAM,OAAO,aAAa,CAAC,CAAC;AAE7E,qEAAqE;AACrE,MAAM,MAAM,iBAAiB,CAAC,IAAI,SAAS,aAAa,IAAI;IACxD,IAAI,EAAE,IAAI,CAAC;CACd,CAAC;AACF,MAAM,MAAM,oBAAoB,GAC1B,iBAAiB,CAAC,OAAO,aAAa,CAAC,OAAO,CAAC,GAC/C;IACE,KAAK,EAAE,iBAAiB,CAAC;CAC5B,CAAC;AACN,MAAM,MAAM,iBAAiB,GACvB,iBAAiB,CAAC,OAAO,aAAa,CAAC,MAAM,CAAC,GAC9C;IACE,KAAK,EAAE,iBAAiB,CAAC;CAC5B,CAAC;AACN,MAAM,MAAM,mBAAmB,GACzB,iBAAiB,CAAC,OAAO,aAAa,CAAC,MAAM,CAAC,GAC9C;IACE,GAAG,EAAE,WAAW,CAAC;CACpB,CAAC;AACN,MAAM,MAAM,gBAAgB,GAAG,iBAAiB,CAAC,OAAO,aAAa,CAAC,GAAG,CAAC,GAAG;IACzE,GAAG,EAAE,WAAW,CAAC;IACjB,KAAK,EAAE,iBAAiB,CAAC;CAC5B,CAAC;AACF,MAAM,MAAM,kBAAkB,GAAG,iBAAiB,CAAC,OAAO,aAAa,CAAC,KAAK,CAAC,CAAC;AAC/E,MAAM,MAAM,uBAAuB,GAC7B,iBAAiB,CAAC,OAAO,aAAa,CAAC,UAAU,CAAC,GAClD;IACE,KAAK,EAAE,MAAM,CAAC;IACd,YAAY,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,iBAAiB,EAAE,CAAC;CAC9B,CAAC;AAEN,MAAM,MAAM,aAAa,GACnB,oBAAoB,GACpB,iBAAiB,GACjB,mBAAmB,GACnB,gBAAgB,GAChB,kBAAkB,GAClB,uBAAuB,CAAC;AAE9B,qEAAqE;AACrE,MAAM,MAAM,SAAS,GAAG;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,aAAa,CAAC;CACvB,CAAC;AAEF,0CAA0C;AAC1C,MAAM,MAAM,cAAc,GAAG;IACzB,iBAAiB,EAAE,OAAO,CAAC;CAC9B,CAAC"}

package/esm/dif/definitions.js

@@ -6,13 +6,17 @@
 /**
  * Mapping of DIF type kinds.
  */
-export const DIFTypeKinds = {
-    Structural: 0,
-    Reference: 1,
-    Intersection: 2,
-    Union: 3,
-    Unit: 4,
-    Function: 5,
+export const DIFTypeDefinitionKind = {
+    Structural: 1,
+    Reference: 2,
+    Type: 3,
+    Intersection: 4,
+    Union: 5,
+    ImplType: 6,
+    Unit: 7,
+    Never: 8,
+    Unknown: 9,
+    Function: 10,
 };
 /**
  * Representation of reference mutability (mutable or immutable) in DIF.
@@ -26,8 +30,9 @@ export const DIFReferenceMutability = {
  */
 export const DIFUpdateKind = {
     Replace: "replace",
-    Push: "push",
+    Append: "append",
     Set: "set",
-    Remove: "remove",
+    Delete: "delete",
     Clear: "clear",
+    ListSplice: "list_splice",
 };

package/esm/dif/dif-handler.d.ts

@@ -1,10 +1,19 @@
 import type { JSRuntime, RuntimeDIFHandle } from "../datex-core.js";
 import { Ref } from "../refs/ref.js";
-import { type DIFContainer, type DIFPointerAddress, DIFReferenceMutability, type DIFTypeContainer, type DIFUpdate, type DIFUpdateData, type DIFValue, type DIFValueContainer, type ObserveOptions } from "./definitions.js";
+import { type DIFPointerAddress, type DIFProperty, DIFReferenceMutability, type DIFTypeDefinition, type DIFUpdate, type DIFUpdateData, type DIFValue, type DIFValueContainer, type ObserveOptions } from "./definitions.js";
+import { type TypeBinding, TypeRegistry } from "./type-registry.js";
+export declare const IS_PROXY_ACCESS: unique symbol;
+export type CustomReferenceMetadata = Record<string | symbol, unknown> & {
+    [IS_PROXY_ACCESS]?: boolean;
+};
+export type ReferenceMetadata<M extends CustomReferenceMetadata> = {
+    address: string;
+    customMetadata: M;
+};
 /**
  * The DIFHandler class provides methods to interact with the DATEX Core DIF runtime,
- * including executing Datex scripts, creating and managing pointers, and observing changes.
- * It includes a local pointer cache to optimize performance and reduce cross-language calls.
+ * including executing Datex scripts, creating and managing references, and observing changes.
+ * It includes a local reference cache to optimize performance and reduce cross-language calls.
  */
 export declare class DIFHandler {
     #private;
@@ -23,6 +32,7 @@ export declare class DIFHandler {
      * @returns The transceiver ID of the DIF client.
      */
     get _transceiver_id(): number;
+    get type_registry(): TypeRegistry;
     /**
      * Creates a new DIFHandler instance.
      * @param runtime - The JSRuntime instance for executing Datex scripts.
@@ -36,7 +46,7 @@ export declare class DIFHandler {
      * @returns A Promise that resolves to the execution result as a DIFContainer.
      * @throws If an error occurs during execution.
      */
-    executeDIF(datexScript: string, values?: unknown[] | null): Promise<DIFContainer>;
+    executeDIF(datexScript: string, values?: unknown[] | null): Promise<DIFValueContainer>;
     /**
      * Executes a Datex script synchronously and returns the result as a DIFContainer.
      * @param datexScript - The Datex script source code to execute.
@@ -44,29 +54,21 @@ export declare class DIFHandler {
      * @returns The execution result as a DIFContainer.
      * @throws If an error occurs during execution.
      */
-    executeSyncDIF(datexScript: string, values?: unknown[] | null): DIFContainer;
+    executeSyncDIF(datexScript: string, values?: unknown[] | null): DIFValueContainer;
     /**
-     * Creates a new pointer for the specified value.
-     * @param difValue - The DIFValue value to create a pointer for.
+     * Creates a new pointer for the specified DIF value.
+     * @param difValueContainer - The DIFValueContainer value to create a pointer for.
      * @param allowedType - The allowed type for the pointer.
      * @param mutability - The mutability of the pointer.
      * @returns The created pointer address.
      */
-    createPointer(difValue: DIFValue, allowedType: (DIFTypeContainer | null) | undefined, mutability: DIFReferenceMutability): string;
-    /**
-     * Creates a new pointer that points to an existing address.
-     * @param address - The address to create a reference pointer for.
-     * @param allowedType - The allowed type for the pointer.
-     * @param mutability - The mutability of the pointer.
-     * @returns A Promise that resolves to the created pointer address.
-     */
-    createRefPointer(address: string, allowedType: (DIFTypeContainer | null) | undefined, mutability: DIFReferenceMutability): string;
+    createReferenceFromDIFValue(difValueContainer: DIFValueContainer, allowedType: (DIFTypeDefinition | null) | undefined, mutability: DIFReferenceMutability): string;
     /**
      * Updates the DIF value at the specified address.
      * @param address - The address of the DIF value to update.
      * @param dif - The DIFUpdate object containing the update information.
      */
-    updatePointer(address: string, dif: DIFUpdateData): void;
+    updateReference(address: string, dif: DIFUpdateData): void;
     /**
      * Registers an observer callback for changes to the DIF value at the specified address
      * directly on the DATEX core runtime.
@@ -105,7 +107,7 @@ export declare class DIFHandler {
      * @param address - The address of the DIF value being observed.
      * @param observerId - The observer ID returned by the observePointer method.
      */
-    unobservePointerBindDirect(address: string, observerId: number): void;
+    unobserveReferenceBindDirect(address: string, observerId: number): void;
     /**
      * Registers a local observer callback for changes to the DIF value at the specified address.
      * The callback will be invoked whenever the value at the address is updated.
@@ -169,6 +171,10 @@ export declare class DIFHandler {
      * @throws If the resolution would require asynchronous operations.
      */
     resolveDIFValueContainerSync<T extends unknown>(value: DIFValueContainer): T;
+    /**
+     * Resolves a DIFProperty to its corresponding JS value.
+     */
+    resolveDIFPropertySync<T extends unknown>(property: DIFProperty): T;
     /**
      * Resolves a pointer address to its corresponding JS value.
      * If the pointer address is not yet loaded in memory, it returns a Promise that resolves to the value.
@@ -186,49 +192,134 @@ export declare class DIFHandler {
      * @throws If the resolution would require asynchronous operations.
      */
     resolvePointerAddressSync<T extends unknown>(address: string): T;
+    /**
+     * Retrieves the original value from a proxy value if available
+     * @param proxy
+     * @returns
+     */
+    getOriginalValueFromProxy<T extends WeakKey>(proxy: T): T | null;
+    /**
+     * Retrieves the proxy value for a given original value if available
+     * @param original
+     * @returns
+     */
+    getProxyValueFromOriginal<T extends WeakKey>(original: T): T | null;
     /**
      * Converts an array of JS values to an array of DIFValues.
      * If the input is null, it returns null.
      * @param values
      */
-    convertToDIFValues<T extends unknown[]>(values: T | null): DIFValue[] | null;
+    convertToDIFValues<T extends unknown[]>(values: T | null): DIFValueContainer[] | null;
     /**
      * Returns true if the given address is within the specified address range.
      */
     protected isPointerAddressInAdresses(address: DIFPointerAddress, range: Set<string>): boolean;
     /**
-     * Initializes a pointer with the given value and mutability, by
+     * Initializes a reference with the given value and mutability, by
      * adding a proxy wrapper if necessary, and setting up observation and caching on the JS side.
      */
-    protected initPointer<T>(ptrAddress: string, value: T, mutability: DIFReferenceMutability, allowedType?: DIFTypeContainer | null): T | Ref<T>;
+    protected initReference<T>(pointerAddress: string, value: T, mutability: DIFReferenceMutability, allowedType?: DIFTypeDefinition | null): T | Ref<T>;
     /**
      * Handles a pointer update received from the DATEX core runtime.
+     * for non-primitive values.
      * If the pointer is cached and has a dereferenceable value, it updates the value.
-     * @param address - The address of the pointer being updated.
+     * @param pointerAddress - The address of the pointer being updated.
      * @param update - The DIFUpdateData containing the update information.
      * @returns True if the pointer was found and updated, false otherwise.
      */
-    protected handlePointerUpdate(address: string, update: DIFUpdateData): boolean;
+    protected handlePointerUpdate<T extends WeakKey>(pointerAddress: string, value: T, update: DIFUpdateData, typeBinding: TypeBinding<T> | null): boolean;
     /**
-     * Caches the given pointer value with the given address in the JS side cache.
-     * The pointer must already be wrapped if necessary.
+     * Handles a pointer update received from the DATEX core runtime.
+     * for primitive values (typeBinding not supported).
+     * If the pointer is cached and has a dereferenceable value, it updates the value.
+     * @param pointerAddress - The address of the pointer being updated.
+     * @param update - The DIFUpdateData containing the update information.
+     * @returns True if the pointer was found and updated, false otherwise.
      */
-    protected cacheWrappedPointerValue(address: string, value: WeakKey, observerId: number | null): void;
-    protected getCachedPointer(address: string): WeakKey | undefined;
+    protected handlePointerUpdate<T>(pointerAddress: string, value: T, update: DIFUpdateData, typeBinding: null): boolean;
     /**
-     * Creates a new pointer containg the given JS value.
+     * Caches the given reference value with the given address in the JS side cache.
+     * The reference must already be wrapped if necessary.
+     */
+    protected cacheWrappedReferenceValue(address: string, originalValue: unknown, proxiedValue: WeakKey, observerId: number | null, metadata?: CustomReferenceMetadata): void;
+    protected getCachedReference(address: string): WeakKey | undefined;
+    /**
+     * Creates a new reference containg the given JS value.
      * The returned value is a proxy object that behaves like the original object,
      * but also propagates changes between JS and the DATEX runtime.
+     * If a reference for the given value already exists, an error is thrown.
+     */
+    createTransparentReference<V, M extends DIFReferenceMutability = typeof DIFReferenceMutability.Mutable>(value: V, allowedType?: DIFTypeDefinition | null, mutability?: M): PointerOut<V, M>;
+    protected isPrimitiveValue(value: unknown): value is null | undefined | boolean | number | bigint | string | symbol;
+    protected isWeakKey(value: unknown): value is WeakKey;
+    /**
+     * Wraps a given JS value in a Ref proxy if necessary.
      */
-    createPointerFromJSValue(value: unknown, allowedType?: DIFTypeContainer | null, mutability?: DIFReferenceMutability): unknown | Ref<unknown>;
-    protected wrapJSValueInProxy<T>(value: T, pointerAddress: string, _type?: DIFTypeContainer | null): (T | Ref<unknown>) & WeakKey;
+    protected wrapJSValue<T>(value: T, pointerAddress: string, _type?: DIFTypeDefinition | null): (T | Ref<unknown>) & WeakKey;
     private isRef;
-    private proxifyJSMap;
     private wrapJSObjectInProxy;
-    getPointerAddressForValue<T>(value: T): string | null;
     /**
-     * Converts a given JS value to its DIFValue representation.
+     * Returns the pointer address for the given value if it is already cached, or null otherwise.
+     */
+    getPointerAddressForValue<T extends WeakKey>(value: T): string | null;
+    /**
+     * Returns the reference metadata for the given value if it is registered.
+     * The caller must ensure that the correct type M is used and the reference is already registered.
+     * If the reference is not found, an error is thrown.
+     */
+    getReferenceMetadataUnsafe<M extends CustomReferenceMetadata, T extends WeakKey>(value: T): ReferenceMetadata<M>;
+    /**
+     * Returns the reference metadata for the given value if it is registered, or null otherwise.
+     */
+    tryGetReferenceMetadata<M extends CustomReferenceMetadata, T extends WeakKey>(value: T): ReferenceMetadata<M> | null;
+    isReference(value: WeakKey): boolean;
+    getReferenceProxy<T extends WeakKey>(value: T): T | null;
+    /**
+     * Converts a given JS value to its DIFValueContainer representation.
+     */
+    convertJSValueToDIFValueContainer<T extends unknown>(value: T): DIFValueContainer;
+    /** DIF update handler utilities */
+    /**
+     * Triggers a 'set' update for the given pointer address, key and value.
+     */
+    triggerSet<K, V>(pointerAddress: string, key: K, value: V): void;
+    /**
+     * Triggers a 'set' update for the given pointer address, index and value.
+     */
+    triggerIndexSet<V>(pointerAddress: string, index: number | bigint, value: V): void;
+    /**
+     * Triggers an 'append' update for the given pointer address and value.
+     */
+    triggerAppend<V>(pointerAddress: string, value: V): void;
+    /**
+     * Triggers a 'replace' update for the given pointer address and key.
+     */
+    triggerReplace<V>(pointerAddress: string, value: V): void;
+    /**
+     * Triggers a 'delete' update for the given pointer address and key.
+     */
+    triggerDelete<K>(pointerAddress: string, key: K): void;
+    /**
+     * Triggers a 'clear' update for the given pointer address.
+     */
+    triggerClear(pointerAddress: string): void;
+    /**
+     * Triggers a 'list splice' update for the given pointer address.
      */
-    convertJSValueToDIFValue<T extends unknown>(value: T): DIFValue;
+    triggerListSplice<V>(pointerAddress: string, start: number, deleteCount: number, items: V[]): void;
 }
+type PrimitiveValue = string | number | boolean | bigint | symbol;
+type WidenLiteral<T> = T extends string ? string : T extends number ? number : T extends boolean ? boolean : T extends bigint ? bigint : T extends symbol ? symbol : T;
+/** A type representing an assignable reference or a plain value **/
+export type AssignableRef<T> = Ref<T> | T & {
+    value?: T;
+};
+type Builtins = ((...args: unknown[]) => unknown) | Date | RegExp | Map<unknown, unknown> | Set<unknown> | WeakMap<WeakKey, unknown> | WeakSet<WeakKey> | Array<unknown>;
+type IsPlainObject<T> = T extends Builtins ? false : T extends object ? true : false;
+export type PointerOut<V, M extends DIFReferenceMutability> = V extends Ref<infer U> ? M extends typeof DIFReferenceMutability.Immutable ? Ref<U> : AssignableRef<U> : IsPlainObject<V> extends true ? (M extends typeof DIFReferenceMutability.Immutable ? {
+    readonly [K in keyof V]: V[K];
+} : {
+    [K in keyof V]: V[K];
+}) : V extends PrimitiveValue ? Ref<M extends typeof DIFReferenceMutability["Immutable"] ? V : WidenLiteral<V>> : V;
+export {};
 //# sourceMappingURL=dif-handler.d.ts.map