effect 4.0.0-rc.111 → 4.0.0-rc.113

package/dist/internal/schema/toFormatter.js

@@ -0,0 +1,227 @@
+import * as Chunk from "../../Chunk.js";
+import { format, formatPropertyKey } from "../../Formatter.js";
+import * as HashMap from "../../HashMap.js";
+import * as HashSet from "../../HashSet.js";
+import * as Option from "../../Option.js";
+import * as Result from "../../Result.js";
+import * as SchemaAST from "../../SchemaAST.js";
+import * as SchemaParser from "../../SchemaParser.js";
+import * as InternalAnnotations from "./annotations.js";
+function causeReasonToFormatter(error, defect) {
+  return reason => {
+    switch (reason._tag) {
+      case "Fail":
+        return `Fail(${error(reason.error)})`;
+      case "Die":
+        return `Die(${defect(reason.defect)})`;
+      case "Interrupt":
+        return "Interrupt";
+    }
+  };
+}
+function causeToFormatter(error, defect) {
+  const causeReason = causeReasonToFormatter(error, defect);
+  return cause => `Cause([${cause.reasons.map(causeReason).join(", ")}])`;
+}
+/** @internal */
+export function toFormatter(ast, options) {
+  return recur(ast);
+  function recur(ast) {
+    const annotation = InternalAnnotations.resolve(ast)?.["toFormatter"];
+    if (typeof annotation === "function") {
+      return annotation(SchemaAST.isDeclaration(ast) ? ast.typeParameters.map(recur) : []);
+    }
+    if (options?.onBefore) {
+      const onBefore = options.onBefore(ast, recur);
+      if (onBefore !== undefined) {
+        return onBefore;
+      }
+    }
+    return on(ast);
+  }
+  function on(ast) {
+    switch (ast._tag) {
+      default:
+        return format;
+      case "Never":
+        return () => "never";
+      case "Void":
+        return () => "void";
+      case "Declaration":
+        {
+          const representation = ast.annotations?.representation;
+          if (representation === undefined) return format;
+          const typeParameters = ast.typeParameters.map(recur);
+          switch (representation.id) {
+            case "effect/schema/Option":
+              {
+                const [value] = typeParameters;
+                return Option.match({
+                  onNone: () => "none()",
+                  onSome: value_ => `some(${value(value_)})`
+                });
+              }
+            case "effect/schema/Result":
+              {
+                const [success, failure] = typeParameters;
+                return Result.match({
+                  onSuccess: value => `success(${success(value)})`,
+                  onFailure: error => `failure(${failure(error)})`
+                });
+              }
+            case "effect/schema/CauseReason":
+              return causeReasonToFormatter(typeParameters[0], typeParameters[1]);
+            case "effect/schema/Cause":
+              return causeToFormatter(typeParameters[0], typeParameters[1]);
+            case "effect/schema/Exit":
+              {
+                const [value, error, defect] = typeParameters;
+                const cause = causeToFormatter(error, defect);
+                return exit => {
+                  switch (exit._tag) {
+                    case "Success":
+                      return `Exit.Success(${value(exit.value)})`;
+                    case "Failure":
+                      return `Exit.Failure(${cause(exit.cause)})`;
+                  }
+                };
+              }
+            case "effect/schema/ReadonlyMap":
+              {
+                const [key, value] = typeParameters;
+                return map => {
+                  const size = map.size;
+                  if (size === 0) return "ReadonlyMap(0) {}";
+                  const entries = globalThis.Array.from(map.entries()).sort().map(([key_, value_]) => `${key(key_)} => ${value(value_)}`);
+                  return `ReadonlyMap(${size}) { ${entries.join(", ")} }`;
+                };
+              }
+            case "effect/schema/HashMap":
+              {
+                const [key, value] = typeParameters;
+                return map => {
+                  const size = HashMap.size(map);
+                  if (size === 0) return "HashMap(0) {}";
+                  const entries = HashMap.toEntries(map).sort().map(([key_, value_]) => `${key(key_)} => ${value(value_)}`);
+                  return `HashMap(${size}) { ${entries.join(", ")} }`;
+                };
+              }
+            case "effect/schema/ReadonlySet":
+              {
+                const [value] = typeParameters;
+                return set => {
+                  const size = set.size;
+                  if (size === 0) return "ReadonlySet(0) {}";
+                  const values = globalThis.Array.from(set.values()).sort().map(item => `${value(item)}`);
+                  return `ReadonlySet(${size}) { ${values.join(", ")} }`;
+                };
+              }
+            case "effect/schema/HashSet":
+              {
+                const [value] = typeParameters;
+                return set => {
+                  const size = HashSet.size(set);
+                  if (size === 0) return "HashSet(0) {}";
+                  const values = globalThis.Array.from(set).sort().map(item => `${value(item)}`);
+                  return `HashSet(${size}) { ${values.join(", ")} }`;
+                };
+              }
+            case "effect/schema/Chunk":
+              {
+                const [value] = typeParameters;
+                return chunk => {
+                  const size = Chunk.size(chunk);
+                  if (size === 0) return "Chunk(0) {}";
+                  const values = globalThis.Array.from(chunk).sort().map(item => `${value(item)}`);
+                  return `Chunk(${size}) { ${values.join(", ")} }`;
+                };
+              }
+            default:
+              return format;
+          }
+        }
+      case "Arrays":
+        {
+          const elements = ast.elements.map(element => recur(element));
+          const rest = ast.rest.map(recur);
+          return value => {
+            const out = [];
+            let i = 0;
+            for (; i < elements.length; i++) {
+              if (value.length < i + 1) {
+                if (SchemaAST.isOptional(ast.elements[i])) {
+                  continue;
+                }
+              } else {
+                out.push(elements[i](value[i]));
+              }
+            }
+            if (rest.length > 0) {
+              const [head, ...tail] = rest;
+              for (; i < value.length - tail.length; i++) {
+                out.push(head(value[i]));
+              }
+              for (let j = 0; j < tail.length; j++) {
+                out.push(tail[j](value[i + j]));
+              }
+            }
+            return "[" + out.join(", ") + "]";
+          };
+        }
+      case "Objects":
+        {
+          const propertySignatures = ast.propertySignatures.map(signature => recur(signature.type));
+          const indexSignatures = ast.indexSignatures.map(signature => recur(signature.type));
+          if (ast.propertySignatures.length === 0 && ast.indexSignatures.length === 0) {
+            return format;
+          }
+          return value => {
+            const out = [];
+            const visited = new Set();
+            for (let i = 0; i < propertySignatures.length; i++) {
+              const signature = ast.propertySignatures[i];
+              const name = signature.name;
+              visited.add(name);
+              if (SchemaAST.isOptional(signature.type) && !Object.hasOwn(value, name)) {
+                continue;
+              }
+              out.push(`${formatPropertyKey(name)}: ${propertySignatures[i](value[name])}`);
+            }
+            for (let i = 0; i < indexSignatures.length; i++) {
+              const keys = SchemaAST.getIndexSignatureKeys(value, ast.indexSignatures[i].parameter);
+              for (const key of keys) {
+                if (visited.has(key)) {
+                  continue;
+                }
+                visited.add(key);
+                out.push(`${formatPropertyKey(key)}: ${indexSignatures[i](value[key])}`);
+              }
+            }
+            return out.length > 0 ? "{ " + out.join(", ") + " }" : "{}";
+          };
+        }
+      case "Union":
+        {
+          const types = SchemaAST.toType(ast).types;
+          const getCandidates = value => SchemaAST.getCandidates(value, types);
+          const compiled = new Map(types.map((candidate, i) => [candidate, [SchemaParser._is(candidate), recur(ast.types[i])]]));
+          return value => {
+            const candidates = getCandidates(value);
+            for (let i = 0; i < candidates.length; i++) {
+              const [is, formatter] = compiled.get(candidates[i]);
+              if (is(value)) {
+                return formatter(value);
+              }
+            }
+            return format(value);
+          };
+        }
+      case "Suspend":
+        {
+          const get = SchemaAST.memoizeThunk(() => recur(ast.thunk()));
+          return value => get()(value);
+        }
+    }
+  }
+}
+//# sourceMappingURL=toFormatter.js.map

