@unyt/datex 0.0.10 → 0.0.12

package/esm/datex-web/datex_web.js

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

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

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

package/esm/{datex-core.d.ts → datex.d.ts}

@@ -1,8 +1,8 @@
 /**
- * @module datex-core.ts
+ * @module datex.ts
  * @description
  * This module serves as the core of the Datex library, re-exporting
  * essential types and functionalities from the Datex core JavaScript implementation.
  */
-export * from "./datex-core/datex_core_js.js";
-//# sourceMappingURL=datex-core.d.ts.map
+export * from "./datex-web/datex_web.js";
+//# sourceMappingURL=datex.d.ts.map

package/esm/datex.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"datex.d.ts","sourceRoot":"","sources":["../src/datex.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,cAAc,0BAA0B,CAAC"}

package/esm/{datex-core.js → datex.js}

@@ -1,8 +1,8 @@
 /**
- * @module datex-core.ts
+ * @module datex.ts
  * @description
  * This module serves as the core of the Datex library, re-exporting
  * essential types and functionalities from the Datex core JavaScript implementation.
  */
-/* @ts-types="./datex-core/datex_core_js.d.ts" */
-export * from "./datex-core/datex_core_js.js";
+/* @ts-types="./datex-web/datex_web.d.ts" */
+export * from "./datex-web/datex_web.js";

package/esm/default.d.ts.map

@@ -1 +1 @@
-{"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"}
+{"version":3,"file":"default.d.ts","sourceRoot":"","sources":["../src/default.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,OAAO,qBAAqB,CAAC;AAG7B,OAAO,EAAE,OAAO,EAAsB,MAAM,sBAAsB,CAAC;AAYnE;;GAEG;AACH,eAAO,MAAM,KAAK,EAAE,OAElB,CAAC"}

package/esm/default.js

@@ -18,13 +18,12 @@ import { Runtime } from "./runtime/runtime.js";
 const defaultConfig = {
     interfaces: [{
             type: "websocket-client",
-            config: { address: "wss://example.unyt.land" },
+            config: { url: "wss://example.unyt.land" },
         }],
-    debug: false, // set to true to show info/debug messages
 };
 /**
  * The default instance of the Datex runtime.
  */
 export const Datex = await Runtime.create(defaultConfig, {
-    allow_unsigned_blocks: true,
+    log_level: "warn",
 });

package/esm/deno.json

@@ -1,15 +1,12 @@
 {
     "name": "@unyt/datex",
-    "version": "0.0.10",
+    "version": "0.0.12",
     "license": "MIT",
     "exports": {
         ".": "./src/mod.ts",
         "./default": "./src/default.ts",
-        "./interface-impls/base": "./src/network/interface-impls/base.ts",
-        "./interface-impls/serial": "./src/network/interface-impls/serial.ts",
-        "./interface-impls/webrtc": "./src/network/interface-impls/webrtc.ts",
-        "./interface-impls/websocket-client": "./src/network/interface-impls/websocket-client.ts",
-        "./interface-impls/websocket-server-deno": "./src/network/interface-impls/websocket-server-deno.ts"
+        "./interfaces/websocket-server-base": "./src/network/interfaces/websocket-server-base.ts",
+        "./interfaces/websocket-server-deno": "./src/network/interfaces/websocket-server-deno.ts"
     },
     "compilerOptions": {
         "noImplicitOverride": true,
@@ -19,38 +16,49 @@
         ]
     },
     "tasks": {
-        "build": "deno run -A scripts/build-wasm.ts --profile debug",
+        "debug": "deno run -A scripts/build-wasm.ts --profile debug --features debug",
         "release": "deno run -A scripts/build-wasm.ts --profile release",
-        "debug-no-opt": "deno task build --no-opt",
-        "test": "deno task build && deno test -A",
+        "debug-unsecure": "deno run -A scripts/build-wasm.ts --profile debug --features debug,allow_unsigned_blocks",
+
+        "debug-no-opt": "deno task debug --no-opt",
+        "test": "deno task debug-no-opt && deno test -A",
         "test-no-build": "deno test -A",
+
         "build-npm": "deno run -A scripts/build-npm.ts",
         "build-bundle": "deno run -A scripts/build-bundle.ts",
-        "serve": "deno run -A https://raw.githubusercontent.com/unyt-org/ts-file-server/main/src/run.ts -w --minify=false --port 8042",
+
+        "browser-demo": "deno task debug-no-opt && deno task build-npm && cd datex-browser-demo && npm install && npm run dev",
+        "browser-demo-no-build": "deno task build-npm && cd datex-browser-demo && npm install && npm run dev",
+
         "fmt": "deno fmt && cargo fmt",
         "lint": "deno lint --fix && cargo clippy --fix --features debug"
     },
     "fmt": {
         "indentWidth": 4,
+        "lineWidth": 120,
         "exclude": [
             "./npm"
         ]
     },
     "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",
+        "@david/temp": "jsr:@david/temp@^0.1.1",
+        "@deno/dnt": "jsr:@deno/dnt@^0.42.3",
         "@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/assert": "jsr:@std/assert@^1.0.19",
+        "@std/cli": "jsr:@std/cli@^1.0.28",
         "@std/encoding": "jsr:@std/encoding@^1.0.10",
-        "@std/fmt": "jsr:@std/fmt@^1.0.8",
-        "@std/uuid": "jsr:@std/uuid@^1.0.9",
-        "@unyt/speck": "jsr:@unyt/speck@^0.0.10"
+        "@std/fmt": "jsr:@std/fmt@^1.0.9",
+        "@std/fs": "jsr:@std/fs@^1.0.23",
+        "@std/tar": "jsr:@std/tar@^0.1.10",
+        "@std/uuid": "jsr:@std/uuid@^1.1.0",
+        "@unyt/speck": "jsr:@unyt/speck@^0.0.10",
+        "datex/": "./src/"
     },
     "test": {
         "exclude": [
-            "./npm"
+            "./npm",
+            "./datex-browser-demo"
         ]
     },
     "publish": {
@@ -66,8 +74,8 @@
             "scripts",
             "test",
             "rs-lib",
-            "!src/datex-core/datex_core_js.wasm",
-            "!src/datex-core/datex_core_js.internal.js"
+            "!src/datex-web/datex_web.wasm",
+            "!src/datex-web/datex_web.internal.js"
         ]
     }
 }

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,GAAG,OAAO,eAAe,CAAC,MAAM,OAAO,eAAe,CAAC,CAAC;AAEnF;;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,GAAG,OAAO,qBAAqB,CAAC,MAAM,OAAO,qBAAqB,CAAC,CAAC;AAErG;;GAEG;AACH,eAAO,MAAM,sBAAsB;;;CAGzB,CAAC;AACX,kCAAkC;AAClC,MAAM,MAAM,sBAAsB,GAAG,OAAO,sBAAsB,CAAC,MAAM,OAAO,sBAAsB,CAAC,CAAC;AAExG,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,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,iBAAiB,CAAC,CAAC,GACxF,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",
 };