@kalada/core 0.1.0 → 0.3.0

package/dist/kalada-v1/temporal-evaluation.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/kalada-v1/temporal-evaluation.ts"],"names":[],"mappings":";;;AAoBO,SAAS,qBACd,IAAA,EAC+B;AAC/B,EAAA,OACE,IAAA,CAAK,IAAA,KAAS,SAAA,IACd,IAAA,CAAK,IAAA,KAAS,UAAA,IACd,IAAA,CAAK,IAAA,KAAS,iBAAA,IACd,IAAA,CAAK,IAAA,KAAS,qBAAA,IACd,KAAK,IAAA,KAAS,qBAAA;AAElB;AAEO,SAAS,0BAAA,CACd,IAAA,EACA,IAAA,EACA,OAAA,EACA,QAAA,EACa;AACb,EAAA,IAAI,KAAK,IAAA,KAAS,SAAA,SAAkB,OAAA,CAAQ,gBAAA,CAAiB,KAAK,YAAY,CAAA;AAC9E,EAAA,IAAI,KAAK,IAAA,KAAS,UAAA,SAAmB,QAAA,CAAS,gBAAA,CAAiB,KAAK,YAAY,CAAA;AAChF,EAAA,IAAI,IAAA,CAAK,SAAS,iBAAA,EAAmB;AACnC,IAAA,IAAI,CAAC,OAAA,EAAS,MAAM,IAAI,aAAA,CAAc,2BAA2B,IAAI,CAAA;AACrE,IAAA,OAAO,OAAA;AAAA,EACT;AACA,EAAA,MAAM,IAAA,GAAO,gBAAgB,QAAA,EAAU,IAAA,CAAK,MAAM,CAAC,GAAG,IAAA,EAAM,MAAM,CAAC,CAAA;AACnE,EAAA,MAAM,KAAA,GAAQ,gBAAgB,QAAA,EAAU,IAAA,CAAK,OAAO,CAAC,GAAG,IAAA,EAAM,OAAO,CAAC,CAAA;AACtE,EAAA,IAAI,IAAA,CAAK,SAAS,qBAAA,EAAuB;AACvC,IAAA,cAAA,CAAe,MAAM,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,OAAO,CAAC,CAAA;AAC9C,IAAA,OAAO,QAAQ,IAAA,CAAK,QAAA,EAAU,IAAA,CAAK,YAAA,EAAc,MAAM,YAAY,CAAA;AAAA,EACrE;AACA,EAAA,OAAO,KAAK,QAAA,KAAa,KAAA,GACrB,IAAI,IAAA,EAAM,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,OAAO,CAAC,CAAA,GACnC,SAAS,IAAA,EAAM,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,OAAO,CAAC,CAAA;AAC9C;AAEA,SAAS,eAAA,CACP,QAAA,EACA,IAAA,EACA,IAAA,EACe;AACf,EAAA,MAAM,KAAA,GAAQ,QAAA,CAAS,IAAA,EAAM,IAAI,CAAA;AACjC,EAAA,IAAI,CAAC,UAAU,KAAK,CAAA,IAAK,CAAC,UAAA,CAAW,KAAK,CAAA,EAAG,QAAA,CAAS,IAAI,CAAA;AAC1D,EAAA,OAAO,KAAA;AACT;AAEA,SAAS,GAAA,CAAI,IAAA,EAAqB,KAAA,EAAsB,IAAA,EAA2B;AACjF,EAAA,IAAI,SAAA,CAAU,IAAI,CAAA,IAAK,UAAA,CAAW,KAAK,CAAA,EAAG;AACxC,IAAA,OAAO,OAAA,CAAQ,iBAAiB,OAAA,CAAQ,IAAA,CAAK,eAAe,KAAA,CAAM,YAAA,EAAc,IAAI,CAAC,CAAA;AAAA,EACvF;AACA,EAAA,IAAI,UAAA,CAAW,IAAI,CAAA,IAAK,UAAA,CAAW,KAAK,CAAA,EAAG;AACzC,IAAA,OAAO,QAAA,CAAS,iBAAiB,OAAA,CAAQ,IAAA,CAAK,eAAe,KAAA,CAAM,YAAA,EAAc,IAAI,CAAC,CAAA;AAAA,EACxF;AACA,EAAA,OAAO,SAAS,IAAI,CAAA;AACtB;AAEA,SAAS,QAAA,CAAS,IAAA,EAAqB,KAAA,EAAsB,IAAA,EAA2B;AACtF,EAAA,IAAI,SAAA,CAAU,IAAI,CAAA,IAAK,SAAA,CAAU,KAAK,CAAA,EAAG;AACvC,IAAA,OAAO,QAAA,CAAS,iBAAiB,OAAA,CAAQ,IAAA,CAAK,eAAe,KAAA,CAAM,YAAA,EAAc,IAAI,CAAC,CAAA;AAAA,EACxF;AACA,EAAA,IAAI,SAAA,CAAU,IAAI,CAAA,IAAK,UAAA,CAAW,KAAK,CAAA,EAAG;AACxC,IAAA,OAAO,OAAA,CAAQ,iBAAiB,OAAA,CAAQ,IAAA,CAAK,eAAe,KAAA,CAAM,YAAA,EAAc,IAAI,CAAC,CAAA;AAAA,EACvF;AACA,EAAA,IAAI,UAAA,CAAW,IAAI,CAAA,IAAK,UAAA,CAAW,KAAK,CAAA,EAAG;AACzC,IAAA,OAAO,QAAA,CAAS,iBAAiB,OAAA,CAAQ,IAAA,CAAK,eAAe,KAAA,CAAM,YAAA,EAAc,IAAI,CAAC,CAAA;AAAA,EACxF;AACA,EAAA,OAAO,SAAS,IAAI,CAAA;AACtB;AAEA,SAAS,cAAA,CAAe,IAAA,EAAqB,KAAA,EAAsB,IAAA,EAAkB;AACnF,EAAA,IAAK,SAAA,CAAU,IAAI,CAAA,IAAK,CAAC,SAAA,CAAU,KAAK,CAAA,IAAO,UAAA,CAAW,IAAI,CAAA,IAAK,CAAC,UAAA,CAAW,KAAK,CAAA,EAAI;AACtF,IAAA,QAAA,CAAS,IAAI,CAAA;AAAA,EACf;AACF;AAEA,SAAS,OAAA,CACP,QAAA,EACA,IAAA,EACA,KAAA,EACS;AACT,EAAA,IAAI,QAAA,KAAa,OAAA,EAAS,OAAO,IAAA,KAAS,KAAA;AAC1C,EAAA,IAAI,QAAA,KAAa,WAAA,EAAa,OAAO,IAAA,KAAS,KAAA;AAC9C,EAAA,IAAI,QAAA,KAAa,WAAA,EAAa,OAAO,IAAA,GAAO,KAAA;AAC5C,EAAA,IAAI,QAAA,KAAa,oBAAA,EAAsB,OAAO,IAAA,IAAQ,KAAA;AACtD,EAAA,IAAI,QAAA,KAAa,cAAA,EAAgB,OAAO,IAAA,GAAO,KAAA;AAC/C,EAAA,OAAO,IAAA,IAAQ,KAAA;AACjB;AAEA,SAAS,OAAA,CAAQ,QAAgB,IAAA,EAAoB;AACnD,EAAA,IAAI,CAAC,OAAO,aAAA,CAAc,MAAM,GAAG,MAAM,IAAI,aAAA,CAAc,0BAAA,EAA4B,IAAI,CAAA;AAC3F,EAAA,OAAO,MAAA,CAAO,EAAA,CAAG,MAAA,EAAQ,EAAE,IAAI,CAAA,GAAI,MAAA;AACrC;AAEA,SAAS,SAAS,IAAA,EAAmB;AACnC,EAAA,MAAM,IAAI,aAAA,CAAc,+BAAA,EAAiC,IAAI,CAAA;AAC/D","file":"temporal-evaluation.js","sourcesContent":["import { KaladaFailure } from \"./diagnostics.js\";\nimport type { JsonValue } from \"./json.js\";\nimport {\n  Duration,\n  type DurationValue,\n  Instant,\n  type InstantValue,\n  isDuration,\n  isInstant,\n} from \"./temporal.js\";\nimport type { KaladaV1Expression } from \"./types.js\";\nimport type { KaladaValue } from \"./values.js\";\n\ntype Path = readonly (string | number)[];\ntype TemporalExpression<R extends JsonValue> = Extract<\n  KaladaV1Expression<R>,\n  { kind: \"instant\" | \"duration\" | \"current-instant\" | `temporal-${string}` }\n>;\ntype TemporalValue = InstantValue | DurationValue;\n\nexport function isTemporalExpression<R extends JsonValue>(\n  node: KaladaV1Expression<R>,\n): node is TemporalExpression<R> {\n  return (\n    node.kind === \"instant\" ||\n    node.kind === \"duration\" ||\n    node.kind === \"current-instant\" ||\n    node.kind === \"temporal-arithmetic\" ||\n    node.kind === \"temporal-comparison\"\n  );\n}\n\nexport function evaluateTemporalExpression<R extends JsonValue>(\n  node: TemporalExpression<R>,\n  path: Path,\n  instant: InstantValue | undefined,\n  evaluate: (node: KaladaV1Expression<R>, path: Path) => KaladaValue,\n): KaladaValue {\n  if (node.kind === \"instant\") return Instant.fromMilliseconds(node.milliseconds);\n  if (node.kind === \"duration\") return Duration.fromMilliseconds(node.milliseconds);\n  if (node.kind === \"current-instant\") {\n    if (!instant) throw new KaladaFailure(\"KALADA_INSTANT_REQUIRED\", path);\n    return instant;\n  }\n  const left = temporalOperand(evaluate, node.left, [...path, \"left\"]);\n  const right = temporalOperand(evaluate, node.right, [...path, \"right\"]);\n  if (node.kind === \"temporal-comparison\") {\n    assertSameType(left, right, [...path, \"right\"]);\n    return compare(node.operator, left.milliseconds, right.milliseconds);\n  }\n  return node.operator === \"add\"\n    ? add(left, right, [...path, \"right\"])\n    : subtract(left, right, [...path, \"right\"]);\n}\n\nfunction temporalOperand<R extends JsonValue>(\n  evaluate: (node: KaladaV1Expression<R>, path: Path) => KaladaValue,\n  node: KaladaV1Expression<R>,\n  path: Path,\n): TemporalValue {\n  const value = evaluate(node, path);\n  if (!isInstant(value) && !isDuration(value)) mismatch(path);\n  return value;\n}\n\nfunction add(left: TemporalValue, right: TemporalValue, path: Path): TemporalValue {\n  if (isInstant(left) && isDuration(right)) {\n    return Instant.fromMilliseconds(checked(left.milliseconds + right.milliseconds, path));\n  }\n  if (isDuration(left) && isDuration(right)) {\n    return Duration.fromMilliseconds(checked(left.milliseconds + right.milliseconds, path));\n  }\n  return mismatch(path);\n}\n\nfunction subtract(left: TemporalValue, right: TemporalValue, path: Path): TemporalValue {\n  if (isInstant(left) && isInstant(right)) {\n    return Duration.fromMilliseconds(checked(left.milliseconds - right.milliseconds, path));\n  }\n  if (isInstant(left) && isDuration(right)) {\n    return Instant.fromMilliseconds(checked(left.milliseconds - right.milliseconds, path));\n  }\n  if (isDuration(left) && isDuration(right)) {\n    return Duration.fromMilliseconds(checked(left.milliseconds - right.milliseconds, path));\n  }\n  return mismatch(path);\n}\n\nfunction assertSameType(left: TemporalValue, right: TemporalValue, path: Path): void {\n  if ((isInstant(left) && !isInstant(right)) || (isDuration(left) && !isDuration(right))) {\n    mismatch(path);\n  }\n}\n\nfunction compare(\n  operator: Extract<KaladaV1Expression, { kind: \"temporal-comparison\" }>[\"operator\"],\n  left: number,\n  right: number,\n): boolean {\n  if (operator === \"equal\") return left === right;\n  if (operator === \"not-equal\") return left !== right;\n  if (operator === \"less-than\") return left < right;\n  if (operator === \"less-than-or-equal\") return left <= right;\n  if (operator === \"greater-than\") return left > right;\n  return left >= right;\n}\n\nfunction checked(output: number, path: Path): number {\n  if (!Number.isSafeInteger(output)) throw new KaladaFailure(\"KALADA_TEMPORAL_OVERFLOW\", path);\n  return Object.is(output, -0) ? 0 : output;\n}\n\nfunction mismatch(path: Path): never {\n  throw new KaladaFailure(\"KALADA_TEMPORAL_TYPE_MISMATCH\", path);\n}\n"]}

