@kalada/core 0.2.0 → 0.3.0

package/dist/kalada-v1/values.js

@@ -1,4 +1,5 @@
 import { deepEqualJson, cloneJsonWithStats, cloneJson } from './json.js';
+import { isInstant, isDuration } from './temporal.js';
 
 const optionBrands = /* @__PURE__ */ new WeakSet();
 const resultBrands = /* @__PURE__ */ new WeakSet();
@@ -13,7 +14,7 @@ function branded(brand, value) {
   return value;
 }
 function snapshot(value) {
-  if (isOption(value) || isResult(value)) return value;
+  if (isOption(value) || isResult(value) || isInstant(value) || isDuration(value)) return value;
   return cloneJson(value, DEFAULT_VALUE_LIMITS);
 }
 const NONE = branded(optionBrands, { type: "Option", variant: "none" });
@@ -52,6 +53,10 @@ function isResult(value) {
   return typeof value === "object" && value !== null && resultBrands.has(value);
 }
 function equalKaladaValues(left, right) {
+  if (isInstant(left) || isInstant(right))
+    return isInstant(left) && isInstant(right) && left.milliseconds === right.milliseconds;
+  if (isDuration(left) || isDuration(right))
+    return isDuration(left) && isDuration(right) && left.milliseconds === right.milliseconds;
   if (isOption(left) || isOption(right)) return equalOptions(left, right);
   if (isResult(left) || isResult(right)) return equalResults(left, right);
   return deepEqualJson(left, right);
@@ -70,6 +75,10 @@ function validateKaladaValueLimits(value, limits) {
     current = current.value;
     depth += 1;
   }
+  if (isInstant(current) || isDuration(current)) {
+    validateTemporalLeaf(depth, nodes, limits);
+    return;
+  }
   const remainingDepth = limits.maxDepth - depth;
   if (remainingDepth < 0) throw new RangeError("limit");
   cloneJsonWithStats(current, {
@@ -78,6 +87,9 @@ function validateKaladaValueLimits(value, limits) {
     maxStringLength: limits.maxStringLength
   });
 }
+function validateTemporalLeaf(depth, nodes, limits) {
+  if (depth > limits.maxDepth || nodes + 1 > limits.maxNodes) throw new RangeError("limit");
+}
 function equalOptions(left, right) {
   if (!isOption(left) || !isOption(right) || left.variant !== right.variant) return false;
   if (left.variant === "none" || right.variant === "none") return true;

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

@@ -1 +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"]}
+{"version":3,"sources":["../../src/kalada-v1/values.ts"],"names":[],"mappings":";;;AAqCA,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,QAAA,CAAS,KAAK,CAAA,IAAK,QAAA,CAAS,KAAK,CAAA,IAAK,SAAA,CAAU,KAAK,CAAA,IAAK,UAAA,CAAW,KAAK,CAAA,EAAG,OAAO,KAAA;AACxF,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,SAAA,CAAU,IAAI,CAAA,IAAK,SAAA,CAAU,KAAK,CAAA;AACpC,IAAA,OAAO,SAAA,CAAU,IAAI,CAAA,IAAK,SAAA,CAAU,KAAK,CAAA,IAAK,IAAA,CAAK,iBAAiB,KAAA,CAAM,YAAA;AAC5E,EAAA,IAAI,UAAA,CAAW,IAAI,CAAA,IAAK,UAAA,CAAW,KAAK,CAAA;AACtC,IAAA,OAAO,UAAA,CAAW,IAAI,CAAA,IAAK,UAAA,CAAW,KAAK,CAAA,IAAK,IAAA,CAAK,iBAAiB,KAAA,CAAM,YAAA;AAC9E,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,IAAI,SAAA,CAAU,OAAO,CAAA,IAAK,UAAA,CAAW,OAAO,CAAA,EAAG;AAC7C,IAAA,oBAAA,CAAqB,KAAA,EAAO,OAAO,MAAM,CAAA;AACzC,IAAA;AAAA,EACF;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,oBAAA,CACP,KAAA,EACA,KAAA,EACA,MAAA,EACM;AACN,EAAA,IAAI,KAAA,GAAQ,MAAA,CAAO,QAAA,IAAY,KAAA,GAAQ,CAAA,GAAI,OAAO,QAAA,EAAU,MAAM,IAAI,UAAA,CAAW,OAAO,CAAA;AAC1F;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\";\nimport { type DurationValue, type InstantValue, isDuration, isInstant } from \"./temporal.js\";\n\nexport type KaladaValue = JsonValue | OptionValue | ResultValue | InstantValue | DurationValue;\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) || isInstant(value) || isDuration(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 (isInstant(left) || isInstant(right))\n    return isInstant(left) && isInstant(right) && left.milliseconds === right.milliseconds;\n  if (isDuration(left) || isDuration(right))\n    return isDuration(left) && isDuration(right) && left.milliseconds === right.milliseconds;\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  if (isInstant(current) || isDuration(current)) {\n    validateTemporalLeaf(depth, nodes, limits);\n    return;\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 validateTemporalLeaf(\n  depth: number,\n  nodes: number,\n  limits: { readonly maxDepth: number; readonly maxNodes: number },\n): void {\n  if (depth > limits.maxDepth || nodes + 1 > limits.maxNodes) throw new RangeError(\"limit\");\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,6 +1,6 @@
 {
   "name": "@kalada/core",
-  "version": "0.2.0",
+  "version": "0.3.0",
   "description": "Canonical runtime contracts for the Kalada expression language",
   "license": "MIT",
   "repository": {