effect 3.11.9 → 3.11.10

package/dist/esm/Schema.js

@@ -921,6 +921,12 @@ const applyDefaultValue = (o, defaultValue) => option_.match(o, {
   onNone: () => option_.some(defaultValue()),
   onSome: value => option_.some(value === undefined ? defaultValue() : value)
 });
+const pruneUndefined = ast => AST.pruneUndefined(ast, pruneUndefined, ast => {
+  const pruned = pruneUndefined(ast.to);
+  if (pruned) {
+    return new AST.Transformation(ast.from, pruned, ast.transformation);
+  }
+});
 /**
  * Enhances a property signature with a default decoding value.
  *
@@ -931,9 +937,15 @@ export const withDecodingDefault = /*#__PURE__*/dual(2, (self, defaultValue) =>
   const ast = self.ast;
   switch (ast._tag) {
     case "PropertySignatureDeclaration":
-      return makePropertySignature(new PropertySignatureTransformation(ast, new ToPropertySignature(AST.typeAST(ast.type), false, true, {}, undefined), o => applyDefaultValue(o, defaultValue), identity));
+      {
+        const to = AST.typeAST(ast.type);
+        return makePropertySignature(new PropertySignatureTransformation(new FromPropertySignature(ast.type, ast.isOptional, ast.isReadonly, ast.annotations), new ToPropertySignature(pruneUndefined(to) ?? to, false, true, {}, ast.defaultValue), o => applyDefaultValue(o, defaultValue), identity));
+      }
     case "PropertySignatureTransformation":
-      return makePropertySignature(new PropertySignatureTransformation(ast.from, new ToPropertySignature(ast.to.type, false, ast.to.isReadonly, ast.to.annotations, ast.to.defaultValue), o => applyDefaultValue(ast.decode(o), defaultValue), ast.encode));
+      {
+        const to = ast.to.type;
+        return makePropertySignature(new PropertySignatureTransformation(ast.from, new ToPropertySignature(pruneUndefined(to) ?? to, false, ast.to.isReadonly, ast.to.annotations, ast.to.defaultValue), o => applyDefaultValue(ast.decode(o), defaultValue), ast.encode));
+      }
   }
 });
 /**
@@ -1361,10 +1373,8 @@ export const brand = (brand, annotations) => self => {
     onSome: brands => [...brands, brand]
   });
   const ast = AST.annotations(self.ast, toASTAnnotations({
-    // add a default title annotation containing the brand
-    title: String(self.ast) + ` & Brand<${util_.formatUnknown(brand)}>`,
-    ...annotations,
-    [AST.BrandAnnotationId]: annotation
+    [AST.BrandAnnotationId]: annotation,
+    ...annotations
   }));
   return makeBrandClass(ast);
 };
@@ -1751,6 +1761,7 @@ export const TrimmedSchemaId = /*#__PURE__*/Symbol.for("effect/SchemaId/Trimmed"
  */
 export const trimmed = annotations => self => self.pipe(filter(a => a === a.trim(), {
   schemaId: TrimmedSchemaId,
+  title: "trimmed",
   description: "a string with no leading or trailing whitespace",
   jsonSchema: {
     pattern: "^\\S[\\s\\S]*\\S$|^\\S$|^$"
@@ -1768,6 +1779,7 @@ export const MaxLengthSchemaId = schemaId_.MaxLengthSchemaId;
  */
 export const maxLength = (maxLength, annotations) => self => self.pipe(filter(a => a.length <= maxLength, {
   schemaId: MaxLengthSchemaId,
+  title: `maxLength(${maxLength})`,
   description: `a string at most ${maxLength} character(s) long`,
   jsonSchema: {
     maxLength
@@ -1785,6 +1797,7 @@ export const MinLengthSchemaId = schemaId_.MinLengthSchemaId;
  */
 export const minLength = (minLength, annotations) => self => self.pipe(filter(a => a.length >= minLength, {
   schemaId: MinLengthSchemaId,
+  title: `minLength(${minLength})`,
   description: `a string at least ${minLength} character(s) long`,
   jsonSchema: {
     minLength
@@ -1801,7 +1814,7 @@ export const PatternSchemaId = /*#__PURE__*/Symbol.for("effect/SchemaId/Pattern"
  * @since 3.10.0
  */
 export const pattern = (regex, annotations) => self => {
-  const pattern = regex.source;
+  const source = regex.source;
   return self.pipe(filter(a => {
     // The following line ensures that `lastIndex` is reset to `0` in case the user has specified the `g` flag
     regex.lastIndex = 0;
@@ -1811,9 +1824,10 @@ export const pattern = (regex, annotations) => self => {
     [PatternSchemaId]: {
       regex
     },
-    description: `a string matching the pattern ${pattern}`,
+    // title: `pattern(/${source}/)`, // avoiding this because it can be very long
+    description: `a string matching the pattern ${source}`,
     jsonSchema: {
-      pattern
+      pattern: source
     },
     ...annotations
   }));
@@ -1827,17 +1841,21 @@ export const StartsWithSchemaId = /*#__PURE__*/Symbol.for("effect/SchemaId/Start
  * @category string filters
  * @since 3.10.0
  */
-export const startsWith = (startsWith, annotations) => self => self.pipe(filter(a => a.startsWith(startsWith), {
-  schemaId: StartsWithSchemaId,
-  [StartsWithSchemaId]: {
-    startsWith
-  },
-  description: `a string starting with ${JSON.stringify(startsWith)}`,
-  jsonSchema: {
-    pattern: `^${startsWith}`
-  },
-  ...annotations
-}));
+export const startsWith = (startsWith, annotations) => self => {
+  const formatted = JSON.stringify(startsWith);
+  return self.pipe(filter(a => a.startsWith(startsWith), {
+    schemaId: StartsWithSchemaId,
+    [StartsWithSchemaId]: {
+      startsWith
+    },
+    title: `startsWith(${formatted})`,
+    description: `a string starting with ${formatted}`,
+    jsonSchema: {
+      pattern: `^${startsWith}`
+    },
+    ...annotations
+  }));
+};
 /**
  * @category schema id
  * @since 3.10.0
@@ -1847,17 +1865,21 @@ export const EndsWithSchemaId = /*#__PURE__*/Symbol.for("effect/SchemaId/EndsWit
  * @category string filters
  * @since 3.10.0
  */
-export const endsWith = (endsWith, annotations) => self => self.pipe(filter(a => a.endsWith(endsWith), {
-  schemaId: EndsWithSchemaId,
-  [EndsWithSchemaId]: {
-    endsWith
-  },
-  description: `a string ending with ${JSON.stringify(endsWith)}`,
-  jsonSchema: {
-    pattern: `^.*${endsWith}$`
-  },
-  ...annotations
-}));
+export const endsWith = (endsWith, annotations) => self => {
+  const formatted = JSON.stringify(endsWith);
+  return self.pipe(filter(a => a.endsWith(endsWith), {
+    schemaId: EndsWithSchemaId,
+    [EndsWithSchemaId]: {
+      endsWith
+    },
+    title: `endsWith(${formatted})`,
+    description: `a string ending with ${formatted}`,
+    jsonSchema: {
+      pattern: `^.*${endsWith}$`
+    },
+    ...annotations
+  }));
+};
 /**
  * @category schema id
  * @since 3.10.0
@@ -1867,17 +1889,21 @@ export const IncludesSchemaId = /*#__PURE__*/Symbol.for("effect/SchemaId/Include
  * @category string filters
  * @since 3.10.0
  */
-export const includes = (searchString, annotations) => self => self.pipe(filter(a => a.includes(searchString), {
-  schemaId: IncludesSchemaId,
-  [IncludesSchemaId]: {
-    includes: searchString
-  },
-  description: `a string including ${JSON.stringify(searchString)}`,
-  jsonSchema: {
-    pattern: `.*${searchString}.*`
-  },
-  ...annotations
-}));
+export const includes = (searchString, annotations) => self => {
+  const formatted = JSON.stringify(searchString);
+  return self.pipe(filter(a => a.includes(searchString), {
+    schemaId: IncludesSchemaId,
+    [IncludesSchemaId]: {
+      includes: searchString
+    },
+    title: `includes(${formatted})`,
+    description: `a string including ${formatted}`,
+    jsonSchema: {
+      pattern: `.*${searchString}.*`
+    },
+    ...annotations
+  }));
+};
 /**
  * @category schema id
  * @since 3.10.0
@@ -1891,6 +1917,7 @@ export const LowercasedSchemaId = /*#__PURE__*/Symbol.for("effect/SchemaId/Lower
  */
 export const lowercased = annotations => self => self.pipe(filter(a => a === a.toLowerCase(), {
   schemaId: LowercasedSchemaId,
+  title: "lowercased",
   description: "a lowercase string",
   jsonSchema: {
     pattern: "^[^A-Z]*$"
@@ -1902,8 +1929,7 @@ export const lowercased = annotations => self => self.pipe(filter(a => a === a.t
  * @since 3.10.0
  */
 export class Lowercased extends /*#__PURE__*/String$.pipe( /*#__PURE__*/lowercased({
-  identifier: "Lowercased",
-  title: "Lowercased"
+  identifier: "Lowercased"
 })) {}
 /**
  * @category schema id
@@ -1918,6 +1944,7 @@ export const CapitalizedSchemaId = /*#__PURE__*/Symbol.for("effect/SchemaId/Capi
  */
 export const capitalized = annotations => self => self.pipe(filter(a => a[0]?.toUpperCase() === a[0], {
   schemaId: CapitalizedSchemaId,
+  title: "capitalized",
   description: "a capitalized string",
   jsonSchema: {
     pattern: "^[^a-z]?.*$"
@@ -1929,8 +1956,7 @@ export const capitalized = annotations => self => self.pipe(filter(a => a[0]?.to
  * @since 3.10.0
  */
 export class Capitalized extends /*#__PURE__*/String$.pipe( /*#__PURE__*/capitalized({
-  identifier: "Capitalized",
-  title: "Capitalized"
+  identifier: "Capitalized"
 })) {}
 /**
  * @category schema id
@@ -1945,6 +1971,7 @@ export const UncapitalizedSchemaId = /*#__PURE__*/Symbol.for("effect/SchemaId/Un
  */
 export const uncapitalized = annotations => self => self.pipe(filter(a => a[0]?.toLowerCase() === a[0], {
   schemaId: UncapitalizedSchemaId,
+  title: "uncapitalized",
   description: "a uncapitalized string",
   jsonSchema: {
     pattern: "^[^A-Z]?.*$"
@@ -1956,8 +1983,7 @@ export const uncapitalized = annotations => self => self.pipe(filter(a => a[0]?.
  * @since 3.10.0
  */
 export class Uncapitalized extends /*#__PURE__*/String$.pipe( /*#__PURE__*/uncapitalized({
-  identifier: "Uncapitalized",
-  title: "Uncapitalized"
+  identifier: "Uncapitalized"
 })) {}
 /**
  * @category schema id
@@ -1972,6 +1998,7 @@ export const UppercasedSchemaId = /*#__PURE__*/Symbol.for("effect/SchemaId/Upper
  */
 export const uppercased = annotations => self => self.pipe(filter(a => a === a.toUpperCase(), {
   schemaId: UppercasedSchemaId,
+  title: "uppercased",
   description: "an uppercase string",
   jsonSchema: {
     pattern: "^[^a-z]*$"
@@ -1983,8 +2010,7 @@ export const uppercased = annotations => self => self.pipe(filter(a => a === a.t
  * @since 3.10.0
  */
 export class Uppercased extends /*#__PURE__*/String$.pipe( /*#__PURE__*/uppercased({
-  identifier: "Uppercased",
-  title: "Uppercased"
+  identifier: "Uppercased"
 })) {}
 /**
  * @category schema id
@@ -2001,6 +2027,7 @@ export const length = (length, annotations) => self => {
   if (minLength !== maxLength) {
     return self.pipe(filter(a => a.length >= minLength && a.length <= maxLength, {
       schemaId: LengthSchemaId,
+      title: `length({ min: ${minLength}, max: ${maxLength})`,
       description: `a string at least ${minLength} character(s) and at most ${maxLength} character(s) long`,
       jsonSchema: {
         minLength,
@@ -2011,6 +2038,7 @@ export const length = (length, annotations) => self => {
   }
   return self.pipe(filter(a => a.length === minLength, {
     schemaId: LengthSchemaId,
+    title: `length(${minLength})`,
     description: minLength === 1 ? `a single character` : `a string ${minLength} character(s) long`,
     jsonSchema: {
       minLength,
@@ -2033,6 +2061,7 @@ export class Char extends /*#__PURE__*/String$.pipe( /*#__PURE__*/length(1, {
  * @since 3.10.0
  */
 export const nonEmptyString = annotations => minLength(1, {
+  title: "nonEmptyString",
   description: "a non empty string",
   ...annotations
 });
@@ -2101,8 +2130,7 @@ export class Uncapitalize extends /*#__PURE__*/transform(String$.annotations({
  * @since 3.10.0
  */
 export class Trimmed extends /*#__PURE__*/String$.pipe( /*#__PURE__*/trimmed({
-  identifier: "Trimmed",
-  title: "Trimmed"
+  identifier: "Trimmed"
 })) {}
 /**
  * Useful for validating strings that must contain meaningful characters without
@@ -2121,8 +2149,7 @@ export class Trimmed extends /*#__PURE__*/String$.pipe( /*#__PURE__*/trimmed({
  * @since 3.10.0
  */
 export class NonEmptyTrimmedString extends /*#__PURE__*/Trimmed.pipe( /*#__PURE__*/nonEmptyString({
-  identifier: "NonEmptyTrimmedString",
-  title: "NonEmptyTrimmedString"
+  identifier: "NonEmptyTrimmedString"
 })) {}
 /**
  * This schema allows removing whitespaces from the beginning and end of a string.
@@ -2195,8 +2222,7 @@ export const parseJson = (schemaOrOptions, o) => isSchema(schemaOrOptions) ? com
  * @since 3.10.0
  */
 export class NonEmptyString extends /*#__PURE__*/String$.pipe( /*#__PURE__*/nonEmptyString({
-  identifier: "NonEmptyString",
-  title: "NonEmptyString"
+  identifier: "NonEmptyString"
 })) {}
 /**
  * @category schema id
@@ -2215,7 +2241,6 @@ const uuidRegexp = /^[0-9a-fA-F]{8}-[0-9a-fA-F]{4}-[0-9a-fA-F]{4}-[0-9a-fA-F]{4}
 export class UUID extends /*#__PURE__*/String$.pipe( /*#__PURE__*/pattern(uuidRegexp, {
   schemaId: UUIDSchemaId,
   identifier: "UUID",
-  title: "UUID",
   jsonSchema: {
     format: "uuid",
     pattern: uuidRegexp.source
@@ -2241,7 +2266,6 @@ const ulidRegexp = /^[0-7][0-9A-HJKMNP-TV-Z]{25}$/i;
 export class ULID extends /*#__PURE__*/String$.pipe( /*#__PURE__*/pattern(ulidRegexp, {
   schemaId: ULIDSchemaId,
   identifier: "ULID",
-  title: "ULID",
   description: "a Universally Unique Lexicographically Sortable Identifier",
   arbitrary: () => fc => fc.ulid()
 })) {}
@@ -2253,7 +2277,6 @@ export class ULID extends /*#__PURE__*/String$.pipe( /*#__PURE__*/pattern(ulidRe
  */
 export class URLFromSelf extends /*#__PURE__*/instanceOf(URL, {
   identifier: "URLFromSelf",
-  title: "URLFromSelf",
   arbitrary: () => fc => fc.webUrl().map(s => new URL(s)),
   pretty: () => url => url.toString()
 }) {}
@@ -2269,7 +2292,6 @@ class URL$ extends /*#__PURE__*/transformOrFail(String$.annotations({
   encode: url => ParseResult.succeed(url.toString())
 }).annotations({
   identifier: "URL",
-  title: "URL",
   pretty: () => url => url.toString()
 }) {}
 export {
@@ -2287,15 +2309,14 @@ URL$ as URL };
  */
 export const FiniteSchemaId = schemaId_.FiniteSchemaId;
 /**
- * Ensures that the provided value is a finite number.
- *
- * This schema filters out non-finite numeric values, allowing only finite numbers to pass through.
+ * Ensures that the provided value is a finite number (excluding NaN, +Infinity, and -Infinity).
  *
  * @category number filters
  * @since 3.10.0
  */
 export const finite = annotations => self => self.pipe(filter(Number.isFinite, {
   schemaId: FiniteSchemaId,
+  title: "finite",
   description: "a finite number",
   jsonSchema: {
     "type": "number"
@@ -2315,6 +2336,7 @@ export const GreaterThanSchemaId = schemaId_.GreaterThanSchemaId;
  */
 export const greaterThan = (exclusiveMinimum, annotations) => self => self.pipe(filter(a => a > exclusiveMinimum, {
   schemaId: GreaterThanSchemaId,
+  title: `greaterThan(${exclusiveMinimum})`,
   description: exclusiveMinimum === 0 ? "a positive number" : `a number greater than ${exclusiveMinimum}`,
   jsonSchema: {
     exclusiveMinimum
@@ -2334,6 +2356,7 @@ export const GreaterThanOrEqualToSchemaId = schemaId_.GreaterThanOrEqualToSchema
  */
 export const greaterThanOrEqualTo = (minimum, annotations) => self => self.pipe(filter(a => a >= minimum, {
   schemaId: GreaterThanOrEqualToSchemaId,
+  title: `greaterThanOrEqualTo(${minimum})`,
   description: minimum === 0 ? "a non-negative number" : `a number greater than or equal to ${minimum}`,
   jsonSchema: {
     minimum
@@ -2349,27 +2372,32 @@ export const MultipleOfSchemaId = /*#__PURE__*/Symbol.for("effect/SchemaId/Multi
  * @category number filters
  * @since 3.10.0
  */
-export const multipleOf = (divisor, annotations) => self => self.pipe(filter(a => number_.remainder(a, divisor) === 0, {
-  schemaId: MultipleOfSchemaId,
-  description: `a number divisible by ${divisor}`,
-  jsonSchema: {
-    multipleOf: Math.abs(divisor)
-  },
-  // spec requires positive divisor
-  ...annotations
-}));
+export const multipleOf = (divisor, annotations) => self => {
+  const positiveDivisor = Math.abs(divisor); // spec requires positive divisor
+  return self.pipe(filter(a => number_.remainder(a, divisor) === 0, {
+    schemaId: MultipleOfSchemaId,
+    title: `multipleOf(${positiveDivisor})`,
+    description: `a number divisible by ${positiveDivisor}`,
+    jsonSchema: {
+      multipleOf: positiveDivisor
+    },
+    ...annotations
+  }));
+};
 /**
  * @category schema id
  * @since 3.10.0
  */
 export const IntSchemaId = schemaId_.IntSchemaId;
 /**
+ * Ensures that the provided value is an integer number (excluding NaN, +Infinity, and -Infinity).
+ *
  * @category number filters
  * @since 3.10.0
  */
 export const int = annotations => self => self.pipe(filter(a => Number.isSafeInteger(a), {
   schemaId: IntSchemaId,
-  title: "integer",
+  title: "int",
   description: "an integer",
   jsonSchema: {
     type: "integer"
@@ -2389,6 +2417,7 @@ export const LessThanSchemaId = schemaId_.LessThanSchemaId;
  */
 export const lessThan = (exclusiveMaximum, annotations) => self => self.pipe(filter(a => a < exclusiveMaximum, {
   schemaId: LessThanSchemaId,
+  title: `lessThan(${exclusiveMaximum})`,
   description: exclusiveMaximum === 0 ? "a negative number" : `a number less than ${exclusiveMaximum}`,
   jsonSchema: {
     exclusiveMaximum
@@ -2408,6 +2437,7 @@ export const LessThanOrEqualToSchemaId = schemaId_.LessThanOrEqualToSchemaId;
  */
 export const lessThanOrEqualTo = (maximum, annotations) => self => self.pipe(filter(a => a <= maximum, {
   schemaId: LessThanOrEqualToSchemaId,
+  title: `lessThanOrEqualTo(${maximum})`,
   description: maximum === 0 ? "a non-positive number" : `a number less than or equal to ${maximum}`,
   jsonSchema: {
     maximum
@@ -2427,6 +2457,7 @@ export const BetweenSchemaId = schemaId_.BetweenSchemaId;
  */
 export const between = (minimum, maximum, annotations) => self => self.pipe(filter(a => a >= minimum && a <= maximum, {
   schemaId: BetweenSchemaId,
+  title: `between(${minimum}, ${maximum})`,
   description: `a number between ${minimum} and ${maximum}`,
   jsonSchema: {
     minimum,
@@ -2445,6 +2476,7 @@ export const NonNaNSchemaId = schemaId_.NonNaNSchemaId;
  */
 export const nonNaN = annotations => self => self.pipe(filter(a => !Number.isNaN(a), {
   schemaId: NonNaNSchemaId,
+  title: "nonNaN",
   description: "a number excluding NaN",
   ...annotations
 }));
@@ -2452,22 +2484,34 @@ export const nonNaN = annotations => self => self.pipe(filter(a => !Number.isNaN
  * @category number filters
  * @since 3.10.0
  */
-export const positive = annotations => greaterThan(0, annotations);
+export const positive = annotations => greaterThan(0, {
+  title: "positive",
+  ...annotations
+});
 /**
  * @category number filters
  * @since 3.10.0
  */
-export const negative = annotations => lessThan(0, annotations);
+export const negative = annotations => lessThan(0, {
+  title: "negative",
+  ...annotations
+});
 /**
  * @category number filters
  * @since 3.10.0
  */
-export const nonPositive = annotations => lessThanOrEqualTo(0, annotations);
+export const nonPositive = annotations => lessThanOrEqualTo(0, {
+  title: "nonPositive",
+  ...annotations
+});
 /**
  * @category number filters
  * @since 3.10.0
  */
-export const nonNegative = annotations => greaterThanOrEqualTo(0, annotations);
+export const nonNegative = annotations => greaterThanOrEqualTo(0, {
+  title: "nonNegative",
+  ...annotations
+});
 /**
  * Clamps a number between a minimum and a maximum value.
  *
@@ -2517,56 +2561,49 @@ export class NumberFromString extends /*#__PURE__*/parseNumber(String$.annotatio
  * @since 3.10.0
  */
 export class Finite extends /*#__PURE__*/Number$.pipe( /*#__PURE__*/finite({
-  identifier: "Finite",
-  title: "Finite"
+  identifier: "Finite"
 })) {}
 /**
  * @category number constructors
  * @since 3.10.0
  */
 export class Int extends /*#__PURE__*/Number$.pipe( /*#__PURE__*/int({
-  identifier: "Int",
-  title: "Int"
+  identifier: "Int"
 })) {}
 /**
  * @category number constructors
  * @since 3.10.0
  */
 export class NonNaN extends /*#__PURE__*/Number$.pipe( /*#__PURE__*/nonNaN({
-  identifier: "NonNaN",
-  title: "NonNaN"
+  identifier: "NonNaN"
 })) {}
 /**
  * @category number constructors
  * @since 3.10.0
  */
 export class Positive extends /*#__PURE__*/Number$.pipe( /*#__PURE__*/positive({
-  identifier: "Positive",
-  title: "Positive"
+  identifier: "Positive"
 })) {}
 /**
  * @category number constructors
  * @since 3.10.0
  */
 export class Negative extends /*#__PURE__*/Number$.pipe( /*#__PURE__*/negative({
-  identifier: "Negative",
-  title: "Negative"
+  identifier: "Negative"
 })) {}
 /**
  * @category number constructors
  * @since 3.10.0
  */
 export class NonPositive extends /*#__PURE__*/Number$.pipe( /*#__PURE__*/nonPositive({
-  identifier: "NonPositive",
-  title: "NonPositive"
+  identifier: "NonPositive"
 })) {}
 /**
  * @category number constructors
  * @since 3.10.0
  */
 export class NonNegative extends /*#__PURE__*/Number$.pipe( /*#__PURE__*/nonNegative({
-  identifier: "NonNegative",
-  title: "NonNegative"
+  identifier: "NonNegative"
 })) {}
 /**
  * @category schema id
@@ -2595,9 +2632,7 @@ export const JsonNumberSchemaId = schemaId_.JsonNumberSchemaId;
  */
 export class JsonNumber extends /*#__PURE__*/Number$.pipe( /*#__PURE__*/finite({
   schemaId: JsonNumberSchemaId,
-  identifier: "JsonNumber",
-  title: "JSON-compatible number",
-  description: "a JSON-compatible number, excluding NaN, +Infinity, and -Infinity"
+  identifier: "JsonNumber"
 })) {}
 /**
  * @category boolean transformations
@@ -2642,6 +2677,7 @@ export const greaterThanBigInt = (min, annotations) => self => self.pipe(filter(
   [GreaterThanBigIntSchemaId]: {
     min
   },
+  title: `greaterThanBigInt(${min})`,
   description: min === 0n ? "a positive bigint" : `a bigint greater than ${min}n`,
   ...annotations
 }));
@@ -2659,6 +2695,7 @@ export const greaterThanOrEqualToBigInt = (min, annotations) => self => self.pip
   [GreaterThanOrEqualToBigIntSchemaId]: {
     min
   },
+  title: `greaterThanOrEqualToBigInt(${min})`,
   description: min === 0n ? "a non-negative bigint" : `a bigint greater than or equal to ${min}n`,
   ...annotations
 }));
@@ -2676,6 +2713,7 @@ export const lessThanBigInt = (max, annotations) => self => self.pipe(filter(a =
   [LessThanBigIntSchemaId]: {
     max
   },
+  title: `lessThanBigInt(${max})`,
   description: max === 0n ? "a negative bigint" : `a bigint less than ${max}n`,
   ...annotations
 }));
@@ -2693,6 +2731,7 @@ export const lessThanOrEqualToBigInt = (max, annotations) => self => self.pipe(f
   [LessThanOrEqualToBigIntSchemaId]: {
     max
   },
+  title: `lessThanOrEqualToBigInt(${max})`,
   description: max === 0n ? "a non-positive bigint" : `a bigint less than or equal to ${max}n`,
   ...annotations
 }));
@@ -2711,6 +2750,7 @@ export const betweenBigInt = (min, max, annotations) => self => self.pipe(filter
     min,
     max
   },
+  title: `betweenBigInt(${min}, ${max})`,
   description: `a bigint between ${min}n and ${max}n`,
   ...annotations
 }));
@@ -2718,22 +2758,34 @@ export const betweenBigInt = (min, max, annotations) => self => self.pipe(filter
  * @category bigint filters
  * @since 3.10.0
  */
-export const positiveBigInt = annotations => greaterThanBigInt(0n, annotations);
+export const positiveBigInt = annotations => greaterThanBigInt(0n, {
+  title: "positiveBigInt",
+  ...annotations
+});
 /**
  * @category bigint filters
  * @since 3.10.0
  */
-export const negativeBigInt = annotations => lessThanBigInt(0n, annotations);
+export const negativeBigInt = annotations => lessThanBigInt(0n, {
+  title: "negativeBigInt",
+  ...annotations
+});
 /**
  * @category bigint filters
  * @since 3.10.0
  */
-export const nonNegativeBigInt = annotations => greaterThanOrEqualToBigInt(0n, annotations);
+export const nonNegativeBigInt = annotations => greaterThanOrEqualToBigInt(0n, {
+  title: "nonNegativeBigInt",
+  ...annotations
+});
 /**
  * @category bigint filters
  * @since 3.10.0
  */
-export const nonPositiveBigInt = annotations => lessThanOrEqualToBigInt(0n, annotations);
+export const nonPositiveBigInt = annotations => lessThanOrEqualToBigInt(0n, {
+  title: "nonPositiveBigInt",
+  ...annotations
+});
 /**
  * Clamps a bigint between a minimum and a maximum value.
  *
@@ -2773,64 +2825,56 @@ BigInt$ as BigInt };
  * @since 3.10.0
  */
 export const PositiveBigIntFromSelf = /*#__PURE__*/BigIntFromSelf.pipe( /*#__PURE__*/positiveBigInt({
-  identifier: "PositiveBigintFromSelf",
-  title: "PositiveBigintFromSelf"
+  identifier: "PositiveBigintFromSelf"
 }));
 /**
  * @category bigint constructors
  * @since 3.10.0
  */
 export const PositiveBigInt = /*#__PURE__*/BigInt$.pipe( /*#__PURE__*/positiveBigInt({
-  identifier: "PositiveBigint",
-  title: "PositiveBigint"
+  identifier: "PositiveBigint"
 }));
 /**
  * @category bigint constructors
  * @since 3.10.0
  */
 export const NegativeBigIntFromSelf = /*#__PURE__*/BigIntFromSelf.pipe( /*#__PURE__*/negativeBigInt({
-  identifier: "NegativeBigintFromSelf",
-  title: "NegativeBigintFromSelf"
+  identifier: "NegativeBigintFromSelf"
 }));
 /**
  * @category bigint constructors
  * @since 3.10.0
  */
 export const NegativeBigInt = /*#__PURE__*/BigInt$.pipe( /*#__PURE__*/negativeBigInt({
-  identifier: "NegativeBigint",
-  title: "NegativeBigint"
+  identifier: "NegativeBigint"
 }));
 /**
  * @category bigint constructors
  * @since 3.10.0
  */
 export const NonPositiveBigIntFromSelf = /*#__PURE__*/BigIntFromSelf.pipe( /*#__PURE__*/nonPositiveBigInt({
-  identifier: "NonPositiveBigintFromSelf",
-  title: "NonPositiveBigintFromSelf"
+  identifier: "NonPositiveBigintFromSelf"
 }));
 /**
  * @category bigint constructors
  * @since 3.10.0
  */
 export const NonPositiveBigInt = /*#__PURE__*/BigInt$.pipe( /*#__PURE__*/nonPositiveBigInt({
-  identifier: "NonPositiveBigint",
-  title: "NonPositiveBigint"
+  identifier: "NonPositiveBigint"
 }));
 /**
  * @category bigint constructors
  * @since 3.10.0
  */
 export const NonNegativeBigIntFromSelf = /*#__PURE__*/BigIntFromSelf.pipe( /*#__PURE__*/nonNegativeBigInt({
-  identifier: "NonNegativeBigintFromSelf",
-  title: "NonNegativeBigintFromSelf"
+  identifier: "NonNegativeBigintFromSelf"
 }));
 /**
  * @category bigint constructors
  * @since 3.10.0
  */
 export const NonNegativeBigInt = /*#__PURE__*/BigInt$.pipe( /*#__PURE__*/nonNegativeBigInt({
-  identifier: "NonNegativeBigint",
-  title: "NonNegativeBigint"
+  identifier: "NonNegativeBigint"
 }));
 /**
  * This schema transforms a `number` into a `bigint` by parsing the number using the `BigInt` function.
@@ -2926,20 +2970,27 @@ export class DurationFromMillis extends /*#__PURE__*/transform(Number$.annotatio
 }).annotations({
   identifier: "DurationFromMillis"
 }) {}
-const hrTime = /*#__PURE__*/Tuple( /*#__PURE__*/NonNegative.pipe( /*#__PURE__*/finite({
-  [AST.TitleAnnotationId]: "seconds",
-  [AST.DescriptionAnnotationId]: "seconds"
-})), /*#__PURE__*/NonNegative.pipe( /*#__PURE__*/finite({
-  [AST.TitleAnnotationId]: "nanos",
-  [AST.DescriptionAnnotationId]: "nanos"
-})));
+/**
+ * @category number constructors
+ * @since 3.11.10
+ */
+export const NonNegativeInt = /*#__PURE__*/NonNegative.pipe(int()).annotations({
+  identifier: "NonNegativeInt"
+});
+const HRTime = /*#__PURE__*/Tuple(element(NonNegativeInt).annotations({
+  title: "seconds"
+}), element(NonNegativeInt).annotations({
+  title: "nanos"
+})).annotations({
+  identifier: "HRTime"
+});
 /**
  * A schema that transforms a `[number, number]` tuple into a `Duration`.
  *
  * @category Duration transformations
  * @since 3.10.0
  */
-export class Duration extends /*#__PURE__*/transform(hrTime.annotations({
+export class Duration extends /*#__PURE__*/transform(HRTime.annotations({
   description: "a tuple of seconds and nanos that will be parsed into a Duration"
 }), DurationFromSelf, {
   strict: true,
@@ -2976,6 +3027,7 @@ export const lessThanDuration = (max, annotations) => self => self.pipe(filter(a
   [LessThanDurationSchemaId]: {
     max
   },
+  title: `lessThanDuration(${max})`,
   description: `a Duration less than ${duration_.decode(max)}`,
   ...annotations
 }));
@@ -2993,6 +3045,7 @@ export const lessThanOrEqualToDuration = (max, annotations) => self => self.pipe
   [LessThanDurationSchemaId]: {
     max
   },
+  title: `lessThanOrEqualToDuration(${max})`,
   description: `a Duration less than or equal to ${duration_.decode(max)}`,
   ...annotations
 }));
@@ -3010,6 +3063,7 @@ export const greaterThanDuration = (min, annotations) => self => self.pipe(filte
   [GreaterThanDurationSchemaId]: {
     min
   },
+  title: `greaterThanDuration(${min})`,
   description: `a Duration greater than ${duration_.decode(min)}`,
   ...annotations
 }));
@@ -3027,6 +3081,7 @@ export const greaterThanOrEqualToDuration = (min, annotations) => self => self.p
   [GreaterThanOrEqualToDurationSchemaId]: {
     min
   },
+  title: `greaterThanOrEqualToDuration(${min})`,
   description: `a Duration greater than or equal to ${duration_.decode(min)}`,
   ...annotations
 }));
@@ -3048,6 +3103,7 @@ export const betweenDuration = (minimum, maximum, annotations) => self => self.p
     maximum,
     minimum
   },
+  title: `betweenDuration(${minimum}, ${maximum})`,
   description: `a Duration between ${duration_.decode(minimum)} and ${duration_.decode(maximum)}`,
   ...annotations
 }));
@@ -3061,10 +3117,15 @@ export const Uint8ArrayFromSelf = /*#__PURE__*/declare(Predicate.isUint8Array, {
   arbitrary: () => fc => fc.uint8Array(),
   equivalence: () => array_.getEquivalence(Equal.equals)
 });
-const Uint8Array$ = /*#__PURE__*/transform(Array$(Number$.pipe(between(0, 255, {
-  title: "8-bit unsigned integer",
+/**
+ * @category number constructors
+ * @since 3.11.10
+ */
+export const Uint8 = /*#__PURE__*/Number$.pipe( /*#__PURE__*/between(0, 255, {
+  identifier: "Uint8",
   description: "a 8-bit unsigned integer"
-}))).annotations({
+}));
+const Uint8Array$ = /*#__PURE__*/transform(Array$(Uint8).annotations({
   description: "an array of 8-bit unsigned integers that will be parsed into a Uint8Array"
 }), Uint8ArrayFromSelf, {
   strict: true,
@@ -3157,6 +3218,7 @@ export const minItems = (n, annotations) => self => {
   }
   return self.pipe(filter(a => a.length >= minItems, {
     schemaId: MinItemsSchemaId,
+    title: `minItems(${minItems})`,
     description: `an array of at least ${minItems} item(s)`,
     jsonSchema: {
       minItems
@@ -3176,6 +3238,7 @@ export const MaxItemsSchemaId = schemaId_.MaxItemsSchemaId;
  */
 export const maxItems = (n, annotations) => self => self.pipe(filter(a => a.length <= n, {
   schemaId: MaxItemsSchemaId,
+  title: `maxItems(${n})`,
   description: `an array of at most ${n} item(s)`,
   jsonSchema: {
     maxItems: n
@@ -3194,6 +3257,7 @@ export const ItemsCountSchemaId = schemaId_.ItemsCountSchemaId;
  */
 export const itemsCount = (n, annotations) => self => self.pipe(filter(a => a.length === n, {
   schemaId: ItemsCountSchemaId,
+  title: `itemsCount(${n})`,
   description: `an array of exactly ${n} item(s)`,
   jsonSchema: {
     minItems: n,
@@ -3253,6 +3317,7 @@ export const validDate = annotations => self => self.pipe(filter(a => !Number.is
   [ValidDateSchemaId]: {
     noInvalidDate: true
   },
+  title: "validDate",
   description: "a valid Date",
   ...annotations
 }));
@@ -3270,6 +3335,7 @@ export const lessThanDate = (max, annotations) => self => self.pipe(filter(a =>
   [LessThanDateSchemaId]: {
     max
   },
+  title: `lessThanDate(${util_.formatDate(max)})`,
   description: `a date before ${util_.formatDate(max)}`,
   ...annotations
 }));
@@ -3287,6 +3353,7 @@ export const lessThanOrEqualToDate = (max, annotations) => self => self.pipe(fil
   [LessThanDateSchemaId]: {
     max
   },
+  title: `lessThanOrEqualToDate(${util_.formatDate(max)})`,
   description: `a date before or equal to ${util_.formatDate(max)}`,
   ...annotations
 }));
@@ -3304,6 +3371,7 @@ export const greaterThanDate = (min, annotations) => self => self.pipe(filter(a
   [GreaterThanDateSchemaId]: {
     min
   },
+  title: `greaterThanDate(${util_.formatDate(min)})`,
   description: `a date after ${util_.formatDate(min)}`,
   ...annotations
 }));
@@ -3321,6 +3389,7 @@ export const greaterThanOrEqualToDate = (min, annotations) => self => self.pipe(
   [GreaterThanOrEqualToDateSchemaId]: {
     min
   },
+  title: `greaterThanOrEqualToDate(${util_.formatDate(min)})`,
   description: `a date after or equal to ${util_.formatDate(min)}`,
   ...annotations
 }));
@@ -3339,6 +3408,7 @@ export const betweenDate = (min, max, annotations) => self => self.pipe(filter(a
     max,
     min
   },
+  title: `betweenDate(${util_.formatDate(min)}, ${util_.formatDate(max)})`,
   description: `a date between ${util_.formatDate(min)} and ${util_.formatDate(max)}`,
   ...annotations
 }));
@@ -4061,7 +4131,7 @@ export class BigDecimalFromNumber extends /*#__PURE__*/transformOrFail(Number$.a
   description: "a number that will be parsed into a BigDecimal"
 }), BigDecimalFromSelf, {
   strict: true,
-  decode: num => ParseResult.succeed(bigDecimal_.fromNumber(num)),
+  decode: num => ParseResult.succeed(bigDecimal_.unsafeFromNumber(num)),
   encode: val => ParseResult.succeed(bigDecimal_.unsafeToNumber(val))
 }).annotations({
   identifier: "BigDecimalFromNumber"
@@ -4075,14 +4145,18 @@ export const GreaterThanBigDecimalSchemaId = /*#__PURE__*/Symbol.for("effect/Sch
  * @category BigDecimal filters
  * @since 3.10.0
  */
-export const greaterThanBigDecimal = (min, annotations) => self => self.pipe(filter(a => bigDecimal_.greaterThan(a, min), {
-  schemaId: GreaterThanBigDecimalSchemaId,
-  [GreaterThanBigDecimalSchemaId]: {
-    min
-  },
-  description: `a BigDecimal greater than ${bigDecimal_.format(min)}`,
-  ...annotations
-}));
+export const greaterThanBigDecimal = (min, annotations) => self => {
+  const formatted = bigDecimal_.format(min);
+  return self.pipe(filter(a => bigDecimal_.greaterThan(a, min), {
+    schemaId: GreaterThanBigDecimalSchemaId,
+    [GreaterThanBigDecimalSchemaId]: {
+      min
+    },
+    title: `greaterThanBigDecimal(${formatted})`,
+    description: `a BigDecimal greater than ${formatted}`,
+    ...annotations
+  }));
+};
 /**
  * @category schema id
  * @since 3.10.0
@@ -4092,14 +4166,18 @@ export const GreaterThanOrEqualToBigDecimalSchemaId = /*#__PURE__*/Symbol.for("e
  * @category BigDecimal filters
  * @since 3.10.0
  */
-export const greaterThanOrEqualToBigDecimal = (min, annotations) => self => self.pipe(filter(a => bigDecimal_.greaterThanOrEqualTo(a, min), {
-  schemaId: GreaterThanOrEqualToBigDecimalSchemaId,
-  [GreaterThanOrEqualToBigDecimalSchemaId]: {
-    min
-  },
-  description: `a BigDecimal greater than or equal to ${bigDecimal_.format(min)}`,
-  ...annotations
-}));
+export const greaterThanOrEqualToBigDecimal = (min, annotations) => self => {
+  const formatted = bigDecimal_.format(min);
+  return self.pipe(filter(a => bigDecimal_.greaterThanOrEqualTo(a, min), {
+    schemaId: GreaterThanOrEqualToBigDecimalSchemaId,
+    [GreaterThanOrEqualToBigDecimalSchemaId]: {
+      min
+    },
+    title: `greaterThanOrEqualToBigDecimal(${formatted})`,
+    description: `a BigDecimal greater than or equal to ${formatted}`,
+    ...annotations
+  }));
+};
 /**
  * @category schema id
  * @since 3.10.0
@@ -4109,14 +4187,18 @@ export const LessThanBigDecimalSchemaId = /*#__PURE__*/Symbol.for("effect/Schema
  * @category BigDecimal filters
  * @since 3.10.0
  */
-export const lessThanBigDecimal = (max, annotations) => self => self.pipe(filter(a => bigDecimal_.lessThan(a, max), {
-  schemaId: LessThanBigDecimalSchemaId,
-  [LessThanBigDecimalSchemaId]: {
-    max
-  },
-  description: `a BigDecimal less than ${bigDecimal_.format(max)}`,
-  ...annotations
-}));
+export const lessThanBigDecimal = (max, annotations) => self => {
+  const formatted = bigDecimal_.format(max);
+  return self.pipe(filter(a => bigDecimal_.lessThan(a, max), {
+    schemaId: LessThanBigDecimalSchemaId,
+    [LessThanBigDecimalSchemaId]: {
+      max
+    },
+    title: `lessThanBigDecimal(${formatted})`,
+    description: `a BigDecimal less than ${formatted}`,
+    ...annotations
+  }));
+};
 /**
  * @category schema id
  * @since 3.10.0
@@ -4126,14 +4208,18 @@ export const LessThanOrEqualToBigDecimalSchemaId = /*#__PURE__*/Symbol.for("effe
  * @category BigDecimal filters
  * @since 3.10.0
  */
-export const lessThanOrEqualToBigDecimal = (max, annotations) => self => self.pipe(filter(a => bigDecimal_.lessThanOrEqualTo(a, max), {
-  schemaId: LessThanOrEqualToBigDecimalSchemaId,
-  [LessThanOrEqualToBigDecimalSchemaId]: {
-    max
-  },
-  description: `a BigDecimal less than or equal to ${bigDecimal_.format(max)}`,
-  ...annotations
-}));
+export const lessThanOrEqualToBigDecimal = (max, annotations) => self => {
+  const formatted = bigDecimal_.format(max);
+  return self.pipe(filter(a => bigDecimal_.lessThanOrEqualTo(a, max), {
+    schemaId: LessThanOrEqualToBigDecimalSchemaId,
+    [LessThanOrEqualToBigDecimalSchemaId]: {
+      max
+    },
+    title: `lessThanOrEqualToBigDecimal(${formatted})`,
+    description: `a BigDecimal less than or equal to ${formatted}`,
+    ...annotations
+  }));
+};
 /**
  * @category schema id
  * @since 3.10.0
@@ -4145,6 +4231,7 @@ export const PositiveBigDecimalSchemaId = /*#__PURE__*/Symbol.for("effect/schema
  */
 export const positiveBigDecimal = annotations => self => self.pipe(filter(a => bigDecimal_.isPositive(a), {
   schemaId: PositiveBigDecimalSchemaId,
+  title: "positiveBigDecimal",
   description: `a positive BigDecimal`,
   ...annotations
 }));
@@ -4153,8 +4240,7 @@ export const positiveBigDecimal = annotations => self => self.pipe(filter(a => b
  * @since 3.10.0
  */
 export const PositiveBigDecimalFromSelf = /*#__PURE__*/BigDecimalFromSelf.pipe( /*#__PURE__*/positiveBigDecimal({
-  identifier: "PositiveBigDecimalFromSelf",
-  title: "PositiveBigDecimalFromSelf"
+  identifier: "PositiveBigDecimalFromSelf"
 }));
 /**
  * @category schema id
@@ -4167,6 +4253,7 @@ export const NonNegativeBigDecimalSchemaId = /*#__PURE__*/Symbol.for("effect/sch
  */
 export const nonNegativeBigDecimal = annotations => self => self.pipe(filter(a => a.value >= 0n, {
   schemaId: NonNegativeBigDecimalSchemaId,
+  title: "nonNegativeBigDecimal",
   description: `a non-negative BigDecimal`,
   ...annotations
 }));
@@ -4175,8 +4262,7 @@ export const nonNegativeBigDecimal = annotations => self => self.pipe(filter(a =
  * @since 3.10.0
  */
 export const NonNegativeBigDecimalFromSelf = /*#__PURE__*/BigDecimalFromSelf.pipe( /*#__PURE__*/nonNegativeBigDecimal({
-  identifier: "NonNegativeBigDecimalFromSelf",
-  title: "NonNegativeBigDecimalFromSelf"
+  identifier: "NonNegativeBigDecimalFromSelf"
 }));
 /**
  * @category schema id
@@ -4189,6 +4275,7 @@ export const NegativeBigDecimalSchemaId = /*#__PURE__*/Symbol.for("effect/schema
  */
 export const negativeBigDecimal = annotations => self => self.pipe(filter(a => bigDecimal_.isNegative(a), {
   schemaId: NegativeBigDecimalSchemaId,
+  title: "negativeBigDecimal",
   description: `a negative BigDecimal`,
   ...annotations
 }));
@@ -4197,8 +4284,7 @@ export const negativeBigDecimal = annotations => self => self.pipe(filter(a => b
  * @since 3.10.0
  */
 export const NegativeBigDecimalFromSelf = /*#__PURE__*/BigDecimalFromSelf.pipe( /*#__PURE__*/negativeBigDecimal({
-  identifier: "NegativeBigDecimalFromSelf",
-  title: "NegativeBigDecimalFromSelf"
+  identifier: "NegativeBigDecimalFromSelf"
 }));
 /**
  * @category schema id
@@ -4211,6 +4297,7 @@ export const NonPositiveBigDecimalSchemaId = /*#__PURE__*/Symbol.for("effect/sch
  */
 export const nonPositiveBigDecimal = annotations => self => self.pipe(filter(a => a.value <= 0n, {
   schemaId: NonPositiveBigDecimalSchemaId,
+  title: "nonPositiveBigDecimal",
   description: `a non-positive BigDecimal`,
   ...annotations
 }));
@@ -4219,8 +4306,7 @@ export const nonPositiveBigDecimal = annotations => self => self.pipe(filter(a =
  * @since 3.10.0
  */
 export const NonPositiveBigDecimalFromSelf = /*#__PURE__*/BigDecimalFromSelf.pipe( /*#__PURE__*/nonPositiveBigDecimal({
-  identifier: "NonPositiveBigDecimalFromSelf",
-  title: "NonPositiveBigDecimalFromSelf"
+  identifier: "NonPositiveBigDecimalFromSelf"
 }));
 /**
  * @category schema id
@@ -4231,18 +4317,23 @@ export const BetweenBigDecimalSchemaId = /*#__PURE__*/Symbol.for("effect/SchemaI
  * @category BigDecimal filters
  * @since 3.10.0
  */
-export const betweenBigDecimal = (minimum, maximum, annotations) => self => self.pipe(filter(a => bigDecimal_.between(a, {
-  minimum,
-  maximum
-}), {
-  schemaId: BetweenBigDecimalSchemaId,
-  [BetweenBigDecimalSchemaId]: {
-    maximum,
-    minimum
-  },
-  description: `a BigDecimal between ${bigDecimal_.format(minimum)} and ${bigDecimal_.format(maximum)}`,
-  ...annotations
-}));
+export const betweenBigDecimal = (minimum, maximum, annotations) => self => {
+  const formattedMinimum = bigDecimal_.format(minimum);
+  const formattedMaximum = bigDecimal_.format(maximum);
+  return self.pipe(filter(a => bigDecimal_.between(a, {
+    minimum,
+    maximum
+  }), {
+    schemaId: BetweenBigDecimalSchemaId,
+    [BetweenBigDecimalSchemaId]: {
+      maximum,
+      minimum
+    },
+    title: `betweenBigDecimal(${formattedMinimum}, ${formattedMaximum})`,
+    description: `a BigDecimal between ${formattedMinimum} and ${formattedMaximum}`,
+    ...annotations
+  }));
+};
 /**
  * Clamps a `BigDecimal` between a minimum and a maximum value.
  *
@@ -4644,14 +4735,8 @@ const FiberIdNoneEncoded = /*#__PURE__*/Struct({
 });
 const FiberIdRuntimeEncoded = /*#__PURE__*/Struct({
   _tag: Literal("Runtime"),
-  id: Int.annotations({
-    title: "id",
-    description: "id"
-  }),
-  startTimeMillis: Int.annotations({
-    title: "startTimeMillis",
-    description: "startTimeMillis"
-  })
+  id: Int,
+  startTimeMillis: Int
 }).annotations({
   identifier: "FiberIdRuntimeEncoded"
 });