@kalada/core 0.3.0 → 0.4.0

package/dist/kalada-v1/function-contracts.js

@@ -0,0 +1,144 @@
+import { exact, count, properties, bindingName, strictArray } from './canonical-input.js';
+import { KaladaFailure } from './diagnostics.js';
+
+const TYPE_KEYS = /* @__PURE__ */ new Set([
+  "kind",
+  "name",
+  "value",
+  "ok",
+  "error",
+  "element",
+  "parameters",
+  "returns"
+]);
+const PRIMITIVES = /* @__PURE__ */ new Set(["null", "boolean", "number", "string", "json", "Instant", "Duration"]);
+function canonicalFunction(raw, path, depth, state, read) {
+  exact(raw, path, ["kind", "parameters", "returns", "body"]);
+  const parameters = canonicalParameters(raw.parameters, [...path, "parameters"], depth + 1, state);
+  const returns = canonicalType(raw.returns, [...path, "returns"], depth + 1, state);
+  const body = read(raw.body, [...path, "body"], depth + 1, state);
+  return Object.freeze({ kind: "function", parameters, returns, body });
+}
+function canonicalCall(raw, path, depth, state, read) {
+  exact(raw, path, ["kind", "callee", "arguments"]);
+  const callee = read(raw.callee, [...path, "callee"], depth + 1, state);
+  const args = array(raw.arguments, [...path, "arguments"]);
+  const output = args.map(
+    (item, index) => read(item, [...path, "arguments", index], depth + 1, state)
+  );
+  return Object.freeze({ kind: "call", callee, arguments: Object.freeze(output) });
+}
+function canonicalGroup(raw, path, depth, state, read) {
+  exact(raw, path, ["kind", "functions", "body"]);
+  const entries = array(raw.functions, [...path, "functions"]);
+  if (entries.length > state.limits.maxFunctionGroupSize) limit([...path, "functions"]);
+  const names = /* @__PURE__ */ new Set();
+  const functions = entries.map((item, index) => {
+    const member = canonicalMember(item, [...path, "functions", index], depth + 1, state, read);
+    if (names.has(member.name)) duplicate([...path, "functions", index, "name"]);
+    names.add(member.name);
+    return member;
+  });
+  const body = read(raw.body, [...path, "body"], depth + 1, state);
+  return Object.freeze({ kind: "function-group", functions: Object.freeze(functions), body });
+}
+function canonicalCoreFunction(raw, path) {
+  exact(raw, path, ["kind", "name"]);
+  if (raw.name !== "map" && raw.name !== "filter" && raw.name !== "some" && raw.name !== "every") {
+    throw new KaladaFailure("KALADA_INVALID_INPUT", [...path, "name"]);
+  }
+  return Object.freeze({ kind: "core-function", name: raw.name });
+}
+function canonicalType(input, path, depth, state) {
+  count(path, depth, state);
+  if (typeof input !== "object" || input === null || state.active.has(input)) {
+    throw new KaladaFailure("KALADA_INVALID_FUNCTION_TYPE", path);
+  }
+  state.active.add(input);
+  try {
+    const raw = properties(input, path, TYPE_KEYS, false);
+    if (raw.kind === "primitive-type") return primitiveType(raw, path);
+    if (raw.kind === "option-type")
+      return unaryType(raw, path, depth, state, "option-type", "value");
+    if (raw.kind === "array-type")
+      return unaryType(raw, path, depth, state, "array-type", "element");
+    if (raw.kind === "result-type") return resultType(raw, path, depth, state);
+    if (raw.kind === "function-type") return functionType(raw, path, depth, state);
+    throw new KaladaFailure("KALADA_INVALID_FUNCTION_TYPE", [...path, "kind"]);
+  } finally {
+    state.active.delete(input);
+  }
+}
+function canonicalMember(input, path, depth, state, read) {
+  count(path, depth, state);
+  const raw = properties(input, path, /* @__PURE__ */ new Set(["name", "parameters", "returns", "body"]));
+  const name = bindingName(raw.name, [...path, "name"], state.limits);
+  const parameters = canonicalParameters(raw.parameters, [...path, "parameters"], depth + 1, state);
+  const returns = canonicalType(raw.returns, [...path, "returns"], depth + 1, state);
+  const body = read(raw.body, [...path, "body"], depth + 1, state);
+  return Object.freeze({ name, parameters, returns, body });
+}
+function canonicalParameters(input, path, depth, state) {
+  const entries = array(input, path);
+  if (entries.length > state.limits.maxFunctionParameters) limit(path);
+  const names = /* @__PURE__ */ new Set();
+  const output = entries.map((item, index) => {
+    const itemPath = [...path, index];
+    count(itemPath, depth, state);
+    const raw = properties(item, itemPath, /* @__PURE__ */ new Set(["name", "type"]));
+    const name = bindingName(raw.name, [...itemPath, "name"], state.limits);
+    if (names.has(name)) duplicate([...itemPath, "name"]);
+    names.add(name);
+    return Object.freeze({
+      name,
+      type: canonicalType(raw.type, [...itemPath, "type"], depth + 1, state)
+    });
+  });
+  return Object.freeze(output);
+}
+function functionType(raw, path, depth, state) {
+  exact(raw, path, ["kind", "parameters", "returns"]);
+  const entries = array(raw.parameters, [...path, "parameters"]);
+  if (entries.length > state.limits.maxFunctionParameters) limit([...path, "parameters"]);
+  const parameters = entries.map(
+    (item, index) => canonicalType(item, [...path, "parameters", index], depth + 1, state)
+  );
+  const returns = canonicalType(raw.returns, [...path, "returns"], depth + 1, state);
+  return Object.freeze({ kind: "function-type", parameters: Object.freeze(parameters), returns });
+}
+function primitiveType(raw, path) {
+  exact(raw, path, ["kind", "name"]);
+  if (typeof raw.name !== "string" || !PRIMITIVES.has(raw.name)) {
+    throw new KaladaFailure("KALADA_INVALID_FUNCTION_TYPE", [...path, "name"]);
+  }
+  return Object.freeze({ kind: "primitive-type", name: raw.name });
+}
+function unaryType(raw, path, depth, state, kind, key) {
+  exact(raw, path, ["kind", key]);
+  return Object.freeze({
+    kind,
+    [key]: canonicalType(raw[key], [...path, key], depth + 1, state)
+  });
+}
+function resultType(raw, path, depth, state) {
+  exact(raw, path, ["kind", "ok", "error"]);
+  return Object.freeze({
+    kind: "result-type",
+    ok: canonicalType(raw.ok, [...path, "ok"], depth + 1, state),
+    error: canonicalType(raw.error, [...path, "error"], depth + 1, state)
+  });
+}
+function array(input, path) {
+  if (!Array.isArray(input)) throw new KaladaFailure("KALADA_INVALID_INPUT", path);
+  return strictArray(input, path);
+}
+function limit(path) {
+  throw new KaladaFailure("KALADA_LIMIT_EXCEEDED", path);
+}
+function duplicate(path) {
+  throw new KaladaFailure("KALADA_DUPLICATE_BINDING", path);
+}
+
+export { canonicalCall, canonicalCoreFunction, canonicalFunction, canonicalGroup, canonicalType };
+//# sourceMappingURL=function-contracts.js.map
+//# sourceMappingURL=function-contracts.js.map

