@kalada/core 0.0.0 → 0.2.0

package/dist/kalada-v1/values.cjs

@@ -0,0 +1,100 @@
+'use strict';
+
+var json_js = require('./json.js');
+
+const optionBrands = /* @__PURE__ */ new WeakSet();
+const resultBrands = /* @__PURE__ */ new WeakSet();
+const DEFAULT_VALUE_LIMITS = Object.freeze({
+  maxDepth: 64,
+  maxNodes: 1e4,
+  maxStringLength: 1e4
+});
+function branded(brand, value) {
+  Object.freeze(value);
+  brand.add(value);
+  return value;
+}
+function snapshot(value) {
+  if (isOption(value) || isResult(value)) return value;
+  return json_js.cloneJson(value, DEFAULT_VALUE_LIMITS);
+}
+const NONE = branded(optionBrands, { type: "Option", variant: "none" });
+const Option = Object.freeze({
+  some(value) {
+    return branded(optionBrands, {
+      type: "Option",
+      variant: "some",
+      value: snapshot(value)
+    });
+  },
+  none() {
+    return NONE;
+  }
+});
+const Result = Object.freeze({
+  ok(value) {
+    return branded(resultBrands, {
+      type: "Result",
+      variant: "ok",
+      value: snapshot(value)
+    });
+  },
+  err(value) {
+    return branded(resultBrands, {
+      type: "Result",
+      variant: "err",
+      value: snapshot(value)
+    });
+  }
+});
+function isOption(value) {
+  return typeof value === "object" && value !== null && optionBrands.has(value);
+}
+function isResult(value) {
+  return typeof value === "object" && value !== null && resultBrands.has(value);
+}
+function equalKaladaValues(left, right) {
+  if (isOption(left) || isOption(right)) return equalOptions(left, right);
+  if (isResult(left) || isResult(right)) return equalResults(left, right);
+  return json_js.deepEqualJson(left, right);
+}
+function validateKaladaValueLimits(value, limits) {
+  const seen = /* @__PURE__ */ new WeakSet();
+  let current = value;
+  let depth = 0;
+  let nodes = 0;
+  while (isOption(current) || isResult(current)) {
+    nodes += 1;
+    if (depth > limits.maxDepth || nodes > limits.maxNodes) throw new RangeError("limit");
+    if (seen.has(current)) throw new TypeError("cycle");
+    seen.add(current);
+    if (isOption(current) && current.variant === "none") return;
+    current = current.value;
+    depth += 1;
+  }
+  const remainingDepth = limits.maxDepth - depth;
+  if (remainingDepth < 0) throw new RangeError("limit");
+  json_js.cloneJsonWithStats(current, {
+    maxDepth: remainingDepth,
+    maxNodes: limits.maxNodes - nodes,
+    maxStringLength: limits.maxStringLength
+  });
+}
+function equalOptions(left, right) {
+  if (!isOption(left) || !isOption(right) || left.variant !== right.variant) return false;
+  if (left.variant === "none" || right.variant === "none") return true;
+  return equalKaladaValues(left.value, right.value);
+}
+function equalResults(left, right) {
+  if (!isResult(left) || !isResult(right) || left.variant !== right.variant) return false;
+  return equalKaladaValues(left.value, right.value);
+}
+
+exports.Option = Option;
+exports.Result = Result;
+exports.equalKaladaValues = equalKaladaValues;
+exports.isOption = isOption;
+exports.isResult = isResult;
+exports.validateKaladaValueLimits = validateKaladaValueLimits;
+//# sourceMappingURL=values.cjs.map
+//# sourceMappingURL=values.cjs.map