package/dist/kalada-v1/temporal.cjs

@@ -0,0 +1,42 @@
+'use strict';
+
+const instantBrands = /* @__PURE__ */ new WeakSet();
+const durationBrands = /* @__PURE__ */ new WeakSet();
+function milliseconds(input) {
+  if (!Number.isSafeInteger(input)) throw new RangeError("Milliseconds must be a safe integer.");
+  return Object.is(input, -0) ? 0 : input;
+}
+function branded(brands, value) {
+  Object.freeze(value);
+  brands.add(value);
+  return value;
+}
+const Instant = Object.freeze({
+  fromMilliseconds(value) {
+    return branded(instantBrands, {
+      type: "Instant",
+      milliseconds: milliseconds(value)
+    });
+  }
+});
+const Duration = Object.freeze({
+  fromMilliseconds(value) {
+    return branded(durationBrands, {
+      type: "Duration",
+      milliseconds: milliseconds(value)
+    });
+  }
+});
+function isInstant(value) {
+  return typeof value === "object" && value !== null && instantBrands.has(value);
+}
+function isDuration(value) {
+  return typeof value === "object" && value !== null && durationBrands.has(value);
+}
+
+exports.Duration = Duration;
+exports.Instant = Instant;
+exports.isDuration = isDuration;
+exports.isInstant = isInstant;
+//# sourceMappingURL=temporal.cjs.map
+//# sourceMappingURL=temporal.cjs.map

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

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/kalada-v1/temporal.ts"],"names":[],"mappings":";;AAAA,MAAM,aAAA,uBAAoB,OAAA,EAAgB;AAC1C,MAAM,cAAA,uBAAqB,OAAA,EAAgB;AAiB3C,SAAS,aAAa,KAAA,EAAuB;AAC3C,EAAA,IAAI,CAAC,OAAO,aAAA,CAAc,KAAK,GAAG,MAAM,IAAI,WAAW,sCAAsC,CAAA;AAC7F,EAAA,OAAO,MAAA,CAAO,EAAA,CAAG,KAAA,EAAO,EAAE,IAAI,CAAA,GAAI,KAAA;AACpC;AAEA,SAAS,OAAA,CAA0B,QAAyB,KAAA,EAAa;AACvE,EAAA,MAAA,CAAO,OAAO,KAAK,CAAA;AACnB,EAAA,MAAA,CAAO,IAAI,KAAK,CAAA;AAChB,EAAA,OAAO,KAAA;AACT;AAEO,MAAM,OAAA,GAAU,OAAO,MAAA,CAAO;AAAA,EACnC,iBAAiB,KAAA,EAA6B;AAC5C,IAAA,OAAO,QAAQ,aAAA,EAAe;AAAA,MAC5B,IAAA,EAAM,SAAA;AAAA,MACN,YAAA,EAAc,aAAa,KAAK;AAAA,KACjB,CAAA;AAAA,EACnB;AACF,CAAC;AAEM,MAAM,QAAA,GAAW,OAAO,MAAA,CAAO;AAAA,EACpC,iBAAiB,KAAA,EAA8B;AAC7C,IAAA,OAAO,QAAQ,cAAA,EAAgB;AAAA,MAC7B,IAAA,EAAM,UAAA;AAAA,MACN,YAAA,EAAc,aAAa,KAAK;AAAA,KAChB,CAAA;AAAA,EACpB;AACF,CAAC;AAEM,SAAS,UAAU,KAAA,EAAuC;AAC/D,EAAA,OAAO,OAAO,KAAA,KAAU,QAAA,IAAY,UAAU,IAAA,IAAQ,aAAA,CAAc,IAAI,KAAK,CAAA;AAC/E;AAEO,SAAS,WAAW,KAAA,EAAwC;AACjE,EAAA,OAAO,OAAO,KAAA,KAAU,QAAA,IAAY,UAAU,IAAA,IAAQ,cAAA,CAAe,IAAI,KAAK,CAAA;AAChF","file":"temporal.cjs","sourcesContent":["const instantBrands = new WeakSet<object>();\nconst durationBrands = new WeakSet<object>();\n\ndeclare const instantBrand: unique symbol;\ndeclare const durationBrand: unique symbol;\n\nexport interface InstantValue {\n  readonly [instantBrand]: true;\n  readonly type: \"Instant\";\n  readonly milliseconds: number;\n}\n\nexport interface DurationValue {\n  readonly [durationBrand]: true;\n  readonly type: \"Duration\";\n  readonly milliseconds: number;\n}\n\nfunction milliseconds(input: number): number {\n  if (!Number.isSafeInteger(input)) throw new RangeError(\"Milliseconds must be a safe integer.\");\n  return Object.is(input, -0) ? 0 : input;\n}\n\nfunction branded<T extends object>(brands: WeakSet<object>, value: T): T {\n  Object.freeze(value);\n  brands.add(value);\n  return value;\n}\n\nexport const Instant = Object.freeze({\n  fromMilliseconds(value: number): InstantValue {\n    return branded(instantBrands, {\n      type: \"Instant\",\n      milliseconds: milliseconds(value),\n    } as InstantValue);\n  },\n});\n\nexport const Duration = Object.freeze({\n  fromMilliseconds(value: number): DurationValue {\n    return branded(durationBrands, {\n      type: \"Duration\",\n      milliseconds: milliseconds(value),\n    } as DurationValue);\n  },\n});\n\nexport function isInstant(value: unknown): value is InstantValue {\n  return typeof value === \"object\" && value !== null && instantBrands.has(value);\n}\n\nexport function isDuration(value: unknown): value is DurationValue {\n  return typeof value === \"object\" && value !== null && durationBrands.has(value);\n}\n"]}

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