package/dist/internal/schema/toFormatter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"toFormatter.js","names":[],"sources":["../../../src/internal/schema/toFormatter.ts"],"sourcesContent":[null],"mappings":"AACA,OAAO,KAAK,KAAK,MAAM,gBAAgB;AAGvC,SAAS,MAAM,EAAE,iBAAiB,QAAQ,oBAAoB;AAC9D,OAAO,KAAK,OAAO,MAAM,kBAAkB;AAC3C,OAAO,KAAK,OAAO,MAAM,kBAAkB;AAC3C,OAAO,KAAK,MAAM,MAAM,iBAAiB;AACzC,OAAO,KAAK,MAAM,MAAM,iBAAiB;AAEzC,OAAO,KAAK,SAAS,MAAM,oBAAoB;AAC/C,OAAO,KAAK,YAAY,MAAM,uBAAuB;AACrD,OAAO,KAAK,mBAAmB,MAAM,kBAAkB;AAEvD,SAAS,sBAAsB,CAAI,KAAmB,EAAE,MAA0B;EAChF,OAAQ,MAAuB,IAAI;IACjC,QAAQ,MAAM,CAAC,IAAI;MACjB,KAAK,MAAM;QACT,OAAO,QAAQ,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG;MACvC,KAAK,KAAK;QACR,OAAO,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG;MACxC,KAAK,WAAW;QACd,OAAO,WAAW;IACtB;EACF,CAAC;AACH;AAEA,SAAS,gBAAgB,CAAI,KAAmB,EAAE,MAA0B;EAC1E,MAAM,WAAW,GAAG,sBAAsB,CAAC,KAAK,EAAE,MAAM,CAAC;EACzD,OAAQ,KAAqB,IAAK,UAAU,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;AAC3F;AAEA;AACA,OAAM,SAAU,WAAW,CAAI,GAAkB,EAAE,OAIlD;EACC,OAAO,KAAK,CAAC,GAAG,CAAC;EAEjB,SAAS,KAAK,CAAC,GAAkB;IAC/B,MAAM,UAAU,GAAG,mBAAmB,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC;IACpE,IAAI,OAAO,UAAU,KAAK,UAAU,EAAE;MACpC,OAAO,UAAU,CAAC,SAAS,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;IACtF;IACA,IAAI,OAAO,EAAE,QAAQ,EAAE;MACrB,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC;MAC7C,IAAI,QAAQ,KAAK,SAAS,EAAE;QAC1B,OAAO,QAAQ;MACjB;IACF;IACA,OAAO,EAAE,CAAC,GAAG,CAAC;EAChB;EAEA,SAAS,EAAE,CAAC,GAAkB;IAC5B,QAAQ,GAAG,CAAC,IAAI;MACd;QACE,OAAO,MAAM;MACf,KAAK,OAAO;QACV,OAAO,MAAM,OAAO;MACtB,KAAK,MAAM;QACT,OAAO,MAAM,MAAM;MACrB,KAAK,aAAa;QAAE;UAClB,MAAM,cAAc,GAAI,GAAG,CAAC,WAA+D,EAAE,cAAc;UAC3G,IAAI,cAAc,KAAK,SAAS,EAAE,OAAO,MAAM;UAC/C,MAAM,cAAc,GAAG,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC;UACpD,QAAQ,cAAc,CAAC,EAAE;YACvB,KAAK,sBAAsB;cAAE;gBAC3B,MAAM,CAAC,KAAK,CAAC,GAAG,cAAc;gBAC9B,OAAO,MAAM,CAAC,KAAK,CAAC;kBAClB,MAAM,EAAE,MAAM,QAAQ;kBACtB,MAAM,EAAG,MAAM,IAAK,QAAQ,KAAK,CAAC,MAAM,CAAC;iBAC1C,CAAC;cACJ;YACA,KAAK,sBAAsB;cAAE;gBAC3B,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,cAAc;gBACzC,OAAO,MAAM,CAAC,KAAK,CAAC;kBAClB,SAAS,EAAG,KAAK,IAAK,WAAW,OAAO,CAAC,KAAK,CAAC,GAAG;kBAClD,SAAS,EAAG,KAAK,IAAK,WAAW,OAAO,CAAC,KAAK,CAAC;iBAChD,CAAC;cACJ;YACA,KAAK,2BAA2B;cAC9B,OAAO,sBAAsB,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC;YACrE,KAAK,qBAAqB;cACxB,OAAO,gBAAgB,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC;YAC/D,KAAK,oBAAoB;cAAE;gBACzB,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,cAAc;gBAC7C,MAAM,KAAK,GAAG,gBAAgB,CAAC,KAAK,EAAE,MAAM,CAAC;gBAC7C,OAAQ,IAAiC,IAAI;kBAC3C,QAAQ,IAAI,CAAC,IAAI;oBACf,KAAK,SAAS;sBACZ,OAAO,gBAAgB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG;oBAC7C,KAAK,SAAS;sBACZ,OAAO,gBAAgB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG;kBAC/C;gBACF,CAAC;cACH;YACA,KAAK,2BAA2B;cAAE;gBAChC,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,cAAc;gBACnC,OAAQ,GAA6C,IAAI;kBACvD,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI;kBACrB,IAAI,IAAI,KAAK,CAAC,EAAE,OAAO,mBAAmB;kBAC1C,MAAM,OAAO,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,KAC7E,GAAG,GAAG,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC,MAAM,CAAC,EAAE,CACnC;kBACD,OAAO,eAAe,IAAI,OAAO,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;gBACzD,CAAC;cACH;YACA,KAAK,uBAAuB;cAAE;gBAC5B,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,cAAc;gBACnC,OAAQ,GAAsC,IAAI;kBAChD,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC;kBAC9B,IAAI,IAAI,KAAK,CAAC,EAAE,OAAO,eAAe;kBACtC,MAAM,OAAO,GAAG,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,GAAG,GAAG,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;kBACzG,OAAO,WAAW,IAAI,OAAO,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;gBACrD,CAAC;cACH;YACA,KAAK,2BAA2B;cAAE;gBAChC,MAAM,CAAC,KAAK,CAAC,GAAG,cAAc;gBAC9B,OAAQ,GAAoC,IAAI;kBAC9C,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI;kBACrB,IAAI,IAAI,KAAK,CAAC,EAAE,OAAO,mBAAmB;kBAC1C,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAE,IAAI,IAAK,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;kBACzF,OAAO,eAAe,IAAI,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;gBACxD,CAAC;cACH;YACA,KAAK,uBAAuB;cAAE;gBAC5B,MAAM,CAAC,KAAK,CAAC,GAAG,cAAc;gBAC9B,OAAQ,GAA6B,IAAI;kBACvC,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC;kBAC9B,IAAI,IAAI,KAAK,CAAC,EAAE,OAAO,eAAe;kBACtC,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAE,IAAI,IAAK,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;kBAChF,OAAO,WAAW,IAAI,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;gBACpD,CAAC;cACH;YACA,KAAK,qBAAqB;cAAE;gBAC1B,MAAM,CAAC,KAAK,CAAC,GAAG,cAAc;gBAC9B,OAAQ,KAA2B,IAAI;kBACrC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;kBAC9B,IAAI,IAAI,KAAK,CAAC,EAAE,OAAO,aAAa;kBACpC,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAE,IAAI,IAAK,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;kBAClF,OAAO,SAAS,IAAI,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;gBAClD,CAAC;cACH;YACA;cACE,OAAO,MAAM;UACjB;QACF;MACA,KAAK,QAAQ;QAAE;UACb,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAE,OAAO,IAAK,KAAK,CAAC,OAAO,CAAC,CAAC;UAC9D,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;UAChC,OAAQ,KAAK,IAAI;YACf,MAAM,GAAG,GAAkB,EAAE;YAC7B,IAAI,CAAC,GAAG,CAAC;YACT,OAAO,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;cAC/B,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,GAAG,CAAC,EAAE;gBACxB,IAAI,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE;kBACzC;gBACF;cACF,CAAC,MAAM;gBACL,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;cACjC;YACF;YACA,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE;cACnB,MAAM,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI;cAC5B,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;gBAC1C,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;cAC1B;cACA,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;gBACpC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;cACjC;YACF;YACA,OAAO,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,GAAG;UACnC,CAAC;QACH;MACA,KAAK,SAAS;QAAE;UACd,MAAM,kBAAkB,GAAG,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAE,SAAS,IAAK,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;UAC3F,MAAM,eAAe,GAAG,GAAG,CAAC,eAAe,CAAC,GAAG,CAAE,SAAS,IAAK,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;UACrF,IAAI,GAAG,CAAC,kBAAkB,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE;YAC3E,OAAO,MAAM;UACf;UACA,OAAQ,KAAK,IAAI;YACf,MAAM,GAAG,GAAkB,EAAE;YAC7B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAe;YACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,kBAAkB,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;cAClD,MAAM,SAAS,GAAG,GAAG,CAAC,kBAAkB,CAAC,CAAC,CAAC;cAC3C,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI;cAC3B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;cACjB,IAAI,SAAS,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE;gBACvE;cACF;cACA,GAAG,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,KAAK,kBAAkB,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YAC/E;YACA,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;cAC/C,MAAM,IAAI,GAAG,SAAS,CAAC,qBAAqB,CAAC,KAAK,EAAE,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;cACrF,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE;gBACtB,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;kBACpB;gBACF;gBACA,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;gBAChB,GAAG,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,GAAG,CAAC,KAAK,eAAe,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;cAC1E;YACF;YACA,OAAO,GAAG,CAAC,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,GAAG,IAAI;UAC7D,CAAC;QACH;MACA,KAAK,OAAO;QAAE;UACZ,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK;UACzC,MAAM,aAAa,GAAI,KAAU,IAAK,SAAS,CAAC,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC;UAC3E,MAAM,QAAQ,GAAG,IAAI,GAAG,CACtB,KAAK,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAU,CAAU,CAAC,CAC/G;UACD,OAAQ,KAAK,IAAI;YACf,MAAM,UAAU,GAAG,aAAa,CAAC,KAAK,CAAC;YACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;cAC1C,MAAM,CAAC,EAAE,EAAE,SAAS,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAE;cACpD,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE;gBACb,OAAO,SAAS,CAAC,KAAK,CAAC;cACzB;YACF;YACA,OAAO,MAAM,CAAC,KAAK,CAAC;UACtB,CAAC;QACH;MACA,KAAK,SAAS;QAAE;UACd,MAAM,GAAG,GAAG,SAAS,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC;UAC5D,OAAQ,KAAK,IAAK,GAAG,EAAE,CAAC,KAAK,CAAC;QAChC;IACF;EACF;AACF","ignoreList":[]}