package/dist/kalada-v1/values.cjs.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/kalada-v1/values.ts"],"names":["cloneJson","deepEqualJson","cloneJsonWithStats"],"mappings":";;;;AAoCA,MAAM,YAAA,uBAAmB,OAAA,EAAgB;AACzC,MAAM,YAAA,uBAAmB,OAAA,EAAgB;AACzC,MAAM,oBAAA,GAAuB,OAAO,MAAA,CAAO;AAAA,EACzC,QAAA,EAAU,EAAA;AAAA,EACV,QAAA,EAAU,GAAA;AAAA,EACV,eAAA,EAAiB;AACnB,CAAC,CAAA;AAED,SAAS,OAAA,CAA0B,OAAwB,KAAA,EAAa;AACtE,EAAA,MAAA,CAAO,OAAO,KAAK,CAAA;AACnB,EAAA,KAAA,CAAM,IAAI,KAAK,CAAA;AACf,EAAA,OAAO,KAAA;AACT;AAEA,SAAS,SAAS,KAAA,EAAiC;AACjD,EAAA,IAAI,SAAS,KAAK,CAAA,IAAK,QAAA,CAAS,KAAK,GAAG,OAAO,KAAA;AAC/C,EAAA,OAAOA,iBAAA,CAAU,OAAO,oBAAoB,CAAA;AAC9C;AAEA,MAAM,IAAA,GAAO,QAAQ,YAAA,EAAc,EAAE,MAAM,QAAA,EAAU,OAAA,EAAS,QAAgC,CAAA;AAEvF,MAAM,MAAA,GAAS,OAAO,MAAA,CAAO;AAAA,EAClC,KAAK,KAAA,EAA+B;AAClC,IAAA,OAAO,QAAQ,YAAA,EAAc;AAAA,MAC3B,IAAA,EAAM,QAAA;AAAA,MACN,OAAA,EAAS,MAAA;AAAA,MACT,KAAA,EAAO,SAAS,KAAK;AAAA,KACE,CAAA;AAAA,EAC3B,CAAA;AAAA,EACA,IAAA,GAAkB;AAChB,IAAA,OAAO,IAAA;AAAA,EACT;AACF,CAAC;AAEM,MAAM,MAAA,GAAS,OAAO,MAAA,CAAO;AAAA,EAClC,GAAG,KAAA,EAA6B;AAC9B,IAAA,OAAO,QAAQ,YAAA,EAAc;AAAA,MAC3B,IAAA,EAAM,QAAA;AAAA,MACN,OAAA,EAAS,IAAA;AAAA,MACT,KAAA,EAAO,SAAS,KAAK;AAAA,KACA,CAAA;AAAA,EACzB,CAAA;AAAA,EACA,IAAI,KAAA,EAA8B;AAChC,IAAA,OAAO,QAAQ,YAAA,EAAc;AAAA,MAC3B,IAAA,EAAM,QAAA;AAAA,MACN,OAAA,EAAS,KAAA;AAAA,MACT,KAAA,EAAO,SAAS,KAAK;AAAA,KACC,CAAA;AAAA,EAC1B;AACF,CAAC;AAEM,SAAS,SAAS,KAAA,EAAsC;AAC7D,EAAA,OAAO,OAAO,KAAA,KAAU,QAAA,IAAY,UAAU,IAAA,IAAQ,YAAA,CAAa,IAAI,KAAK,CAAA;AAC9E;AAEO,SAAS,SAAS,KAAA,EAAsC;AAC7D,EAAA,OAAO,OAAO,KAAA,KAAU,QAAA,IAAY,UAAU,IAAA,IAAQ,YAAA,CAAa,IAAI,KAAK,CAAA;AAC9E;AAEO,SAAS,iBAAA,CAAkB,MAAmB,KAAA,EAA6B;AAChF,EAAA,IAAI,QAAA,CAAS,IAAI,CAAA,IAAK,QAAA,CAAS,KAAK,CAAA,EAAG,OAAO,YAAA,CAAa,IAAA,EAAM,KAAK,CAAA;AACtE,EAAA,IAAI,QAAA,CAAS,IAAI,CAAA,IAAK,QAAA,CAAS,KAAK,CAAA,EAAG,OAAO,YAAA,CAAa,IAAA,EAAM,KAAK,CAAA;AACtE,EAAA,OAAOC,qBAAA,CAAc,MAAM,KAAK,CAAA;AAClC;AAEO,SAAS,yBAAA,CACd,OACA,MAAA,EAKM;AACN,EAAA,MAAM,IAAA,uBAAW,OAAA,EAAgB;AACjC,EAAA,IAAI,OAAA,GAAU,KAAA;AACd,EAAA,IAAI,KAAA,GAAQ,CAAA;AACZ,EAAA,IAAI,KAAA,GAAQ,CAAA;AACZ,EAAA,OAAO,QAAA,CAAS,OAAO,CAAA,IAAK,QAAA,CAAS,OAAO,CAAA,EAAG;AAC7C,IAAA,KAAA,IAAS,CAAA;AACT,IAAA,IAAI,KAAA,GAAQ,OAAO,QAAA,IAAY,KAAA,GAAQ,OAAO,QAAA,EAAU,MAAM,IAAI,UAAA,CAAW,OAAO,CAAA;AACpF,IAAA,IAAI,KAAK,GAAA,CAAI,OAAO,GAAG,MAAM,IAAI,UAAU,OAAO,CAAA;AAClD,IAAA,IAAA,CAAK,IAAI,OAAO,CAAA;AAChB,IAAA,IAAI,QAAA,CAAS,OAAO,CAAA,IAAK,OAAA,CAAQ,YAAY,MAAA,EAAQ;AACrD,IAAA,OAAA,GAAU,OAAA,CAAQ,KAAA;AAClB,IAAA,KAAA,IAAS,CAAA;AAAA,EACX;AACA,EAAA,MAAM,cAAA,GAAiB,OAAO,QAAA,GAAW,KAAA;AACzC,EAAA,IAAI,cAAA,GAAiB,CAAA,EAAG,MAAM,IAAI,WAAW,OAAO,CAAA;AACpD,EAAAC,0BAAA,CAAmB,OAAA,EAAS;AAAA,IAC1B,QAAA,EAAU,cAAA;AAAA,IACV,QAAA,EAAU,OAAO,QAAA,GAAW,KAAA;AAAA,IAC5B,iBAAiB,MAAA,CAAO;AAAA,GACzB,CAAA;AACH;AAEA,SAAS,YAAA,CAAa,MAAmB,KAAA,EAA6B;AACpE,EAAA,IAAI,CAAC,QAAA,CAAS,IAAI,CAAA,IAAK,CAAC,QAAA,CAAS,KAAK,CAAA,IAAK,IAAA,CAAK,OAAA,KAAY,KAAA,CAAM,OAAA,EAAS,OAAO,KAAA;AAClF,EAAA,IAAI,KAAK,OAAA,KAAY,MAAA,IAAU,KAAA,CAAM,OAAA,KAAY,QAAQ,OAAO,IAAA;AAChE,EAAA,OAAO,iBAAA,CAAkB,IAAA,CAAK,KAAA,EAAO,KAAA,CAAM,KAAK,CAAA;AAClD;AAEA,SAAS,YAAA,CAAa,MAAmB,KAAA,EAA6B;AACpE,EAAA,IAAI,CAAC,QAAA,CAAS,IAAI,CAAA,IAAK,CAAC,QAAA,CAAS,KAAK,CAAA,IAAK,IAAA,CAAK,OAAA,KAAY,KAAA,CAAM,OAAA,EAAS,OAAO,KAAA;AAClF,EAAA,OAAO,iBAAA,CAAkB,IAAA,CAAK,KAAA,EAAO,KAAA,CAAM,KAAK,CAAA;AAClD","file":"values.cjs","sourcesContent":["import { cloneJson, cloneJsonWithStats, deepEqualJson, type JsonValue } from \"./json.js\";\n\nexport type KaladaValue = JsonValue | OptionValue | ResultValue;\nexport type OptionValue = SomeValue | NoneValue;\nexport type ResultValue = OkValue | ErrValue;\n\ndeclare const optionBrand: unique symbol;\ndeclare const resultBrand: unique symbol;\n\nexport interface SomeValue {\n  readonly [optionBrand]: true;\n  readonly type: \"Option\";\n  readonly variant: \"some\";\n  readonly value: KaladaValue;\n}\n\nexport interface NoneValue {\n  readonly [optionBrand]: true;\n  readonly type: \"Option\";\n  readonly variant: \"none\";\n}\n\nexport interface OkValue {\n  readonly [resultBrand]: true;\n  readonly type: \"Result\";\n  readonly variant: \"ok\";\n  readonly value: KaladaValue;\n}\n\nexport interface ErrValue {\n  readonly [resultBrand]: true;\n  readonly type: \"Result\";\n  readonly variant: \"err\";\n  readonly value: KaladaValue;\n}\n\nconst optionBrands = new WeakSet<object>();\nconst resultBrands = new WeakSet<object>();\nconst DEFAULT_VALUE_LIMITS = Object.freeze({\n  maxDepth: 64,\n  maxNodes: 10_000,\n  maxStringLength: 10_000,\n});\n\nfunction branded<T extends object>(brand: WeakSet<object>, value: T): T {\n  Object.freeze(value);\n  brand.add(value);\n  return value;\n}\n\nfunction snapshot(value: KaladaValue): KaladaValue {\n  if (isOption(value) || isResult(value)) return value;\n  return cloneJson(value, DEFAULT_VALUE_LIMITS);\n}\n\nconst NONE = branded(optionBrands, { type: \"Option\", variant: \"none\" } as unknown as NoneValue);\n\nexport const Option = Object.freeze({\n  some(value: KaladaValue): SomeValue {\n    return branded(optionBrands, {\n      type: \"Option\",\n      variant: \"some\",\n      value: snapshot(value),\n    } as unknown as SomeValue);\n  },\n  none(): NoneValue {\n    return NONE;\n  },\n});\n\nexport const Result = Object.freeze({\n  ok(value: KaladaValue): OkValue {\n    return branded(resultBrands, {\n      type: \"Result\",\n      variant: \"ok\",\n      value: snapshot(value),\n    } as unknown as OkValue);\n  },\n  err(value: KaladaValue): ErrValue {\n    return branded(resultBrands, {\n      type: \"Result\",\n      variant: \"err\",\n      value: snapshot(value),\n    } as unknown as ErrValue);\n  },\n});\n\nexport function isOption(value: unknown): value is OptionValue {\n  return typeof value === \"object\" && value !== null && optionBrands.has(value);\n}\n\nexport function isResult(value: unknown): value is ResultValue {\n  return typeof value === \"object\" && value !== null && resultBrands.has(value);\n}\n\nexport function equalKaladaValues(left: KaladaValue, right: KaladaValue): boolean {\n  if (isOption(left) || isOption(right)) return equalOptions(left, right);\n  if (isResult(left) || isResult(right)) return equalResults(left, right);\n  return deepEqualJson(left, right);\n}\n\nexport function validateKaladaValueLimits(\n  value: KaladaValue,\n  limits: {\n    readonly maxDepth: number;\n    readonly maxNodes: number;\n    readonly maxStringLength: number;\n  },\n): void {\n  const seen = new WeakSet<object>();\n  let current = value;\n  let depth = 0;\n  let nodes = 0;\n  while (isOption(current) || isResult(current)) {\n    nodes += 1;\n    if (depth > limits.maxDepth || nodes > limits.maxNodes) throw new RangeError(\"limit\");\n    if (seen.has(current)) throw new TypeError(\"cycle\");\n    seen.add(current);\n    if (isOption(current) && current.variant === \"none\") return;\n    current = current.value;\n    depth += 1;\n  }\n  const remainingDepth = limits.maxDepth - depth;\n  if (remainingDepth < 0) throw new RangeError(\"limit\");\n  cloneJsonWithStats(current, {\n    maxDepth: remainingDepth,\n    maxNodes: limits.maxNodes - nodes,\n    maxStringLength: limits.maxStringLength,\n  });\n}\n\nfunction equalOptions(left: KaladaValue, right: KaladaValue): boolean {\n  if (!isOption(left) || !isOption(right) || left.variant !== right.variant) return false;\n  if (left.variant === \"none\" || right.variant === \"none\") return true;\n  return equalKaladaValues(left.value, right.value);\n}\n\nfunction equalResults(left: KaladaValue, right: KaladaValue): boolean {\n  if (!isResult(left) || !isResult(right) || left.variant !== right.variant) return false;\n  return equalKaladaValues(left.value, right.value);\n}\n"]}

