effect 4.0.0-beta.50 → 4.0.0-beta.52

package/dist/internal/schema/to-codec.js

@@ -1,126 +0,0 @@
-import { memoize } from "../../Function.js";
-import * as Predicate from "../../Predicate.js";
-import * as AST from "../../SchemaAST.js";
-import * as InternalSchema from "./schema.js";
-/** @internal */
-export const toCodecJson = /*#__PURE__*/AST.toCodec(ast => {
-  const out = toCodecJsonBase(ast);
-  if (out !== ast && AST.isOptional(ast)) {
-    return AST.optionalKeyLastLink(out);
-  }
-  return out;
-});
-function toCodecJsonBase(ast) {
-  switch (ast._tag) {
-    case "Declaration":
-      {
-        const getLink = ast.annotations?.toCodecJson ?? ast.annotations?.toCodec;
-        if (Predicate.isFunction(getLink)) {
-          const tps = AST.isDeclaration(ast) ? ast.typeParameters.map(tp => InternalSchema.make(AST.toEncoded(tp))) : [];
-          const link = getLink(tps);
-          const to = toCodecJson(link.to);
-          return AST.replaceEncoding(ast, to === link.to ? [link] : [new AST.Link(to, link.transformation)]);
-        }
-        return AST.replaceEncoding(ast, [AST.unknownToNull]);
-      }
-    case "Unknown":
-    case "ObjectKeyword":
-      return AST.replaceEncoding(ast, [AST.unknownToJson]);
-    case "Undefined":
-    case "Void":
-    case "Literal":
-    case "Number":
-      return ast.toCodecJson();
-    case "UniqueSymbol":
-    case "Symbol":
-    case "BigInt":
-      return ast.toCodecStringTree();
-    case "Objects":
-      {
-        if (ast.propertySignatures.some(ps => typeof ps.name !== "string")) {
-          throw new globalThis.Error("Objects property names must be strings", {
-            cause: ast
-          });
-        }
-        return ast.recur(toCodecJson);
-      }
-    case "Union":
-      {
-        const sortedTypes = jsonReorder(ast.types);
-        if (sortedTypes !== ast.types) {
-          return new AST.Union(sortedTypes, ast.mode, ast.annotations, ast.checks, ast.encoding, ast.context).recur(toCodecJson);
-        }
-        return ast.recur(toCodecJson);
-      }
-    case "Arrays":
-    case "Suspend":
-      return ast.recur(toCodecJson);
-  }
-  // `Schema.Any` is used as an escape hatch
-  return ast;
-}
-/** @internal */
-export const jsonReorder = /*#__PURE__*/makeReorder(getJsonPriority);
-function getJsonPriority(ast) {
-  switch (ast._tag) {
-    case "BigInt":
-    case "Symbol":
-    case "UniqueSymbol":
-      return 0;
-    default:
-      return 1;
-  }
-}
-/** @internal */
-export function makeReorder(getPriority) {
-  return types => {
-    // Create a map of original indices for O(1) lookup
-    const indexMap = new Map();
-    for (let i = 0; i < types.length; i++) {
-      indexMap.set(AST.toEncoded(types[i]), i);
-    }
-    // Create a sorted copy of the types array
-    const sortedTypes = [...types].sort((a, b) => {
-      a = AST.toEncoded(a);
-      b = AST.toEncoded(b);
-      const pa = getPriority(a);
-      const pb = getPriority(b);
-      if (pa !== pb) return pa - pb;
-      // If priorities are equal, maintain original order (stable sort)
-      return indexMap.get(a) - indexMap.get(b);
-    });
-    // Check if order changed by comparing arrays
-    const orderChanged = sortedTypes.some((ast, index) => ast !== types[index]);
-    if (!orderChanged) return types;
-    return sortedTypes;
-  };
-}
-/** @internal */
-export const toCodecIso = /*#__PURE__*/memoize(ast => {
-  const out = toCodecIsoBase(ast);
-  if (out !== ast && AST.isOptional(ast)) {
-    return AST.optionalKeyLastLink(out);
-  }
-  return out;
-});
-function toCodecIsoBase(ast) {
-  switch (ast._tag) {
-    case "Declaration":
-      {
-        const getLink = ast.annotations?.toCodecIso ?? ast.annotations?.toCodec;
-        if (Predicate.isFunction(getLink)) {
-          const link = getLink(ast.typeParameters.map(tp => InternalSchema.make(tp)));
-          const to = toCodecIso(link.to);
-          return AST.replaceEncoding(ast, to === link.to ? [link] : [new AST.Link(to, link.transformation)]);
-        }
-        return ast;
-      }
-    case "Arrays":
-    case "Objects":
-    case "Union":
-    case "Suspend":
-      return ast.recur(toCodecIso);
-  }
-  return ast;
-}
-//# sourceMappingURL=to-codec.js.map

