effect 3.19.2 → 3.19.4

package/dist/esm/internal/schema/errors.js

@@ -1,4 +1,5 @@
 import * as array_ from "../../Array.js";
+import * as Inspectable from "../../Inspectable.js";
 import * as util_ from "./util.js";
 const getErrorMessage = (reason, details, path, ast) => {
   let out = reason;
@@ -44,7 +45,7 @@ export const getJSONSchemaMissingIdentifierAnnotationErrorMessage = (path, ast)
 /** @internal */
 export const getJSONSchemaUnsupportedPostRestElementsErrorMessage = path => getErrorMessage("Generating a JSON Schema for post-rest elements is not currently supported. You're welcome to contribute by submitting a Pull Request", undefined, path);
 /** @internal */
-export const getJSONSchemaUnsupportedKeyErrorMessage = (key, path) => getErrorMessage("Unsupported key", `Cannot encode ${util_.formatPropertyKey(key)} key to JSON Schema`, path);
+export const getJSONSchemaUnsupportedKeyErrorMessage = (key, path) => getErrorMessage("Unsupported key", `Cannot encode ${Inspectable.formatPropertyKey(key)} key to JSON Schema`, path);
 // ---------------------------------------------
 // Pretty
 // ---------------------------------------------
@@ -53,7 +54,7 @@ export const getPrettyMissingAnnotationErrorMessage = (path, ast) => getMissingA
 /** @internal */
 export const getPrettyNeverErrorMessage = "Cannot pretty print a `never` value";
 /** @internal */
-export const getPrettyNoMatchingSchemaErrorMessage = (actual, path, ast) => getErrorMessage("Unexpected Error", `Cannot find a matching schema for ${util_.formatUnknown(actual)}`, path, ast);
+export const getPrettyNoMatchingSchemaErrorMessage = (actual, path, ast) => getErrorMessage("Unexpected Error", `Cannot find a matching schema for ${Inspectable.formatUnknown(actual)}`, path, ast);
 // ---------------------------------------------
 // Schema
 // ---------------------------------------------
@@ -69,7 +70,7 @@ export const getASTUnsupportedSchemaErrorMessage = ast => getUnsupportedSchemaEr
 /** @internal */
 export const getASTUnsupportedKeySchemaErrorMessage = ast => getErrorMessage("Unsupported key schema", undefined, undefined, ast);
 /** @internal */
-export const getASTUnsupportedLiteralErrorMessage = literal => getErrorMessage("Unsupported literal", `literal value: ${util_.formatUnknown(literal)}`);
+export const getASTUnsupportedLiteralErrorMessage = literal => getErrorMessage("Unsupported literal", `literal value: ${Inspectable.formatUnknown(literal)}`);
 /** @internal */
 export const getASTDuplicateIndexSignatureErrorMessage = type => getErrorMessage("Duplicate index signature", `${type} index signature`);
 /** @internal */
@@ -77,9 +78,9 @@ export const getASTIndexSignatureParameterErrorMessage = /*#__PURE__*/getErrorMe
 /** @internal */
 export const getASTRequiredElementFollowinAnOptionalElementErrorMessage = /*#__PURE__*/getErrorMessage("Invalid element", "A required element cannot follow an optional element. ts(1257)");
 /** @internal */
-export const getASTDuplicatePropertySignatureTransformationErrorMessage = key => getErrorMessage("Duplicate property signature transformation", `Duplicate key ${util_.formatUnknown(key)}`);
+export const getASTDuplicatePropertySignatureTransformationErrorMessage = key => getErrorMessage("Duplicate property signature transformation", `Duplicate key ${Inspectable.formatUnknown(key)}`);
 /** @internal */
 export const getASTUnsupportedRenameSchemaErrorMessage = ast => getUnsupportedSchemaErrorMessage(undefined, undefined, ast);
 /** @internal */
-export const getASTDuplicatePropertySignatureErrorMessage = key => getErrorMessage("Duplicate property signature", `Duplicate key ${util_.formatUnknown(key)}`);
+export const getASTDuplicatePropertySignatureErrorMessage = key => getErrorMessage("Duplicate property signature", `Duplicate key ${Inspectable.formatUnknown(key)}`);
 //# sourceMappingURL=errors.js.map

package/dist/esm/internal/schema/errors.js.map

@@ -1 +1 @@
-{"version":3,"file":"errors.js","names":["array_","util_","getErrorMessage","reason","details","path","ast","out","isNonEmptyReadonlyArray","formatPath","undefined","_tag","getInvalidArgumentErrorMessage","getUnsupportedSchemaErrorMessage","getMissingAnnotationErrorMessage","getArbitraryUnsupportedErrorMessage","getArbitraryMissingAnnotationErrorMessage","getArbitraryEmptyEnumErrorMessage","getEquivalenceUnsupportedErrorMessage","getJSONSchemaMissingAnnotationErrorMessage","getJSONSchemaMissingIdentifierAnnotationErrorMessage","getJSONSchemaUnsupportedPostRestElementsErrorMessage","getJSONSchemaUnsupportedKeyErrorMessage","key","formatPropertyKey","getPrettyMissingAnnotationErrorMessage","getPrettyNeverErrorMessage","getPrettyNoMatchingSchemaErrorMessage","actual","formatUnknown","getSchemaExtendErrorMessage","x","y","getSchemaUnsupportedLiteralSpanErrorMessage","getASTUnsupportedSchemaErrorMessage","getASTUnsupportedKeySchemaErrorMessage","getASTUnsupportedLiteralErrorMessage","literal","getASTDuplicateIndexSignatureErrorMessage","type","getASTIndexSignatureParameterErrorMessage","getASTRequiredElementFollowinAnOptionalElementErrorMessage","getASTDuplicatePropertySignatureTransformationErrorMessage","getASTUnsupportedRenameSchemaErrorMessage","getASTDuplicatePropertySignatureErrorMessage"],"sources":["../../../../src/internal/schema/errors.ts"],"sourcesContent":[null],"mappings":"AAAA,OAAO,KAAKA,MAAM,MAAM,gBAAgB;AAExC,OAAO,KAAKC,KAAK,MAAM,WAAW;AAElC,MAAMC,eAAe,GAAGA,CACtBC,MAAc,EACdC,OAAgB,EAChBC,IAAiC,EACjCC,GAAa,KACH;EACV,IAAIC,GAAG,GAAGJ,MAAM;EAEhB,IAAIE,IAAI,IAAIL,MAAM,CAACQ,uBAAuB,CAACH,IAAI,CAAC,EAAE;IAChDE,GAAG,IAAI,cAAcN,KAAK,CAACQ,UAAU,CAACJ,IAAI,CAAC,EAAE;EAC/C;EAEA,IAAID,OAAO,KAAKM,SAAS,EAAE;IACzBH,GAAG,IAAI,cAAcH,OAAO,EAAE;EAChC;EAEA,IAAIE,GAAG,EAAE;IACPC,GAAG,IAAI,aAAaD,GAAG,CAACK,IAAI,MAAML,GAAG,EAAE;EACzC;EAEA,OAAOC,GAAG;AACZ,CAAC;AAED;AACA;AACA;AAEA;AACA,OAAO,MAAMK,8BAA8B,GAAIR,OAAe,IAAKF,eAAe,CAAC,kBAAkB,EAAEE,OAAO,CAAC;AAE/G,MAAMS,gCAAgC,GAAGA,CAACT,OAAgB,EAAEC,IAAiC,EAAEC,GAAa,KAC1GJ,eAAe,CAAC,oBAAoB,EAAEE,OAAO,EAAEC,IAAI,EAAEC,GAAG,CAAC;AAE3D,MAAMQ,gCAAgC,GAAGA,CAACV,OAAgB,EAAEC,IAAiC,EAAEC,GAAa,KAC1GJ,eAAe,CAAC,oBAAoB,EAAEE,OAAO,EAAEC,IAAI,EAAEC,GAAG,CAAC;AAE3D;AACA;AACA;AAEA;AACA,OAAO,MAAMS,mCAAmC,GAAGA,CAACV,IAAgC,EAAEC,GAAY,KAChGO,gCAAgC,CAAC,2CAA2C,EAAER,IAAI,EAAEC,GAAG,CAAC;AAE1F;AACA,OAAO,MAAMU,yCAAyC,GAAGA,CACvDX,IAAgC,EAChCC,GAAY,KAEZQ,gCAAgC,CAC9B,4EAA4E,EAC5ET,IAAI,EACJC,GAAG,CACJ;AAEH;AACA,OAAO,MAAMW,iCAAiC,GAAIZ,IAAgC,IAChFH,eAAe,CAAC,oBAAoB,EAAE,oEAAoE,EAAEG,IAAI,CAAC;AAEnH;AACA;AACA;AAEA;AACA,OAAO,MAAMa,qCAAqC,GAAGA,CAACZ,GAAY,EAAED,IAAgC,KAClGQ,gCAAgC,CAAC,6BAA6B,EAAER,IAAI,EAAEC,GAAG,CAAC;AAE5E;AACA;AACA;AAEA;AACA,OAAO,MAAMa,0CAA0C,GAAGA,CACxDd,IAAgC,EAChCC,GAAY,KAEZQ,gCAAgC,CAC9B,6EAA6E,EAC7ET,IAAI,EACJC,GAAG,CACJ;AAEH;AACA,OAAO,MAAMc,oDAAoD,GAAGA,CAClEf,IAAgC,EAChCC,GAAY,KAEZQ,gCAAgC,CAC9B,8EAA8E,EAC9ET,IAAI,EACJC,GAAG,CACJ;AAEH;AACA,OAAO,MAAMe,oDAAoD,GAAIhB,IAAgC,IACnGH,eAAe,CACb,uIAAuI,EACvIQ,SAAS,EACTL,IAAI,CACL;AAEH;AACA,OAAO,MAAMiB,uCAAuC,GAAGA,CAACC,GAAgB,EAAElB,IAAgC,KACxGH,eAAe,CAAC,iBAAiB,EAAE,iBAAiBD,KAAK,CAACuB,iBAAiB,CAACD,GAAG,CAAC,qBAAqB,EAAElB,IAAI,CAAC;AAE9G;AACA;AACA;AAEA;AACA,OAAO,MAAMoB,sCAAsC,GAAGA,CACpDpB,IAAgC,EAChCC,GAAY,KACTQ,gCAAgC,CAAC,oEAAoE,EAAET,IAAI,EAAEC,GAAG,CAAC;AAEtH;AACA,OAAO,MAAMoB,0BAA0B,GAAG,qCAAqC;AAE/E;AACA,OAAO,MAAMC,qCAAqC,GAAGA,CACnDC,MAAe,EACfvB,IAAgC,EAChCC,GAAY,KACTJ,eAAe,CAAC,kBAAkB,EAAE,qCAAqCD,KAAK,CAAC4B,aAAa,CAACD,MAAM,CAAC,EAAE,EAAEvB,IAAI,EAAEC,GAAG,CAAC;AAEvH;AACA;AACA;AAEA;AACA,OAAO,MAAMwB,2BAA2B,GAAGA,CAACC,CAAU,EAAEC,CAAU,EAAE3B,IAAgC,KAClGH,eAAe,CAAC,yCAAyC,EAAE,iBAAiB6B,CAAC,SAASC,CAAC,EAAE,EAAE3B,IAAI,CAAC;AAElG;AACA,OAAO,MAAM4B,2CAA2C,GAAI3B,GAAY,IACtEJ,eAAe,CAAC,mCAAmC,EAAEQ,SAAS,EAAEA,SAAS,EAAEJ,GAAG,CAAC;AAEjF;AACA;AACA;AAEA;AACA,OAAO,MAAM4B,mCAAmC,GAAI5B,GAAY,IAC9DO,gCAAgC,CAACH,SAAS,EAAEA,SAAS,EAAEJ,GAAG,CAAC;AAE7D;AACA,OAAO,MAAM6B,sCAAsC,GAAI7B,GAAY,IACjEJ,eAAe,CAAC,wBAAwB,EAAEQ,SAAS,EAAEA,SAAS,EAAEJ,GAAG,CAAC;AAEtE;AACA,OAAO,MAAM8B,oCAAoC,GAAIC,OAAyB,IAC5EnC,eAAe,CAAC,qBAAqB,EAAE,kBAAkBD,KAAK,CAAC4B,aAAa,CAACQ,OAAO,CAAC,EAAE,CAAC;AAE1F;AACA,OAAO,MAAMC,yCAAyC,GAAIC,IAAyB,IACjFrC,eAAe,CAAC,2BAA2B,EAAE,GAAGqC,IAAI,kBAAkB,CAAC;AAEzE;AACA,OAAO,MAAMC,yCAAyC,gBAAGtC,eAAe,CACtE,uCAAuC,EACvC,6HAA6H,CAC9H;AAED;AACA,OAAO,MAAMuC,0DAA0D,gBAAGvC,eAAe,CACvF,iBAAiB,EACjB,gEAAgE,CACjE;AAED;AACA,OAAO,MAAMwC,0DAA0D,GAAInB,GAAgB,IACzFrB,eAAe,CAAC,6CAA6C,EAAE,iBAAiBD,KAAK,CAAC4B,aAAa,CAACN,GAAG,CAAC,EAAE,CAAC;AAE7G;AACA,OAAO,MAAMoB,yCAAyC,GAAIrC,GAAY,IACpEO,gCAAgC,CAACH,SAAS,EAAEA,SAAS,EAAEJ,GAAG,CAAC;AAE7D;AACA,OAAO,MAAMsC,4CAA4C,GAAIrB,GAAgB,IAC3ErB,eAAe,CAAC,8BAA8B,EAAE,iBAAiBD,KAAK,CAAC4B,aAAa,CAACN,GAAG,CAAC,EAAE,CAAC","ignoreList":[]}
+{"version":3,"file":"errors.js","names":["array_","Inspectable","util_","getErrorMessage","reason","details","path","ast","out","isNonEmptyReadonlyArray","formatPath","undefined","_tag","getInvalidArgumentErrorMessage","getUnsupportedSchemaErrorMessage","getMissingAnnotationErrorMessage","getArbitraryUnsupportedErrorMessage","getArbitraryMissingAnnotationErrorMessage","getArbitraryEmptyEnumErrorMessage","getEquivalenceUnsupportedErrorMessage","getJSONSchemaMissingAnnotationErrorMessage","getJSONSchemaMissingIdentifierAnnotationErrorMessage","getJSONSchemaUnsupportedPostRestElementsErrorMessage","getJSONSchemaUnsupportedKeyErrorMessage","key","formatPropertyKey","getPrettyMissingAnnotationErrorMessage","getPrettyNeverErrorMessage","getPrettyNoMatchingSchemaErrorMessage","actual","formatUnknown","getSchemaExtendErrorMessage","x","y","getSchemaUnsupportedLiteralSpanErrorMessage","getASTUnsupportedSchemaErrorMessage","getASTUnsupportedKeySchemaErrorMessage","getASTUnsupportedLiteralErrorMessage","literal","getASTDuplicateIndexSignatureErrorMessage","type","getASTIndexSignatureParameterErrorMessage","getASTRequiredElementFollowinAnOptionalElementErrorMessage","getASTDuplicatePropertySignatureTransformationErrorMessage","getASTUnsupportedRenameSchemaErrorMessage","getASTDuplicatePropertySignatureErrorMessage"],"sources":["../../../../src/internal/schema/errors.ts"],"sourcesContent":[null],"mappings":"AAAA,OAAO,KAAKA,MAAM,MAAM,gBAAgB;AACxC,OAAO,KAAKC,WAAW,MAAM,sBAAsB;AAEnD,OAAO,KAAKC,KAAK,MAAM,WAAW;AAElC,MAAMC,eAAe,GAAGA,CACtBC,MAAc,EACdC,OAAgB,EAChBC,IAAiC,EACjCC,GAAa,KACH;EACV,IAAIC,GAAG,GAAGJ,MAAM;EAEhB,IAAIE,IAAI,IAAIN,MAAM,CAACS,uBAAuB,CAACH,IAAI,CAAC,EAAE;IAChDE,GAAG,IAAI,cAAcN,KAAK,CAACQ,UAAU,CAACJ,IAAI,CAAC,EAAE;EAC/C;EAEA,IAAID,OAAO,KAAKM,SAAS,EAAE;IACzBH,GAAG,IAAI,cAAcH,OAAO,EAAE;EAChC;EAEA,IAAIE,GAAG,EAAE;IACPC,GAAG,IAAI,aAAaD,GAAG,CAACK,IAAI,MAAML,GAAG,EAAE;EACzC;EAEA,OAAOC,GAAG;AACZ,CAAC;AAED;AACA;AACA;AAEA;AACA,OAAO,MAAMK,8BAA8B,GAAIR,OAAe,IAAKF,eAAe,CAAC,kBAAkB,EAAEE,OAAO,CAAC;AAE/G,MAAMS,gCAAgC,GAAGA,CAACT,OAAgB,EAAEC,IAAiC,EAAEC,GAAa,KAC1GJ,eAAe,CAAC,oBAAoB,EAAEE,OAAO,EAAEC,IAAI,EAAEC,GAAG,CAAC;AAE3D,MAAMQ,gCAAgC,GAAGA,CAACV,OAAgB,EAAEC,IAAiC,EAAEC,GAAa,KAC1GJ,eAAe,CAAC,oBAAoB,EAAEE,OAAO,EAAEC,IAAI,EAAEC,GAAG,CAAC;AAE3D;AACA;AACA;AAEA;AACA,OAAO,MAAMS,mCAAmC,GAAGA,CAACV,IAAgC,EAAEC,GAAY,KAChGO,gCAAgC,CAAC,2CAA2C,EAAER,IAAI,EAAEC,GAAG,CAAC;AAE1F;AACA,OAAO,MAAMU,yCAAyC,GAAGA,CACvDX,IAAgC,EAChCC,GAAY,KAEZQ,gCAAgC,CAC9B,4EAA4E,EAC5ET,IAAI,EACJC,GAAG,CACJ;AAEH;AACA,OAAO,MAAMW,iCAAiC,GAAIZ,IAAgC,IAChFH,eAAe,CAAC,oBAAoB,EAAE,oEAAoE,EAAEG,IAAI,CAAC;AAEnH;AACA;AACA;AAEA;AACA,OAAO,MAAMa,qCAAqC,GAAGA,CAACZ,GAAY,EAAED,IAAgC,KAClGQ,gCAAgC,CAAC,6BAA6B,EAAER,IAAI,EAAEC,GAAG,CAAC;AAE5E;AACA;AACA;AAEA;AACA,OAAO,MAAMa,0CAA0C,GAAGA,CACxDd,IAAgC,EAChCC,GAAY,KAEZQ,gCAAgC,CAC9B,6EAA6E,EAC7ET,IAAI,EACJC,GAAG,CACJ;AAEH;AACA,OAAO,MAAMc,oDAAoD,GAAGA,CAClEf,IAAgC,EAChCC,GAAY,KAEZQ,gCAAgC,CAC9B,8EAA8E,EAC9ET,IAAI,EACJC,GAAG,CACJ;AAEH;AACA,OAAO,MAAMe,oDAAoD,GAAIhB,IAAgC,IACnGH,eAAe,CACb,uIAAuI,EACvIQ,SAAS,EACTL,IAAI,CACL;AAEH;AACA,OAAO,MAAMiB,uCAAuC,GAAGA,CAACC,GAAgB,EAAElB,IAAgC,KACxGH,eAAe,CAAC,iBAAiB,EAAE,iBAAiBF,WAAW,CAACwB,iBAAiB,CAACD,GAAG,CAAC,qBAAqB,EAAElB,IAAI,CAAC;AAEpH;AACA;AACA;AAEA;AACA,OAAO,MAAMoB,sCAAsC,GAAGA,CACpDpB,IAAgC,EAChCC,GAAY,KACTQ,gCAAgC,CAAC,oEAAoE,EAAET,IAAI,EAAEC,GAAG,CAAC;AAEtH;AACA,OAAO,MAAMoB,0BAA0B,GAAG,qCAAqC;AAE/E;AACA,OAAO,MAAMC,qCAAqC,GAAGA,CACnDC,MAAe,EACfvB,IAAgC,EAChCC,GAAY,KAEZJ,eAAe,CACb,kBAAkB,EAClB,qCAAqCF,WAAW,CAAC6B,aAAa,CAACD,MAAM,CAAC,EAAE,EACxEvB,IAAI,EACJC,GAAG,CACJ;AAEH;AACA;AACA;AAEA;AACA,OAAO,MAAMwB,2BAA2B,GAAGA,CAACC,CAAU,EAAEC,CAAU,EAAE3B,IAAgC,KAClGH,eAAe,CAAC,yCAAyC,EAAE,iBAAiB6B,CAAC,SAASC,CAAC,EAAE,EAAE3B,IAAI,CAAC;AAElG;AACA,OAAO,MAAM4B,2CAA2C,GAAI3B,GAAY,IACtEJ,eAAe,CAAC,mCAAmC,EAAEQ,SAAS,EAAEA,SAAS,EAAEJ,GAAG,CAAC;AAEjF;AACA;AACA;AAEA;AACA,OAAO,MAAM4B,mCAAmC,GAAI5B,GAAY,IAC9DO,gCAAgC,CAACH,SAAS,EAAEA,SAAS,EAAEJ,GAAG,CAAC;AAE7D;AACA,OAAO,MAAM6B,sCAAsC,GAAI7B,GAAY,IACjEJ,eAAe,CAAC,wBAAwB,EAAEQ,SAAS,EAAEA,SAAS,EAAEJ,GAAG,CAAC;AAEtE;AACA,OAAO,MAAM8B,oCAAoC,GAAIC,OAAyB,IAC5EnC,eAAe,CAAC,qBAAqB,EAAE,kBAAkBF,WAAW,CAAC6B,aAAa,CAACQ,OAAO,CAAC,EAAE,CAAC;AAEhG;AACA,OAAO,MAAMC,yCAAyC,GAAIC,IAAyB,IACjFrC,eAAe,CAAC,2BAA2B,EAAE,GAAGqC,IAAI,kBAAkB,CAAC;AAEzE;AACA,OAAO,MAAMC,yCAAyC,gBAAGtC,eAAe,CACtE,uCAAuC,EACvC,6HAA6H,CAC9H;AAED;AACA,OAAO,MAAMuC,0DAA0D,gBAAGvC,eAAe,CACvF,iBAAiB,EACjB,gEAAgE,CACjE;AAED;AACA,OAAO,MAAMwC,0DAA0D,GAAInB,GAAgB,IACzFrB,eAAe,CAAC,6CAA6C,EAAE,iBAAiBF,WAAW,CAAC6B,aAAa,CAACN,GAAG,CAAC,EAAE,CAAC;AAEnH;AACA,OAAO,MAAMoB,yCAAyC,GAAIrC,GAAY,IACpEO,gCAAgC,CAACH,SAAS,EAAEA,SAAS,EAAEJ,GAAG,CAAC;AAE7D;AACA,OAAO,MAAMsC,4CAA4C,GAAIrB,GAAgB,IAC3ErB,eAAe,CAAC,8BAA8B,EAAE,iBAAiBF,WAAW,CAAC6B,aAAa,CAACN,GAAG,CAAC,EAAE,CAAC","ignoreList":[]}

package/dist/esm/internal/schema/util.js

@@ -1,4 +1,4 @@
-import * as Predicate from "../../Predicate.js";
+import * as Inspectable from "../../Inspectable.js";
 /** @internal */
 export const getKeysForIndexSignature = (input, parameter) => {
   switch (parameter._tag) {
@@ -25,81 +25,11 @@ export const memoizeThunk = f => {
   };
 };
 /** @internal */
-export const formatDate = date => {
-  try {
-    return date.toISOString();
-  } catch {
-    return String(date);
-  }
-};
-const CIRCULAR = "[Circular]";
-/** @internal */
-export function formatUnknown(input, whitespace = 0) {
-  const seen = new WeakSet();
-  const gap = !whitespace ? "" : typeof whitespace === "number" ? " ".repeat(whitespace) : whitespace;
-  const ind = d => gap.repeat(d);
-  const safeToString = x => {
-    try {
-      const s = x.toString();
-      return typeof s === "string" ? s : String(s);
-    } catch {
-      return "[toString threw]";
-    }
-  };
-  const wrap = (v, body) => {
-    const ctor = v?.constructor;
-    return ctor && ctor !== Object.prototype.constructor && ctor.name ? `${ctor.name}(${body})` : body;
-  };
-  const ownKeys = o => {
-    try {
-      return Reflect.ownKeys(o);
-    } catch {
-      return ["[ownKeys threw]"];
-    }
-  };
-  function go(v, d = 0) {
-    if (Array.isArray(v)) {
-      if (seen.has(v)) return CIRCULAR;
-      seen.add(v);
-      if (!gap || v.length <= 1) return `[${v.map(x => go(x, d)).join(",")}]`;
-      const inner = v.map(x => go(x, d + 1)).join(",\n" + ind(d + 1));
-      return `[\n${ind(d + 1)}${inner}\n${ind(d)}]`;
-    }
-    if (Predicate.isDate(v)) return formatDate(v);
-    if (Predicate.hasProperty(v, "toString") && Predicate.isFunction(v["toString"]) && v["toString"] !== Object.prototype.toString) return safeToString(v);
-    if (Predicate.isString(v)) return JSON.stringify(v);
-    if (Predicate.isNumber(v) || v == null || Predicate.isBoolean(v) || Predicate.isSymbol(v)) return String(v);
-    if (Predicate.isBigInt(v)) return String(v) + "n";
-    if (v instanceof Set || v instanceof Map) {
-      if (seen.has(v)) return CIRCULAR;
-      seen.add(v);
-      return `${v.constructor.name}(${go(Array.from(v), d)})`;
-    }
-    if (Predicate.isObject(v)) {
-      if (seen.has(v)) return CIRCULAR;
-      seen.add(v);
-      const keys = ownKeys(v);
-      if (!gap || keys.length <= 1) {
-        const body = `{${keys.map(k => `${formatPropertyKey(k)}:${go(v[k], d)}`).join(",")}}`;
-        return wrap(v, body);
-      }
-      const body = `{\n${keys.map(k => `${ind(d + 1)}${formatPropertyKey(k)}: ${go(v[k], d + 1)}`).join(",\n")}\n${ind(d)}}`;
-      return wrap(v, body);
-    }
-    return String(v);
-  }
-  return go(input, 0);
-}
-/** @internal */
-export function formatPropertyKey(name) {
-  return Predicate.isString(name) ? JSON.stringify(name) : String(name);
-}
-/** @internal */
 export const isNonEmpty = x => Array.isArray(x);
 /** @internal */
 export const isSingle = x => !Array.isArray(x);
 /** @internal */
-export const formatPathKey = key => `[${formatPropertyKey(key)}]`;
+export const formatPathKey = key => `[${Inspectable.formatPropertyKey(key)}]`;
 /** @internal */
 export const formatPath = path => isNonEmpty(path) ? path.map(formatPathKey).join("") : formatPathKey(path);
 //# sourceMappingURL=util.js.map

package/dist/esm/internal/schema/util.js.map

@@ -1 +1 @@
-{"version":3,"file":"util.js","names":["Predicate","getKeysForIndexSignature","input","parameter","_tag","Object","keys","getOwnPropertySymbols","from","memoizeThunk","f","done","a","formatDate","date","toISOString","String","CIRCULAR","formatUnknown","whitespace","seen","WeakSet","gap","repeat","ind","d","safeToString","x","s","toString","wrap","v","body","ctor","constructor","prototype","name","ownKeys","o","Reflect","go","Array","isArray","has","add","length","map","join","inner","isDate","hasProperty","isFunction","isString","JSON","stringify","isNumber","isBoolean","isSymbol","isBigInt","Set","Map","isObject","k","formatPropertyKey","isNonEmpty","isSingle","formatPathKey","key","formatPath","path"],"sources":["../../../../src/internal/schema/util.ts"],"sourcesContent":[null],"mappings":"AAEA,OAAO,KAAKA,SAAS,MAAM,oBAAoB;AAG/C;AACA,OAAO,MAAMC,wBAAwB,GAAGA,CACtCC,KAA6C,EAC7CC,SAAwB,KACyB;EACjD,QAAQA,SAAS,CAACC,IAAI;IACpB,KAAK,eAAe;IACpB,KAAK,iBAAiB;MACpB,OAAOC,MAAM,CAACC,IAAI,CAACJ,KAAK,CAAC;IAC3B,KAAK,eAAe;MAClB,OAAOG,MAAM,CAACE,qBAAqB,CAACL,KAAK,CAAC;IAC5C,KAAK,YAAY;MACf,OAAOD,wBAAwB,CAACC,KAAK,EAAEC,SAAS,CAACK,IAAI,CAAC;EAC1D;AACF,CAAC;AAED;AACA,OAAO,MAAMC,YAAY,GAAOC,CAAU,IAAa;EACrD,IAAIC,IAAI,GAAG,KAAK;EAChB,IAAIC,CAAI;EACR,OAAO,MAAK;IACV,IAAID,IAAI,EAAE;MACR,OAAOC,CAAC;IACV;IACAA,CAAC,GAAGF,CAAC,EAAE;IACPC,IAAI,GAAG,IAAI;IACX,OAAOC,CAAC;EACV,CAAC;AACH,CAAC;AAED;AACA,OAAO,MAAMC,UAAU,GAAIC,IAAU,IAAY;EAC/C,IAAI;IACF,OAAOA,IAAI,CAACC,WAAW,EAAE;EAC3B,CAAC,CAAC,MAAM;IACN,OAAOC,MAAM,CAACF,IAAI,CAAC;EACrB;AACF,CAAC;AAED,MAAMG,QAAQ,GAAG,YAAY;AAE7B;AACA,OAAM,SAAUC,aAAaA,CAAChB,KAAc,EAAEiB,UAAA,GAA0C,CAAC;EACvF,MAAMC,IAAI,GAAG,IAAIC,OAAO,EAAU;EAClC,MAAMC,GAAG,GAAG,CAACH,UAAU,GAAG,EAAE,GAAI,OAAOA,UAAU,KAAK,QAAQ,GAAG,GAAG,CAACI,MAAM,CAACJ,UAAU,CAAC,GAAGA,UAAW;EACrG,MAAMK,GAAG,GAAIC,CAAS,IAAKH,GAAG,CAACC,MAAM,CAACE,CAAC,CAAC;EAExC,MAAMC,YAAY,GAAIC,CAAM,IAAY;IACtC,IAAI;MACF,MAAMC,CAAC,GAAGD,CAAC,CAACE,QAAQ,EAAE;MACtB,OAAO,OAAOD,CAAC,KAAK,QAAQ,GAAGA,CAAC,GAAGZ,MAAM,CAACY,CAAC,CAAC;IAC9C,CAAC,CAAC,MAAM;MACN,OAAO,kBAAkB;IAC3B;EACF,CAAC;EAED,MAAME,IAAI,GAAGA,CAACC,CAAU,EAAEC,IAAY,KAAY;IAChD,MAAMC,IAAI,GAAIF,CAAS,EAAEG,WAAW;IACpC,OAAOD,IAAI,IAAIA,IAAI,KAAK5B,MAAM,CAAC8B,SAAS,CAACD,WAAW,IAAID,IAAI,CAACG,IAAI,GAAG,GAAGH,IAAI,CAACG,IAAI,IAAIJ,IAAI,GAAG,GAAGA,IAAI;EACpG,CAAC;EAED,MAAMK,OAAO,GAAIC,CAAS,IAAwB;IAChD,IAAI;MACF,OAAOC,OAAO,CAACF,OAAO,CAACC,CAAC,CAAC;IAC3B,CAAC,CAAC,MAAM;MACN,OAAO,CAAC,iBAAiB,CAAC;IAC5B;EACF,CAAC;EAED,SAASE,EAAEA,CAACT,CAAU,EAAEN,CAAC,GAAG,CAAC;IAC3B,IAAIgB,KAAK,CAACC,OAAO,CAACX,CAAC,CAAC,EAAE;MACpB,IAAIX,IAAI,CAACuB,GAAG,CAACZ,CAAC,CAAC,EAAE,OAAOd,QAAQ;MAChCG,IAAI,CAACwB,GAAG,CAACb,CAAC,CAAC;MACX,IAAI,CAACT,GAAG,IAAIS,CAAC,CAACc,MAAM,IAAI,CAAC,EAAE,OAAO,IAAId,CAAC,CAACe,GAAG,CAAEnB,CAAC,IAAKa,EAAE,CAACb,CAAC,EAAEF,CAAC,CAAC,CAAC,CAACsB,IAAI,CAAC,GAAG,CAAC,GAAG;MACzE,MAAMC,KAAK,GAAGjB,CAAC,CAACe,GAAG,CAAEnB,CAAC,IAAKa,EAAE,CAACb,CAAC,EAAEF,CAAC,GAAG,CAAC,CAAC,CAAC,CAACsB,IAAI,CAAC,KAAK,GAAGvB,GAAG,CAACC,CAAC,GAAG,CAAC,CAAC,CAAC;MACjE,OAAO,MAAMD,GAAG,CAACC,CAAC,GAAG,CAAC,CAAC,GAAGuB,KAAK,KAAKxB,GAAG,CAACC,CAAC,CAAC,GAAG;IAC/C;IAEA,IAAIzB,SAAS,CAACiD,MAAM,CAAClB,CAAC,CAAC,EAAE,OAAOlB,UAAU,CAACkB,CAAC,CAAC;IAE7C,IACE/B,SAAS,CAACkD,WAAW,CAACnB,CAAC,EAAE,UAAU,CAAC,IACpC/B,SAAS,CAACmD,UAAU,CAAEpB,CAAS,CAAC,UAAU,CAAC,CAAC,IAC3CA,CAAS,CAAC,UAAU,CAAC,KAAK1B,MAAM,CAAC8B,SAAS,CAACN,QAAQ,EACpD,OAAOH,YAAY,CAACK,CAAC,CAAC;IAExB,IAAI/B,SAAS,CAACoD,QAAQ,CAACrB,CAAC,CAAC,EAAE,OAAOsB,IAAI,CAACC,SAAS,CAACvB,CAAC,CAAC;IAEnD,IACE/B,SAAS,CAACuD,QAAQ,CAACxB,CAAC,CAAC,IACrBA,CAAC,IAAI,IAAI,IACT/B,SAAS,CAACwD,SAAS,CAACzB,CAAC,CAAC,IACtB/B,SAAS,CAACyD,QAAQ,CAAC1B,CAAC,CAAC,EACrB,OAAOf,MAAM,CAACe,CAAC,CAAC;IAElB,IAAI/B,SAAS,CAAC0D,QAAQ,CAAC3B,CAAC,CAAC,EAAE,OAAOf,MAAM,CAACe,CAAC,CAAC,GAAG,GAAG;IAEjD,IAAIA,CAAC,YAAY4B,GAAG,IAAI5B,CAAC,YAAY6B,GAAG,EAAE;MACxC,IAAIxC,IAAI,CAACuB,GAAG,CAACZ,CAAC,CAAC,EAAE,OAAOd,QAAQ;MAChCG,IAAI,CAACwB,GAAG,CAACb,CAAC,CAAC;MACX,OAAO,GAAGA,CAAC,CAACG,WAAW,CAACE,IAAI,IAAII,EAAE,CAACC,KAAK,CAACjC,IAAI,CAACuB,CAAC,CAAC,EAAEN,CAAC,CAAC,GAAG;IACzD;IAEA,IAAIzB,SAAS,CAAC6D,QAAQ,CAAC9B,CAAC,CAAC,EAAE;MACzB,IAAIX,IAAI,CAACuB,GAAG,CAACZ,CAAC,CAAC,EAAE,OAAOd,QAAQ;MAChCG,IAAI,CAACwB,GAAG,CAACb,CAAC,CAAC;MACX,MAAMzB,IAAI,GAAG+B,OAAO,CAACN,CAAC,CAAC;MACvB,IAAI,CAACT,GAAG,IAAIhB,IAAI,CAACuC,MAAM,IAAI,CAAC,EAAE;QAC5B,MAAMb,IAAI,GAAG,IAAI1B,IAAI,CAACwC,GAAG,CAAEgB,CAAC,IAAK,GAAGC,iBAAiB,CAACD,CAAC,CAAC,IAAItB,EAAE,CAAET,CAAS,CAAC+B,CAAC,CAAC,EAAErC,CAAC,CAAC,EAAE,CAAC,CAACsB,IAAI,CAAC,GAAG,CAAC,GAAG;QAChG,OAAOjB,IAAI,CAACC,CAAC,EAAEC,IAAI,CAAC;MACtB;MACA,MAAMA,IAAI,GAAG,MACX1B,IAAI,CAACwC,GAAG,CAAEgB,CAAC,IAAK,GAAGtC,GAAG,CAACC,CAAC,GAAG,CAAC,CAAC,GAAGsC,iBAAiB,CAACD,CAAC,CAAC,KAAKtB,EAAE,CAAET,CAAS,CAAC+B,CAAC,CAAC,EAAErC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAACsB,IAAI,CAAC,KAAK,CACjG,KAAKvB,GAAG,CAACC,CAAC,CAAC,GAAG;MACd,OAAOK,IAAI,CAACC,CAAC,EAAEC,IAAI,CAAC;IACtB;IAEA,OAAOhB,MAAM,CAACe,CAAC,CAAC;EAClB;EAEA,OAAOS,EAAE,CAACtC,KAAK,EAAE,CAAC,CAAC;AACrB;AAEA;AACA,OAAM,SAAU6D,iBAAiBA,CAAC3B,IAAiB;EACjD,OAAOpC,SAAS,CAACoD,QAAQ,CAAChB,IAAI,CAAC,GAAGiB,IAAI,CAACC,SAAS,CAAClB,IAAI,CAAC,GAAGpB,MAAM,CAACoB,IAAI,CAAC;AACvE;AAKA;AACA,OAAO,MAAM4B,UAAU,GAAOrC,CAAkC,IAAoCc,KAAK,CAACC,OAAO,CAACf,CAAC,CAAC;AAEpH;AACA,OAAO,MAAMsC,QAAQ,GAAOtC,CAAuB,IAAa,CAACc,KAAK,CAACC,OAAO,CAACf,CAAC,CAAC;AAEjF;AACA,OAAO,MAAMuC,aAAa,GAAIC,GAAgB,IAAa,IAAIJ,iBAAiB,CAACI,GAAG,CAAC,GAAG;AAExF;AACA,OAAO,MAAMC,UAAU,GAAIC,IAAsB,IAC/CL,UAAU,CAACK,IAAI,CAAC,GAAGA,IAAI,CAACvB,GAAG,CAACoB,aAAa,CAAC,CAACnB,IAAI,CAAC,EAAE,CAAC,GAAGmB,aAAa,CAACG,IAAI,CAAC","ignoreList":[]}
+{"version":3,"file":"util.js","names":["Inspectable","getKeysForIndexSignature","input","parameter","_tag","Object","keys","getOwnPropertySymbols","from","memoizeThunk","f","done","a","isNonEmpty","x","Array","isArray","isSingle","formatPathKey","key","formatPropertyKey","formatPath","path","map","join"],"sources":["../../../../src/internal/schema/util.ts"],"sourcesContent":[null],"mappings":"AACA,OAAO,KAAKA,WAAW,MAAM,sBAAsB;AAInD;AACA,OAAO,MAAMC,wBAAwB,GAAGA,CACtCC,KAA6C,EAC7CC,SAAwB,KACyB;EACjD,QAAQA,SAAS,CAACC,IAAI;IACpB,KAAK,eAAe;IACpB,KAAK,iBAAiB;MACpB,OAAOC,MAAM,CAACC,IAAI,CAACJ,KAAK,CAAC;IAC3B,KAAK,eAAe;MAClB,OAAOG,MAAM,CAACE,qBAAqB,CAACL,KAAK,CAAC;IAC5C,KAAK,YAAY;MACf,OAAOD,wBAAwB,CAACC,KAAK,EAAEC,SAAS,CAACK,IAAI,CAAC;EAC1D;AACF,CAAC;AAED;AACA,OAAO,MAAMC,YAAY,GAAOC,CAAU,IAAa;EACrD,IAAIC,IAAI,GAAG,KAAK;EAChB,IAAIC,CAAI;EACR,OAAO,MAAK;IACV,IAAID,IAAI,EAAE;MACR,OAAOC,CAAC;IACV;IACAA,CAAC,GAAGF,CAAC,EAAE;IACPC,IAAI,GAAG,IAAI;IACX,OAAOC,CAAC;EACV,CAAC;AACH,CAAC;AAKD;AACA,OAAO,MAAMC,UAAU,GAAOC,CAAkC,IAAoCC,KAAK,CAACC,OAAO,CAACF,CAAC,CAAC;AAEpH;AACA,OAAO,MAAMG,QAAQ,GAAOH,CAAuB,IAAa,CAACC,KAAK,CAACC,OAAO,CAACF,CAAC,CAAC;AAEjF;AACA,OAAO,MAAMI,aAAa,GAAIC,GAAgB,IAAa,IAAInB,WAAW,CAACoB,iBAAiB,CAACD,GAAG,CAAC,GAAG;AAEpG;AACA,OAAO,MAAME,UAAU,GAAIC,IAAsB,IAC/CT,UAAU,CAACS,IAAI,CAAC,GAAGA,IAAI,CAACC,GAAG,CAACL,aAAa,CAAC,CAACM,IAAI,CAAC,EAAE,CAAC,GAAGN,aAAa,CAACI,IAAI,CAAC","ignoreList":[]}

package/dist/esm/internal/version.js

@@ -1,4 +1,4 @@
-let moduleVersion = "3.19.2";
+let moduleVersion = "3.19.4";
 export const getCurrentVersion = () => moduleVersion;
 export const setCurrentVersion = version => {
   moduleVersion = version;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "effect",
-  "version": "3.19.2",
+  "version": "3.19.4",
   "description": "The missing standard library for TypeScript, for writing production-grade software.",
   "license": "MIT",
   "repository": {
@@ -492,6 +492,11 @@
       "import": "./dist/esm/ParseResult.js",
       "default": "./dist/cjs/ParseResult.js"
     },
+    "./PartitionedSemaphore": {
+      "types": "./dist/dts/PartitionedSemaphore.d.ts",
+      "import": "./dist/esm/PartitionedSemaphore.js",
+      "default": "./dist/cjs/PartitionedSemaphore.js"
+    },
     "./Pipeable": {
       "types": "./dist/dts/Pipeable.d.ts",
       "import": "./dist/esm/Pipeable.js",
@@ -1189,6 +1194,9 @@
       "ParseResult": [
         "./dist/dts/ParseResult.d.ts"
       ],
+      "PartitionedSemaphore": [
+        "./dist/dts/PartitionedSemaphore.d.ts"
+      ],
       "Pipeable": [
         "./dist/dts/Pipeable.d.ts"
       ],

package/src/Inspectable.ts

@@ -3,7 +3,7 @@
  */
 import type * as FiberRefs from "./FiberRefs.js"
 import { globalValue } from "./GlobalValue.js"
-import { hasProperty, isFunction } from "./Predicate.js"
+import * as Predicate from "./Predicate.js"
 
 /**
  * @since 2.0.0
@@ -33,7 +33,7 @@ export interface Inspectable {
 export const toJSON = (x: unknown): unknown => {
   try {
     if (
-      hasProperty(x, "toJSON") && isFunction(x["toJSON"]) &&
+      Predicate.hasProperty(x, "toJSON") && Predicate.isFunction(x["toJSON"]) &&
       x["toJSON"].length === 0
     ) {
       return x.toJSON()
@@ -46,6 +46,119 @@ export const toJSON = (x: unknown): unknown => {
   return redact(x)
 }
 
+const CIRCULAR = "[Circular]"
+
+/** @internal */
+export function formatDate(date: Date): string {
+  try {
+    return date.toISOString()
+  } catch {
+    return "Invalid Date"
+  }
+}
+
+function safeToString(input: any): string {
+  try {
+    const s = input.toString()
+    return typeof s === "string" ? s : String(s)
+  } catch {
+    return "[toString threw]"
+  }
+}
+
+/** @internal */
+export function formatPropertyKey(name: PropertyKey): string {
+  return Predicate.isString(name) ? JSON.stringify(name) : String(name)
+}
+
+/** @internal */
+export function formatUnknown(
+  input: unknown,
+  options?: {
+    readonly space?: number | string | undefined
+    readonly ignoreToString?: boolean | undefined
+  }
+): string {
+  const space = options?.space ?? 0
+  const seen = new WeakSet<object>()
+  const gap = !space ? "" : (Predicate.isNumber(space) ? " ".repeat(space) : space)
+  const ind = (d: number) => gap.repeat(d)
+
+  const wrap = (v: unknown, body: string): string => {
+    const ctor = (v as any)?.constructor
+    return ctor && ctor !== Object.prototype.constructor && ctor.name ? `${ctor.name}(${body})` : body
+  }
+
+  const ownKeys = (o: object): Array<PropertyKey> => {
+    try {
+      return Reflect.ownKeys(o)
+    } catch {
+      return ["[ownKeys threw]"]
+    }
+  }
+
+  function go(v: unknown, d = 0): string {
+    if (Array.isArray(v)) {
+      if (seen.has(v)) return CIRCULAR
+      seen.add(v)
+      if (!gap || v.length <= 1) return `[${v.map((x) => go(x, d)).join(",")}]`
+      const inner = v.map((x) => go(x, d + 1)).join(",\n" + ind(d + 1))
+      return `[\n${ind(d + 1)}${inner}\n${ind(d)}]`
+    }
+
+    if (Predicate.isDate(v)) return formatDate(v)
+
+    if (
+      !options?.ignoreToString &&
+      Predicate.hasProperty(v, "toString") &&
+      Predicate.isFunction(v["toString"]) &&
+      v["toString"] !== Object.prototype.toString &&
+      v["toString"] !== Array.prototype.toString
+    ) {
+      const s = safeToString(v)
+      if (v instanceof Error && v.cause) {
+        return `${s} (cause: ${go(v.cause, d)})`
+      }
+      return s
+    }
+
+    if (Predicate.isString(v)) return JSON.stringify(v)
+
+    if (
+      Predicate.isNumber(v) ||
+      v == null ||
+      Predicate.isBoolean(v) ||
+      Predicate.isSymbol(v)
+    ) return String(v)
+
+    if (Predicate.isBigInt(v)) return String(v) + "n"
+
+    if (v instanceof Set || v instanceof Map) {
+      if (seen.has(v)) return CIRCULAR
+      seen.add(v)
+      return `${v.constructor.name}(${go(Array.from(v), d)})`
+    }
+
+    if (Predicate.isObject(v)) {
+      if (seen.has(v)) return CIRCULAR
+      seen.add(v)
+      const keys = ownKeys(v)
+      if (!gap || keys.length <= 1) {
+        const body = `{${keys.map((k) => `${formatPropertyKey(k)}:${go((v as any)[k], d)}`).join(",")}}`
+        return wrap(v, body)
+      }
+      const body = `{\n${
+        keys.map((k) => `${ind(d + 1)}${formatPropertyKey(k)}: ${go((v as any)[k], d + 1)}`).join(",\n")
+      }\n${ind(d)}}`
+      return wrap(v, body)
+    }
+
+    return String(v)
+  }
+
+  return go(input, 0)
+}
+
 /**
  * @since 2.0.0
  */

package/src/ParseResult.ts

@@ -1911,7 +1911,7 @@ function getDefaultTypeMessage(issue: Type): string {
     return issue.message
   }
   const expected = AST.isRefinement(issue.ast) ? getRefinementExpected(issue.ast) : String(issue.ast)
-  return `Expected ${expected}, actual ${util_.formatUnknown(issue.actual)}`
+  return `Expected ${expected}, actual ${Inspectable.formatUnknown(issue.actual)}`
 }
 
 const formatTypeMessage = (issue: Type): Effect.Effect<string> =>

package/src/PartitionedSemaphore.ts

@@ -0,0 +1,200 @@
+/**
+ * @since 3.19.4
+ * @experimental
+ */
+import * as Effect from "./Effect.js"
+import * as Iterable from "./Iterable.js"
+import * as MutableHashMap from "./MutableHashMap.js"
+import * as Option from "./Option.js"
+
+/**
+ * @since 3.19.4
+ * @category Models
+ * @experimental
+ */
+export const TypeId: TypeId = "~effect/PartitionedSemaphore"
+
+/**
+ * @since 3.19.4
+ * @category Models
+ * @experimental
+ */
+export type TypeId = "~effect/PartitionedSemaphore"
+
+/**
+ * A `PartitionedSemaphore` is a concurrency primitive that can be used to
+ * control concurrent access to a resource across multiple partitions identified
+ * by keys.
+ *
+ * The total number of permits is shared across all partitions, with waiting
+ * permits equally distributed among partitions using a round-robin strategy.
+ *
+ * This is useful when you want to limit the total number of concurrent accesses
+ * to a resource, while still allowing for fair distribution of access across
+ * different partitions.
+ *
+ * @since 3.19.4
+ * @category Models
+ * @experimental
+ */
+export interface PartitionedSemaphore<in K> {
+  readonly [TypeId]: TypeId
+
+  readonly withPermits: (
+    key: K,
+    permits: number
+  ) => <A, E, R>(effect: Effect.Effect<A, E, R>) => Effect.Effect<A, E, R>
+}
+
+/**
+ * A `PartitionedSemaphore` is a concurrency primitive that can be used to
+ * control concurrent access to a resource across multiple partitions identified
+ * by keys.
+ *
+ * The total number of permits is shared across all partitions, with waiting
+ * permits equally distributed among partitions using a round-robin strategy.
+ *
+ * This is useful when you want to limit the total number of concurrent accesses
+ * to a resource, while still allowing for fair distribution of access across
+ * different partitions.
+ *
+ * @since 3.19.4
+ * @category Constructors
+ * @experimental
+ */
+export const makeUnsafe = <K = unknown>(options: {
+  readonly permits: number
+}): PartitionedSemaphore<K> => {
+  const maxPermits = Math.max(0, options.permits)
+
+  if (!Number.isFinite(maxPermits)) {
+    return {
+      [TypeId]: TypeId,
+      withPermits: () => (effect) => effect
+    }
+  }
+
+  let totalPermits = maxPermits
+  let waitingPermits = 0
+
+  type Waiter = {
+    permits: number
+    readonly resume: () => void
+  }
+  const partitions = MutableHashMap.empty<K, Set<Waiter>>()
+
+  const take = (key: K, permits: number) =>
+    Effect.async<void>((resume) => {
+      if (maxPermits < permits) {
+        return resume(Effect.never)
+      } else if (totalPermits >= permits) {
+        totalPermits -= permits
+        return resume(Effect.void)
+      }
+
+      const needed = permits - totalPermits
+      const taken = permits - needed
+      if (totalPermits > 0) {
+        totalPermits = 0
+      }
+      waitingPermits += needed
+
+      const waiters = Option.getOrElse(
+        MutableHashMap.get(partitions, key),
+        () => {
+          const set = new Set<Waiter>()
+          MutableHashMap.set(partitions, key, set)
+          return set
+        }
+      )
+
+      const entry: Waiter = {
+        permits: needed,
+        resume() {
+          cleanup()
+          resume(Effect.void)
+        }
+      }
+      function cleanup() {
+        waiters.delete(entry)
+        if (waiters.size === 0) {
+          MutableHashMap.remove(partitions, key)
+        }
+      }
+      waiters.add(entry)
+      return Effect.sync(() => {
+        cleanup()
+        waitingPermits -= entry.permits
+        if (taken > 0) {
+          releaseUnsafe(taken)
+        }
+      })
+    })
+
+  let iterator = partitions[Symbol.iterator]()
+  const releaseUnsafe = (permits: number) => {
+    while (permits > 0) {
+      if (waitingPermits === 0) {
+        totalPermits += permits
+        return
+      }
+
+      let state = iterator.next()
+      if (state.done) {
+        iterator = partitions[Symbol.iterator]()
+        state = iterator.next()
+        if (state.done) return
+      }
+
+      const entry = Iterable.unsafeHead(state.value[1])
+      entry.permits--
+      waitingPermits--
+      if (entry.permits === 0) entry.resume()
+      permits--
+    }
+  }
+
+  return {
+    [TypeId]: TypeId,
+    withPermits: (key, permits) => {
+      const takePermits = take(key, permits)
+      const release: <A, E, R>(effect: Effect.Effect<A, E, R>) => Effect.Effect<A, E, R> = Effect.matchCauseEffect({
+        onFailure(cause) {
+          releaseUnsafe(permits)
+          return Effect.failCause(cause)
+        },
+        onSuccess(value) {
+          releaseUnsafe(permits)
+          return Effect.succeed(value)
+        }
+      })
+      return (effect) =>
+        Effect.uninterruptibleMask((restore) =>
+          Effect.flatMap(
+            restore(takePermits),
+            () => release(restore(effect))
+          )
+        )
+    }
+  }
+}
+
+/**
+ * A `PartitionedSemaphore` is a concurrency primitive that can be used to
+ * control concurrent access to a resource across multiple partitions identified
+ * by keys.
+ *
+ * The total number of permits is shared across all partitions, with waiting
+ * permits equally distributed among partitions using a round-robin strategy.
+ *
+ * This is useful when you want to limit the total number of concurrent accesses
+ * to a resource, while still allowing for fair distribution of access across
+ * different partitions.
+ *
+ * @since 3.19.4
+ * @category Constructors
+ * @experimental
+ */
+export const make = <K = unknown>(options: {
+  readonly permits: number
+}): Effect.Effect<PartitionedSemaphore<K>> => Effect.sync(() => makeUnsafe<K>(options))

package/src/Pretty.ts

@@ -2,6 +2,7 @@
  * @since 3.10.0
  */
 import * as Arr from "./Array.js"
+import * as Inspectable from "./Inspectable.js"
 import * as errors_ from "./internal/schema/errors.js"
 import * as util_ from "./internal/schema/util.js"
 import * as Option from "./Option.js"
@@ -43,7 +44,7 @@ const toString = getMatcher((a) => String(a))
 
 const stringify = getMatcher((a) => JSON.stringify(a))
 
-const formatUnknown = getMatcher(util_.formatUnknown)
+const formatUnknown = getMatcher(Inspectable.formatUnknown)
 
 /**
  * @since 3.10.0
@@ -142,7 +143,7 @@ export const match: AST.Match<Pretty<any>> = {
           continue
         }
         output.push(
-          `${util_.formatPropertyKey(name)}: ${propertySignaturesTypes[i](input[name])}`
+          `${Inspectable.formatPropertyKey(name)}: ${propertySignaturesTypes[i](input[name])}`
         )
       }
       // ---------------------------------------------
@@ -156,7 +157,7 @@ export const match: AST.Match<Pretty<any>> = {
             if (Object.prototype.hasOwnProperty.call(expectedKeys, key)) {
               continue
             }
-            output.push(`${util_.formatPropertyKey(key)}: ${type(input[key])}`)
+            output.push(`${Inspectable.formatPropertyKey(key)}: ${type(input[key])}`)
           }
         }
       }