package/dist/kalada-v1/function-contracts.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/kalada-v1/function-contracts.ts"],"names":[],"mappings":";;;AA6BA,MAAM,SAAA,uBAAgB,GAAA,CAAI;AAAA,EACxB,MAAA;AAAA,EACA,MAAA;AAAA,EACA,OAAA;AAAA,EACA,IAAA;AAAA,EACA,OAAA;AAAA,EACA,SAAA;AAAA,EACA,YAAA;AAAA,EACA;AACF,CAAC,CAAA;AACD,MAAM,UAAA,mBAAa,IAAI,GAAA,CAAI,CAAC,MAAA,EAAQ,SAAA,EAAW,QAAA,EAAU,QAAA,EAAU,MAAA,EAAQ,SAAA,EAAW,UAAU,CAAC,CAAA;AAE1F,SAAS,iBAAA,CACd,GAAA,EACA,IAAA,EACA,KAAA,EACA,OACA,IAAA,EACuB;AACvB,EAAA,KAAA,CAAM,KAAK,IAAA,EAAM,CAAC,QAAQ,YAAA,EAAc,SAAA,EAAW,MAAM,CAAC,CAAA;AAC1D,EAAA,MAAM,UAAA,GAAa,mBAAA,CAAoB,GAAA,CAAI,UAAA,EAAY,CAAC,GAAG,IAAA,EAAM,YAAY,CAAA,EAAG,KAAA,GAAQ,CAAA,EAAG,KAAK,CAAA;AAChG,EAAA,MAAM,OAAA,GAAU,aAAA,CAAc,GAAA,CAAI,OAAA,EAAS,CAAC,GAAG,IAAA,EAAM,SAAS,CAAA,EAAG,KAAA,GAAQ,CAAA,EAAG,KAAK,CAAA;AACjF,EAAA,MAAM,IAAA,GAAO,IAAA,CAAK,GAAA,CAAI,IAAA,EAAM,CAAC,GAAG,IAAA,EAAM,MAAM,CAAA,EAAG,KAAA,GAAQ,CAAA,EAAG,KAAK,CAAA;AAC/D,EAAA,OAAO,MAAA,CAAO,OAAO,EAAE,IAAA,EAAM,YAAY,UAAA,EAAY,OAAA,EAAS,MAAM,CAAA;AACtE;AAEO,SAAS,aAAA,CACd,GAAA,EACA,IAAA,EACA,KAAA,EACA,OACA,IAAA,EACmB;AACnB,EAAA,KAAA,CAAM,KAAK,IAAA,EAAM,CAAC,MAAA,EAAQ,QAAA,EAAU,WAAW,CAAC,CAAA;AAChD,EAAA,MAAM,MAAA,GAAS,IAAA,CAAK,GAAA,CAAI,MAAA,EAAQ,CAAC,GAAG,IAAA,EAAM,QAAQ,CAAA,EAAG,KAAA,GAAQ,CAAA,EAAG,KAAK,CAAA;AACrE,EAAA,MAAM,IAAA,GAAO,MAAM,GAAA,CAAI,SAAA,EAAW,CAAC,GAAG,IAAA,EAAM,WAAW,CAAC,CAAA;AACxD,EAAA,MAAM,SAAS,IAAA,CAAK,GAAA;AAAA,IAAI,CAAC,IAAA,EAAM,KAAA,KAC7B,IAAA,CAAK,IAAA,EAAM,CAAC,GAAG,IAAA,EAAM,WAAA,EAAa,KAAK,CAAA,EAAG,KAAA,GAAQ,GAAG,KAAK;AAAA,GAC5D;AACA,EAAA,OAAO,MAAA,CAAO,MAAA,CAAO,EAAE,IAAA,EAAM,MAAA,EAAQ,MAAA,EAAQ,SAAA,EAAW,MAAA,CAAO,MAAA,CAAO,MAAM,CAAA,EAAG,CAAA;AACjF;AAEO,SAAS,cAAA,CACd,GAAA,EACA,IAAA,EACA,KAAA,EACA,OACA,IAAA,EAC4B;AAC5B,EAAA,KAAA,CAAM,KAAK,IAAA,EAAM,CAAC,MAAA,EAAQ,WAAA,EAAa,MAAM,CAAC,CAAA;AAC9C,EAAA,MAAM,OAAA,GAAU,MAAM,GAAA,CAAI,SAAA,EAAW,CAAC,GAAG,IAAA,EAAM,WAAW,CAAC,CAAA;AAC3D,EAAA,IAAI,OAAA,CAAQ,MAAA,GAAS,KAAA,CAAM,MAAA,CAAO,oBAAA,QAA4B,CAAC,GAAG,IAAA,EAAM,WAAW,CAAC,CAAA;AACpF,EAAA,MAAM,KAAA,uBAAY,GAAA,EAAY;AAC9B,EAAA,MAAM,SAAA,GAAY,OAAA,CAAQ,GAAA,CAAI,CAAC,MAAM,KAAA,KAAU;AAC7C,IAAA,MAAM,MAAA,GAAS,eAAA,CAAgB,IAAA,EAAM,CAAC,GAAG,IAAA,EAAM,WAAA,EAAa,KAAK,CAAA,EAAG,KAAA,GAAQ,CAAA,EAAG,KAAA,EAAO,IAAI,CAAA;AAC1F,IAAA,IAAI,KAAA,CAAM,GAAA,CAAI,MAAA,CAAO,IAAI,CAAA,EAAG,SAAA,CAAU,CAAC,GAAG,IAAA,EAAM,WAAA,EAAa,KAAA,EAAO,MAAM,CAAC,CAAA;AAC3E,IAAA,KAAA,CAAM,GAAA,CAAI,OAAO,IAAI,CAAA;AACrB,IAAA,OAAO,MAAA;AAAA,EACT,CAAC,CAAA;AACD,EAAA,MAAM,IAAA,GAAO,IAAA,CAAK,GAAA,CAAI,IAAA,EAAM,CAAC,GAAG,IAAA,EAAM,MAAM,CAAA,EAAG,KAAA,GAAQ,CAAA,EAAG,KAAK,CAAA;AAC/D,EAAA,OAAO,MAAA,CAAO,MAAA,CAAO,EAAE,IAAA,EAAM,gBAAA,EAAkB,SAAA,EAAW,MAAA,CAAO,MAAA,CAAO,SAAS,CAAA,EAAG,IAAA,EAAM,CAAA;AAC5F;AAEO,SAAS,qBAAA,CACd,KACA,IAAA,EACwB;AACxB,EAAA,KAAA,CAAM,GAAA,EAAK,IAAA,EAAM,CAAC,MAAA,EAAQ,MAAM,CAAC,CAAA;AACjC,EAAA,IAAI,GAAA,CAAI,IAAA,KAAS,KAAA,IAAS,GAAA,CAAI,IAAA,KAAS,QAAA,IAAY,GAAA,CAAI,IAAA,KAAS,MAAA,IAAU,GAAA,CAAI,IAAA,KAAS,OAAA,EAAS;AAC9F,IAAA,MAAM,IAAI,aAAA,CAAc,sBAAA,EAAwB,CAAC,GAAG,IAAA,EAAM,MAAM,CAAC,CAAA;AAAA,EACnE;AACA,EAAA,OAAO,MAAA,CAAO,OAAO,EAAE,IAAA,EAAM,iBAAiB,IAAA,EAAM,GAAA,CAAI,MAAM,CAAA;AAChE;AAEO,SAAS,aAAA,CACd,KAAA,EACA,IAAA,EACA,KAAA,EACA,KAAA,EACY;AACZ,EAAA,KAAA,CAAM,IAAA,EAAM,OAAO,KAAK,CAAA;AACxB,EAAA,IAAI,OAAO,UAAU,QAAA,IAAY,KAAA,KAAU,QAAQ,KAAA,CAAM,MAAA,CAAO,GAAA,CAAI,KAAK,CAAA,EAAG;AAC1E,IAAA,MAAM,IAAI,aAAA,CAAc,8BAAA,EAAgC,IAAI,CAAA;AAAA,EAC9D;AACA,EAAA,KAAA,CAAM,MAAA,CAAO,IAAI,KAAK,CAAA;AACtB,EAAA,IAAI;AACF,IAAA,MAAM,GAAA,GAAM,UAAA,CAAW,KAAA,EAAO,IAAA,EAAM,WAAW,KAAK,CAAA;AACpD,IAAA,IAAI,IAAI,IAAA,KAAS,gBAAA,EAAkB,OAAO,aAAA,CAAc,KAAK,IAAI,CAAA;AACjE,IAAA,IAAI,IAAI,IAAA,KAAS,aAAA;AACf,MAAA,OAAO,UAAU,GAAA,EAAK,IAAA,EAAM,KAAA,EAAO,KAAA,EAAO,eAAe,OAAO,CAAA;AAClE,IAAA,IAAI,IAAI,IAAA,KAAS,YAAA;AACf,MAAA,OAAO,UAAU,GAAA,EAAK,IAAA,EAAM,KAAA,EAAO,KAAA,EAAO,cAAc,SAAS,CAAA;AACnE,IAAA,IAAI,GAAA,CAAI,SAAS,aAAA,EAAe,OAAO,WAAW,GAAA,EAAK,IAAA,EAAM,OAAO,KAAK,CAAA;AACzE,IAAA,IAAI,GAAA,CAAI,SAAS,eAAA,EAAiB,OAAO,aAAa,GAAA,EAAK,IAAA,EAAM,OAAO,KAAK,CAAA;AAC7E,IAAA,MAAM,IAAI,aAAA,CAAc,8BAAA,EAAgC,CAAC,GAAG,IAAA,EAAM,MAAM,CAAC,CAAA;AAAA,EAC3E,CAAA,SAAE;AACA,IAAA,KAAA,CAAM,MAAA,CAAO,OAAO,KAAK,CAAA;AAAA,EAC3B;AACF;AAEA,SAAS,eAAA,CACP,KAAA,EACA,IAAA,EACA,KAAA,EACA,OACA,IAAA,EACkB;AAClB,EAAA,KAAA,CAAM,IAAA,EAAM,OAAO,KAAK,CAAA;AACxB,EAAA,MAAM,GAAA,GAAM,UAAA,CAAW,KAAA,EAAO,IAAA,kBAAM,IAAI,GAAA,CAAI,CAAC,MAAA,EAAQ,YAAA,EAAc,SAAA,EAAW,MAAM,CAAC,CAAC,CAAA;AACtF,EAAA,MAAM,IAAA,GAAO,WAAA,CAAY,GAAA,CAAI,IAAA,EAAM,CAAC,GAAG,IAAA,EAAM,MAAM,CAAA,EAAG,KAAA,CAAM,MAAM,CAAA;AAClE,EAAA,MAAM,UAAA,GAAa,mBAAA,CAAoB,GAAA,CAAI,UAAA,EAAY,CAAC,GAAG,IAAA,EAAM,YAAY,CAAA,EAAG,KAAA,GAAQ,CAAA,EAAG,KAAK,CAAA;AAChG,EAAA,MAAM,OAAA,GAAU,aAAA,CAAc,GAAA,CAAI,OAAA,EAAS,CAAC,GAAG,IAAA,EAAM,SAAS,CAAA,EAAG,KAAA,GAAQ,CAAA,EAAG,KAAK,CAAA;AACjF,EAAA,MAAM,IAAA,GAAO,IAAA,CAAK,GAAA,CAAI,IAAA,EAAM,CAAC,GAAG,IAAA,EAAM,MAAM,CAAA,EAAG,KAAA,GAAQ,CAAA,EAAG,KAAK,CAAA;AAC/D,EAAA,OAAO,OAAO,MAAA,CAAO,EAAE,MAAM,UAAA,EAAY,OAAA,EAAS,MAAM,CAAA;AAC1D;AAEA,SAAS,mBAAA,CACP,KAAA,EACA,IAAA,EACA,KAAA,EACA,KAAA,EACoC;AACpC,EAAA,MAAM,OAAA,GAAU,KAAA,CAAM,KAAA,EAAO,IAAI,CAAA;AACjC,EAAA,IAAI,QAAQ,MAAA,GAAS,KAAA,CAAM,MAAA,CAAO,qBAAA,QAA6B,IAAI,CAAA;AACnE,EAAA,MAAM,KAAA,uBAAY,GAAA,EAAY;AAC9B,EAAA,MAAM,MAAA,GAAS,OAAA,CAAQ,GAAA,CAAI,CAAC,MAAM,KAAA,KAAU;AAC1C,IAAA,MAAM,QAAA,GAAW,CAAC,GAAG,IAAA,EAAM,KAAK,CAAA;AAChC,IAAA,KAAA,CAAM,QAAA,EAAU,OAAO,KAAK,CAAA;AAC5B,IAAA,MAAM,GAAA,GAAM,UAAA,CAAW,IAAA,EAAM,QAAA,kBAAU,IAAI,IAAI,CAAC,MAAA,EAAQ,MAAM,CAAC,CAAC,CAAA;AAChE,IAAA,MAAM,IAAA,GAAO,WAAA,CAAY,GAAA,CAAI,IAAA,EAAM,CAAC,GAAG,QAAA,EAAU,MAAM,CAAA,EAAG,KAAA,CAAM,MAAM,CAAA;AACtE,IAAA,IAAI,KAAA,CAAM,IAAI,IAAI,CAAA,YAAa,CAAC,GAAG,QAAA,EAAU,MAAM,CAAC,CAAA;AACpD,IAAA,KAAA,CAAM,IAAI,IAAI,CAAA;AACd,IAAA,OAAO,OAAO,MAAA,CAAO;AAAA,MACnB,IAAA;AAAA,MACA,IAAA,EAAM,aAAA,CAAc,GAAA,CAAI,IAAA,EAAM,CAAC,GAAG,QAAA,EAAU,MAAM,CAAA,EAAG,KAAA,GAAQ,CAAA,EAAG,KAAK;AAAA,KACtE,CAAA;AAAA,EACH,CAAC,CAAA;AACD,EAAA,OAAO,MAAA,CAAO,OAAO,MAAM,CAAA;AAC7B;AAEA,SAAS,YAAA,CACP,GAAA,EACA,IAAA,EACA,KAAA,EACA,KAAA,EACY;AACZ,EAAA,KAAA,CAAM,KAAK,IAAA,EAAM,CAAC,MAAA,EAAQ,YAAA,EAAc,SAAS,CAAC,CAAA;AAClD,EAAA,MAAM,OAAA,GAAU,MAAM,GAAA,CAAI,UAAA,EAAY,CAAC,GAAG,IAAA,EAAM,YAAY,CAAC,CAAA;AAC7D,EAAA,IAAI,OAAA,CAAQ,MAAA,GAAS,KAAA,CAAM,MAAA,CAAO,qBAAA,QAA6B,CAAC,GAAG,IAAA,EAAM,YAAY,CAAC,CAAA;AACtF,EAAA,MAAM,aAAa,OAAA,CAAQ,GAAA;AAAA,IAAI,CAAC,IAAA,EAAM,KAAA,KACpC,aAAA,CAAc,IAAA,EAAM,CAAC,GAAG,IAAA,EAAM,YAAA,EAAc,KAAK,CAAA,EAAG,KAAA,GAAQ,GAAG,KAAK;AAAA,GACtE;AACA,EAAA,MAAM,OAAA,GAAU,aAAA,CAAc,GAAA,CAAI,OAAA,EAAS,CAAC,GAAG,IAAA,EAAM,SAAS,CAAA,EAAG,KAAA,GAAQ,CAAA,EAAG,KAAK,CAAA;AACjF,EAAA,OAAO,MAAA,CAAO,MAAA,CAAO,EAAE,IAAA,EAAM,eAAA,EAAiB,UAAA,EAAY,MAAA,CAAO,MAAA,CAAO,UAAU,CAAA,EAAG,OAAA,EAAS,CAAA;AAChG;AAEA,SAAS,aAAA,CAAc,KAA8B,IAAA,EAAwB;AAC3E,EAAA,KAAA,CAAM,GAAA,EAAK,IAAA,EAAM,CAAC,MAAA,EAAQ,MAAM,CAAC,CAAA;AACjC,EAAA,IAAI,OAAO,IAAI,IAAA,KAAS,QAAA,IAAY,CAAC,UAAA,CAAW,GAAA,CAAI,GAAA,CAAI,IAAI,CAAA,EAAG;AAC7D,IAAA,MAAM,IAAI,aAAA,CAAc,8BAAA,EAAgC,CAAC,GAAG,IAAA,EAAM,MAAM,CAAC,CAAA;AAAA,EAC3E;AACA,EAAA,OAAO,MAAA,CAAO,OAAO,EAAE,IAAA,EAAM,kBAAkB,IAAA,EAAM,GAAA,CAAI,MAAM,CAAA;AACjE;AAEA,SAAS,UACP,GAAA,EACA,IAAA,EACA,KAAA,EACA,KAAA,EACA,MACA,GAAA,EACY;AACZ,EAAA,KAAA,CAAM,GAAA,EAAK,IAAA,EAAM,CAAC,MAAA,EAAQ,GAAG,CAAC,CAAA;AAC9B,EAAA,OAAO,OAAO,MAAA,CAAO;AAAA,IACnB,IAAA;AAAA,IACA,CAAC,GAAG,GAAG,aAAA,CAAc,IAAI,GAAG,CAAA,EAAG,CAAC,GAAG,IAAA,EAAM,GAAG,CAAA,EAAG,KAAA,GAAQ,GAAG,KAAK;AAAA,GAChE,CAAA;AACH;AAEA,SAAS,UAAA,CACP,GAAA,EACA,IAAA,EACA,KAAA,EACA,KAAA,EACY;AACZ,EAAA,KAAA,CAAM,KAAK,IAAA,EAAM,CAAC,MAAA,EAAQ,IAAA,EAAM,OAAO,CAAC,CAAA;AACxC,EAAA,OAAO,OAAO,MAAA,CAAO;AAAA,IACnB,IAAA,EAAM,aAAA;AAAA,IACN,EAAA,EAAI,aAAA,CAAc,GAAA,CAAI,EAAA,EAAI,CAAC,GAAG,IAAA,EAAM,IAAI,CAAA,EAAG,KAAA,GAAQ,CAAA,EAAG,KAAK,CAAA;AAAA,IAC3D,KAAA,EAAO,aAAA,CAAc,GAAA,CAAI,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,OAAO,CAAA,EAAG,KAAA,GAAQ,CAAA,EAAG,KAAK;AAAA,GACrE,CAAA;AACH;AAEA,SAAS,KAAA,CAAM,OAAgB,IAAA,EAAuB;AACpD,EAAA,IAAI,CAAC,MAAM,OAAA,CAAQ,KAAK,GAAG,MAAM,IAAI,aAAA,CAAc,sBAAA,EAAwB,IAAI,CAAA;AAC/E,EAAA,OAAO,WAAA,CAAY,OAAO,IAAI,CAAA;AAChC;AAEA,SAAS,MAAM,IAAA,EAAmB;AAChC,EAAA,MAAM,IAAI,aAAA,CAAc,uBAAA,EAAyB,IAAI,CAAA;AACvD;AACA,SAAS,UAAU,IAAA,EAAmB;AACpC,EAAA,MAAM,IAAI,aAAA,CAAc,0BAAA,EAA4B,IAAI,CAAA;AAC1D","file":"function-contracts.js","sourcesContent":["import {\n  bindingName,\n  type CanonicalState,\n  count,\n  exact,\n  type Path,\n  properties,\n  strictArray,\n} from \"./canonical-input.js\";\nimport { KaladaFailure } from \"./diagnostics.js\";\nimport type { JsonValue } from \"./json.js\";\nimport type {\n  CallExpression,\n  CoreFunctionExpression,\n  FunctionExpression,\n  FunctionGroupExpression,\n  KaladaFunctionParameter,\n  KaladaType,\n  KaladaV1Expression,\n  NamedFunction,\n} from \"./types.js\";\n\ntype NodeReader<R extends JsonValue> = (\n  input: unknown,\n  path: Path,\n  depth: number,\n  state: CanonicalState<R>,\n) => KaladaV1Expression<R>;\n\nconst TYPE_KEYS = new Set([\n  \"kind\",\n  \"name\",\n  \"value\",\n  \"ok\",\n  \"error\",\n  \"element\",\n  \"parameters\",\n  \"returns\",\n]);\nconst PRIMITIVES = new Set([\"null\", \"boolean\", \"number\", \"string\", \"json\", \"Instant\", \"Duration\"]);\n\nexport function canonicalFunction<R extends JsonValue>(\n  raw: Record<string, unknown>,\n  path: Path,\n  depth: number,\n  state: CanonicalState<R>,\n  read: NodeReader<R>,\n): FunctionExpression<R> {\n  exact(raw, path, [\"kind\", \"parameters\", \"returns\", \"body\"]);\n  const parameters = canonicalParameters(raw.parameters, [...path, \"parameters\"], depth + 1, state);\n  const returns = canonicalType(raw.returns, [...path, \"returns\"], depth + 1, state);\n  const body = read(raw.body, [...path, \"body\"], depth + 1, state);\n  return Object.freeze({ kind: \"function\", parameters, returns, body });\n}\n\nexport function canonicalCall<R extends JsonValue>(\n  raw: Record<string, unknown>,\n  path: Path,\n  depth: number,\n  state: CanonicalState<R>,\n  read: NodeReader<R>,\n): CallExpression<R> {\n  exact(raw, path, [\"kind\", \"callee\", \"arguments\"]);\n  const callee = read(raw.callee, [...path, \"callee\"], depth + 1, state);\n  const args = array(raw.arguments, [...path, \"arguments\"]);\n  const output = args.map((item, index) =>\n    read(item, [...path, \"arguments\", index], depth + 1, state),\n  );\n  return Object.freeze({ kind: \"call\", callee, arguments: Object.freeze(output) });\n}\n\nexport function canonicalGroup<R extends JsonValue>(\n  raw: Record<string, unknown>,\n  path: Path,\n  depth: number,\n  state: CanonicalState<R>,\n  read: NodeReader<R>,\n): FunctionGroupExpression<R> {\n  exact(raw, path, [\"kind\", \"functions\", \"body\"]);\n  const entries = array(raw.functions, [...path, \"functions\"]);\n  if (entries.length > state.limits.maxFunctionGroupSize) limit([...path, \"functions\"]);\n  const names = new Set<string>();\n  const functions = entries.map((item, index) => {\n    const member = canonicalMember(item, [...path, \"functions\", index], depth + 1, state, read);\n    if (names.has(member.name)) duplicate([...path, \"functions\", index, \"name\"]);\n    names.add(member.name);\n    return member;\n  });\n  const body = read(raw.body, [...path, \"body\"], depth + 1, state);\n  return Object.freeze({ kind: \"function-group\", functions: Object.freeze(functions), body });\n}\n\nexport function canonicalCoreFunction(\n  raw: Record<string, unknown>,\n  path: Path,\n): CoreFunctionExpression {\n  exact(raw, path, [\"kind\", \"name\"]);\n  if (raw.name !== \"map\" && raw.name !== \"filter\" && raw.name !== \"some\" && raw.name !== \"every\") {\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", [...path, \"name\"]);\n  }\n  return Object.freeze({ kind: \"core-function\", name: raw.name });\n}\n\nexport function canonicalType<R extends JsonValue>(\n  input: unknown,\n  path: Path,\n  depth: number,\n  state: CanonicalState<R>,\n): KaladaType {\n  count(path, depth, state);\n  if (typeof input !== \"object\" || input === null || state.active.has(input)) {\n    throw new KaladaFailure(\"KALADA_INVALID_FUNCTION_TYPE\", path);\n  }\n  state.active.add(input);\n  try {\n    const raw = properties(input, path, TYPE_KEYS, false);\n    if (raw.kind === \"primitive-type\") return primitiveType(raw, path);\n    if (raw.kind === \"option-type\")\n      return unaryType(raw, path, depth, state, \"option-type\", \"value\");\n    if (raw.kind === \"array-type\")\n      return unaryType(raw, path, depth, state, \"array-type\", \"element\");\n    if (raw.kind === \"result-type\") return resultType(raw, path, depth, state);\n    if (raw.kind === \"function-type\") return functionType(raw, path, depth, state);\n    throw new KaladaFailure(\"KALADA_INVALID_FUNCTION_TYPE\", [...path, \"kind\"]);\n  } finally {\n    state.active.delete(input);\n  }\n}\n\nfunction canonicalMember<R extends JsonValue>(\n  input: unknown,\n  path: Path,\n  depth: number,\n  state: CanonicalState<R>,\n  read: NodeReader<R>,\n): NamedFunction<R> {\n  count(path, depth, state);\n  const raw = properties(input, path, new Set([\"name\", \"parameters\", \"returns\", \"body\"]));\n  const name = bindingName(raw.name, [...path, \"name\"], state.limits);\n  const parameters = canonicalParameters(raw.parameters, [...path, \"parameters\"], depth + 1, state);\n  const returns = canonicalType(raw.returns, [...path, \"returns\"], depth + 1, state);\n  const body = read(raw.body, [...path, \"body\"], depth + 1, state);\n  return Object.freeze({ name, parameters, returns, body });\n}\n\nfunction canonicalParameters<R extends JsonValue>(\n  input: unknown,\n  path: Path,\n  depth: number,\n  state: CanonicalState<R>,\n): readonly KaladaFunctionParameter[] {\n  const entries = array(input, path);\n  if (entries.length > state.limits.maxFunctionParameters) limit(path);\n  const names = new Set<string>();\n  const output = entries.map((item, index) => {\n    const itemPath = [...path, index];\n    count(itemPath, depth, state);\n    const raw = properties(item, itemPath, new Set([\"name\", \"type\"]));\n    const name = bindingName(raw.name, [...itemPath, \"name\"], state.limits);\n    if (names.has(name)) duplicate([...itemPath, \"name\"]);\n    names.add(name);\n    return Object.freeze({\n      name,\n      type: canonicalType(raw.type, [...itemPath, \"type\"], depth + 1, state),\n    });\n  });\n  return Object.freeze(output);\n}\n\nfunction functionType<R extends JsonValue>(\n  raw: Record<string, unknown>,\n  path: Path,\n  depth: number,\n  state: CanonicalState<R>,\n): KaladaType {\n  exact(raw, path, [\"kind\", \"parameters\", \"returns\"]);\n  const entries = array(raw.parameters, [...path, \"parameters\"]);\n  if (entries.length > state.limits.maxFunctionParameters) limit([...path, \"parameters\"]);\n  const parameters = entries.map((item, index) =>\n    canonicalType(item, [...path, \"parameters\", index], depth + 1, state),\n  );\n  const returns = canonicalType(raw.returns, [...path, \"returns\"], depth + 1, state);\n  return Object.freeze({ kind: \"function-type\", parameters: Object.freeze(parameters), returns });\n}\n\nfunction primitiveType(raw: Record<string, unknown>, path: Path): KaladaType {\n  exact(raw, path, [\"kind\", \"name\"]);\n  if (typeof raw.name !== \"string\" || !PRIMITIVES.has(raw.name)) {\n    throw new KaladaFailure(\"KALADA_INVALID_FUNCTION_TYPE\", [...path, \"name\"]);\n  }\n  return Object.freeze({ kind: \"primitive-type\", name: raw.name }) as KaladaType;\n}\n\nfunction unaryType<R extends JsonValue>(\n  raw: Record<string, unknown>,\n  path: Path,\n  depth: number,\n  state: CanonicalState<R>,\n  kind: \"option-type\" | \"array-type\",\n  key: \"value\" | \"element\",\n): KaladaType {\n  exact(raw, path, [\"kind\", key]);\n  return Object.freeze({\n    kind,\n    [key]: canonicalType(raw[key], [...path, key], depth + 1, state),\n  }) as KaladaType;\n}\n\nfunction resultType<R extends JsonValue>(\n  raw: Record<string, unknown>,\n  path: Path,\n  depth: number,\n  state: CanonicalState<R>,\n): KaladaType {\n  exact(raw, path, [\"kind\", \"ok\", \"error\"]);\n  return Object.freeze({\n    kind: \"result-type\",\n    ok: canonicalType(raw.ok, [...path, \"ok\"], depth + 1, state),\n    error: canonicalType(raw.error, [...path, \"error\"], depth + 1, state),\n  });\n}\n\nfunction array(input: unknown, path: Path): unknown[] {\n  if (!Array.isArray(input)) throw new KaladaFailure(\"KALADA_INVALID_INPUT\", path);\n  return strictArray(input, path);\n}\n\nfunction limit(path: Path): never {\n  throw new KaladaFailure(\"KALADA_LIMIT_EXCEEDED\", path);\n}\nfunction duplicate(path: Path): never {\n  throw new KaladaFailure(\"KALADA_DUPLICATE_BINDING\", path);\n}\n"]}