package/dist/kalada-v1/values.d.cts

@@ -0,0 +1,48 @@
+import { JsonValue } from './json.cjs';
+
+type KaladaValue = JsonValue | OptionValue | ResultValue;
+type OptionValue = SomeValue | NoneValue;
+type ResultValue = OkValue | ErrValue;
+declare const optionBrand: unique symbol;
+declare const resultBrand: unique symbol;
+interface SomeValue {
+    readonly [optionBrand]: true;
+    readonly type: "Option";
+    readonly variant: "some";
+    readonly value: KaladaValue;
+}
+interface NoneValue {
+    readonly [optionBrand]: true;
+    readonly type: "Option";
+    readonly variant: "none";
+}
+interface OkValue {
+    readonly [resultBrand]: true;
+    readonly type: "Result";
+    readonly variant: "ok";
+    readonly value: KaladaValue;
+}
+interface ErrValue {
+    readonly [resultBrand]: true;
+    readonly type: "Result";
+    readonly variant: "err";
+    readonly value: KaladaValue;
+}
+declare const Option: Readonly<{
+    some(value: KaladaValue): SomeValue;
+    none(): NoneValue;
+}>;
+declare const Result: Readonly<{
+    ok(value: KaladaValue): OkValue;
+    err(value: KaladaValue): ErrValue;
+}>;
+declare function isOption(value: unknown): value is OptionValue;
+declare function isResult(value: unknown): value is ResultValue;
+declare function equalKaladaValues(left: KaladaValue, right: KaladaValue): boolean;
+declare function validateKaladaValueLimits(value: KaladaValue, limits: {
+    readonly maxDepth: number;
+    readonly maxNodes: number;
+    readonly maxStringLength: number;
+}): void;
+
+export { type ErrValue, type KaladaValue, type NoneValue, type OkValue, Option, type OptionValue, Result, type ResultValue, type SomeValue, equalKaladaValues, isOption, isResult, validateKaladaValueLimits };