@@ -0,0 +1,22 @@
+declare const instantBrand: unique symbol;
+declare const durationBrand: unique symbol;
+interface InstantValue {
+    readonly [instantBrand]: true;
+    readonly type: "Instant";
+    readonly milliseconds: number;
+}
+interface DurationValue {
+    readonly [durationBrand]: true;
+    readonly type: "Duration";
+    readonly milliseconds: number;
+}
+declare const Instant: Readonly<{
+    fromMilliseconds(value: number): InstantValue;
+}>;
+declare const Duration: Readonly<{
+    fromMilliseconds(value: number): DurationValue;
+}>;
+declare function isInstant(value: unknown): value is InstantValue;
+declare function isDuration(value: unknown): value is DurationValue;
+
+export { Duration, type DurationValue, Instant, type InstantValue, isDuration, isInstant };

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

@@ -0,0 +1,22 @@
+declare const instantBrand: unique symbol;
+declare const durationBrand: unique symbol;
+interface InstantValue {
+    readonly [instantBrand]: true;
+    readonly type: "Instant";
+    readonly milliseconds: number;
+}
+interface DurationValue {
+    readonly [durationBrand]: true;
+    readonly type: "Duration";
+    readonly milliseconds: number;
+}
+declare const Instant: Readonly<{
+    fromMilliseconds(value: number): InstantValue;
+}>;
+declare const Duration: Readonly<{
+    fromMilliseconds(value: number): DurationValue;
+}>;
+declare function isInstant(value: unknown): value is InstantValue;
+declare function isDuration(value: unknown): value is DurationValue;
+
+export { Duration, type DurationValue, Instant, type InstantValue, isDuration, isInstant };