package/dist/internal/schema/to-codec.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"to-codec.js","names":["memoize","Predicate","AST","InternalSchema","toCodecJson","toCodec","ast","out","toCodecJsonBase","isOptional","optionalKeyLastLink","_tag","getLink","annotations","isFunction","tps","isDeclaration","typeParameters","map","tp","make","toEncoded","link","to","replaceEncoding","Link","transformation","unknownToNull","unknownToJson","toCodecStringTree","propertySignatures","some","ps","name","globalThis","Error","cause","recur","sortedTypes","jsonReorder","types","Union","mode","checks","encoding","context","makeReorder","getJsonPriority","getPriority","indexMap","Map","i","length","set","sort","a","b","pa","pb","get","orderChanged","index","toCodecIso","toCodecIsoBase"],"sources":["../../../src/internal/schema/to-codec.ts"],"sourcesContent":[null],"mappings":"AAAA,SAASA,OAAO,QAAQ,mBAAmB;AAC3C,OAAO,KAAKC,SAAS,MAAM,oBAAoB;AAC/C,OAAO,KAAKC,GAAG,MAAM,oBAAoB;AACzC,OAAO,KAAKC,cAAc,MAAM,aAAa;AAE7C;AACA,OAAO,MAAMC,WAAW,gBAAGF,GAAG,CAACG,OAAO,CAAEC,GAAG,IAAI;EAC7C,MAAMC,GAAG,GAAGC,eAAe,CAACF,GAAG,CAAC;EAChC,IAAIC,GAAG,KAAKD,GAAG,IAAIJ,GAAG,CAACO,UAAU,CAACH,GAAG,CAAC,EAAE;IACtC,OAAOJ,GAAG,CAACQ,mBAAmB,CAACH,GAAG,CAAC;EACrC;EACA,OAAOA,GAAG;AACZ,CAAC,CAAC;AAEF,SAASC,eAAeA,CAACF,GAAY;EACnC,QAAQA,GAAG,CAACK,IAAI;IACd,KAAK,aAAa;MAAE;QAClB,MAAMC,OAAO,GAAGN,GAAG,CAACO,WAAW,EAAET,WAAW,IAAIE,GAAG,CAACO,WAAW,EAAER,OAAO;QACxE,IAAIJ,SAAS,CAACa,UAAU,CAACF,OAAO,CAAC,EAAE;UACjC,MAAMG,GAAG,GAAGb,GAAG,CAACc,aAAa,CAACV,GAAG,CAAC,GAC9BA,GAAG,CAACW,cAAc,CAACC,GAAG,CAAEC,EAAE,IAAKhB,cAAc,CAACiB,IAAI,CAAClB,GAAG,CAACmB,SAAS,CAACF,EAAE,CAAC,CAAC,CAAC,GACtE,EAAE;UACN,MAAMG,IAAI,GAAGV,OAAO,CAACG,GAAG,CAAC;UACzB,MAAMQ,EAAE,GAAGnB,WAAW,CAACkB,IAAI,CAACC,EAAE,CAAC;UAC/B,OAAOrB,GAAG,CAACsB,eAAe,CAAClB,GAAG,EAAEiB,EAAE,KAAKD,IAAI,CAACC,EAAE,GAAG,CAACD,IAAI,CAAC,GAAG,CAAC,IAAIpB,GAAG,CAACuB,IAAI,CAACF,EAAE,EAAED,IAAI,CAACI,cAAc,CAAC,CAAC,CAAC;QACpG;QACA,OAAOxB,GAAG,CAACsB,eAAe,CAAClB,GAAG,EAAE,CAACJ,GAAG,CAACyB,aAAa,CAAC,CAAC;MACtD;IACA,KAAK,SAAS;IACd,KAAK,eAAe;MAClB,OAAOzB,GAAG,CAACsB,eAAe,CAAClB,GAAG,EAAE,CAACJ,GAAG,CAAC0B,aAAa,CAAC,CAAC;IACtD,KAAK,WAAW;IAChB,KAAK,MAAM;IACX,KAAK,SAAS;IACd,KAAK,QAAQ;MACX,OAAOtB,GAAG,CAACF,WAAW,EAAE;IAC1B,KAAK,cAAc;IACnB,KAAK,QAAQ;IACb,KAAK,QAAQ;MACX,OAAOE,GAAG,CAACuB,iBAAiB,EAAE;IAChC,KAAK,SAAS;MAAE;QACd,IAAIvB,GAAG,CAACwB,kBAAkB,CAACC,IAAI,CAAEC,EAAE,IAAK,OAAOA,EAAE,CAACC,IAAI,KAAK,QAAQ,CAAC,EAAE;UACpE,MAAM,IAAIC,UAAU,CAACC,KAAK,CAAC,wCAAwC,EAAE;YAAEC,KAAK,EAAE9B;UAAG,CAAE,CAAC;QACtF;QACA,OAAOA,GAAG,CAAC+B,KAAK,CAACjC,WAAW,CAAC;MAC/B;IACA,KAAK,OAAO;MAAE;QACZ,MAAMkC,WAAW,GAAGC,WAAW,CAACjC,GAAG,CAACkC,KAAK,CAAC;QAC1C,IAAIF,WAAW,KAAKhC,GAAG,CAACkC,KAAK,EAAE;UAC7B,OAAO,IAAItC,GAAG,CAACuC,KAAK,CAClBH,WAAW,EACXhC,GAAG,CAACoC,IAAI,EACRpC,GAAG,CAACO,WAAW,EACfP,GAAG,CAACqC,MAAM,EACVrC,GAAG,CAACsC,QAAQ,EACZtC,GAAG,CAACuC,OAAO,CACZ,CAACR,KAAK,CAACjC,WAAW,CAAC;QACtB;QACA,OAAOE,GAAG,CAAC+B,KAAK,CAACjC,WAAW,CAAC;MAC/B;IACA,KAAK,QAAQ;IACb,KAAK,SAAS;MACZ,OAAOE,GAAG,CAAC+B,KAAK,CAACjC,WAAW,CAAC;EACjC;EACA;EACA,OAAOE,GAAG;AACZ;AAEA;AACA,OAAO,MAAMiC,WAAW,gBAAGO,WAAW,CAACC,eAAe,CAAC;AAEvD,SAASA,eAAeA,CAACzC,GAAY;EACnC,QAAQA,GAAG,CAACK,IAAI;IACd,KAAK,QAAQ;IACb,KAAK,QAAQ;IACb,KAAK,cAAc;MACjB,OAAO,CAAC;IACV;MACE,OAAO,CAAC;EACZ;AACF;AAEA;AACA,OAAM,SAAUmC,WAAWA,CAACE,WAAqC;EAC/D,OAAQR,KAA6B,IAA4B;IAC/D;IACA,MAAMS,QAAQ,GAAG,IAAIC,GAAG,EAAmB;IAC3C,KAAK,IAAIC,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGX,KAAK,CAACY,MAAM,EAAED,CAAC,EAAE,EAAE;MACrCF,QAAQ,CAACI,GAAG,CAACnD,GAAG,CAACmB,SAAS,CAACmB,KAAK,CAACW,CAAC,CAAC,CAAC,EAAEA,CAAC,CAAC;IAC1C;IAEA;IACA,MAAMb,WAAW,GAAG,CAAC,GAAGE,KAAK,CAAC,CAACc,IAAI,CAAC,CAACC,CAAC,EAAEC,CAAC,KAAI;MAC3CD,CAAC,GAAGrD,GAAG,CAACmB,SAAS,CAACkC,CAAC,CAAC;MACpBC,CAAC,GAAGtD,GAAG,CAACmB,SAAS,CAACmC,CAAC,CAAC;MACpB,MAAMC,EAAE,GAAGT,WAAW,CAACO,CAAC,CAAC;MACzB,MAAMG,EAAE,GAAGV,WAAW,CAACQ,CAAC,CAAC;MACzB,IAAIC,EAAE,KAAKC,EAAE,EAAE,OAAOD,EAAE,GAAGC,EAAE;MAC7B;MACA,OAAOT,QAAQ,CAACU,GAAG,CAACJ,CAAC,CAAE,GAAGN,QAAQ,CAACU,GAAG,CAACH,CAAC,CAAE;IAC5C,CAAC,CAAC;IAEF;IACA,MAAMI,YAAY,GAAGtB,WAAW,CAACP,IAAI,CAAC,CAACzB,GAAG,EAAEuD,KAAK,KAAKvD,GAAG,KAAKkC,KAAK,CAACqB,KAAK,CAAC,CAAC;IAE3E,IAAI,CAACD,YAAY,EAAE,OAAOpB,KAAK;IAC/B,OAAOF,WAAW;EACpB,CAAC;AACH;AAEA;AACA,OAAO,MAAMwB,UAAU,gBAAG9D,OAAO,CAAEM,GAAY,IAAa;EAC1D,MAAMC,GAAG,GAAGwD,cAAc,CAACzD,GAAG,CAAC;EAC/B,IAAIC,GAAG,KAAKD,GAAG,IAAIJ,GAAG,CAACO,UAAU,CAACH,GAAG,CAAC,EAAE;IACtC,OAAOJ,GAAG,CAACQ,mBAAmB,CAACH,GAAG,CAAC;EACrC;EACA,OAAOA,GAAG;AACZ,CAAC,CAAC;AAEF,SAASwD,cAAcA,CAACzD,GAAY;EAClC,QAAQA,GAAG,CAACK,IAAI;IACd,KAAK,aAAa;MAAE;QAClB,MAAMC,OAAO,GAAGN,GAAG,CAACO,WAAW,EAAEiD,UAAU,IAAIxD,GAAG,CAACO,WAAW,EAAER,OAAO;QACvE,IAAIJ,SAAS,CAACa,UAAU,CAACF,OAAO,CAAC,EAAE;UACjC,MAAMU,IAAI,GAAGV,OAAO,CAACN,GAAG,CAACW,cAAc,CAACC,GAAG,CAAEC,EAAE,IAAKhB,cAAc,CAACiB,IAAI,CAACD,EAAE,CAAC,CAAC,CAAC;UAC7E,MAAMI,EAAE,GAAGuC,UAAU,CAACxC,IAAI,CAACC,EAAE,CAAC;UAC9B,OAAOrB,GAAG,CAACsB,eAAe,CAAClB,GAAG,EAAEiB,EAAE,KAAKD,IAAI,CAACC,EAAE,GAAG,CAACD,IAAI,CAAC,GAAG,CAAC,IAAIpB,GAAG,CAACuB,IAAI,CAACF,EAAE,EAAED,IAAI,CAACI,cAAc,CAAC,CAAC,CAAC;QACpG;QACA,OAAOpB,GAAG;MACZ;IACA,KAAK,QAAQ;IACb,KAAK,SAAS;IACd,KAAK,OAAO;IACZ,KAAK,SAAS;MACZ,OAAOA,GAAG,CAAC+B,KAAK,CAACyB,UAAU,CAAC;EAChC;EACA,OAAOxD,GAAG;AACZ","ignoreList":[]}

