effect 4.0.0-rc.112 → 4.0.0-rc.113

package/dist/internal/schema/toEquivalence.js

@@ -21,6 +21,7 @@ function recur(ast, path) {
     case "Never":
       return Equivalence.strictEqual();
     case "Declaration":
+      return declarationEquivalence(ast, path);
     case "Null":
     case "Undefined":
     case "Void":
@@ -149,4 +150,69 @@ function recur(ast, path) {
       }
   }
 }
+function declarationEquivalence(ast, path) {
+  const representation = ast.annotations?.representation;
+  if (representation === undefined) return Equal.equals;
+  switch (representation.id) {
+    case "effect/schema/Option":
+      {
+        const [value] = declarationTypeParameters(ast, path);
+        return (a, b) => a._tag === b._tag && (a._tag === "None" || value(a.value, b.value));
+      }
+    case "effect/schema/Result":
+      {
+        const [success, failure] = declarationTypeParameters(ast, path);
+        return (a, b) => a._tag === b._tag && (a._tag === "Success" ? success(a.success, b.success) : failure(a.failure, b.failure));
+      }
+    case "effect/schema/CauseReason":
+      {
+        const [error, defect] = declarationTypeParameters(ast, path);
+        return causeReasonEquivalence(error, defect);
+      }
+    case "effect/schema/Cause":
+      {
+        const [error, defect] = declarationTypeParameters(ast, path);
+        return causeEquivalence(error, defect);
+      }
+    case "effect/schema/Exit":
+      {
+        const [value, error, defect] = declarationTypeParameters(ast, path);
+        const cause = causeEquivalence(error, defect);
+        return (a, b) => a._tag === b._tag && (a._tag === "Success" ? value(a.value, b.value) : cause(a.cause, b.cause));
+      }
+    case "effect/schema/ReadonlyMap":
+      {
+        const [key, value] = declarationTypeParameters(ast, path);
+        return Equal.makeCompareMap(key, value);
+      }
+    case "effect/schema/ReadonlySet":
+      return Equal.makeCompareSet(declarationTypeParameters(ast, path)[0]);
+    case "effect/schema/RegExp":
+      return (a, b) => a.source === b.source && a.flags === b.flags;
+    case "effect/schema/URL":
+      return (a, b) => a.toString() === b.toString();
+    default:
+      return Equal.equals;
+  }
+}
+function declarationTypeParameters(ast, path) {
+  return ast.typeParameters.map(parameter => recur(parameter, path));
+}
+function causeReasonEquivalence(error, defect) {
+  return (a, b) => {
+    if (a._tag !== b._tag) return false;
+    switch (a._tag) {
+      case "Fail":
+        return error(a.error, b.error);
+      case "Die":
+        return defect(a.defect, b.defect);
+      case "Interrupt":
+        return a.fiberId === b.fiberId;
+    }
+  };
+}
+function causeEquivalence(error, defect) {
+  const reasons = Equivalence.Array(causeReasonEquivalence(error, defect));
+  return (a, b) => reasons(a.reasons, b.reasons);
+}
 //# sourceMappingURL=toEquivalence.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"toEquivalence.js","names":[],"sources":["../../../src/internal/schema/toEquivalence.ts"],"sourcesContent":[null],"mappings":"AAAA,OAAO,KAAK,KAAK,MAAM,gBAAgB;AACvC,OAAO,KAAK,WAAW,MAAM,sBAAsB;AACnD,SAAS,OAAO,QAAQ,mBAAmB;AAC3C,OAAO,KAAK,SAAS,MAAM,oBAAoB;AAE/C,OAAO,KAAK,SAAS,MAAM,oBAAoB;AAC/C,OAAO,KAAK,YAAY,MAAM,uBAAuB;AACrD,OAAO,KAAK,mBAAmB,MAAM,kBAAkB;AAEvD;AACA,OAAO,MAAM,aAAa,gBAAG,OAAO,CAAE,GAAkB,IAAkC;EACxF,OAAO,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC;AACvB,CAAC,CAAC;AAEF,SAAS,KAAK,CAAC,GAAkB,EAAE,IAAgC;EACjE;EACA;EACA;EACA,MAAM,UAAU,GAAG,mBAAmB,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,eAAe,CAExD;EACb,IAAI,UAAU,EAAE;IACd,OAAO,UAAU,CAAC,SAAS,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,cAAc,CAAC,GAAG,CAAE,EAAE,IAAK,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC;EACxG;EACA,QAAQ,GAAG,CAAC,IAAI;IACd,KAAK,OAAO;MACV,OAAO,WAAW,CAAC,WAAW,EAAE;IAClC,KAAK,aAAa;IAClB,KAAK,MAAM;IACX,KAAK,WAAW;IAChB,KAAK,MAAM;IACX,KAAK,SAAS;IACd,KAAK,KAAK;IACV,KAAK,QAAQ;IACb,KAAK,QAAQ;IACb,KAAK,SAAS;IACd,KAAK,QAAQ;IACb,KAAK,QAAQ;IACb,KAAK,SAAS;IACd,KAAK,cAAc;IACnB,KAAK,eAAe;IACpB,KAAK,MAAM;IACX,KAAK,iBAAiB;MACpB,OAAO,KAAK,CAAC,MAAM;IACrB,KAAK,QAAQ;MAAE;QACb,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QACnE,MAAM,GAAG,GAAG,GAAG,CAAC,QAAQ,CAAC,MAAM;QAC/B,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QACjE,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,KAAI;UAC/B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;YAC1C,OAAO,KAAK;UACd;UACA,MAAM,GAAG,GAAG,CAAC,CAAC,MAAM;UACpB,IAAI,GAAG,KAAK,CAAC,CAAC,MAAM,EAAE;YACpB,OAAO,KAAK;UACd;UACA;UACA;UACA;UACA,IAAI,CAAC,GAAG,CAAC;UACT,OAAO,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE;YAClD,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE;cAC5B,OAAO,KAAK;YACd;UACF;UACA;UACA;UACA;UACA,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE;YACnB,MAAM,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI;YAC5B,OAAO,CAAC,GAAG,GAAG,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;cACjC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE;gBACrB,OAAO,KAAK;cACd;YACF;YACA;YACA;YACA;YACA,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;cACpC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;gBAChC,OAAO,KAAK;cACd;YACF;UACF;UACA,OAAO,IAAI;QACb,CAAC,CAAC;MACJ;IACA,KAAK,SAAS;MAAE;QACd,IAAI,GAAG,CAAC,kBAAkB,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE;UAC3E,OAAO,KAAK,CAAC,MAAM;QACrB;QACA,MAAM,kBAAkB,GAAG,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAE,EAAE,IAAK,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QACjG,MAAM,eAAe,GAAG,GAAG,CAAC,eAAe,CAAC,GAAG,CAAE,EAAE,IAAK,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC7E,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,KAAI;UAC/B,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE;YACpD,OAAO,KAAK;UACd;UACA;UACA;UACA;UACA,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,kBAAkB,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;YAClD,MAAM,EAAE,GAAG,GAAG,CAAC,kBAAkB,CAAC,CAAC,CAAC;YACpC,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI;YACpB,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC;YACnC,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC;YACnC,IAAI,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE;cACjC,IAAI,IAAI,KAAK,IAAI,EAAE;gBACjB,OAAO,KAAK;cACd;YACF;YACA,IAAI,IAAI,IAAI,IAAI,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE;cAC5D,OAAO,KAAK;YACd;UACF;UACA;UACA;UACA;UACA,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;YAC/C,MAAM,EAAE,GAAG,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC;YACjC,MAAM,KAAK,GAAG,SAAS,CAAC,qBAAqB,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC;YAC9D,MAAM,KAAK,GAAG,SAAS,CAAC,qBAAqB,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC;YAE9D,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE,OAAO,KAAK;YAE/C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;cACrC,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC;cACpB,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE;gBACjE,OAAO,KAAK;cACd;YACF;UACF;UACA,OAAO,IAAI;QACb,CAAC,CAAC;MACJ;IACA,KAAK,OAAO;MAAE;QACZ,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK;QACzC,MAAM,QAAQ,GAAG,IAAI,GAAG,CACtB,KAAK,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,CAAC,KACrB,CAAC,SAAS,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAU,CAAU,CACxF,CACF;QACD,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,KAAI;UAC/B,MAAM,UAAU,GAAG,SAAS,CAAC,aAAa,CAAC,CAAC,EAAE,KAAK,CAAC;UACpD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;YAC1C,MAAM,CAAC,EAAE,EAAE,WAAW,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAE;YACtD,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE;cAClB,OAAO,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC;YAC1B;UACF;UACA,OAAO,KAAK;QACd,CAAC,CAAC;MACJ;IACA,KAAK,SAAS;MAAE;QACd,MAAM,GAAG,GAAG,SAAS,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,IAAI,CAAC,CAAC;QAClE,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;MAChD;EACF;AACF","ignoreList":[]}