package/dist/kalada-v1/index.cjs

@@ -7,6 +7,7 @@ var dependencies_js = require('./dependencies.js');
 var factories_js = require('./factories.js');
 var limits_js = require('./limits.js');
 var schemas_js = require('./schemas.js');
+var staticAnalysis_js = require('./static-analysis.js');
 var temporal_js = require('./temporal.js');
 var values_js = require('./values.js');
 
@@ -36,10 +37,18 @@ Object.defineProperty(exports, "KaladaV1", {
   enumerable: true,
   get: function () { return factories_js.KaladaV1; }
 });
+Object.defineProperty(exports, "DEFAULT_KALADA_V1_FUNCTION_LIMITS", {
+  enumerable: true,
+  get: function () { return limits_js.DEFAULT_KALADA_V1_FUNCTION_LIMITS; }
+});
 Object.defineProperty(exports, "DEFAULT_KALADA_V1_LIMITS", {
   enumerable: true,
   get: function () { return limits_js.DEFAULT_KALADA_V1_LIMITS; }
 });
+Object.defineProperty(exports, "KALADA_V1_FUNCTION_PROGRAM_SCHEMA", {
+  enumerable: true,
+  get: function () { return schemas_js.KALADA_V1_FUNCTION_PROGRAM_SCHEMA; }
+});
 Object.defineProperty(exports, "KALADA_V1_PROGRAM_SCHEMA", {
   enumerable: true,
   get: function () { return schemas_js.KALADA_V1_PROGRAM_SCHEMA; }
@@ -48,6 +57,10 @@ Object.defineProperty(exports, "KALADA_VALUE_V1_SCHEMA", {
   enumerable: true,
   get: function () { return schemas_js.KALADA_VALUE_V1_SCHEMA; }
 });
+Object.defineProperty(exports, "analyzeKaladaV1Functions", {
+  enumerable: true,
+  get: function () { return staticAnalysis_js.analyzeKaladaV1Functions; }
+});
 Object.defineProperty(exports, "Duration", {
   enumerable: true,
   get: function () { return temporal_js.Duration; }

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

@@ -4,8 +4,9 @@ export { compileKaladaV1Program } from './compile.cjs';
 export { collectKaladaV1Dependencies } from './dependencies.cjs';
 export { KaladaV1 } from './factories.cjs';
 export { JsonPrimitive, JsonValue } from './json.cjs';
-export { DEFAULT_KALADA_V1_LIMITS } from './limits.cjs';
-export { KALADA_V1_PROGRAM_SCHEMA, KALADA_VALUE_V1_SCHEMA, KaladaV1JsonSchema } from './schemas.cjs';
+export { DEFAULT_KALADA_V1_FUNCTION_LIMITS, DEFAULT_KALADA_V1_LIMITS } from './limits.cjs';
+export { KALADA_V1_FUNCTION_PROGRAM_SCHEMA, KALADA_V1_PROGRAM_SCHEMA, KALADA_VALUE_V1_SCHEMA, KaladaV1JsonSchema } from './schemas.cjs';
+export { analyzeKaladaV1Functions } from './static-analysis.cjs';
 export { Duration, DurationValue, Instant, InstantValue, isDuration, isInstant } from './temporal.cjs';
-export { BindingExpression, CompiledKaladaV1Program, CurrentInstantExpression, DurationExpression, InstantExpression, KaladaV1Clock, KaladaV1Diagnostic, KaladaV1DiagnosticCode, KaladaV1EvaluationInputs, KaladaV1Expression, KaladaV1Limits, KaladaV1Options, KaladaV1Outcome, KaladaV1Program, KaladaV1ReferenceCodec, KaladaV1Resolution, KaladaV1Resolver, MatchArm, MatchExpression, OptionExpression, ResultExpression, TemporalArithmeticExpression, TemporalComparisonExpression } from './types.cjs';
+export { 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 } from './types.cjs';
 export { ErrValue, KaladaValue, NoneValue, OkValue, Option, OptionValue, Result, ResultValue, SomeValue, equalKaladaValues, isOption, isResult } from './values.cjs';

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

@@ -4,8 +4,9 @@ export { compileKaladaV1Program } from './compile.js';
 export { collectKaladaV1Dependencies } from './dependencies.js';
 export { KaladaV1 } from './factories.js';
 export { JsonPrimitive, JsonValue } from './json.js';
-export { DEFAULT_KALADA_V1_LIMITS } from './limits.js';
-export { KALADA_V1_PROGRAM_SCHEMA, KALADA_VALUE_V1_SCHEMA, KaladaV1JsonSchema } from './schemas.js';
+export { DEFAULT_KALADA_V1_FUNCTION_LIMITS, DEFAULT_KALADA_V1_LIMITS } from './limits.js';
+export { KALADA_V1_FUNCTION_PROGRAM_SCHEMA, KALADA_V1_PROGRAM_SCHEMA, KALADA_VALUE_V1_SCHEMA, KaladaV1JsonSchema } from './schemas.js';
+export { analyzeKaladaV1Functions } from './static-analysis.js';
 export { Duration, DurationValue, Instant, InstantValue, isDuration, isInstant } from './temporal.js';
-export { BindingExpression, CompiledKaladaV1Program, CurrentInstantExpression, DurationExpression, InstantExpression, KaladaV1Clock, KaladaV1Diagnostic, KaladaV1DiagnosticCode, KaladaV1EvaluationInputs, KaladaV1Expression, KaladaV1Limits, KaladaV1Options, KaladaV1Outcome, KaladaV1Program, KaladaV1ReferenceCodec, KaladaV1Resolution, KaladaV1Resolver, MatchArm, MatchExpression, OptionExpression, ResultExpression, TemporalArithmeticExpression, TemporalComparisonExpression } from './types.js';
+export { 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 } from './types.js';
 export { ErrValue, KaladaValue, NoneValue, OkValue, Option, OptionValue, Result, ResultValue, SomeValue, equalKaladaValues, isOption, isResult } from './values.js';

package/dist/kalada-v1/index.js

@@ -3,8 +3,9 @@ export { decodeKaladaValue, encodeKaladaValue } from './codec.js';
 export { compileKaladaV1Program } from './compile.js';
 export { collectKaladaV1Dependencies } from './dependencies.js';
 export { KaladaV1 } from './factories.js';
-export { DEFAULT_KALADA_V1_LIMITS } from './limits.js';
-export { KALADA_V1_PROGRAM_SCHEMA, KALADA_VALUE_V1_SCHEMA } from './schemas.js';
+export { DEFAULT_KALADA_V1_FUNCTION_LIMITS, DEFAULT_KALADA_V1_LIMITS } from './limits.js';
+export { KALADA_V1_FUNCTION_PROGRAM_SCHEMA, KALADA_V1_PROGRAM_SCHEMA, KALADA_VALUE_V1_SCHEMA } from './schemas.js';
+export { analyzeKaladaV1Functions } from './static-analysis.js';
 export { Duration, Instant, isDuration, isInstant } from './temporal.js';
 export { Option, Result, equalKaladaValues, isOption, isResult } from './values.js';
 //# sourceMappingURL=index.js.map

package/dist/kalada-v1/limits.cjs

@@ -9,6 +9,17 @@ const DEFAULT_KALADA_V1_LIMITS = Object.freeze({
   maxReferenceLength: 1e3,
   maxEvaluationSteps: 1e4
 });
+const DEFAULT_KALADA_V1_FUNCTION_LIMITS = Object.freeze({
+  maxFunctionParameters: 32,
+  maxFunctionGroupSize: 64,
+  maxCapturesPerClosure: 64,
+  maxCapturedBindings: 1e3,
+  maxClosures: 1e3,
+  maxCallDepth: 256,
+  maxContinuationFrames: 1e3,
+  maxCollectionLength: 1e4,
+  maxCollectionIterations: 1e4
+});
 const MAXIMUM = Object.freeze({
   maxAstDepth: 256,
   maxAstNodes: 1e5,
@@ -16,10 +27,19 @@ const MAXIMUM = Object.freeze({
   maxValueNodes: 1e5,
   maxStringLength: 1e6,
   maxReferenceLength: 1e5,
-  maxEvaluationSteps: 1e5
+  maxEvaluationSteps: 1e5,
+  maxFunctionParameters: 256,
+  maxFunctionGroupSize: 1024,
+  maxCapturesPerClosure: 256,
+  maxCapturedBindings: 1e5,
+  maxClosures: 1e5,
+  maxCallDepth: 4096,
+  maxContinuationFrames: 1e5,
+  maxCollectionLength: 1e5,
+  maxCollectionIterations: 1e5
 });
 function resolveLimits(input) {
-  const limits = { ...DEFAULT_KALADA_V1_LIMITS, ...input };
+  const limits = { ...DEFAULT_KALADA_V1_LIMITS, ...DEFAULT_KALADA_V1_FUNCTION_LIMITS, ...input };
   for (const key of Object.keys(limits)) {
     const value = limits[key];
     if (!Number.isSafeInteger(value) || value < 1 || value > MAXIMUM[key])
@@ -28,6 +48,7 @@ function resolveLimits(input) {
   return Object.freeze(limits);
 }
 
+exports.DEFAULT_KALADA_V1_FUNCTION_LIMITS = DEFAULT_KALADA_V1_FUNCTION_LIMITS;
 exports.DEFAULT_KALADA_V1_LIMITS = DEFAULT_KALADA_V1_LIMITS;
 exports.resolveLimits = resolveLimits;
 //# sourceMappingURL=limits.cjs.map

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

@@ -1 +1 @@
-{"version":3,"sources":["../../src/kalada-v1/limits.ts"],"names":[],"mappings":";;AAEO,MAAM,wBAAA,GAA2C,OAAO,MAAA,CAAO;AAAA,EACpE,WAAA,EAAa,EAAA;AAAA,EACb,WAAA,EAAa,GAAA;AAAA,EACb,aAAA,EAAe,EAAA;AAAA,EACf,aAAA,EAAe,GAAA;AAAA,EACf,eAAA,EAAiB,GAAA;AAAA,EACjB,kBAAA,EAAoB,GAAA;AAAA,EACpB,kBAAA,EAAoB;AACtB,CAAC;AAED,MAAM,OAAA,GAA0B,OAAO,MAAA,CAAO;AAAA,EAC5C,WAAA,EAAa,GAAA;AAAA,EACb,WAAA,EAAa,GAAA;AAAA,EACb,aAAA,EAAe,GAAA;AAAA,EACf,aAAA,EAAe,GAAA;AAAA,EACf,eAAA,EAAiB,GAAA;AAAA,EACjB,kBAAA,EAAoB,GAAA;AAAA,EACpB,kBAAA,EAAoB;AACtB,CAAC,CAAA;AAEM,SAAS,cAAc,KAAA,EAAiD;AAC7E,EAAA,MAAM,MAAA,GAAS,EAAE,GAAG,wBAAA,EAA0B,GAAG,KAAA,EAAM;AACvD,EAAA,KAAA,MAAW,GAAA,IAAO,MAAA,CAAO,IAAA,CAAK,MAAM,CAAA,EAA+B;AACjE,IAAA,MAAM,KAAA,GAAQ,OAAO,GAAG,CAAA;AACxB,IAAA,IAAI,CAAC,OAAO,aAAA,CAAc,KAAK,KAAK,KAAA,GAAQ,CAAA,IAAK,KAAA,GAAQ,OAAA,CAAQ,GAAG,CAAA;AAClE,MAAA,MAAM,IAAI,WAAW,OAAO,CAAA;AAAA,EAChC;AACA,EAAA,OAAO,MAAA,CAAO,OAAO,MAAM,CAAA;AAC7B","file":"limits.cjs","sourcesContent":["import type { KaladaV1Limits } from \"./types.js\";\n\nexport const DEFAULT_KALADA_V1_LIMITS: KaladaV1Limits = Object.freeze({\n  maxAstDepth: 64,\n  maxAstNodes: 10_000,\n  maxValueDepth: 64,\n  maxValueNodes: 10_000,\n  maxStringLength: 10_000,\n  maxReferenceLength: 1_000,\n  maxEvaluationSteps: 10_000,\n});\n\nconst MAXIMUM: KaladaV1Limits = Object.freeze({\n  maxAstDepth: 256,\n  maxAstNodes: 100_000,\n  maxValueDepth: 256,\n  maxValueNodes: 100_000,\n  maxStringLength: 1_000_000,\n  maxReferenceLength: 100_000,\n  maxEvaluationSteps: 100_000,\n});\n\nexport function resolveLimits(input?: Partial<KaladaV1Limits>): KaladaV1Limits {\n  const limits = { ...DEFAULT_KALADA_V1_LIMITS, ...input };\n  for (const key of Object.keys(limits) as (keyof KaladaV1Limits)[]) {\n    const value = limits[key];\n    if (!Number.isSafeInteger(value) || value < 1 || value > MAXIMUM[key])\n      throw new RangeError(\"limit\");\n  }\n  return Object.freeze(limits);\n}\n"]}
+{"version":3,"sources":["../../src/kalada-v1/limits.ts"],"names":[],"mappings":";;AAIO,MAAM,wBAAA,GAA2C,OAAO,MAAA,CAAO;AAAA,EACpE,WAAA,EAAa,EAAA;AAAA,EACb,WAAA,EAAa,GAAA;AAAA,EACb,aAAA,EAAe,EAAA;AAAA,EACf,aAAA,EAAe,GAAA;AAAA,EACf,eAAA,EAAiB,GAAA;AAAA,EACjB,kBAAA,EAAoB,GAAA;AAAA,EACpB,kBAAA,EAAoB;AACtB,CAAC;AAEM,MAAM,iCAAA,GAA4D,OAAO,MAAA,CAAO;AAAA,EACrF,qBAAA,EAAuB,EAAA;AAAA,EACvB,oBAAA,EAAsB,EAAA;AAAA,EACtB,qBAAA,EAAuB,EAAA;AAAA,EACvB,mBAAA,EAAqB,GAAA;AAAA,EACrB,WAAA,EAAa,GAAA;AAAA,EACb,YAAA,EAAc,GAAA;AAAA,EACd,qBAAA,EAAuB,GAAA;AAAA,EACvB,mBAAA,EAAqB,GAAA;AAAA,EACrB,uBAAA,EAAyB;AAC3B,CAAC;AAED,MAAM,OAAA,GAAkC,OAAO,MAAA,CAAO;AAAA,EACpD,WAAA,EAAa,GAAA;AAAA,EACb,WAAA,EAAa,GAAA;AAAA,EACb,aAAA,EAAe,GAAA;AAAA,EACf,aAAA,EAAe,GAAA;AAAA,EACf,eAAA,EAAiB,GAAA;AAAA,EACjB,kBAAA,EAAoB,GAAA;AAAA,EACpB,kBAAA,EAAoB,GAAA;AAAA,EACpB,qBAAA,EAAuB,GAAA;AAAA,EACvB,oBAAA,EAAsB,IAAA;AAAA,EACtB,qBAAA,EAAuB,GAAA;AAAA,EACvB,mBAAA,EAAqB,GAAA;AAAA,EACrB,WAAA,EAAa,GAAA;AAAA,EACb,YAAA,EAAc,IAAA;AAAA,EACd,qBAAA,EAAuB,GAAA;AAAA,EACvB,mBAAA,EAAqB,GAAA;AAAA,EACrB,uBAAA,EAAyB;AAC3B,CAAC,CAAA;AAEM,SAAS,cAAc,KAAA,EAAiE;AAC7F,EAAA,MAAM,SAAS,EAAE,GAAG,0BAA0B,GAAG,iCAAA,EAAmC,GAAG,KAAA,EAAM;AAC7F,EAAA,KAAA,MAAW,GAAA,IAAO,MAAA,CAAO,IAAA,CAAK,MAAM,CAAA,EAAuC;AACzE,IAAA,MAAM,KAAA,GAAQ,OAAO,GAAG,CAAA;AACxB,IAAA,IAAI,CAAC,OAAO,aAAA,CAAc,KAAK,KAAK,KAAA,GAAQ,CAAA,IAAK,KAAA,GAAQ,OAAA,CAAQ,GAAG,CAAA;AAClE,MAAA,MAAM,IAAI,WAAW,OAAO,CAAA;AAAA,EAChC;AACA,EAAA,OAAO,MAAA,CAAO,OAAO,MAAM,CAAA;AAC7B","file":"limits.cjs","sourcesContent":["import type { KaladaV1FunctionLimits, KaladaV1Limits } from \"./types.js\";\n\nexport type ResolvedKaladaV1Limits = KaladaV1Limits & KaladaV1FunctionLimits;\n\nexport const DEFAULT_KALADA_V1_LIMITS: KaladaV1Limits = Object.freeze({\n  maxAstDepth: 64,\n  maxAstNodes: 10_000,\n  maxValueDepth: 64,\n  maxValueNodes: 10_000,\n  maxStringLength: 10_000,\n  maxReferenceLength: 1_000,\n  maxEvaluationSteps: 10_000,\n});\n\nexport const DEFAULT_KALADA_V1_FUNCTION_LIMITS: KaladaV1FunctionLimits = Object.freeze({\n  maxFunctionParameters: 32,\n  maxFunctionGroupSize: 64,\n  maxCapturesPerClosure: 64,\n  maxCapturedBindings: 1_000,\n  maxClosures: 1_000,\n  maxCallDepth: 256,\n  maxContinuationFrames: 1_000,\n  maxCollectionLength: 10_000,\n  maxCollectionIterations: 10_000,\n});\n\nconst MAXIMUM: ResolvedKaladaV1Limits = Object.freeze({\n  maxAstDepth: 256,\n  maxAstNodes: 100_000,\n  maxValueDepth: 256,\n  maxValueNodes: 100_000,\n  maxStringLength: 1_000_000,\n  maxReferenceLength: 100_000,\n  maxEvaluationSteps: 100_000,\n  maxFunctionParameters: 256,\n  maxFunctionGroupSize: 1_024,\n  maxCapturesPerClosure: 256,\n  maxCapturedBindings: 100_000,\n  maxClosures: 100_000,\n  maxCallDepth: 4_096,\n  maxContinuationFrames: 100_000,\n  maxCollectionLength: 100_000,\n  maxCollectionIterations: 100_000,\n});\n\nexport function resolveLimits(input?: Partial<ResolvedKaladaV1Limits>): ResolvedKaladaV1Limits {\n  const limits = { ...DEFAULT_KALADA_V1_LIMITS, ...DEFAULT_KALADA_V1_FUNCTION_LIMITS, ...input };\n  for (const key of Object.keys(limits) as (keyof ResolvedKaladaV1Limits)[]) {\n    const value = limits[key];\n    if (!Number.isSafeInteger(value) || value < 1 || value > MAXIMUM[key])\n      throw new RangeError(\"limit\");\n  }\n  return Object.freeze(limits);\n}\n"]}

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

@@ -1,9 +1,11 @@
-import { KaladaV1Limits } from './types.cjs';
+import { KaladaV1Limits, KaladaV1FunctionLimits } from './types.cjs';
 import './json.cjs';
 import './temporal.cjs';
 import './values.cjs';
 
+type ResolvedKaladaV1Limits = KaladaV1Limits & KaladaV1FunctionLimits;
 declare const DEFAULT_KALADA_V1_LIMITS: KaladaV1Limits;
-declare function resolveLimits(input?: Partial<KaladaV1Limits>): KaladaV1Limits;
+declare const DEFAULT_KALADA_V1_FUNCTION_LIMITS: KaladaV1FunctionLimits;
+declare function resolveLimits(input?: Partial<ResolvedKaladaV1Limits>): ResolvedKaladaV1Limits;
 
-export { DEFAULT_KALADA_V1_LIMITS, resolveLimits };
+export { DEFAULT_KALADA_V1_FUNCTION_LIMITS, DEFAULT_KALADA_V1_LIMITS, type ResolvedKaladaV1Limits, resolveLimits };

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

@@ -1,9 +1,11 @@
-import { KaladaV1Limits } from './types.js';
+import { KaladaV1Limits, KaladaV1FunctionLimits } from './types.js';
 import './json.js';
 import './temporal.js';
 import './values.js';
 
+type ResolvedKaladaV1Limits = KaladaV1Limits & KaladaV1FunctionLimits;
 declare const DEFAULT_KALADA_V1_LIMITS: KaladaV1Limits;
-declare function resolveLimits(input?: Partial<KaladaV1Limits>): KaladaV1Limits;
+declare const DEFAULT_KALADA_V1_FUNCTION_LIMITS: KaladaV1FunctionLimits;
+declare function resolveLimits(input?: Partial<ResolvedKaladaV1Limits>): ResolvedKaladaV1Limits;
 
-export { DEFAULT_KALADA_V1_LIMITS, resolveLimits };
+export { DEFAULT_KALADA_V1_FUNCTION_LIMITS, DEFAULT_KALADA_V1_LIMITS, type ResolvedKaladaV1Limits, resolveLimits };

package/dist/kalada-v1/limits.js

@@ -7,6 +7,17 @@ const DEFAULT_KALADA_V1_LIMITS = Object.freeze({
   maxReferenceLength: 1e3,
   maxEvaluationSteps: 1e4
 });
+const DEFAULT_KALADA_V1_FUNCTION_LIMITS = Object.freeze({
+  maxFunctionParameters: 32,
+  maxFunctionGroupSize: 64,
+  maxCapturesPerClosure: 64,
+  maxCapturedBindings: 1e3,
+  maxClosures: 1e3,
+  maxCallDepth: 256,
+  maxContinuationFrames: 1e3,
+  maxCollectionLength: 1e4,
+  maxCollectionIterations: 1e4
+});
 const MAXIMUM = Object.freeze({
   maxAstDepth: 256,
   maxAstNodes: 1e5,
@@ -14,10 +25,19 @@ const MAXIMUM = Object.freeze({
   maxValueNodes: 1e5,
   maxStringLength: 1e6,
   maxReferenceLength: 1e5,
-  maxEvaluationSteps: 1e5
+  maxEvaluationSteps: 1e5,
+  maxFunctionParameters: 256,
+  maxFunctionGroupSize: 1024,
+  maxCapturesPerClosure: 256,
+  maxCapturedBindings: 1e5,
+  maxClosures: 1e5,
+  maxCallDepth: 4096,
+  maxContinuationFrames: 1e5,
+  maxCollectionLength: 1e5,
+  maxCollectionIterations: 1e5
 });
 function resolveLimits(input) {
-  const limits = { ...DEFAULT_KALADA_V1_LIMITS, ...input };
+  const limits = { ...DEFAULT_KALADA_V1_LIMITS, ...DEFAULT_KALADA_V1_FUNCTION_LIMITS, ...input };
   for (const key of Object.keys(limits)) {
     const value = limits[key];
     if (!Number.isSafeInteger(value) || value < 1 || value > MAXIMUM[key])
@@ -26,6 +46,6 @@ function resolveLimits(input) {
   return Object.freeze(limits);
 }
 
-export { DEFAULT_KALADA_V1_LIMITS, resolveLimits };
+export { DEFAULT_KALADA_V1_FUNCTION_LIMITS, DEFAULT_KALADA_V1_LIMITS, resolveLimits };
 //# sourceMappingURL=limits.js.map
 //# sourceMappingURL=limits.js.map

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

@@ -1 +1 @@
-{"version":3,"sources":["../../src/kalada-v1/limits.ts"],"names":[],"mappings":"AAEO,MAAM,wBAAA,GAA2C,OAAO,MAAA,CAAO;AAAA,EACpE,WAAA,EAAa,EAAA;AAAA,EACb,WAAA,EAAa,GAAA;AAAA,EACb,aAAA,EAAe,EAAA;AAAA,EACf,aAAA,EAAe,GAAA;AAAA,EACf,eAAA,EAAiB,GAAA;AAAA,EACjB,kBAAA,EAAoB,GAAA;AAAA,EACpB,kBAAA,EAAoB;AACtB,CAAC;AAED,MAAM,OAAA,GAA0B,OAAO,MAAA,CAAO;AAAA,EAC5C,WAAA,EAAa,GAAA;AAAA,EACb,WAAA,EAAa,GAAA;AAAA,EACb,aAAA,EAAe,GAAA;AAAA,EACf,aAAA,EAAe,GAAA;AAAA,EACf,eAAA,EAAiB,GAAA;AAAA,EACjB,kBAAA,EAAoB,GAAA;AAAA,EACpB,kBAAA,EAAoB;AACtB,CAAC,CAAA;AAEM,SAAS,cAAc,KAAA,EAAiD;AAC7E,EAAA,MAAM,MAAA,GAAS,EAAE,GAAG,wBAAA,EAA0B,GAAG,KAAA,EAAM;AACvD,EAAA,KAAA,MAAW,GAAA,IAAO,MAAA,CAAO,IAAA,CAAK,MAAM,CAAA,EAA+B;AACjE,IAAA,MAAM,KAAA,GAAQ,OAAO,GAAG,CAAA;AACxB,IAAA,IAAI,CAAC,OAAO,aAAA,CAAc,KAAK,KAAK,KAAA,GAAQ,CAAA,IAAK,KAAA,GAAQ,OAAA,CAAQ,GAAG,CAAA;AAClE,MAAA,MAAM,IAAI,WAAW,OAAO,CAAA;AAAA,EAChC;AACA,EAAA,OAAO,MAAA,CAAO,OAAO,MAAM,CAAA;AAC7B","file":"limits.js","sourcesContent":["import type { KaladaV1Limits } from \"./types.js\";\n\nexport const DEFAULT_KALADA_V1_LIMITS: KaladaV1Limits = Object.freeze({\n  maxAstDepth: 64,\n  maxAstNodes: 10_000,\n  maxValueDepth: 64,\n  maxValueNodes: 10_000,\n  maxStringLength: 10_000,\n  maxReferenceLength: 1_000,\n  maxEvaluationSteps: 10_000,\n});\n\nconst MAXIMUM: KaladaV1Limits = Object.freeze({\n  maxAstDepth: 256,\n  maxAstNodes: 100_000,\n  maxValueDepth: 256,\n  maxValueNodes: 100_000,\n  maxStringLength: 1_000_000,\n  maxReferenceLength: 100_000,\n  maxEvaluationSteps: 100_000,\n});\n\nexport function resolveLimits(input?: Partial<KaladaV1Limits>): KaladaV1Limits {\n  const limits = { ...DEFAULT_KALADA_V1_LIMITS, ...input };\n  for (const key of Object.keys(limits) as (keyof KaladaV1Limits)[]) {\n    const value = limits[key];\n    if (!Number.isSafeInteger(value) || value < 1 || value > MAXIMUM[key])\n      throw new RangeError(\"limit\");\n  }\n  return Object.freeze(limits);\n}\n"]}
+{"version":3,"sources":["../../src/kalada-v1/limits.ts"],"names":[],"mappings":"AAIO,MAAM,wBAAA,GAA2C,OAAO,MAAA,CAAO;AAAA,EACpE,WAAA,EAAa,EAAA;AAAA,EACb,WAAA,EAAa,GAAA;AAAA,EACb,aAAA,EAAe,EAAA;AAAA,EACf,aAAA,EAAe,GAAA;AAAA,EACf,eAAA,EAAiB,GAAA;AAAA,EACjB,kBAAA,EAAoB,GAAA;AAAA,EACpB,kBAAA,EAAoB;AACtB,CAAC;AAEM,MAAM,iCAAA,GAA4D,OAAO,MAAA,CAAO;AAAA,EACrF,qBAAA,EAAuB,EAAA;AAAA,EACvB,oBAAA,EAAsB,EAAA;AAAA,EACtB,qBAAA,EAAuB,EAAA;AAAA,EACvB,mBAAA,EAAqB,GAAA;AAAA,EACrB,WAAA,EAAa,GAAA;AAAA,EACb,YAAA,EAAc,GAAA;AAAA,EACd,qBAAA,EAAuB,GAAA;AAAA,EACvB,mBAAA,EAAqB,GAAA;AAAA,EACrB,uBAAA,EAAyB;AAC3B,CAAC;AAED,MAAM,OAAA,GAAkC,OAAO,MAAA,CAAO;AAAA,EACpD,WAAA,EAAa,GAAA;AAAA,EACb,WAAA,EAAa,GAAA;AAAA,EACb,aAAA,EAAe,GAAA;AAAA,EACf,aAAA,EAAe,GAAA;AAAA,EACf,eAAA,EAAiB,GAAA;AAAA,EACjB,kBAAA,EAAoB,GAAA;AAAA,EACpB,kBAAA,EAAoB,GAAA;AAAA,EACpB,qBAAA,EAAuB,GAAA;AAAA,EACvB,oBAAA,EAAsB,IAAA;AAAA,EACtB,qBAAA,EAAuB,GAAA;AAAA,EACvB,mBAAA,EAAqB,GAAA;AAAA,EACrB,WAAA,EAAa,GAAA;AAAA,EACb,YAAA,EAAc,IAAA;AAAA,EACd,qBAAA,EAAuB,GAAA;AAAA,EACvB,mBAAA,EAAqB,GAAA;AAAA,EACrB,uBAAA,EAAyB;AAC3B,CAAC,CAAA;AAEM,SAAS,cAAc,KAAA,EAAiE;AAC7F,EAAA,MAAM,SAAS,EAAE,GAAG,0BAA0B,GAAG,iCAAA,EAAmC,GAAG,KAAA,EAAM;AAC7F,EAAA,KAAA,MAAW,GAAA,IAAO,MAAA,CAAO,IAAA,CAAK,MAAM,CAAA,EAAuC;AACzE,IAAA,MAAM,KAAA,GAAQ,OAAO,GAAG,CAAA;AACxB,IAAA,IAAI,CAAC,OAAO,aAAA,CAAc,KAAK,KAAK,KAAA,GAAQ,CAAA,IAAK,KAAA,GAAQ,OAAA,CAAQ,GAAG,CAAA;AAClE,MAAA,MAAM,IAAI,WAAW,OAAO,CAAA;AAAA,EAChC;AACA,EAAA,OAAO,MAAA,CAAO,OAAO,MAAM,CAAA;AAC7B","file":"limits.js","sourcesContent":["import type { KaladaV1FunctionLimits, KaladaV1Limits } from \"./types.js\";\n\nexport type ResolvedKaladaV1Limits = KaladaV1Limits & KaladaV1FunctionLimits;\n\nexport const DEFAULT_KALADA_V1_LIMITS: KaladaV1Limits = Object.freeze({\n  maxAstDepth: 64,\n  maxAstNodes: 10_000,\n  maxValueDepth: 64,\n  maxValueNodes: 10_000,\n  maxStringLength: 10_000,\n  maxReferenceLength: 1_000,\n  maxEvaluationSteps: 10_000,\n});\n\nexport const DEFAULT_KALADA_V1_FUNCTION_LIMITS: KaladaV1FunctionLimits = Object.freeze({\n  maxFunctionParameters: 32,\n  maxFunctionGroupSize: 64,\n  maxCapturesPerClosure: 64,\n  maxCapturedBindings: 1_000,\n  maxClosures: 1_000,\n  maxCallDepth: 256,\n  maxContinuationFrames: 1_000,\n  maxCollectionLength: 10_000,\n  maxCollectionIterations: 10_000,\n});\n\nconst MAXIMUM: ResolvedKaladaV1Limits = Object.freeze({\n  maxAstDepth: 256,\n  maxAstNodes: 100_000,\n  maxValueDepth: 256,\n  maxValueNodes: 100_000,\n  maxStringLength: 1_000_000,\n  maxReferenceLength: 100_000,\n  maxEvaluationSteps: 100_000,\n  maxFunctionParameters: 256,\n  maxFunctionGroupSize: 1_024,\n  maxCapturesPerClosure: 256,\n  maxCapturedBindings: 100_000,\n  maxClosures: 100_000,\n  maxCallDepth: 4_096,\n  maxContinuationFrames: 100_000,\n  maxCollectionLength: 100_000,\n  maxCollectionIterations: 100_000,\n});\n\nexport function resolveLimits(input?: Partial<ResolvedKaladaV1Limits>): ResolvedKaladaV1Limits {\n  const limits = { ...DEFAULT_KALADA_V1_LIMITS, ...DEFAULT_KALADA_V1_FUNCTION_LIMITS, ...input };\n  for (const key of Object.keys(limits) as (keyof ResolvedKaladaV1Limits)[]) {\n    const value = limits[key];\n    if (!Number.isSafeInteger(value) || value < 1 || value > MAXIMUM[key])\n      throw new RangeError(\"limit\");\n  }\n  return Object.freeze(limits);\n}\n"]}

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

@@ -0,0 +1,112 @@
+'use strict';
+
+var temporal_js = require('./temporal.js');
+var values_js = require('./values.js');
+
+const callables = /* @__PURE__ */ new WeakSet();
+function isCallable(value) {
+  return typeof value === "object" && value !== null && callables.has(value);
+}
+function coreCallable(name) {
+  return branded({ callable: "core", name });
+}
+function callableType(value) {
+  if (value.callable === "user") {
+    return Object.freeze({
+      kind: "function-type",
+      parameters: Object.freeze(value.parameters.map((item) => item.type)),
+      returns: value.returns
+    });
+  }
+  const json = primitive("json");
+  const callback = functionType(
+    [json, primitive("number")],
+    primitive(value.name === "map" ? "json" : "boolean")
+  );
+  const array = Object.freeze({ kind: "array-type", element: json });
+  return functionType(
+    [array, callback],
+    value.name === "some" || value.name === "every" ? primitive("boolean") : array
+  );
+}
+function matchesType(value, expected) {
+  if (expected.kind === "function-type") {
+    return isCallable(value) && equalType(callableType(value), expected);
+  }
+  if (isCallable(value)) return false;
+  if (expected.kind === "primitive-type") return matchesPrimitive(value, expected.name);
+  if (expected.kind === "option-type") {
+    return values_js.isOption(value) && (value.variant === "none" || matchesType(value.value, expected.value));
+  }
+  if (expected.kind === "result-type") {
+    return values_js.isResult(value) && matchesType(value.value, value.variant === "ok" ? expected.ok : expected.error);
+  }
+  return Array.isArray(value) && value.every((item) => matchesType(item, expected.element));
+}
+function closureFromExpression(node, path, captures) {
+  return branded({
+    callable: "user",
+    name: null,
+    path,
+    parameters: node.parameters,
+    returns: node.returns,
+    body: node.body,
+    captures,
+    recursive: null
+  });
+}
+function closureFromMember(node, path, captures, recursive) {
+  return branded({
+    callable: "user",
+    name: node.name,
+    path,
+    parameters: node.parameters,
+    returns: node.returns,
+    body: node.body,
+    captures,
+    recursive
+  });
+}
+function branded(value) {
+  Object.freeze(value);
+  callables.add(value);
+  return value;
+}
+function matchesPrimitive(value, name) {
+  if (name === "json")
+    return !values_js.isOption(value) && !values_js.isResult(value) && !temporal_js.isInstant(value) && !temporal_js.isDuration(value);
+  if (name === "Instant") return temporal_js.isInstant(value);
+  if (name === "Duration") return temporal_js.isDuration(value);
+  if (name === "null") return value === null;
+  return typeof value === name;
+}
+function equalType(left, right) {
+  if (left.kind !== right.kind) return false;
+  if (left.kind === "primitive-type" && right.kind === "primitive-type")
+    return left.name === right.name;
+  if (left.kind === "option-type" && right.kind === "option-type")
+    return equalType(left.value, right.value);
+  if (left.kind === "array-type" && right.kind === "array-type")
+    return equalType(left.element, right.element);
+  if (left.kind === "result-type" && right.kind === "result-type")
+    return equalType(left.ok, right.ok) && equalType(left.error, right.error);
+  if (left.kind !== "function-type" || right.kind !== "function-type") return false;
+  return left.parameters.length === right.parameters.length && left.parameters.every(
+    (item, index) => equalType(item, right.parameters[index])
+  ) && equalType(left.returns, right.returns);
+}
+function primitive(name) {
+  return Object.freeze({ kind: "primitive-type", name });
+}
+function functionType(parameters, returns) {
+  return Object.freeze({ kind: "function-type", parameters: Object.freeze(parameters), returns });
+}
+
+exports.callableType = callableType;
+exports.closureFromExpression = closureFromExpression;
+exports.closureFromMember = closureFromMember;
+exports.coreCallable = coreCallable;
+exports.isCallable = isCallable;
+exports.matchesType = matchesType;
+//# sourceMappingURL=runtime-values.cjs.map
+//# sourceMappingURL=runtime-values.cjs.map

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

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/kalada-v1/runtime-values.ts"],"names":["isOption","isResult","isInstant","isDuration"],"mappings":";;;;;AAoCA,MAAM,SAAA,uBAAgB,OAAA,EAAgB;AAE/B,SAAS,WAAW,KAAA,EAAqE;AAC9F,EAAA,OAAO,OAAO,KAAA,KAAU,QAAA,IAAY,UAAU,IAAA,IAAQ,SAAA,CAAU,IAAI,KAAK,CAAA;AAC3E;AAEO,SAAS,aAAa,IAAA,EAA4C;AACvE,EAAA,OAAO,OAAA,CAAQ,EAAE,QAAA,EAAU,MAAA,EAAQ,MAAM,CAAA;AAC3C;AAEO,SAAS,aAAa,KAAA,EAAkE;AAC7F,EAAA,IAAI,KAAA,CAAM,aAAa,MAAA,EAAQ;AAC7B,IAAA,OAAO,OAAO,MAAA,CAAO;AAAA,MACnB,IAAA,EAAM,eAAA;AAAA,MACN,UAAA,EAAY,MAAA,CAAO,MAAA,CAAO,KAAA,CAAM,UAAA,CAAW,IAAI,CAAC,IAAA,KAAS,IAAA,CAAK,IAAI,CAAC,CAAA;AAAA,MACnE,SAAS,KAAA,CAAM;AAAA,KAChB,CAAA;AAAA,EACH;AACA,EAAA,MAAM,IAAA,GAAO,UAAU,MAAM,CAAA;AAC7B,EAAA,MAAM,QAAA,GAAW,YAAA;AAAA,IACf,CAAC,IAAA,EAAM,SAAA,CAAU,QAAQ,CAAC,CAAA;AAAA,IAC1B,SAAA,CAAU,KAAA,CAAM,IAAA,KAAS,KAAA,GAAQ,SAAS,SAAS;AAAA,GACrD;AACA,EAAA,MAAM,KAAA,GAAQ,OAAO,MAAA,CAAO,EAAE,MAAM,YAAA,EAAc,OAAA,EAAS,MAAM,CAAA;AACjE,EAAA,OAAO,YAAA;AAAA,IACL,CAAC,OAAO,QAAQ,CAAA;AAAA,IAChB,KAAA,CAAM,SAAS,MAAA,IAAU,KAAA,CAAM,SAAS,OAAA,GAAU,SAAA,CAAU,SAAS,CAAA,GAAI;AAAA,GAC3E;AACF;AAEO,SAAS,WAAA,CAAY,OAAqB,QAAA,EAA+B;AAC9E,EAAA,IAAI,QAAA,CAAS,SAAS,eAAA,EAAiB;AACrC,IAAA,OAAO,WAAW,KAAK,CAAA,IAAK,UAAU,YAAA,CAAa,KAAK,GAAG,QAAQ,CAAA;AAAA,EACrE;AACA,EAAA,IAAI,UAAA,CAAW,KAAK,CAAA,EAAG,OAAO,KAAA;AAC9B,EAAA,IAAI,SAAS,IAAA,KAAS,gBAAA,SAAyB,gBAAA,CAAiB,KAAA,EAAO,SAAS,IAAI,CAAA;AACpF,EAAA,IAAI,QAAA,CAAS,SAAS,aAAA,EAAe;AACnC,IAAA,OACEA,kBAAA,CAAS,KAAK,CAAA,KAAM,KAAA,CAAM,OAAA,KAAY,UAAU,WAAA,CAAY,KAAA,CAAM,KAAA,EAAO,QAAA,CAAS,KAAK,CAAA,CAAA;AAAA,EAE3F;AACA,EAAA,IAAI,QAAA,CAAS,SAAS,aAAA,EAAe;AACnC,IAAA,OACEC,kBAAA,CAAS,KAAK,CAAA,IACd,WAAA,CAAY,KAAA,CAAM,KAAA,EAAO,KAAA,CAAM,OAAA,KAAY,IAAA,GAAO,QAAA,CAAS,EAAA,GAAK,QAAA,CAAS,KAAK,CAAA;AAAA,EAElF;AACA,EAAA,OAAO,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,IAAK,KAAA,CAAM,KAAA,CAAM,CAAC,IAAA,KAAS,WAAA,CAAY,IAAA,EAAM,QAAA,CAAS,OAAO,CAAC,CAAA;AAC1F;AAEO,SAAS,qBAAA,CACd,IAAA,EACA,IAAA,EACA,QAAA,EACgB;AAChB,EAAA,OAAO,OAAA,CAAQ;AAAA,IACb,QAAA,EAAU,MAAA;AAAA,IACV,IAAA,EAAM,IAAA;AAAA,IACN,IAAA;AAAA,IACA,YAAY,IAAA,CAAK,UAAA;AAAA,IACjB,SAAS,IAAA,CAAK,OAAA;AAAA,IACd,MAAM,IAAA,CAAK,IAAA;AAAA,IACX,QAAA;AAAA,IACA,SAAA,EAAW;AAAA,GACZ,CAAA;AACH;AAEO,SAAS,iBAAA,CACd,IAAA,EACA,IAAA,EACA,QAAA,EACA,SAAA,EACgB;AAChB,EAAA,OAAO,OAAA,CAAQ;AAAA,IACb,QAAA,EAAU,MAAA;AAAA,IACV,MAAM,IAAA,CAAK,IAAA;AAAA,IACX,IAAA;AAAA,IACA,YAAY,IAAA,CAAK,UAAA;AAAA,IACjB,SAAS,IAAA,CAAK,OAAA;AAAA,IACd,MAAM,IAAA,CAAK,IAAA;AAAA,IACX,QAAA;AAAA,IACA;AAAA,GACD,CAAA;AACH;AAEA,SAAS,QAA0B,KAAA,EAAa;AAC9C,EAAA,MAAA,CAAO,OAAO,KAAK,CAAA;AACnB,EAAA,SAAA,CAAU,IAAI,KAAK,CAAA;AACnB,EAAA,OAAO,KAAA;AACT;AAEA,SAAS,gBAAA,CAAiB,OAAoB,IAAA,EAAuB;AACnE,EAAA,IAAI,IAAA,KAAS,MAAA;AACX,IAAA,OAAO,CAACD,kBAAA,CAAS,KAAK,CAAA,IAAK,CAACC,kBAAA,CAAS,KAAK,CAAA,IAAK,CAACC,qBAAA,CAAU,KAAK,CAAA,IAAK,CAACC,uBAAW,KAAK,CAAA;AACvF,EAAA,IAAI,IAAA,KAAS,SAAA,EAAW,OAAOD,qBAAA,CAAU,KAAK,CAAA;AAC9C,EAAA,IAAI,IAAA,KAAS,UAAA,EAAY,OAAOC,sBAAA,CAAW,KAAK,CAAA;AAChD,EAAA,IAAI,IAAA,KAAS,MAAA,EAAQ,OAAO,KAAA,KAAU,IAAA;AACtC,EAAA,OAAO,OAAO,KAAA,KAAU,IAAA;AAC1B;AAEA,SAAS,SAAA,CAAU,MAAkB,KAAA,EAA4B;AAC/D,EAAA,IAAI,IAAA,CAAK,IAAA,KAAS,KAAA,CAAM,IAAA,EAAM,OAAO,KAAA;AACrC,EAAA,IAAI,IAAA,CAAK,IAAA,KAAS,gBAAA,IAAoB,KAAA,CAAM,IAAA,KAAS,gBAAA;AACnD,IAAA,OAAO,IAAA,CAAK,SAAS,KAAA,CAAM,IAAA;AAC7B,EAAA,IAAI,IAAA,CAAK,IAAA,KAAS,aAAA,IAAiB,KAAA,CAAM,IAAA,KAAS,aAAA;AAChD,IAAA,OAAO,SAAA,CAAU,IAAA,CAAK,KAAA,EAAO,KAAA,CAAM,KAAK,CAAA;AAC1C,EAAA,IAAI,IAAA,CAAK,IAAA,KAAS,YAAA,IAAgB,KAAA,CAAM,IAAA,KAAS,YAAA;AAC/C,IAAA,OAAO,SAAA,CAAU,IAAA,CAAK,OAAA,EAAS,KAAA,CAAM,OAAO,CAAA;AAC9C,EAAA,IAAI,IAAA,CAAK,IAAA,KAAS,aAAA,IAAiB,KAAA,CAAM,IAAA,KAAS,aAAA;AAChD,IAAA,OAAO,SAAA,CAAU,IAAA,CAAK,EAAA,EAAI,KAAA,CAAM,EAAE,KAAK,SAAA,CAAU,IAAA,CAAK,KAAA,EAAO,KAAA,CAAM,KAAK,CAAA;AAC1E,EAAA,IAAI,KAAK,IAAA,KAAS,eAAA,IAAmB,KAAA,CAAM,IAAA,KAAS,iBAAiB,OAAO,KAAA;AAC5E,EAAA,OACE,KAAK,UAAA,CAAW,MAAA,KAAW,MAAM,UAAA,CAAW,MAAA,IAC5C,KAAK,UAAA,CAAW,KAAA;AAAA,IAAM,CAAC,MAAM,KAAA,KAC3B,SAAA,CAAU,MAAM,KAAA,CAAM,UAAA,CAAW,KAAK,CAAe;AAAA,GACvD,IACA,SAAA,CAAU,IAAA,CAAK,OAAA,EAAS,MAAM,OAAO,CAAA;AAEzC;AAEA,SAAS,UAAU,IAAA,EAAiD;AAClE,EAAA,OAAO,OAAO,MAAA,CAAO,EAAE,IAAA,EAAM,gBAAA,EAAkB,MAAM,CAAA;AACvD;AAEA,SAAS,YAAA,CAAa,YAAmC,OAAA,EAAyC;AAChG,EAAA,OAAO,MAAA,CAAO,MAAA,CAAO,EAAE,IAAA,EAAM,eAAA,EAAiB,UAAA,EAAY,MAAA,CAAO,MAAA,CAAO,UAAU,CAAA,EAAG,OAAA,EAAS,CAAA;AAChG","file":"runtime-values.cjs","sourcesContent":["import type { JsonValue } from \"./json.js\";\nimport { isDuration, isInstant } from \"./temporal.js\";\nimport type {\n  KaladaCoreFunctionName,\n  KaladaFunctionParameter,\n  KaladaFunctionType,\n  KaladaType,\n  KaladaV1Expression,\n  NamedFunction,\n} from \"./types.js\";\nimport { isOption, isResult, type KaladaValue } from \"./values.js\";\n\nexport type RuntimeEnvironment = ReadonlyMap<string, RuntimeValue>;\nexport type RuntimeValue = KaladaValue | UserClosure<JsonValue> | CoreCallable;\n\nexport interface RecursiveEnvironment<R extends JsonValue> {\n  readonly names: readonly string[];\n  readonly closures: readonly UserClosure<R>[];\n}\n\nexport interface UserClosure<R extends JsonValue> {\n  readonly callable: \"user\";\n  readonly name: string | null;\n  readonly path: readonly (string | number)[];\n  readonly parameters: readonly KaladaFunctionParameter[];\n  readonly returns: KaladaType;\n  readonly body: KaladaV1Expression<R>;\n  readonly captures: RuntimeEnvironment;\n  readonly recursive: RecursiveEnvironment<R> | null;\n}\n\nexport interface CoreCallable {\n  readonly callable: \"core\";\n  readonly name: KaladaCoreFunctionName;\n}\n\nconst callables = new WeakSet<object>();\n\nexport function isCallable(value: RuntimeValue): value is UserClosure<JsonValue> | CoreCallable {\n  return typeof value === \"object\" && value !== null && callables.has(value);\n}\n\nexport function coreCallable(name: KaladaCoreFunctionName): CoreCallable {\n  return branded({ callable: \"core\", name });\n}\n\nexport function callableType(value: UserClosure<JsonValue> | CoreCallable): KaladaFunctionType {\n  if (value.callable === \"user\") {\n    return Object.freeze({\n      kind: \"function-type\",\n      parameters: Object.freeze(value.parameters.map((item) => item.type)),\n      returns: value.returns,\n    });\n  }\n  const json = primitive(\"json\");\n  const callback = functionType(\n    [json, primitive(\"number\")],\n    primitive(value.name === \"map\" ? \"json\" : \"boolean\"),\n  );\n  const array = Object.freeze({ kind: \"array-type\", element: json }) as KaladaType;\n  return functionType(\n    [array, callback],\n    value.name === \"some\" || value.name === \"every\" ? primitive(\"boolean\") : array,\n  );\n}\n\nexport function matchesType(value: RuntimeValue, expected: KaladaType): boolean {\n  if (expected.kind === \"function-type\") {\n    return isCallable(value) && equalType(callableType(value), expected);\n  }\n  if (isCallable(value)) return false;\n  if (expected.kind === \"primitive-type\") return matchesPrimitive(value, expected.name);\n  if (expected.kind === \"option-type\") {\n    return (\n      isOption(value) && (value.variant === \"none\" || matchesType(value.value, expected.value))\n    );\n  }\n  if (expected.kind === \"result-type\") {\n    return (\n      isResult(value) &&\n      matchesType(value.value, value.variant === \"ok\" ? expected.ok : expected.error)\n    );\n  }\n  return Array.isArray(value) && value.every((item) => matchesType(item, expected.element));\n}\n\nexport function closureFromExpression<R extends JsonValue>(\n  node: Extract<KaladaV1Expression<R>, { kind: \"function\" }>,\n  path: readonly (string | number)[],\n  captures: RuntimeEnvironment,\n): UserClosure<R> {\n  return branded({\n    callable: \"user\",\n    name: null,\n    path,\n    parameters: node.parameters,\n    returns: node.returns,\n    body: node.body,\n    captures,\n    recursive: null,\n  });\n}\n\nexport function closureFromMember<R extends JsonValue>(\n  node: NamedFunction<R>,\n  path: readonly (string | number)[],\n  captures: RuntimeEnvironment,\n  recursive: RecursiveEnvironment<R>,\n): UserClosure<R> {\n  return branded({\n    callable: \"user\",\n    name: node.name,\n    path,\n    parameters: node.parameters,\n    returns: node.returns,\n    body: node.body,\n    captures,\n    recursive,\n  });\n}\n\nfunction branded<T extends object>(value: T): T {\n  Object.freeze(value);\n  callables.add(value);\n  return value;\n}\n\nfunction matchesPrimitive(value: KaladaValue, name: string): boolean {\n  if (name === \"json\")\n    return !isOption(value) && !isResult(value) && !isInstant(value) && !isDuration(value);\n  if (name === \"Instant\") return isInstant(value);\n  if (name === \"Duration\") return isDuration(value);\n  if (name === \"null\") return value === null;\n  return typeof value === name;\n}\n\nfunction equalType(left: KaladaType, right: KaladaType): boolean {\n  if (left.kind !== right.kind) return false;\n  if (left.kind === \"primitive-type\" && right.kind === \"primitive-type\")\n    return left.name === right.name;\n  if (left.kind === \"option-type\" && right.kind === \"option-type\")\n    return equalType(left.value, right.value);\n  if (left.kind === \"array-type\" && right.kind === \"array-type\")\n    return equalType(left.element, right.element);\n  if (left.kind === \"result-type\" && right.kind === \"result-type\")\n    return equalType(left.ok, right.ok) && equalType(left.error, right.error);\n  if (left.kind !== \"function-type\" || right.kind !== \"function-type\") return false;\n  return (\n    left.parameters.length === right.parameters.length &&\n    left.parameters.every((item, index) =>\n      equalType(item, right.parameters[index] as KaladaType),\n    ) &&\n    equalType(left.returns, right.returns)\n  );\n}\n\nfunction primitive(name: \"number\" | \"boolean\" | \"json\"): KaladaType {\n  return Object.freeze({ kind: \"primitive-type\", name });\n}\n\nfunction functionType(parameters: readonly KaladaType[], returns: KaladaType): KaladaFunctionType {\n  return Object.freeze({ kind: \"function-type\", parameters: Object.freeze(parameters), returns });\n}\n"]}

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

@@ -0,0 +1,35 @@
+import { JsonValue } from './json.cjs';
+import { KaladaFunctionParameter, KaladaType, KaladaV1Expression, KaladaCoreFunctionName, KaladaFunctionType, NamedFunction } from './types.cjs';
+import { KaladaValue } from './values.cjs';
+import './temporal.cjs';
+
+type RuntimeEnvironment = ReadonlyMap<string, RuntimeValue>;
+type RuntimeValue = KaladaValue | UserClosure<JsonValue> | CoreCallable;
+interface RecursiveEnvironment<R extends JsonValue> {
+    readonly names: readonly string[];
+    readonly closures: readonly UserClosure<R>[];
+}
+interface UserClosure<R extends JsonValue> {
+    readonly callable: "user";
+    readonly name: string | null;
+    readonly path: readonly (string | number)[];
+    readonly parameters: readonly KaladaFunctionParameter[];
+    readonly returns: KaladaType;
+    readonly body: KaladaV1Expression<R>;
+    readonly captures: RuntimeEnvironment;
+    readonly recursive: RecursiveEnvironment<R> | null;
+}
+interface CoreCallable {
+    readonly callable: "core";
+    readonly name: KaladaCoreFunctionName;
+}
+declare function isCallable(value: RuntimeValue): value is UserClosure<JsonValue> | CoreCallable;
+declare function coreCallable(name: KaladaCoreFunctionName): CoreCallable;
+declare function callableType(value: UserClosure<JsonValue> | CoreCallable): KaladaFunctionType;
+declare function matchesType(value: RuntimeValue, expected: KaladaType): boolean;
+declare function closureFromExpression<R extends JsonValue>(node: Extract<KaladaV1Expression<R>, {
+    kind: "function";
+}>, path: readonly (string | number)[], captures: RuntimeEnvironment): UserClosure<R>;
+declare function closureFromMember<R extends JsonValue>(node: NamedFunction<R>, path: readonly (string | number)[], captures: RuntimeEnvironment, recursive: RecursiveEnvironment<R>): UserClosure<R>;
+
+export { type CoreCallable, type RecursiveEnvironment, type RuntimeEnvironment, type RuntimeValue, type UserClosure, callableType, closureFromExpression, closureFromMember, coreCallable, isCallable, matchesType };

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

@@ -0,0 +1,35 @@
+import { JsonValue } from './json.js';
+import { KaladaFunctionParameter, KaladaType, KaladaV1Expression, KaladaCoreFunctionName, KaladaFunctionType, NamedFunction } from './types.js';
+import { KaladaValue } from './values.js';
+import './temporal.js';
+
+type RuntimeEnvironment = ReadonlyMap<string, RuntimeValue>;
+type RuntimeValue = KaladaValue | UserClosure<JsonValue> | CoreCallable;
+interface RecursiveEnvironment<R extends JsonValue> {
+    readonly names: readonly string[];
+    readonly closures: readonly UserClosure<R>[];
+}
+interface UserClosure<R extends JsonValue> {
+    readonly callable: "user";
+    readonly name: string | null;
+    readonly path: readonly (string | number)[];
+    readonly parameters: readonly KaladaFunctionParameter[];
+    readonly returns: KaladaType;
+    readonly body: KaladaV1Expression<R>;
+    readonly captures: RuntimeEnvironment;
+    readonly recursive: RecursiveEnvironment<R> | null;
+}
+interface CoreCallable {
+    readonly callable: "core";
+    readonly name: KaladaCoreFunctionName;
+}
+declare function isCallable(value: RuntimeValue): value is UserClosure<JsonValue> | CoreCallable;
+declare function coreCallable(name: KaladaCoreFunctionName): CoreCallable;
+declare function callableType(value: UserClosure<JsonValue> | CoreCallable): KaladaFunctionType;
+declare function matchesType(value: RuntimeValue, expected: KaladaType): boolean;
+declare function closureFromExpression<R extends JsonValue>(node: Extract<KaladaV1Expression<R>, {
+    kind: "function";
+}>, path: readonly (string | number)[], captures: RuntimeEnvironment): UserClosure<R>;
+declare function closureFromMember<R extends JsonValue>(node: NamedFunction<R>, path: readonly (string | number)[], captures: RuntimeEnvironment, recursive: RecursiveEnvironment<R>): UserClosure<R>;
+
+export { type CoreCallable, type RecursiveEnvironment, type RuntimeEnvironment, type RuntimeValue, type UserClosure, callableType, closureFromExpression, closureFromMember, coreCallable, isCallable, matchesType };