package/dist/kalada-v1/values.d.ts

@@ -0,0 +1,48 @@
+import { JsonValue } from './json.js';
+
+type KaladaValue = JsonValue | OptionValue | ResultValue;
+type OptionValue = SomeValue | NoneValue;
+type ResultValue = OkValue | ErrValue;
+declare const optionBrand: unique symbol;
+declare const resultBrand: unique symbol;
+interface SomeValue {
+    readonly [optionBrand]: true;
+    readonly type: "Option";
+    readonly variant: "some";
+    readonly value: KaladaValue;
+}
+interface NoneValue {
+    readonly [optionBrand]: true;
+    readonly type: "Option";
+    readonly variant: "none";
+}
+interface OkValue {
+    readonly [resultBrand]: true;
+    readonly type: "Result";
+    readonly variant: "ok";
+    readonly value: KaladaValue;
+}
+interface ErrValue {
+    readonly [resultBrand]: true;
+    readonly type: "Result";
+    readonly variant: "err";
+    readonly value: KaladaValue;
+}
+declare const Option: Readonly<{
+    some(value: KaladaValue): SomeValue;
+    none(): NoneValue;
+}>;
+declare const Result: Readonly<{
+    ok(value: KaladaValue): OkValue;
+    err(value: KaladaValue): ErrValue;
+}>;
+declare function isOption(value: unknown): value is OptionValue;
+declare function isResult(value: unknown): value is ResultValue;
+declare function equalKaladaValues(left: KaladaValue, right: KaladaValue): boolean;
+declare function validateKaladaValueLimits(value: KaladaValue, limits: {
+    readonly maxDepth: number;
+    readonly maxNodes: number;
+    readonly maxStringLength: number;
+}): void;
+
+export { type ErrValue, type KaladaValue, type NoneValue, type OkValue, Option, type OptionValue, Result, type ResultValue, type SomeValue, equalKaladaValues, isOption, isResult, validateKaladaValueLimits };