package/dist/kalada-v1/temporal.js

@@ -0,0 +1,37 @@
+const instantBrands = /* @__PURE__ */ new WeakSet();
+const durationBrands = /* @__PURE__ */ new WeakSet();
+function milliseconds(input) {
+  if (!Number.isSafeInteger(input)) throw new RangeError("Milliseconds must be a safe integer.");
+  return Object.is(input, -0) ? 0 : input;
+}
+function branded(brands, value) {
+  Object.freeze(value);
+  brands.add(value);
+  return value;
+}
+const Instant = Object.freeze({
+  fromMilliseconds(value) {
+    return branded(instantBrands, {
+      type: "Instant",
+      milliseconds: milliseconds(value)
+    });
+  }
+});
+const Duration = Object.freeze({
+  fromMilliseconds(value) {
+    return branded(durationBrands, {
+      type: "Duration",
+      milliseconds: milliseconds(value)
+    });
+  }
+});
+function isInstant(value) {
+  return typeof value === "object" && value !== null && instantBrands.has(value);
+}
+function isDuration(value) {
+  return typeof value === "object" && value !== null && durationBrands.has(value);
+}
+
+export { Duration, Instant, isDuration, isInstant };
+//# sourceMappingURL=temporal.js.map
+//# sourceMappingURL=temporal.js.map

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

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/kalada-v1/temporal.ts"],"names":[],"mappings":"AAAA,MAAM,aAAA,uBAAoB,OAAA,EAAgB;AAC1C,MAAM,cAAA,uBAAqB,OAAA,EAAgB;AAiB3C,SAAS,aAAa,KAAA,EAAuB;AAC3C,EAAA,IAAI,CAAC,OAAO,aAAA,CAAc,KAAK,GAAG,MAAM,IAAI,WAAW,sCAAsC,CAAA;AAC7F,EAAA,OAAO,MAAA,CAAO,EAAA,CAAG,KAAA,EAAO,EAAE,IAAI,CAAA,GAAI,KAAA;AACpC;AAEA,SAAS,OAAA,CAA0B,QAAyB,KAAA,EAAa;AACvE,EAAA,MAAA,CAAO,OAAO,KAAK,CAAA;AACnB,EAAA,MAAA,CAAO,IAAI,KAAK,CAAA;AAChB,EAAA,OAAO,KAAA;AACT;AAEO,MAAM,OAAA,GAAU,OAAO,MAAA,CAAO;AAAA,EACnC,iBAAiB,KAAA,EAA6B;AAC5C,IAAA,OAAO,QAAQ,aAAA,EAAe;AAAA,MAC5B,IAAA,EAAM,SAAA;AAAA,MACN,YAAA,EAAc,aAAa,KAAK;AAAA,KACjB,CAAA;AAAA,EACnB;AACF,CAAC;AAEM,MAAM,QAAA,GAAW,OAAO,MAAA,CAAO;AAAA,EACpC,iBAAiB,KAAA,EAA8B;AAC7C,IAAA,OAAO,QAAQ,cAAA,EAAgB;AAAA,MAC7B,IAAA,EAAM,UAAA;AAAA,MACN,YAAA,EAAc,aAAa,KAAK;AAAA,KAChB,CAAA;AAAA,EACpB;AACF,CAAC;AAEM,SAAS,UAAU,KAAA,EAAuC;AAC/D,EAAA,OAAO,OAAO,KAAA,KAAU,QAAA,IAAY,UAAU,IAAA,IAAQ,aAAA,CAAc,IAAI,KAAK,CAAA;AAC/E;AAEO,SAAS,WAAW,KAAA,EAAwC;AACjE,EAAA,OAAO,OAAO,KAAA,KAAU,QAAA,IAAY,UAAU,IAAA,IAAQ,cAAA,CAAe,IAAI,KAAK,CAAA;AAChF","file":"temporal.js","sourcesContent":["const instantBrands = new WeakSet<object>();\nconst durationBrands = new WeakSet<object>();\n\ndeclare const instantBrand: unique symbol;\ndeclare const durationBrand: unique symbol;\n\nexport interface InstantValue {\n  readonly [instantBrand]: true;\n  readonly type: \"Instant\";\n  readonly milliseconds: number;\n}\n\nexport interface DurationValue {\n  readonly [durationBrand]: true;\n  readonly type: \"Duration\";\n  readonly milliseconds: number;\n}\n\nfunction milliseconds(input: number): number {\n  if (!Number.isSafeInteger(input)) throw new RangeError(\"Milliseconds must be a safe integer.\");\n  return Object.is(input, -0) ? 0 : input;\n}\n\nfunction branded<T extends object>(brands: WeakSet<object>, value: T): T {\n  Object.freeze(value);\n  brands.add(value);\n  return value;\n}\n\nexport const Instant = Object.freeze({\n  fromMilliseconds(value: number): InstantValue {\n    return branded(instantBrands, {\n      type: \"Instant\",\n      milliseconds: milliseconds(value),\n    } as InstantValue);\n  },\n});\n\nexport const Duration = Object.freeze({\n  fromMilliseconds(value: number): DurationValue {\n    return branded(durationBrands, {\n      type: \"Duration\",\n      milliseconds: milliseconds(value),\n    } as DurationValue);\n  },\n});\n\nexport function isInstant(value: unknown): value is InstantValue {\n  return typeof value === \"object\" && value !== null && instantBrands.has(value);\n}\n\nexport function isDuration(value: unknown): value is DurationValue {\n  return typeof value === \"object\" && value !== null && durationBrands.has(value);\n}\n"]}

