@kalada/core 0.2.0 → 0.4.0

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

@@ -1,4 +1,5 @@
 import { JsonValue } from './json.js';
+import { InstantValue } from './temporal.js';
 import { KaladaValue } from './values.js';
 
 type KaladaV1Expression<R extends JsonValue = string> = {
@@ -7,7 +8,81 @@ type KaladaV1Expression<R extends JsonValue = string> = {
 } | {
     readonly kind: "ref";
     readonly ref: R;
-} | BindingExpression<R> | OptionExpression<R> | ResultExpression<R> | MatchExpression<R>;
+} | BindingExpression<R> | OptionExpression<R> | ResultExpression<R> | MatchExpression<R> | InstantExpression | DurationExpression | CurrentInstantExpression | TemporalArithmeticExpression<R> | TemporalComparisonExpression<R> | FunctionExpression<R> | CallExpression<R> | FunctionGroupExpression<R> | CoreFunctionExpression;
+type KaladaPrimitiveTypeName = "null" | "boolean" | "number" | "string" | "json" | "Instant" | "Duration";
+type KaladaType = {
+    readonly kind: "primitive-type";
+    readonly name: KaladaPrimitiveTypeName;
+} | {
+    readonly kind: "option-type";
+    readonly value: KaladaType;
+} | {
+    readonly kind: "result-type";
+    readonly ok: KaladaType;
+    readonly error: KaladaType;
+} | {
+    readonly kind: "array-type";
+    readonly element: KaladaType;
+} | KaladaFunctionType;
+interface KaladaFunctionType {
+    readonly kind: "function-type";
+    readonly parameters: readonly KaladaType[];
+    readonly returns: KaladaType;
+}
+interface KaladaFunctionParameter {
+    readonly name: string;
+    readonly type: KaladaType;
+}
+interface FunctionExpression<R extends JsonValue> {
+    readonly kind: "function";
+    readonly parameters: readonly KaladaFunctionParameter[];
+    readonly returns: KaladaType;
+    readonly body: KaladaV1Expression<R>;
+}
+interface CallExpression<R extends JsonValue> {
+    readonly kind: "call";
+    readonly callee: KaladaV1Expression<R>;
+    readonly arguments: readonly KaladaV1Expression<R>[];
+}
+interface NamedFunction<R extends JsonValue> {
+    readonly name: string;
+    readonly parameters: readonly KaladaFunctionParameter[];
+    readonly returns: KaladaType;
+    readonly body: KaladaV1Expression<R>;
+}
+interface FunctionGroupExpression<R extends JsonValue> {
+    readonly kind: "function-group";
+    readonly functions: readonly NamedFunction<R>[];
+    readonly body: KaladaV1Expression<R>;
+}
+type KaladaCoreFunctionName = "map" | "filter" | "some" | "every";
+interface CoreFunctionExpression {
+    readonly kind: "core-function";
+    readonly name: KaladaCoreFunctionName;
+}
+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;
@@ -44,11 +119,17 @@ interface KaladaV1Program<R extends JsonValue = string> {
     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";
+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" | "KALADA_DUPLICATE_BINDING" | "KALADA_INVALID_FUNCTION_TYPE" | "KALADA_CAPTURE_LIMIT" | "KALADA_NOT_CALLABLE" | "KALADA_FUNCTION_ARITY" | "KALADA_FUNCTION_TYPE_MISMATCH" | "KALADA_CLOSURE_LIMIT" | "KALADA_CALL_DEPTH_LIMIT" | "KALADA_CONTINUATION_LIMIT" | "KALADA_COLLECTION_TYPE_MISMATCH" | "KALADA_COLLECTION_LIMIT" | "KALADA_FUNCTION_ESCAPE";
+interface KaladaV1DiagnosticContextFrame {
+    readonly kind: "function-call" | "core-call";
+    readonly name: string | null;
+    readonly path: readonly (string | number)[];
+}
 interface KaladaV1Diagnostic {
     readonly code: KaladaV1DiagnosticCode;
     readonly path: readonly (string | number)[];
     readonly message: string;
+    readonly context?: readonly KaladaV1DiagnosticContextFrame[];
 }
 type KaladaV1Outcome<T> = {
     readonly ok: true;
@@ -66,13 +147,29 @@ interface KaladaV1Limits {
     readonly maxReferenceLength: number;
     readonly maxEvaluationSteps: number;
 }
+interface KaladaV1FunctionLimits {
+    readonly maxFunctionParameters: number;
+    readonly maxFunctionGroupSize: number;
+    readonly maxCapturesPerClosure: number;
+    readonly maxCapturedBindings: number;
+    readonly maxClosures: number;
+    readonly maxCallDepth: number;
+    readonly maxContinuationFrames: number;
+    readonly maxCollectionLength: number;
+    readonly maxCollectionIterations: number;
+}
+interface KaladaV1FunctionCapture {
+    readonly path: readonly (string | number)[];
+    readonly name: string | null;
+    readonly captures: readonly string[];
+}
 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>;
+    readonly limits?: Partial<KaladaV1Limits & KaladaV1FunctionLimits>;
 }
 type KaladaV1Resolution = {
     readonly found: true;
@@ -82,10 +179,16 @@ type KaladaV1Resolution = {
     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>): KaladaV1Outcome<KaladaValue>;
+    readonly functions: readonly KaladaV1FunctionCapture[];
+    evaluate(resolve: KaladaV1Resolver<R>, inputs?: KaladaV1EvaluationInputs): KaladaV1Outcome<KaladaValue>;
+    evaluateWithClock(resolve: KaladaV1Resolver<R>, clock: KaladaV1Clock): KaladaV1Outcome<KaladaValue>;
 }
 
-export type { BindingExpression, CompiledKaladaV1Program, KaladaV1Diagnostic, KaladaV1DiagnosticCode, KaladaV1Expression, KaladaV1Limits, KaladaV1Options, KaladaV1Outcome, KaladaV1Program, KaladaV1ReferenceCodec, KaladaV1Resolution, KaladaV1Resolver, MatchArm, MatchExpression, OptionExpression, ResultExpression };
+export type { BindingExpression, CallExpression, CompiledKaladaV1Program, CoreFunctionExpression, CurrentInstantExpression, DurationExpression, FunctionExpression, FunctionGroupExpression, InstantExpression, KaladaCoreFunctionName, KaladaFunctionParameter, KaladaFunctionType, KaladaPrimitiveTypeName, KaladaType, KaladaV1Clock, KaladaV1Diagnostic, KaladaV1DiagnosticCode, KaladaV1DiagnosticContextFrame, KaladaV1EvaluationInputs, KaladaV1Expression, KaladaV1FunctionCapture, KaladaV1FunctionLimits, KaladaV1Limits, KaladaV1Options, KaladaV1Outcome, KaladaV1Program, KaladaV1ReferenceCodec, KaladaV1Resolution, KaladaV1Resolver, MatchArm, MatchExpression, NamedFunction, OptionExpression, ResultExpression, TemporalArithmeticExpression, TemporalComparisonExpression };

package/dist/kalada-v1/values.cjs

@@ -1,6 +1,7 @@
 'use strict';
 
 var json_js = require('./json.js');
+var temporal_js = require('./temporal.js');
 
 const optionBrands = /* @__PURE__ */ new WeakSet();
 const resultBrands = /* @__PURE__ */ new WeakSet();
@@ -15,7 +16,7 @@ function branded(brand, value) {
   return value;
 }
 function snapshot(value) {
-  if (isOption(value) || isResult(value)) return 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" });
@@ -54,6 +55,10 @@ 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);
@@ -72,6 +77,10 @@ function validateKaladaValueLimits(value, limits) {
     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, {
@@ -80,6 +89,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.cjs.map

@@ -1 +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"]}
+{"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

@@ -1,6 +1,7 @@
 import { JsonValue } from './json.cjs';
+import { InstantValue, DurationValue } from './temporal.cjs';
 
-type KaladaValue = JsonValue | OptionValue | ResultValue;
+type KaladaValue = JsonValue | OptionValue | ResultValue | InstantValue | DurationValue;
 type OptionValue = SomeValue | NoneValue;
 type ResultValue = OkValue | ErrValue;
 declare const optionBrand: unique symbol;

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

@@ -1,6 +1,7 @@
 import { JsonValue } from './json.js';
+import { InstantValue, DurationValue } from './temporal.js';
 
-type KaladaValue = JsonValue | OptionValue | ResultValue;
+type KaladaValue = JsonValue | OptionValue | ResultValue | InstantValue | DurationValue;
 type OptionValue = SomeValue | NoneValue;
 type ResultValue = OkValue | ErrValue;
 declare const optionBrand: unique symbol;

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.4.0",
   "description": "Canonical runtime contracts for the Kalada expression language",
   "license": "MIT",
   "repository": {