package/dist/internal/schema/toIso.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=toIso.d.ts.map

package/dist/internal/schema/toIso.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"toIso.d.ts","sourceRoot":"","sources":["../../../src/internal/schema/toIso.ts"],"names":[],"mappings":""}

package/dist/internal/schema/toIso.js

@@ -0,0 +1,17 @@
+import * as Optic from "../../Optic.js";
+import * as SchemaParser from "../../SchemaParser.js";
+import * as InternalToCodec from "./toCodec.js";
+/** @internal */
+export function toIso(schema) {
+  const serializer = InternalToCodec.toCodecIso(schema);
+  return Optic.makeIso(SchemaParser.encodeSync(serializer), SchemaParser.decodeSync(serializer));
+}
+/** @internal */
+export function toIsoSource(_) {
+  return Optic.id();
+}
+/** @internal */
+export function toIsoFocus(_) {
+  return Optic.id();
+}
+//# sourceMappingURL=toIso.js.map

package/dist/internal/schema/toIso.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"toIso.js","names":[],"sources":["../../../src/internal/schema/toIso.ts"],"sourcesContent":[null],"mappings":"AAAA,OAAO,KAAK,KAAK,MAAM,gBAAgB;AAEvC,OAAO,KAAK,YAAY,MAAM,uBAAuB;AACrD,OAAO,KAAK,eAAe,MAAM,cAAc;AAE/C;AACA,OAAM,SAAU,KAAK,CAA8B,MAAS;EAC1D,MAAM,UAAU,GAAG,eAAe,CAAC,UAAU,CAAC,MAAM,CAAC;EACrD,OAAO,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,YAAY,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;AAChG;AAEA;AACA,OAAM,SAAU,WAAW,CAA8B,CAAI;EAC3D,OAAO,KAAK,CAAC,EAAE,EAAE;AACnB;AAEA;AACA,OAAM,SAAU,UAAU,CAA8B,CAAI;EAC1D,OAAO,KAAK,CAAC,EAAE,EAAE;AACnB","ignoreList":[]}