package/dist/kalada-v1/types.cjs

@@ -0,0 +1,4 @@
+'use strict';
+
+//# sourceMappingURL=types.cjs.map
+//# sourceMappingURL=types.cjs.map

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

@@ -0,0 +1 @@
+{"version":3,"sources":[],"names":[],"mappings":"","file":"types.cjs"}

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

@@ -0,0 +1,120 @@
+import { JsonValue } from './json.cjs';
+import { InstantValue } from './temporal.cjs';
+import { KaladaValue } from './values.cjs';
+
+type KaladaV1Expression<R extends JsonValue = string> = {
+    readonly kind: "literal";
+    readonly value: JsonValue;
+} | {
+    readonly kind: "ref";
+    readonly ref: R;
+} | BindingExpression<R> | OptionExpression<R> | ResultExpression<R> | MatchExpression<R> | InstantExpression | DurationExpression | CurrentInstantExpression | TemporalArithmeticExpression<R> | TemporalComparisonExpression<R>;
+interface InstantExpression {
+    readonly kind: "instant";
+    readonly milliseconds: number;
+}
+interface DurationExpression {
+    readonly kind: "duration";
+    readonly milliseconds: number;
+}
+interface CurrentInstantExpression {
+    readonly kind: "current-instant";
+}
+interface TemporalArithmeticExpression<R extends JsonValue> {
+    readonly kind: "temporal-arithmetic";
+    readonly operator: "add" | "subtract";
+    readonly left: KaladaV1Expression<R>;
+    readonly right: KaladaV1Expression<R>;
+}
+interface TemporalComparisonExpression<R extends JsonValue> {
+    readonly kind: "temporal-comparison";
+    readonly operator: "equal" | "not-equal" | "less-than" | "less-than-or-equal" | "greater-than" | "greater-than-or-equal";
+    readonly left: KaladaV1Expression<R>;
+    readonly right: KaladaV1Expression<R>;
+}
+interface BindingExpression<R extends JsonValue> {
+    readonly kind: "binding";
+    readonly name: string;
+    readonly value: KaladaV1Expression<R>;
+    readonly body: KaladaV1Expression<R>;
+}
+type OptionExpression<R extends JsonValue> = {
+    readonly kind: "option";
+    readonly variant: "none";
+} | {
+    readonly kind: "option";
+    readonly variant: "some";
+    readonly value: KaladaV1Expression<R>;
+};
+interface ResultExpression<R extends JsonValue> {
+    readonly kind: "result";
+    readonly variant: "ok" | "err";
+    readonly value: KaladaV1Expression<R>;
+}
+interface MatchExpression<R extends JsonValue> {
+    readonly kind: "match";
+    readonly type: "Option" | "Result";
+    readonly value: KaladaV1Expression<R>;
+    readonly arms: readonly MatchArm<R>[];
+}
+interface MatchArm<R extends JsonValue> {
+    readonly variant: "some" | "none" | "ok" | "err";
+    readonly binding?: string;
+    readonly body: KaladaV1Expression<R>;
+}
+interface KaladaV1Program<R extends JsonValue = string> {
+    readonly format: "kalada-program";
+    readonly version: 1;
+    readonly profile: "kalada-v1";
+    readonly expression: KaladaV1Expression<R>;
+}
+type KaladaV1DiagnosticCode = "KALADA_INVALID_INPUT" | "KALADA_LIMIT_EXCEEDED" | "KALADA_INVALID_REFERENCE" | "KALADA_MATCH_MISSING_ARM" | "KALADA_MATCH_DUPLICATE_ARM" | "KALADA_MATCH_UNKNOWN_ARM" | "KALADA_MATCH_UNREACHABLE_ARM" | "KALADA_MATCH_TYPE_MISMATCH" | "KALADA_REFERENCE_ERROR" | "KALADA_REFERENCE_MISSING" | "KALADA_REFERENCE_DENIED" | "KALADA_ASYNC_UNSUPPORTED" | "KALADA_INVALID_RESULT" | "KALADA_EVALUATION_LIMIT" | "KALADA_INSTANT_REQUIRED" | "KALADA_TEMPORAL_TYPE_MISMATCH" | "KALADA_TEMPORAL_OVERFLOW" | "KALADA_CLOCK_ERROR" | "KALADA_INVALID_CLOCK";
+interface KaladaV1Diagnostic {
+    readonly code: KaladaV1DiagnosticCode;
+    readonly path: readonly (string | number)[];
+    readonly message: string;
+}
+type KaladaV1Outcome<T> = {
+    readonly ok: true;
+    readonly value: T;
+} | {
+    readonly ok: false;
+    readonly diagnostic: KaladaV1Diagnostic;
+};
+interface KaladaV1Limits {
+    readonly maxAstDepth: number;
+    readonly maxAstNodes: number;
+    readonly maxValueDepth: number;
+    readonly maxValueNodes: number;
+    readonly maxStringLength: number;
+    readonly maxReferenceLength: number;
+    readonly maxEvaluationSteps: number;
+}
+interface KaladaV1ReferenceCodec<R extends JsonValue> {
+    readonly validate: (input: unknown) => input is R;
+    readonly canonicalize?: (reference: R) => R;
+}
+interface KaladaV1Options<R extends JsonValue> {
+    readonly reference?: KaladaV1ReferenceCodec<R>;
+    readonly limits?: Partial<KaladaV1Limits>;
+}
+type KaladaV1Resolution = {
+    readonly found: true;
+    readonly value: KaladaValue;
+} | {
+    readonly found: false;
+    readonly reason?: "missing" | "denied";
+};
+type KaladaV1Resolver<R extends JsonValue> = (reference: R) => KaladaV1Resolution;
+interface KaladaV1EvaluationInputs {
+    readonly instant?: InstantValue;
+}
+type KaladaV1Clock = () => InstantValue;
+interface CompiledKaladaV1Program<R extends JsonValue> {
+    readonly program: KaladaV1Program<R>;
+    readonly dependencies: readonly R[];
+    evaluate(resolve: KaladaV1Resolver<R>, inputs?: KaladaV1EvaluationInputs): KaladaV1Outcome<KaladaValue>;
+    evaluateWithClock(resolve: KaladaV1Resolver<R>, clock: KaladaV1Clock): KaladaV1Outcome<KaladaValue>;
+}
+
+export type { BindingExpression, CompiledKaladaV1Program, CurrentInstantExpression, DurationExpression, InstantExpression, KaladaV1Clock, KaladaV1Diagnostic, KaladaV1DiagnosticCode, KaladaV1EvaluationInputs, KaladaV1Expression, KaladaV1Limits, KaladaV1Options, KaladaV1Outcome, KaladaV1Program, KaladaV1ReferenceCodec, KaladaV1Resolution, KaladaV1Resolver, MatchArm, MatchExpression, OptionExpression, ResultExpression, TemporalArithmeticExpression, TemporalComparisonExpression };

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