+{"version":3,"file":"toEquivalence.js","names":[],"sources":["../../../src/internal/schema/toEquivalence.ts"],"sourcesContent":[null],"mappings":"AACA,OAAO,KAAK,KAAK,MAAM,gBAAgB;AACvC,OAAO,KAAK,WAAW,MAAM,sBAAsB;AACnD,SAAS,OAAO,QAAQ,mBAAmB;AAC3C,OAAO,KAAK,SAAS,MAAM,oBAAoB;AAE/C,OAAO,KAAK,SAAS,MAAM,oBAAoB;AAC/C,OAAO,KAAK,YAAY,MAAM,uBAAuB;AACrD,OAAO,KAAK,mBAAmB,MAAM,kBAAkB;AAEvD;AACA,OAAO,MAAM,aAAa,gBAAG,OAAO,CAAE,GAAkB,IAAkC;EACxF,OAAO,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC;AACvB,CAAC,CAAC;AAEF,SAAS,KAAK,CAAC,GAAkB,EAAE,IAAgC;EACjE;EACA;EACA;EACA,MAAM,UAAU,GAAG,mBAAmB,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,eAAe,CAExD;EACb,IAAI,UAAU,EAAE;IACd,OAAO,UAAU,CAAC,SAAS,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,cAAc,CAAC,GAAG,CAAE,EAAE,IAAK,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC;EACxG;EACA,QAAQ,GAAG,CAAC,IAAI;IACd,KAAK,OAAO;MACV,OAAO,WAAW,CAAC,WAAW,EAAE;IAClC,KAAK,aAAa;MAChB,OAAO,sBAAsB,CAAC,GAAG,EAAE,IAAI,CAAC;IAC1C,KAAK,MAAM;IACX,KAAK,WAAW;IAChB,KAAK,MAAM;IACX,KAAK,SAAS;IACd,KAAK,KAAK;IACV,KAAK,QAAQ;IACb,KAAK,QAAQ;IACb,KAAK,SAAS;IACd,KAAK,QAAQ;IACb,KAAK,QAAQ;IACb,KAAK,SAAS;IACd,KAAK,cAAc;IACnB,KAAK,eAAe;IACpB,KAAK,MAAM;IACX,KAAK,iBAAiB;MACpB,OAAO,KAAK,CAAC,MAAM;IACrB,KAAK,QAAQ;MAAE;QACb,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QACnE,MAAM,GAAG,GAAG,GAAG,CAAC,QAAQ,CAAC,MAAM;QAC/B,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QACjE,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,KAAI;UAC/B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;YAC1C,OAAO,KAAK;UACd;UACA,MAAM,GAAG,GAAG,CAAC,CAAC,MAAM;UACpB,IAAI,GAAG,KAAK,CAAC,CAAC,MAAM,EAAE;YACpB,OAAO,KAAK;UACd;UACA;UACA;UACA;UACA,IAAI,CAAC,GAAG,CAAC;UACT,OAAO,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE;YAClD,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE;cAC5B,OAAO,KAAK;YACd;UACF;UACA;UACA;UACA;UACA,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE;YACnB,MAAM,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI;YAC5B,OAAO,CAAC,GAAG,GAAG,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;cACjC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE;gBACrB,OAAO,KAAK;cACd;YACF;YACA;YACA;YACA;YACA,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;cACpC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;gBAChC,OAAO,KAAK;cACd;YACF;UACF;UACA,OAAO,IAAI;QACb,CAAC,CAAC;MACJ;IACA,KAAK,SAAS;MAAE;QACd,IAAI,GAAG,CAAC,kBAAkB,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE;UAC3E,OAAO,KAAK,CAAC,MAAM;QACrB;QACA,MAAM,kBAAkB,GAAG,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAE,EAAE,IAAK,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QACjG,MAAM,eAAe,GAAG,GAAG,CAAC,eAAe,CAAC,GAAG,CAAE,EAAE,IAAK,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC7E,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,KAAI;UAC/B,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE;YACpD,OAAO,KAAK;UACd;UACA;UACA;UACA;UACA,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,kBAAkB,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;YAClD,MAAM,EAAE,GAAG,GAAG,CAAC,kBAAkB,CAAC,CAAC,CAAC;YACpC,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI;YACpB,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC;YACnC,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC;YACnC,IAAI,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE;cACjC,IAAI,IAAI,KAAK,IAAI,EAAE;gBACjB,OAAO,KAAK;cACd;YACF;YACA,IAAI,IAAI,IAAI,IAAI,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE;cAC5D,OAAO,KAAK;YACd;UACF;UACA;UACA;UACA;UACA,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;YAC/C,MAAM,EAAE,GAAG,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC;YACjC,MAAM,KAAK,GAAG,SAAS,CAAC,qBAAqB,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC;YAC9D,MAAM,KAAK,GAAG,SAAS,CAAC,qBAAqB,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC;YAE9D,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE,OAAO,KAAK;YAE/C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;cACrC,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC;cACpB,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE;gBACjE,OAAO,KAAK;cACd;YACF;UACF;UACA,OAAO,IAAI;QACb,CAAC,CAAC;MACJ;IACA,KAAK,OAAO;MAAE;QACZ,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK;QACzC,MAAM,QAAQ,GAAG,IAAI,GAAG,CACtB,KAAK,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,CAAC,KACrB,CAAC,SAAS,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAU,CAAU,CACxF,CACF;QACD,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,KAAI;UAC/B,MAAM,UAAU,GAAG,SAAS,CAAC,aAAa,CAAC,CAAC,EAAE,KAAK,CAAC;UACpD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;YAC1C,MAAM,CAAC,EAAE,EAAE,WAAW,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAE;YACtD,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE;cAClB,OAAO,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC;YAC1B;UACF;UACA,OAAO,KAAK;QACd,CAAC,CAAC;MACJ;IACA,KAAK,SAAS;MAAE;QACd,MAAM,GAAG,GAAG,SAAS,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,IAAI,CAAC,CAAC;QAClE,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;MAChD;EACF;AACF;AAEA,SAAS,sBAAsB,CAC7B,GAA0B,EAC1B,IAAgC;EAEhC,MAAM,cAAc,GAAI,GAAG,CAAC,WAA+D,EAAE,cAAc;EAC3G,IAAI,cAAc,KAAK,SAAS,EAAE,OAAO,KAAK,CAAC,MAAM;EACrD,QAAQ,cAAc,CAAC,EAAE;IACvB,KAAK,sBAAsB;MAAE;QAC3B,MAAM,CAAC,KAAK,CAAC,GAAG,yBAAyB,CAAC,GAAG,EAAE,IAAI,CAAC;QACpD,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;MACtF;IACA,KAAK,sBAAsB;MAAE;QAC3B,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,yBAAyB,CAAC,GAAG,EAAE,IAAI,CAAC;QAC/D,OAAO,CAAC,CAAC,EAAE,CAAC,KACV,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,KAChB,CAAC,CAAC,IAAI,KAAK,SAAS,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;MAC1F;IACA,KAAK,2BAA2B;MAAE;QAChC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,yBAAyB,CAAC,GAAG,EAAE,IAAI,CAAC;QAC5D,OAAO,sBAAsB,CAAC,KAAK,EAAE,MAAM,CAAC;MAC9C;IACA,KAAK,qBAAqB;MAAE;QAC1B,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,yBAAyB,CAAC,GAAG,EAAE,IAAI,CAAC;QAC5D,OAAO,gBAAgB,CAAC,KAAK,EAAE,MAAM,CAAC;MACxC;IACA,KAAK,oBAAoB;MAAE;QACzB,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,yBAAyB,CAAC,GAAG,EAAE,IAAI,CAAC;QACnE,MAAM,KAAK,GAAG,gBAAgB,CAAC,KAAK,EAAE,MAAM,CAAC;QAC7C,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,KAAK,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;MAClH;IACA,KAAK,2BAA2B;MAAE;QAChC,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,yBAAyB,CAAC,GAAG,EAAE,IAAI,CAAC;QACzD,OAAO,KAAK,CAAC,cAAc,CAAC,GAAG,EAAE,KAAK,CAAC;MACzC;IACA,KAAK,2BAA2B;MAC9B,OAAO,KAAK,CAAC,cAAc,CAAC,yBAAyB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACtE,KAAK,sBAAsB;MACzB,OAAO,CAAC,CAAoB,EAAE,CAAoB,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK;IACrG,KAAK,mBAAmB;MACtB,OAAO,CAAC,CAAiB,EAAE,CAAiB,KAAK,CAAC,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,QAAQ,EAAE;IAChF;MACE,OAAO,KAAK,CAAC,MAAM;EACvB;AACF;AAEA,SAAS,yBAAyB,CAAC,GAA0B,EAAE,IAAgC;EAC7F,OAAO,GAAG,CAAC,cAAc,CAAC,GAAG,CAAE,SAAS,IAAK,KAAK,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;AACtE;AAEA,SAAS,sBAAsB,CAC7B,KAAiC,EACjC,MAAwC;EAExC,OAAO,CAAC,CAAC,EAAE,CAAC,KAAI;IACd,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,OAAO,KAAK;IACnC,QAAQ,CAAC,CAAC,IAAI;MACZ,KAAK,MAAM;QACT,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,EAAG,CAAmB,CAAC,KAAK,CAAC;MACnD,KAAK,KAAK;QACR,OAAO,MAAM,CAAC,CAAC,CAAC,MAAM,EAAG,CAAe,CAAC,MAAM,CAAC;MAClD,KAAK,WAAW;QACd,OAAO,CAAC,CAAC,OAAO,KAAM,CAAqB,CAAC,OAAO;IACvD;EACF,CAAC;AACH;AAEA,SAAS,gBAAgB,CACvB,KAAiC,EACjC,MAAwC;EAExC,MAAM,OAAO,GAAG,WAAW,CAAC,KAAK,CAAC,sBAAsB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;EACxE,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC;AAChD","ignoreList":[]}

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

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

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

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

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":[]}