package/dist/kalada-v1/values.js

@@ -0,0 +1,93 @@
+import { deepEqualJson, cloneJsonWithStats, cloneJson } from './json.js';
+
+const optionBrands = /* @__PURE__ */ new WeakSet();
+const resultBrands = /* @__PURE__ */ new WeakSet();
+const DEFAULT_VALUE_LIMITS = Object.freeze({
+  maxDepth: 64,
+  maxNodes: 1e4,
+  maxStringLength: 1e4
+});
+function branded(brand, value) {
+  Object.freeze(value);
+  brand.add(value);
+  return value;
+}
+function snapshot(value) {
+  if (isOption(value) || isResult(value)) return value;
+  return cloneJson(value, DEFAULT_VALUE_LIMITS);
+}
+const NONE = branded(optionBrands, { type: "Option", variant: "none" });
+const Option = Object.freeze({
+  some(value) {
+    return branded(optionBrands, {
+      type: "Option",
+      variant: "some",
+      value: snapshot(value)
+    });
+  },
+  none() {
+    return NONE;
+  }
+});
+const Result = Object.freeze({
+  ok(value) {
+    return branded(resultBrands, {
+      type: "Result",
+      variant: "ok",
+      value: snapshot(value)
+    });
+  },
+  err(value) {
+    return branded(resultBrands, {
+      type: "Result",
+      variant: "err",
+      value: snapshot(value)
+    });
+  }
+});
+function isOption(value) {
+  return typeof value === "object" && value !== null && optionBrands.has(value);
+}
+function isResult(value) {
+  return typeof value === "object" && value !== null && resultBrands.has(value);
+}
+function equalKaladaValues(left, right) {
+  if (isOption(left) || isOption(right)) return equalOptions(left, right);
+  if (isResult(left) || isResult(right)) return equalResults(left, right);
+  return deepEqualJson(left, right);
+}
+function validateKaladaValueLimits(value, limits) {
+  const seen = /* @__PURE__ */ new WeakSet();
+  let current = value;
+  let depth = 0;
+  let nodes = 0;
+  while (isOption(current) || isResult(current)) {
+    nodes += 1;
+    if (depth > limits.maxDepth || nodes > limits.maxNodes) throw new RangeError("limit");
+    if (seen.has(current)) throw new TypeError("cycle");
+    seen.add(current);
+    if (isOption(current) && current.variant === "none") return;
+    current = current.value;
+    depth += 1;
+  }
+  const remainingDepth = limits.maxDepth - depth;
+  if (remainingDepth < 0) throw new RangeError("limit");
+  cloneJsonWithStats(current, {
+    maxDepth: remainingDepth,
+    maxNodes: limits.maxNodes - nodes,
+    maxStringLength: limits.maxStringLength
+  });
+}
+function equalOptions(left, right) {
+  if (!isOption(left) || !isOption(right) || left.variant !== right.variant) return false;
+  if (left.variant === "none" || right.variant === "none") return true;
+  return equalKaladaValues(left.value, right.value);
+}
+function equalResults(left, right) {
+  if (!isResult(left) || !isResult(right) || left.variant !== right.variant) return false;
+  return equalKaladaValues(left.value, right.value);
+}
+
+export { Option, Result, equalKaladaValues, isOption, isResult, validateKaladaValueLimits };
+//# sourceMappingURL=values.js.map
+//# sourceMappingURL=values.js.map