@@ -0,0 +1,120 @@
+import { JsonValue } from './json.js';
+import { InstantValue } from './temporal.js';
+import { KaladaValue } from './values.js';
+
+type KaladaV1Expression<R extends JsonValue = string> = {
+    readonly kind: "literal";
+    readonly value: JsonValue;
+} | {
+    readonly kind: "ref";
+    readonly ref: R;
+} | BindingExpression<R> | OptionExpression<R> | ResultExpression<R> | MatchExpression<R> | InstantExpression | DurationExpression | CurrentInstantExpression | TemporalArithmeticExpression<R> | TemporalComparisonExpression<R>;
+interface InstantExpression {
+    readonly kind: "instant";
+    readonly milliseconds: number;
+}
+interface DurationExpression {
+    readonly kind: "duration";
+    readonly milliseconds: number;
+}
+interface CurrentInstantExpression {
+    readonly kind: "current-instant";
+}
+interface TemporalArithmeticExpression<R extends JsonValue> {
+    readonly kind: "temporal-arithmetic";
+    readonly operator: "add" | "subtract";
+    readonly left: KaladaV1Expression<R>;
+    readonly right: KaladaV1Expression<R>;
+}
+interface TemporalComparisonExpression<R extends JsonValue> {
+    readonly kind: "temporal-comparison";
+    readonly operator: "equal" | "not-equal" | "less-than" | "less-than-or-equal" | "greater-than" | "greater-than-or-equal";
+    readonly left: KaladaV1Expression<R>;
+    readonly right: KaladaV1Expression<R>;
+}
+interface BindingExpression<R extends JsonValue> {
+    readonly kind: "binding";
+    readonly name: string;
+    readonly value: KaladaV1Expression<R>;
+    readonly body: KaladaV1Expression<R>;
+}
+type OptionExpression<R extends JsonValue> = {
+    readonly kind: "option";
+    readonly variant: "none";
+} | {
+    readonly kind: "option";
+    readonly variant: "some";
+    readonly value: KaladaV1Expression<R>;
+};
+interface ResultExpression<R extends JsonValue> {
+    readonly kind: "result";
+    readonly variant: "ok" | "err";
+    readonly value: KaladaV1Expression<R>;
+}
+interface MatchExpression<R extends JsonValue> {
+    readonly kind: "match";
+    readonly type: "Option" | "Result";
+    readonly value: KaladaV1Expression<R>;
+    readonly arms: readonly MatchArm<R>[];
+}
+interface MatchArm<R extends JsonValue> {
+    readonly variant: "some" | "none" | "ok" | "err";
+    readonly binding?: string;
+    readonly body: KaladaV1Expression<R>;
+}
+interface KaladaV1Program<R extends JsonValue = string> {
+    readonly format: "kalada-program";
+    readonly version: 1;
+    readonly profile: "kalada-v1";
+    readonly expression: KaladaV1Expression<R>;
+}
+type KaladaV1DiagnosticCode = "KALADA_INVALID_INPUT" | "KALADA_LIMIT_EXCEEDED" | "KALADA_INVALID_REFERENCE" | "KALADA_MATCH_MISSING_ARM" | "KALADA_MATCH_DUPLICATE_ARM" | "KALADA_MATCH_UNKNOWN_ARM" | "KALADA_MATCH_UNREACHABLE_ARM" | "KALADA_MATCH_TYPE_MISMATCH" | "KALADA_REFERENCE_ERROR" | "KALADA_REFERENCE_MISSING" | "KALADA_REFERENCE_DENIED" | "KALADA_ASYNC_UNSUPPORTED" | "KALADA_INVALID_RESULT" | "KALADA_EVALUATION_LIMIT" | "KALADA_INSTANT_REQUIRED" | "KALADA_TEMPORAL_TYPE_MISMATCH" | "KALADA_TEMPORAL_OVERFLOW" | "KALADA_CLOCK_ERROR" | "KALADA_INVALID_CLOCK";
+interface KaladaV1Diagnostic {
+    readonly code: KaladaV1DiagnosticCode;
+    readonly path: readonly (string | number)[];
+    readonly message: string;
+}
+type KaladaV1Outcome<T> = {
+    readonly ok: true;
+    readonly value: T;
+} | {
+    readonly ok: false;
+    readonly diagnostic: KaladaV1Diagnostic;
+};
+interface KaladaV1Limits {
+    readonly maxAstDepth: number;
+    readonly maxAstNodes: number;
+    readonly maxValueDepth: number;
+    readonly maxValueNodes: number;
+    readonly maxStringLength: number;
+    readonly maxReferenceLength: number;
+    readonly maxEvaluationSteps: number;
+}
+interface KaladaV1ReferenceCodec<R extends JsonValue> {
+    readonly validate: (input: unknown) => input is R;
+    readonly canonicalize?: (reference: R) => R;
+}
+interface KaladaV1Options<R extends JsonValue> {
+    readonly reference?: KaladaV1ReferenceCodec<R>;
+    readonly limits?: Partial<KaladaV1Limits>;
+}
+type KaladaV1Resolution = {
+    readonly found: true;
+    readonly value: KaladaValue;
+} | {
+    readonly found: false;
+    readonly reason?: "missing" | "denied";
+};
+type KaladaV1Resolver<R extends JsonValue> = (reference: R) => KaladaV1Resolution;
+interface KaladaV1EvaluationInputs {
+    readonly instant?: InstantValue;
+}
+type KaladaV1Clock = () => InstantValue;
+interface CompiledKaladaV1Program<R extends JsonValue> {
+    readonly program: KaladaV1Program<R>;
+    readonly dependencies: readonly R[];
+    evaluate(resolve: KaladaV1Resolver<R>, inputs?: KaladaV1EvaluationInputs): KaladaV1Outcome<KaladaValue>;
+    evaluateWithClock(resolve: KaladaV1Resolver<R>, clock: KaladaV1Clock): KaladaV1Outcome<KaladaValue>;
+}
+
+export type { BindingExpression, CompiledKaladaV1Program, CurrentInstantExpression, DurationExpression, InstantExpression, KaladaV1Clock, KaladaV1Diagnostic, KaladaV1DiagnosticCode, KaladaV1EvaluationInputs, KaladaV1Expression, KaladaV1Limits, KaladaV1Options, KaladaV1Outcome, KaladaV1Program, KaladaV1ReferenceCodec, KaladaV1Resolution, KaladaV1Resolver, MatchArm, MatchExpression, OptionExpression, ResultExpression, TemporalArithmeticExpression, TemporalComparisonExpression };