package/src/internal/schema/to-codec.ts

@@ -1,138 +0,0 @@
-import { memoize } from "../../Function.ts"
-import * as Predicate from "../../Predicate.ts"
-import * as AST from "../../SchemaAST.ts"
-import * as InternalSchema from "./schema.ts"
-
-/** @internal */
-export const toCodecJson = AST.toCodec((ast) => {
-  const out = toCodecJsonBase(ast)
-  if (out !== ast && AST.isOptional(ast)) {
-    return AST.optionalKeyLastLink(out)
-  }
-  return out
-})
-
-function toCodecJsonBase(ast: AST.AST): AST.AST {
-  switch (ast._tag) {
-    case "Declaration": {
-      const getLink = ast.annotations?.toCodecJson ?? ast.annotations?.toCodec
-      if (Predicate.isFunction(getLink)) {
-        const tps = AST.isDeclaration(ast)
-          ? ast.typeParameters.map((tp) => InternalSchema.make(AST.toEncoded(tp)))
-          : []
-        const link = getLink(tps)
-        const to = toCodecJson(link.to)
-        return AST.replaceEncoding(ast, to === link.to ? [link] : [new AST.Link(to, link.transformation)])
-      }
-      return AST.replaceEncoding(ast, [AST.unknownToNull])
-    }
-    case "Unknown":
-    case "ObjectKeyword":
-      return AST.replaceEncoding(ast, [AST.unknownToJson])
-    case "Undefined":
-    case "Void":
-    case "Literal":
-    case "Number":
-      return ast.toCodecJson()
-    case "UniqueSymbol":
-    case "Symbol":
-    case "BigInt":
-      return ast.toCodecStringTree()
-    case "Objects": {
-      if (ast.propertySignatures.some((ps) => typeof ps.name !== "string")) {
-        throw new globalThis.Error("Objects property names must be strings", { cause: ast })
-      }
-      return ast.recur(toCodecJson)
-    }
-    case "Union": {
-      const sortedTypes = jsonReorder(ast.types)
-      if (sortedTypes !== ast.types) {
-        return new AST.Union(
-          sortedTypes,
-          ast.mode,
-          ast.annotations,
-          ast.checks,
-          ast.encoding,
-          ast.context
-        ).recur(toCodecJson)
-      }
-      return ast.recur(toCodecJson)
-    }
-    case "Arrays":
-    case "Suspend":
-      return ast.recur(toCodecJson)
-  }
-  // `Schema.Any` is used as an escape hatch
-  return ast
-}
-
-/** @internal */
-export const jsonReorder = makeReorder(getJsonPriority)
-
-function getJsonPriority(ast: AST.AST): number {
-  switch (ast._tag) {
-    case "BigInt":
-    case "Symbol":
-    case "UniqueSymbol":
-      return 0
-    default:
-      return 1
-  }
-}
-
-/** @internal */
-export function makeReorder(getPriority: (ast: AST.AST) => number) {
-  return (types: ReadonlyArray<AST.AST>): ReadonlyArray<AST.AST> => {
-    // Create a map of original indices for O(1) lookup
-    const indexMap = new Map<AST.AST, number>()
-    for (let i = 0; i < types.length; i++) {
-      indexMap.set(AST.toEncoded(types[i]), i)
-    }
-
-    // Create a sorted copy of the types array
-    const sortedTypes = [...types].sort((a, b) => {
-      a = AST.toEncoded(a)
-      b = AST.toEncoded(b)
-      const pa = getPriority(a)
-      const pb = getPriority(b)
-      if (pa !== pb) return pa - pb
-      // If priorities are equal, maintain original order (stable sort)
-      return indexMap.get(a)! - indexMap.get(b)!
-    })
-
-    // Check if order changed by comparing arrays
-    const orderChanged = sortedTypes.some((ast, index) => ast !== types[index])
-
-    if (!orderChanged) return types
-    return sortedTypes
-  }
-}
-
-/** @internal */
-export const toCodecIso = memoize((ast: AST.AST): AST.AST => {
-  const out = toCodecIsoBase(ast)
-  if (out !== ast && AST.isOptional(ast)) {
-    return AST.optionalKeyLastLink(out)
-  }
-  return out
-})
-
-function toCodecIsoBase(ast: AST.AST): AST.AST {
-  switch (ast._tag) {
-    case "Declaration": {
-      const getLink = ast.annotations?.toCodecIso ?? ast.annotations?.toCodec
-      if (Predicate.isFunction(getLink)) {
-        const link = getLink(ast.typeParameters.map((tp) => InternalSchema.make(tp)))
-        const to = toCodecIso(link.to)
-        return AST.replaceEncoding(ast, to === link.to ? [link] : [new AST.Link(to, link.transformation)])
-      }
-      return ast
-    }
-    case "Arrays":
-    case "Objects":
-    case "Union":
-    case "Suspend":
-      return ast.recur(toCodecIso)
-  }
-  return ast
-}