package/dist/kalada-v1/values.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/kalada-v1/values.ts"],"names":[],"mappings":";;AAoCA,MAAM,YAAA,uBAAmB,OAAA,EAAgB;AACzC,MAAM,YAAA,uBAAmB,OAAA,EAAgB;AACzC,MAAM,oBAAA,GAAuB,OAAO,MAAA,CAAO;AAAA,EACzC,QAAA,EAAU,EAAA;AAAA,EACV,QAAA,EAAU,GAAA;AAAA,EACV,eAAA,EAAiB;AACnB,CAAC,CAAA;AAED,SAAS,OAAA,CAA0B,OAAwB,KAAA,EAAa;AACtE,EAAA,MAAA,CAAO,OAAO,KAAK,CAAA;AACnB,EAAA,KAAA,CAAM,IAAI,KAAK,CAAA;AACf,EAAA,OAAO,KAAA;AACT;AAEA,SAAS,SAAS,KAAA,EAAiC;AACjD,EAAA,IAAI,SAAS,KAAK,CAAA,IAAK,QAAA,CAAS,KAAK,GAAG,OAAO,KAAA;AAC/C,EAAA,OAAO,SAAA,CAAU,OAAO,oBAAoB,CAAA;AAC9C;AAEA,MAAM,IAAA,GAAO,QAAQ,YAAA,EAAc,EAAE,MAAM,QAAA,EAAU,OAAA,EAAS,QAAgC,CAAA;AAEvF,MAAM,MAAA,GAAS,OAAO,MAAA,CAAO;AAAA,EAClC,KAAK,KAAA,EAA+B;AAClC,IAAA,OAAO,QAAQ,YAAA,EAAc;AAAA,MAC3B,IAAA,EAAM,QAAA;AAAA,MACN,OAAA,EAAS,MAAA;AAAA,MACT,KAAA,EAAO,SAAS,KAAK;AAAA,KACE,CAAA;AAAA,EAC3B,CAAA;AAAA,EACA,IAAA,GAAkB;AAChB,IAAA,OAAO,IAAA;AAAA,EACT;AACF,CAAC;AAEM,MAAM,MAAA,GAAS,OAAO,MAAA,CAAO;AAAA,EAClC,GAAG,KAAA,EAA6B;AAC9B,IAAA,OAAO,QAAQ,YAAA,EAAc;AAAA,MAC3B,IAAA,EAAM,QAAA;AAAA,MACN,OAAA,EAAS,IAAA;AAAA,MACT,KAAA,EAAO,SAAS,KAAK;AAAA,KACA,CAAA;AAAA,EACzB,CAAA;AAAA,EACA,IAAI,KAAA,EAA8B;AAChC,IAAA,OAAO,QAAQ,YAAA,EAAc;AAAA,MAC3B,IAAA,EAAM,QAAA;AAAA,MACN,OAAA,EAAS,KAAA;AAAA,MACT,KAAA,EAAO,SAAS,KAAK;AAAA,KACC,CAAA;AAAA,EAC1B;AACF,CAAC;AAEM,SAAS,SAAS,KAAA,EAAsC;AAC7D,EAAA,OAAO,OAAO,KAAA,KAAU,QAAA,IAAY,UAAU,IAAA,IAAQ,YAAA,CAAa,IAAI,KAAK,CAAA;AAC9E;AAEO,SAAS,SAAS,KAAA,EAAsC;AAC7D,EAAA,OAAO,OAAO,KAAA,KAAU,QAAA,IAAY,UAAU,IAAA,IAAQ,YAAA,CAAa,IAAI,KAAK,CAAA;AAC9E;AAEO,SAAS,iBAAA,CAAkB,MAAmB,KAAA,EAA6B;AAChF,EAAA,IAAI,QAAA,CAAS,IAAI,CAAA,IAAK,QAAA,CAAS,KAAK,CAAA,EAAG,OAAO,YAAA,CAAa,IAAA,EAAM,KAAK,CAAA;AACtE,EAAA,IAAI,QAAA,CAAS,IAAI,CAAA,IAAK,QAAA,CAAS,KAAK,CAAA,EAAG,OAAO,YAAA,CAAa,IAAA,EAAM,KAAK,CAAA;AACtE,EAAA,OAAO,aAAA,CAAc,MAAM,KAAK,CAAA;AAClC;AAEO,SAAS,yBAAA,CACd,OACA,MAAA,EAKM;AACN,EAAA,MAAM,IAAA,uBAAW,OAAA,EAAgB;AACjC,EAAA,IAAI,OAAA,GAAU,KAAA;AACd,EAAA,IAAI,KAAA,GAAQ,CAAA;AACZ,EAAA,IAAI,KAAA,GAAQ,CAAA;AACZ,EAAA,OAAO,QAAA,CAAS,OAAO,CAAA,IAAK,QAAA,CAAS,OAAO,CAAA,EAAG;AAC7C,IAAA,KAAA,IAAS,CAAA;AACT,IAAA,IAAI,KAAA,GAAQ,OAAO,QAAA,IAAY,KAAA,GAAQ,OAAO,QAAA,EAAU,MAAM,IAAI,UAAA,CAAW,OAAO,CAAA;AACpF,IAAA,IAAI,KAAK,GAAA,CAAI,OAAO,GAAG,MAAM,IAAI,UAAU,OAAO,CAAA;AAClD,IAAA,IAAA,CAAK,IAAI,OAAO,CAAA;AAChB,IAAA,IAAI,QAAA,CAAS,OAAO,CAAA,IAAK,OAAA,CAAQ,YAAY,MAAA,EAAQ;AACrD,IAAA,OAAA,GAAU,OAAA,CAAQ,KAAA;AAClB,IAAA,KAAA,IAAS,CAAA;AAAA,EACX;AACA,EAAA,MAAM,cAAA,GAAiB,OAAO,QAAA,GAAW,KAAA;AACzC,EAAA,IAAI,cAAA,GAAiB,CAAA,EAAG,MAAM,IAAI,WAAW,OAAO,CAAA;AACpD,EAAA,kBAAA,CAAmB,OAAA,EAAS;AAAA,IAC1B,QAAA,EAAU,cAAA;AAAA,IACV,QAAA,EAAU,OAAO,QAAA,GAAW,KAAA;AAAA,IAC5B,iBAAiB,MAAA,CAAO;AAAA,GACzB,CAAA;AACH;AAEA,SAAS,YAAA,CAAa,MAAmB,KAAA,EAA6B;AACpE,EAAA,IAAI,CAAC,QAAA,CAAS,IAAI,CAAA,IAAK,CAAC,QAAA,CAAS,KAAK,CAAA,IAAK,IAAA,CAAK,OAAA,KAAY,KAAA,CAAM,OAAA,EAAS,OAAO,KAAA;AAClF,EAAA,IAAI,KAAK,OAAA,KAAY,MAAA,IAAU,KAAA,CAAM,OAAA,KAAY,QAAQ,OAAO,IAAA;AAChE,EAAA,OAAO,iBAAA,CAAkB,IAAA,CAAK,KAAA,EAAO,KAAA,CAAM,KAAK,CAAA;AAClD;AAEA,SAAS,YAAA,CAAa,MAAmB,KAAA,EAA6B;AACpE,EAAA,IAAI,CAAC,QAAA,CAAS,IAAI,CAAA,IAAK,CAAC,QAAA,CAAS,KAAK,CAAA,IAAK,IAAA,CAAK,OAAA,KAAY,KAAA,CAAM,OAAA,EAAS,OAAO,KAAA;AAClF,EAAA,OAAO,iBAAA,CAAkB,IAAA,CAAK,KAAA,EAAO,KAAA,CAAM,KAAK,CAAA;AAClD","file":"values.js","sourcesContent":["import { cloneJson, cloneJsonWithStats, deepEqualJson, type JsonValue } from \"./json.js\";\n\nexport type KaladaValue = JsonValue | OptionValue | ResultValue;\nexport type OptionValue = SomeValue | NoneValue;\nexport type ResultValue = OkValue | ErrValue;\n\ndeclare const optionBrand: unique symbol;\ndeclare const resultBrand: unique symbol;\n\nexport interface SomeValue {\n  readonly [optionBrand]: true;\n  readonly type: \"Option\";\n  readonly variant: \"some\";\n  readonly value: KaladaValue;\n}\n\nexport interface NoneValue {\n  readonly [optionBrand]: true;\n  readonly type: \"Option\";\n  readonly variant: \"none\";\n}\n\nexport interface OkValue {\n  readonly [resultBrand]: true;\n  readonly type: \"Result\";\n  readonly variant: \"ok\";\n  readonly value: KaladaValue;\n}\n\nexport interface ErrValue {\n  readonly [resultBrand]: true;\n  readonly type: \"Result\";\n  readonly variant: \"err\";\n  readonly value: KaladaValue;\n}\n\nconst optionBrands = new WeakSet<object>();\nconst resultBrands = new WeakSet<object>();\nconst DEFAULT_VALUE_LIMITS = Object.freeze({\n  maxDepth: 64,\n  maxNodes: 10_000,\n  maxStringLength: 10_000,\n});\n\nfunction branded<T extends object>(brand: WeakSet<object>, value: T): T {\n  Object.freeze(value);\n  brand.add(value);\n  return value;\n}\n\nfunction snapshot(value: KaladaValue): KaladaValue {\n  if (isOption(value) || isResult(value)) return value;\n  return cloneJson(value, DEFAULT_VALUE_LIMITS);\n}\n\nconst NONE = branded(optionBrands, { type: \"Option\", variant: \"none\" } as unknown as NoneValue);\n\nexport const Option = Object.freeze({\n  some(value: KaladaValue): SomeValue {\n    return branded(optionBrands, {\n      type: \"Option\",\n      variant: \"some\",\n      value: snapshot(value),\n    } as unknown as SomeValue);\n  },\n  none(): NoneValue {\n    return NONE;\n  },\n});\n\nexport const Result = Object.freeze({\n  ok(value: KaladaValue): OkValue {\n    return branded(resultBrands, {\n      type: \"Result\",\n      variant: \"ok\",\n      value: snapshot(value),\n    } as unknown as OkValue);\n  },\n  err(value: KaladaValue): ErrValue {\n    return branded(resultBrands, {\n      type: \"Result\",\n      variant: \"err\",\n      value: snapshot(value),\n    } as unknown as ErrValue);\n  },\n});\n\nexport function isOption(value: unknown): value is OptionValue {\n  return typeof value === \"object\" && value !== null && optionBrands.has(value);\n}\n\nexport function isResult(value: unknown): value is ResultValue {\n  return typeof value === \"object\" && value !== null && resultBrands.has(value);\n}\n\nexport function equalKaladaValues(left: KaladaValue, right: KaladaValue): boolean {\n  if (isOption(left) || isOption(right)) return equalOptions(left, right);\n  if (isResult(left) || isResult(right)) return equalResults(left, right);\n  return deepEqualJson(left, right);\n}\n\nexport function validateKaladaValueLimits(\n  value: KaladaValue,\n  limits: {\n    readonly maxDepth: number;\n    readonly maxNodes: number;\n    readonly maxStringLength: number;\n  },\n): void {\n  const seen = new WeakSet<object>();\n  let current = value;\n  let depth = 0;\n  let nodes = 0;\n  while (isOption(current) || isResult(current)) {\n    nodes += 1;\n    if (depth > limits.maxDepth || nodes > limits.maxNodes) throw new RangeError(\"limit\");\n    if (seen.has(current)) throw new TypeError(\"cycle\");\n    seen.add(current);\n    if (isOption(current) && current.variant === \"none\") return;\n    current = current.value;\n    depth += 1;\n  }\n  const remainingDepth = limits.maxDepth - depth;\n  if (remainingDepth < 0) throw new RangeError(\"limit\");\n  cloneJsonWithStats(current, {\n    maxDepth: remainingDepth,\n    maxNodes: limits.maxNodes - nodes,\n    maxStringLength: limits.maxStringLength,\n  });\n}\n\nfunction equalOptions(left: KaladaValue, right: KaladaValue): boolean {\n  if (!isOption(left) || !isOption(right) || left.variant !== right.variant) return false;\n  if (left.variant === \"none\" || right.variant === \"none\") return true;\n  return equalKaladaValues(left.value, right.value);\n}\n\nfunction equalResults(left: KaladaValue, right: KaladaValue): boolean {\n  if (!isResult(left) || !isResult(right) || left.variant !== right.variant) return false;\n  return equalKaladaValues(left.value, right.value);\n}\n"]}

package/package.json

@@ -1,8 +1,13 @@
 {
   "name": "@kalada/core",
-  "version": "0.0.0",
+  "version": "0.2.0",
   "description": "Canonical runtime contracts for the Kalada expression language",
   "license": "MIT",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/surikaterna/kalada",
+    "directory": "packages/core"
+  },
   "type": "module",
   "sideEffects": false,
   "files": [
@@ -35,6 +40,16 @@
         "default": "./dist/kuery-v1/index.cjs"
       }
     },
+    "./kalada-v1": {
+      "import": {
+        "types": "./dist/kalada-v1/index.d.ts",
+        "default": "./dist/kalada-v1/index.js"
+      },
+      "require": {
+        "types": "./dist/kalada-v1/index.d.cts",
+        "default": "./dist/kalada-v1/index.cjs"
+      }
+    },
     "./package.json": "./package.json"
   },
   "scripts": {