package/dist/kalada-v1/types.js

@@ -0,0 +1,3 @@
+
+//# sourceMappingURL=types.js.map
+//# sourceMappingURL=types.js.map

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

@@ -0,0 +1 @@
+{"version":3,"sources":[],"names":[],"mappings":"","file":"types.js"}

package/dist/kalada-v1/values.cjs

@@ -0,0 +1,112 @@
+'use strict';
+
+var json_js = require('./json.js');
+var temporal_js = require('./temporal.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) || temporal_js.isInstant(value) || temporal_js.isDuration(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 (temporal_js.isInstant(left) || temporal_js.isInstant(right))
+    return temporal_js.isInstant(left) && temporal_js.isInstant(right) && left.milliseconds === right.milliseconds;
+  if (temporal_js.isDuration(left) || temporal_js.isDuration(right))
+    return temporal_js.isDuration(left) && temporal_js.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 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;
+  }
+  if (temporal_js.isInstant(current) || temporal_js.isDuration(current)) {
+    validateTemporalLeaf(depth, nodes, limits);
+    return;
+  }
+  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 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;
+  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":["isInstant","isDuration","cloneJson","deepEqualJson","cloneJsonWithStats"],"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,IAAKA,qBAAA,CAAU,KAAK,CAAA,IAAKC,sBAAA,CAAW,KAAK,CAAA,EAAG,OAAO,KAAA;AACxF,EAAA,OAAOC,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,IAAIF,qBAAA,CAAU,IAAI,CAAA,IAAKA,qBAAA,CAAU,KAAK,CAAA;AACpC,IAAA,OAAOA,qBAAA,CAAU,IAAI,CAAA,IAAKA,qBAAA,CAAU,KAAK,CAAA,IAAK,IAAA,CAAK,iBAAiB,KAAA,CAAM,YAAA;AAC5E,EAAA,IAAIC,sBAAA,CAAW,IAAI,CAAA,IAAKA,sBAAA,CAAW,KAAK,CAAA;AACtC,IAAA,OAAOA,sBAAA,CAAW,IAAI,CAAA,IAAKA,sBAAA,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,OAAOE,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,IAAIH,qBAAA,CAAU,OAAO,CAAA,IAAKC,sBAAA,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,EAAAG,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,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.cjs","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/dist/kalada-v1/values.d.cts

@@ -0,0 +1,49 @@
+import { JsonValue } from './json.cjs';
+import { InstantValue, DurationValue } from './temporal.cjs';
+
+type KaladaValue = JsonValue | OptionValue | ResultValue | InstantValue | DurationValue;
+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,49 @@
+import { JsonValue } from './json.js';
+import { InstantValue, DurationValue } from './temporal.js';
+
+type KaladaValue = JsonValue | OptionValue | ResultValue | InstantValue | DurationValue;
+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 };