package/dist/internal/schema/toJsonSchemaDocument.js

@@ -1,12 +1,15 @@
 import * as Arr from "../../Array.js";
 import * as Equal from "../../Equal.js";
-import { escapeToken, unescapeToken } from "../../JsonPointer.js";
+import { decodeUriFragment, formatUriFragmentToken, unescapeToken } from "../../JsonPointer.js";
 import { rewriteRefs } from "../../JsonSchema.js";
 import * as RegEx from "../../RegExp.js";
-import * as SchemaAST from "../../SchemaAST.js";
+import * as InternalAST from "../../SchemaAST.js";
 import { errorWithPath } from "../errors.js";
 import * as InternalRecord from "../record.js";
 import * as InternalAnnotations from "./annotations.js";
+function formatDefinitionReference(key) {
+  return `#/$defs/${formatUriFragmentToken(key)}`;
+}
 const jsonSchemaAnnotationExcludedKeys = /*#__PURE__*/new Set([...InternalAnnotations.annotationExcludedKeys, InternalAnnotations.IDENTIFIER_FALLBACK_KEY, ...InternalAnnotations.jsonSchemaAnnotationKeys]);
 function collectJsonSchemaAnnotations(annotations, options) {
   if (annotations === undefined) return undefined;
@@ -17,9 +20,9 @@ function collectJsonSchemaAnnotations(annotations, options) {
   const expected = annotations.expected;
   if (typeof description === "string") out.description = description;else if (options?.generateDescriptions === true && typeof expected === "string") out.description = expected;
   const defaultValue = annotations.default;
-  if (SchemaAST.isJson(defaultValue)) out.default = defaultValue;
+  if (InternalAST.isJson(defaultValue)) out.default = defaultValue;
   const examples = annotations.examples;
-  if (Array.isArray(examples) && SchemaAST.isJson(examples)) out.examples = examples;
+  if (Array.isArray(examples) && InternalAST.isJson(examples)) out.examples = examples;
   const readOnly = annotations.readOnly;
   if (typeof readOnly === "boolean") out.readOnly = readOnly;
   const writeOnly = annotations.writeOnly;
@@ -31,13 +34,13 @@ function collectJsonSchemaAnnotations(annotations, options) {
   const contentMediaType = annotations.contentMediaType;
   if (typeof contentMediaType === "string") out.contentMediaType = contentMediaType;
   const contentSchema = annotations.contentSchema;
-  if (SchemaAST.isJson(contentSchema)) out.contentSchema = contentSchema;
+  if (InternalAST.isJson(contentSchema)) out.contentSchema = contentSchema;
   if (options?.includeAnnotationKey !== undefined) {
     for (const [key, value] of Object.entries(annotations)) {
       if (jsonSchemaAnnotationExcludedKeys.has(key) || !options.includeAnnotationKey(key)) {
         continue;
       }
-      if (SchemaAST.isJson(value)) InternalRecord.assignProperty(out, key, value);
+      if (InternalAST.isJson(value)) InternalRecord.assignProperty(out, key, value);
     }
   }
   return Object.keys(out).length === 0 ? undefined : out;
@@ -79,7 +82,9 @@ function extractJsonSchemaNumberType(schema) {
   };
 }
 function isJsonSchemaNumberEncoding(schema) {
-  return Array.isArray(schema.anyOf) && schema.anyOf.length === 4 && schema.anyOf[0]?.type === "number" && schema.anyOf.slice(1).every(member => member.type === "string");
+  if (!Array.isArray(schema.anyOf) || schema.anyOf.length !== 2 || schema.anyOf[0]?.type !== "number") return false;
+  const special = schema.anyOf[1];
+  return special?.type === "string" && Array.isArray(special.enum) && special.enum.length === 3 && special.enum.includes("NaN") && special.enum.includes("Infinity") && special.enum.includes("-Infinity");
 }
 // Keep this allowlist closed: applicators and dependent keywords can change meaning when moved across schema objects.
 const inlineableCheckKeywords = "|type|format|pattern|multipleOf|minimum|maximum|exclusiveMinimum|exclusiveMaximum|minLength|maxLength|minItems|maxItems|uniqueItems|minProperties|maxProperties|propertyNames|";
@@ -143,7 +148,6 @@ function compileJsonSchema(representations, rootPaths, references, options) {
   const definitionStates = new Map();
   const compiledRepresentations = new WeakMap();
   const fallbackDefinitions = new Map();
-  let hasAliases = false;
   const referenceKeys = Object.keys(references);
   for (const key of referenceKeys) {
     compileDefinition(key, ["references", key]);
@@ -177,7 +181,6 @@ function compileJsonSchema(representations, rootPaths, references, options) {
       if (match === undefined) {
         if (candidates === undefined) fallbackDefinitions.set(fallback, [key]);else candidates.push(key);
       } else {
-        hasAliases = true;
         definitionStates.set(key, match);
         return match;
       }
@@ -186,11 +189,21 @@ function compileJsonSchema(representations, rootPaths, references, options) {
     return key;
   }
   function finalizeJsonSchema(schema) {
-    if (!hasAliases) return schema;
-    return rewriteRefs(schema, $ref => $ref.replace(/^#\/\$defs\/([^/]*)/, (match, token) => {
-      const canonical = definitionStates.get(unescapeToken(token));
-      return typeof canonical === "string" ? `#/$defs/${escapeToken(canonical)}` : match;
-    }));
+    return rewriteRefs(schema, $ref => {
+      const pointer = decodeUriFragment($ref);
+      if (pointer === undefined) {
+        if (/^#(?:\/|%2f)/i.test($ref)) {
+          throw new Error(`Invalid JSON Pointer URI fragment ${JSON.stringify($ref)}`);
+        }
+        return $ref;
+      }
+      if (!pointer.startsWith("/$defs/")) return $ref;
+      const separator = pointer.indexOf("/", 7);
+      const canonical = definitionStates.get(unescapeToken(pointer.slice(7, separator < 0 ? undefined : separator)));
+      if (typeof canonical !== "string") return $ref;
+      // URI-encoded slashes separate pointer tokens; only ~1 represents a slash within a token.
+      return $ref.replace(/^#(?:\/|%2f).*?(?:\/|%2f).*?(?=\/|%2f|$)/i, formatDefinitionReference(canonical));
+    });
   }
   function getIdentifierFallback(representation) {
     if (representation._tag === "Reference") return undefined;
@@ -233,7 +246,7 @@ function compileJsonSchema(representations, rootPaths, references, options) {
     if (representation._tag === "Reference") {
       const canonical = compileDefinition(representation.$ref, path);
       return {
-        $ref: `#/$defs/${escapeToken(canonical)}`
+        $ref: formatDefinitionReference(canonical)
       };
     }
     const cached = compiledRepresentations.get(representation);
@@ -283,13 +296,19 @@ function compileJsonSchema(representations, rootPaths, references, options) {
           }]
         };
       case "Symbol":
-      case "UniqueSymbol":
         return {
           type: "string",
           allOf: [{
-            pattern: "^Symbol\\((.*)\\)$"
+            pattern: "^Symbol\\(([\\s\\S]*)\\)$"
           }]
         };
+      case "UniqueSymbol":
+        return globalThis.Symbol.keyFor(representation.symbol) === undefined ? {
+          not: {}
+        } : {
+          type: "string",
+          enum: [globalThis.String(representation.symbol)]
+        };
       case "Declaration":
         {
           return {};
@@ -310,13 +329,7 @@ function compileJsonSchema(representations, rootPaths, references, options) {
             type: "number"
           }, {
             type: "string",
-            enum: ["NaN"]
-          }, {
-            type: "string",
-            enum: ["Infinity"]
-          }, {
-            type: "string",
-            enum: ["-Infinity"]
+            enum: ["NaN", "Infinity", "-Infinity"]
           }]
         };
       case "Boolean":
@@ -336,14 +349,15 @@ function compileJsonSchema(representations, rootPaths, references, options) {
         }
       case "Enum":
         {
-          const types = representation.enums.map(([title, literal]) => typeof literal === "number" && !globalThis.Number.isFinite(literal) ? {
-            type: "string",
-            enum: [globalThis.String(literal)],
-            title
-          } : {
-            type: typeof literal,
-            enum: [literal],
-            title
+          const types = representation.enums.map(([title, literal], index) => {
+            if (typeof literal === "number" && !globalThis.Number.isFinite(literal)) {
+              throw errorWithPath(`Invalid numeric enum value ${globalThis.String(literal)}`, [...path, "enums", index, 1]);
+            }
+            return {
+              type: typeof literal,
+              enum: [literal],
+              title
+            };
           });
           return types.length === 0 ? {
             not: {}
@@ -389,11 +403,9 @@ function compileJsonSchema(representations, rootPaths, references, options) {
         {
           if (representation.propertySignatures.length === 0 && representation.indexSignatures.length === 0) {
             return {
-              anyOf: [{
-                type: "object"
-              }, {
-                type: "array"
-              }]
+              not: {
+                type: "null"
+              }
             };
           }
           const out = {
@@ -415,14 +427,23 @@ function compileJsonSchema(representations, rootPaths, references, options) {
           if (representation.propertySignatures.length > 0) out.properties = properties;
           if (required.length > 0) out.required = required;
           const patternProperties = {};
-          const additionalProperties = [];
+          const additionalPropertySchemas = [];
+          const indexValueSchemas = [];
+          let hasUnrepresentableIndexPattern = false;
           for (let index = 0; index < representation.indexSignatures.length; index++) {
             const signature = representation.indexSignatures[index];
             let type = recur(signature.type, [...path, "indexSignatures", index, "type"]);
-            if (Object.keys(type).length === 1 && "not" in type) type = false;
+            if (Equal.equals(type, {
+              not: {}
+            })) type = false;
+            indexValueSchemas.push(type);
             const patterns = getParameterPatterns(signature.parameter, [...path, "indexSignatures", index, "parameter"], new Set());
+            if (patterns === undefined) {
+              hasUnrepresentableIndexPattern = true;
+              continue;
+            }
             if (patterns.length === 0) {
-              additionalProperties.push(type);
+              additionalPropertySchemas.push(type);
             } else {
               for (const pattern of patterns) {
                 const previous = patternProperties[pattern];
@@ -434,12 +455,34 @@ function compileJsonSchema(representations, rootPaths, references, options) {
           if (hasPatternProperties) {
             out.patternProperties = patternProperties;
           }
-          if (representation.indexSignatures.length === 0) {
-            out.additionalProperties = options?.additionalProperties ?? false;
-          } else if (additionalProperties.length === 1 && representation.propertySignatures.length === 0 && !hasPatternProperties) {
-            out.additionalProperties = additionalProperties[0];
-          } else if (additionalProperties.length > 0) {
-            out.allOf = additionalProperties.map(type => ({
+          if (hasUnrepresentableIndexPattern && options?.onExcessProperty === "error") {
+            const propertyNames = [];
+            if (representation.propertySignatures.length > 0) {
+              propertyNames.push({
+                enum: Object.keys(properties)
+              });
+            }
+            for (let index = 0; index < representation.indexSignatures.length; index++) {
+              propertyNames.push(recur(representation.indexSignatures[index].parameter, [...path, "indexSignatures", index, "parameter"]));
+            }
+            out.propertyNames = propertyNames.length === 1 ? propertyNames[0] : {
+              anyOf: propertyNames
+            };
+            out.additionalProperties = indexValueSchemas.length === 1 ? indexValueSchemas[0] : {
+              anyOf: indexValueSchemas
+            };
+            if (additionalPropertySchemas.length > 0) {
+              out.allOf = additionalPropertySchemas.map(type => ({
+                type: "object",
+                additionalProperties: type
+              }));
+            }
+          } else if (additionalPropertySchemas.length === 0) {
+            out.additionalProperties = hasUnrepresentableIndexPattern || options?.onExcessProperty !== "error";
+          } else if (additionalPropertySchemas.length === 1 && representation.propertySignatures.length === 0 && !hasPatternProperties) {
+            out.additionalProperties = additionalPropertySchemas[0];
+          } else if (additionalPropertySchemas.length > 0) {
+            out.allOf = additionalPropertySchemas.map(type => ({
               type: "object",
               additionalProperties: type
             }));
@@ -455,11 +498,12 @@ function compileJsonSchema(representations, rootPaths, references, options) {
           if (types.length === 0) return {
             not: {}
           };
-          if (types.length > 1) {
+          const mode = representation.options?.mode ?? "anyOf";
+          if (mode === "anyOf" && types.length > 1) {
             const compacted = compactEnums(types);
             if (compacted !== undefined) return compacted;
           }
-          return representation.mode === "anyOf" ? {
+          return mode === "anyOf" ? {
             anyOf: types
           } : {
             oneOf: types
@@ -475,16 +519,35 @@ function compileJsonSchema(representations, rootPaths, references, options) {
             throw errorWithPath(`Invalid reference ${parameter.$ref}`, [...path, "$ref"]);
           }
           compileDefinition(parameter.$ref, path);
-          if (seenReferences.has(parameter.$ref)) return [];
+          if (seenReferences.has(parameter.$ref)) return undefined;
           const next = new Set(seenReferences).add(parameter.$ref);
           return getParameterPatterns(references[parameter.$ref], ["references", parameter.$ref], next);
         }
       case "String":
-        return collectPatterns(recur(parameter, path));
+        {
+          if (parameter.checks.length === 0) return [];
+          if (parameter.checks.length !== 1 || parameter.checks[0]._tag !== "Filter" || parameter.checks[0].annotations?.toJsonSchema === undefined) {
+            return undefined;
+          }
+          const schema = recur(parameter, path);
+          return schema.type === "string" && typeof schema.pattern === "string" && hasOnlyKeywords(schema, "|type|pattern|title|description|default|examples|readOnly|writeOnly|") ? [schema.pattern] : undefined;
+        }
       case "TemplateLiteral":
-        return [`^${parameter.parts.map(getPartPattern).join("")}$`];
+        return parameter.checks.length === 0 ? [`^${parameter.parts.map(getPartPattern).join("")}$`] : undefined;
       case "Union":
-        return parameter.types.flatMap((type, index) => getParameterPatterns(type, [...path, "types", index], seenReferences));
+        {
+          if (parameter.types.length === 0 || parameter.checks.length > 0 || parameter.options?.mode === "oneOf") {
+            return undefined;
+          }
+          const patterns = [];
+          for (let index = 0; index < parameter.types.length; index++) {
+            const memberPatterns = getParameterPatterns(parameter.types[index], [...path, "types", index], seenReferences);
+            if (memberPatterns === undefined) return undefined;
+            if (memberPatterns.length === 0) return [];
+            patterns.push(...memberPatterns);
+          }
+          return patterns;
+        }
       default:
         throw errorWithPath("Invalid schema representation document", path);
     }
@@ -502,40 +565,28 @@ function compactEnums(schemas) {
       return undefined;
     }
     if (sharedType === undefined) sharedType = schema.type;else if (schema.type !== sharedType) return undefined;
-    values.push(...schema.enum);
+    for (const value of schema.enum) {
+      if (values.includes(value)) return undefined;
+      values.push(value);
+    }
   }
   return {
     type: sharedType,
     enum: values
   };
 }
-function collectPatterns(schema) {
-  const patterns = [];
-  if (typeof schema.pattern === "string") patterns.push(schema.pattern);
-  for (const key of ["allOf", "anyOf", "oneOf"]) {
-    const members = schema[key];
-    if (Array.isArray(members)) {
-      for (const member of members) {
-        if (typeof member === "object" && member !== null && !Array.isArray(member)) {
-          patterns.push(...collectPatterns(member));
-        }
-      }
-    }
-  }
-  return patterns;
-}
 function getPartPattern(part) {
   switch (part._tag) {
     case "Literal":
       return RegEx.escape(globalThis.String(part.literal));
     case "String":
-      return SchemaAST.STRING_PATTERN;
+      return InternalAST.STRING_PATTERN;
     case "Number":
-      return SchemaAST.FINITE_PATTERN;
+      return InternalAST.FINITE_PATTERN;
     case "TemplateLiteral":
       return part.parts.map(getPartPattern).join("");
     case "Union":
-      return part.types.map(getPartPattern).join("|");
+      return `(?:${part.types.map(getPartPattern).join("|")})`;
     default:
       throw errorWithPath("Invalid schema representation document", []);
   }