effect 3.11.8 → 3.11.10

package/dist/cjs/Schema.js

@@ -6,12 +6,12 @@ Object.defineProperty(exports, "__esModule", {
 exports.ListFromSelf = exports.List = exports.LessThanSchemaId = exports.LessThanOrEqualToSchemaId = exports.LessThanOrEqualToDurationSchemaId = exports.LessThanOrEqualToDateSchemaId = exports.LessThanOrEqualToBigIntSchemaId = exports.LessThanOrEqualToBigDecimalSchemaId = exports.LessThanDurationSchemaId = exports.LessThanDateSchemaId = exports.LessThanBigIntSchemaId = exports.LessThanBigDecimalSchemaId = exports.LengthSchemaId = exports.JsonNumberSchemaId = exports.JsonNumber = exports.ItemsCountSchemaId = exports.IntSchemaId = exports.Int = exports.InstanceOfSchemaId = exports.IncludesSchemaId = exports.HashSetFromSelf = exports.HashSet = exports.HashMapFromSelf = exports.HashMap = exports.GreaterThanSchemaId = exports.GreaterThanOrEqualToSchemaId = exports.GreaterThanOrEqualToDurationSchemaId = exports.GreaterThanOrEqualToDateSchemaId = exports.GreaterThanOrEqualToBigIntSchemaId = exports.GreaterThanOrEqualToBigDecimalSchemaId = exports.GreaterThanDurationSchemaId = exports.GreaterThanDateSchemaId = exports.GreaterThanBigIntSchemaId = exports.GreaterThanBigDecimalSchemaId = exports.FromPropertySignature = exports.FiniteSchemaId = exports.Finite = exports.FiberIdFromSelf = exports.FiberId = exports.ExitFromSelf = exports.Exit = exports.Enums = exports.EndsWithSchemaId = exports.EitherFromUnion = exports.EitherFromSelf = exports.Either = exports.DurationFromSelf = exports.DurationFromNanos = exports.DurationFromMillis = exports.Duration = exports.Defect = exports.DateTimeZonedFromSelf = exports.DateTimeZoned = exports.DateTimeUtcFromSelf = exports.DateTimeUtcFromNumber = exports.DateTimeUtc = exports.DateFromString = exports.DateFromSelfSchemaId = exports.DateFromSelf = exports.DateFromNumber = exports.Date = exports.DataFromSelf = exports.Data = exports.Config = exports.Class = exports.ChunkFromSelf = exports.Chunk = exports.Char = exports.CauseFromSelf = exports.Cause = exports.CapitalizedSchemaId = exports.Capitalized = exports.Capitalize = exports.BrandSchemaId = exports.BooleanFromUnknown = exports.BooleanFromString = exports.Boolean = exports.BigIntFromSelf = exports.BigIntFromNumber = exports.BigInt = exports.BigDecimalFromSelf = exports.BigDecimalFromNumber = exports.BigDecimal = exports.BetweenSchemaId = exports.BetweenDurationSchemaId = exports.BetweenDateSchemaId = exports.BetweenBigIntSchemaId = exports.BetweenBigDecimalSchemaId = exports.ArrayEnsure = exports.Array = exports.Any = void 0;
 exports.Literal = Literal;
 exports.MaxLengthSchemaId = exports.MaxItemsSchemaId = exports.MapFromSelf = exports.MapFromRecord = exports.Map = exports.LowercasedSchemaId = exports.Lowercased = exports.Lowercase = void 0;
-exports.StringFromHex = exports.StringFromBase64Url = exports.StringFromBase64 = exports.String = exports.StartsWithSchemaId = exports.SortedSetFromSelf = exports.SortedSet = exports.SetFromSelf = exports.Set = exports.RefineSchemaId = exports.RedactedFromSelf = exports.Redacted = exports.Record = exports.ReadonlySetFromSelf = exports.ReadonlySet = exports.ReadonlyMapFromSelf = exports.ReadonlyMapFromRecord = exports.ReadonlyMap = exports.PropertySignatureTypeId = exports.PropertySignatureTransformation = exports.PropertySignatureDeclaration = exports.PositiveBigIntFromSelf = exports.PositiveBigInt = exports.PositiveBigDecimalSchemaId = exports.PositiveBigDecimalFromSelf = exports.Positive = exports.PatternSchemaId = exports.OptionFromUndefinedOr = exports.OptionFromSelf = exports.OptionFromNullishOr = exports.OptionFromNullOr = exports.OptionFromNonEmptyTrimmedString = exports.Option = exports.Object = exports.NumberFromString = exports.Number = exports.NullishOr = exports.NullOr = exports.Null = exports.Not = exports.NonPositiveBigIntFromSelf = exports.NonPositiveBigInt = exports.NonPositiveBigDecimalSchemaId = exports.NonPositiveBigDecimalFromSelf = exports.NonPositive = exports.NonNegativeBigIntFromSelf = exports.NonNegativeBigInt = exports.NonNegativeBigDecimalSchemaId = exports.NonNegativeBigDecimalFromSelf = exports.NonNegative = exports.NonNaNSchemaId = exports.NonNaN = exports.NonEmptyTrimmedString = exports.NonEmptyString = exports.NonEmptyChunkFromSelf = exports.NonEmptyChunk = exports.NonEmptyArrayEnsure = exports.NonEmptyArray = exports.Never = exports.NegativeBigIntFromSelf = exports.NegativeBigInt = exports.NegativeBigDecimalSchemaId = exports.NegativeBigDecimalFromSelf = exports.Negative = exports.MultipleOfSchemaId = exports.MinLengthSchemaId = exports.MinItemsSchemaId = void 0;
+exports.StringFromHex = exports.StringFromBase64Url = exports.StringFromBase64 = exports.String = exports.StartsWithSchemaId = exports.SortedSetFromSelf = exports.SortedSet = exports.SetFromSelf = exports.Set = exports.RefineSchemaId = exports.RedactedFromSelf = exports.Redacted = exports.Record = exports.ReadonlySetFromSelf = exports.ReadonlySet = exports.ReadonlyMapFromSelf = exports.ReadonlyMapFromRecord = exports.ReadonlyMap = exports.PropertySignatureTypeId = exports.PropertySignatureTransformation = exports.PropertySignatureDeclaration = exports.PositiveBigIntFromSelf = exports.PositiveBigInt = exports.PositiveBigDecimalSchemaId = exports.PositiveBigDecimalFromSelf = exports.Positive = exports.PatternSchemaId = exports.OptionFromUndefinedOr = exports.OptionFromSelf = exports.OptionFromNullishOr = exports.OptionFromNullOr = exports.OptionFromNonEmptyTrimmedString = exports.Option = exports.Object = exports.NumberFromString = exports.Number = exports.NullishOr = exports.NullOr = exports.Null = exports.Not = exports.NonPositiveBigIntFromSelf = exports.NonPositiveBigInt = exports.NonPositiveBigDecimalSchemaId = exports.NonPositiveBigDecimalFromSelf = exports.NonPositive = exports.NonNegativeInt = exports.NonNegativeBigIntFromSelf = exports.NonNegativeBigInt = exports.NonNegativeBigDecimalSchemaId = exports.NonNegativeBigDecimalFromSelf = exports.NonNegative = exports.NonNaNSchemaId = exports.NonNaN = exports.NonEmptyTrimmedString = exports.NonEmptyString = exports.NonEmptyChunkFromSelf = exports.NonEmptyChunk = exports.NonEmptyArrayEnsure = exports.NonEmptyArray = exports.Never = exports.NegativeBigIntFromSelf = exports.NegativeBigInt = exports.NegativeBigDecimalSchemaId = exports.NegativeBigDecimalFromSelf = exports.Negative = exports.MultipleOfSchemaId = exports.MinLengthSchemaId = exports.MinItemsSchemaId = void 0;
 exports.Struct = Struct;
 exports.TrimmedSchemaId = exports.Trimmed = exports.Trim = exports.ToPropertySignature = exports.TimeZoneOffsetFromSelf = exports.TimeZoneOffset = exports.TimeZoneNamedFromSelf = exports.TimeZoneNamed = exports.TimeZoneFromSelf = exports.TimeZone = exports.TemplateLiteralParser = exports.TemplateLiteral = exports.TaggedStruct = exports.TaggedRequest = exports.TaggedError = exports.TaggedClass = exports.SymbolFromSelf = exports.Symbol = void 0;
 exports.Tuple = Tuple;
-exports.Uncapitalize = exports.Uint8ArrayFromSelf = exports.Uint8ArrayFromHex = exports.Uint8ArrayFromBase64Url = exports.Uint8ArrayFromBase64 = exports.Uint8Array = exports.UUIDSchemaId = exports.UUID = exports.URLFromSelf = exports.URL = exports.ULIDSchemaId = exports.ULID = exports.TypeId = void 0;
-exports.UndefinedOr = exports.Undefined = exports.UncapitalizedSchemaId = exports.Uncapitalized = void 0;
+exports.Uint8ArrayFromHex = exports.Uint8ArrayFromBase64Url = exports.Uint8ArrayFromBase64 = exports.Uint8Array = exports.Uint8 = exports.UUIDSchemaId = exports.UUID = exports.URLFromSelf = exports.URL = exports.ULIDSchemaId = exports.ULID = exports.TypeId = void 0;
+exports.UndefinedOr = exports.Undefined = exports.UncapitalizedSchemaId = exports.Uncapitalized = exports.Uncapitalize = exports.Uint8ArrayFromSelf = void 0;
 exports.Union = Union;
 exports.asWithResult = exports.asSerializableWithResult = exports.asSerializable = exports.asSchema = exports.annotations = exports.Void = exports.ValidDateSchemaId = exports.ValidDateFromSelf = exports.UppercasedSchemaId = exports.Uppercased = exports.Uppercase = exports.Unknown = exports.UniqueSymbolFromSelf = void 0;
 Object.defineProperty(exports, "asserts", {
@@ -85,8 +85,8 @@ Object.defineProperty(exports, "is", {
     return ParseResult.is;
   }
 });
-exports.lessThanOrEqualTo = exports.lessThanDuration = exports.lessThanDate = exports.lessThanBigInt = exports.lessThanBigDecimal = exports.lessThan = exports.length = exports.keyof = exports.itemsCount = exports.isSchema = exports.isPropertySignature = void 0;
-exports.transformLiteral = exports.transform = exports.tag = exports.symbolWithResult = exports.symbolSerializable = exports.suspend = exports.successSchema = exports.startsWith = exports.split = exports.serializeSuccess = exports.serializeFailure = exports.serializeExit = exports.serialize = exports.serializableSchema = exports.requiredToOptional = exports.required = exports.rename = exports.propertySignature = exports.positiveBigInt = exports.positiveBigDecimal = exports.positive = exports.pluck = exports.pickLiteral = exports.pick = exports.pattern = exports.partialWith = exports.partial = exports.parseNumber = exports.parseJson = exports.optionalWith = exports.optionalToRequired = exports.optionalToOptional = exports.optionalElement = exports.optional = exports.omit = exports.nonPositiveBigInt = exports.nonPositiveBigDecimal = exports.nonPositive = exports.nonNegativeBigInt = exports.nonNegativeBigDecimal = exports.nonNegative = exports.nonNaN = exports.nonEmptyString = exports.negativeBigInt = exports.negativeBigDecimal = exports.negative = exports.mutable = exports.multipleOf = exports.minLength = exports.minItems = exports.maxLength = exports.maxItems = exports.makePropertySignature = exports.make = exports.lowercased = exports.lessThanOrEqualToDuration = exports.lessThanOrEqualToDate = exports.lessThanOrEqualToBigInt = exports.lessThanOrEqualToBigDecimal = void 0;
+exports.lessThanDate = exports.lessThanBigInt = exports.lessThanBigDecimal = exports.lessThan = exports.length = exports.keyof = exports.itemsCount = exports.isSchema = exports.isPropertySignature = void 0;
+exports.transformLiteral = exports.transform = exports.tag = exports.symbolWithResult = exports.symbolSerializable = exports.suspend = exports.successSchema = exports.startsWith = exports.split = exports.serializeSuccess = exports.serializeFailure = exports.serializeExit = exports.serialize = exports.serializableSchema = exports.requiredToOptional = exports.required = exports.rename = exports.propertySignature = exports.positiveBigInt = exports.positiveBigDecimal = exports.positive = exports.pluck = exports.pickLiteral = exports.pick = exports.pattern = exports.partialWith = exports.partial = exports.parseNumber = exports.parseJson = exports.optionalWith = exports.optionalToRequired = exports.optionalToOptional = exports.optionalElement = exports.optional = exports.omit = exports.nonPositiveBigInt = exports.nonPositiveBigDecimal = exports.nonPositive = exports.nonNegativeBigInt = exports.nonNegativeBigDecimal = exports.nonNegative = exports.nonNaN = exports.nonEmptyString = exports.negativeBigInt = exports.negativeBigDecimal = exports.negative = exports.mutable = exports.multipleOf = exports.minLength = exports.minItems = exports.maxLength = exports.maxItems = exports.makePropertySignature = exports.make = exports.lowercased = exports.lessThanOrEqualToDuration = exports.lessThanOrEqualToDate = exports.lessThanOrEqualToBigInt = exports.lessThanOrEqualToBigDecimal = exports.lessThanOrEqualTo = exports.lessThanDuration = void 0;
 exports.transformLiterals = transformLiterals;
 exports.validateEither = exports.validate = exports.validDate = exports.uppercased = exports.uncapitalized = exports.typeSchema = exports.trimmed = exports.transformOrFail = void 0;
 Object.defineProperty(exports, "validateOption", {
@@ -477,60 +477,77 @@ const TemplateLiteral = (...[head, ...tail]) => {
   }
 };
 exports.TemplateLiteral = TemplateLiteral;
-const literalValueCoercions = {
-  bigint: v => Predicate.isString(v) ? BigInt(v) : v,
-  boolean: v => v === "true" ? true : v === "false" ? false : v,
-  null: v => v === "null" ? null : v
-};
+function getTemplateLiteralParserCoercedElement(encoded, schema) {
+  const ast = encoded.ast;
+  switch (ast._tag) {
+    case "Literal":
+      {
+        const literal = ast.literal;
+        if (!Predicate.isString(literal)) {
+          const s = String(literal);
+          return transform(Literal(s), schema, {
+            strict: true,
+            decode: () => literal,
+            encode: () => s
+          });
+        }
+        break;
+      }
+    case "NumberKeyword":
+      return compose(NumberFromString, schema);
+    case "Union":
+      {
+        const members = [];
+        let hasCoercions = false;
+        for (const member of ast.types) {
+          const schema = make(member);
+          const encoded = encodedSchema(schema);
+          const coerced = getTemplateLiteralParserCoercedElement(encoded, schema);
+          if (coerced) {
+            hasCoercions = true;
+          }
+          members.push(coerced ?? schema);
+        }
+        return hasCoercions ? compose(Union(...members), schema) : schema;
+      }
+  }
+}
 /**
  * @category template literal
  * @since 3.10.0
  */
 const TemplateLiteralParser = (...params) => {
   const encodedSchemas = [];
-  const typeSchemas = [];
-  const coercions = {};
+  const elements = [];
+  const schemas = [];
+  let coerced = false;
   for (let i = 0; i < params.length; i++) {
     const param = params[i];
-    if (isSchema(param)) {
-      const encoded = encodedSchema(param);
-      if (AST.isNumberKeyword(encoded.ast)) {
-        coercions[i] = Number;
-      }
-      encodedSchemas.push(encoded);
-      typeSchemas.push(param);
+    const schema = isSchema(param) ? param : Literal(param);
+    schemas.push(schema);
+    const encoded = encodedSchema(schema);
+    encodedSchemas.push(encoded);
+    const element = getTemplateLiteralParserCoercedElement(encoded, schema);
+    if (element) {
+      elements.push(element);
+      coerced = true;
     } else {
-      const schema = Literal(param);
-      if (Predicate.isNumber(param)) {
-        coercions[i] = Number;
-      } else if (Predicate.isBigInt(param)) {
-        coercions[i] = literalValueCoercions.bigint;
-      } else if (Predicate.isBoolean(param)) {
-        coercions[i] = literalValueCoercions.boolean;
-      } else if (Predicate.isNull(param)) {
-        coercions[i] = literalValueCoercions.null;
-      }
-      encodedSchemas.push(schema);
-      typeSchemas.push(schema);
+      elements.push(schema);
     }
   }
   const from = TemplateLiteral(...encodedSchemas);
   const re = AST.getTemplateLiteralCapturingRegExp(from.ast);
-  return class TemplateLiteralParserClass extends transformOrFail(from, Tuple(...typeSchemas), {
+  let to = Tuple(...elements);
+  if (coerced) {
+    to = to.annotations({
+      [AST.AutoTitleAnnotationId]: format(Tuple(...schemas))
+    });
+  }
+  return class TemplateLiteralParserClass extends transformOrFail(from, to, {
     strict: false,
     decode: (s, _, ast) => {
       const match = re.exec(s);
-      if (match) {
-        const out = match.slice(1, params.length + 1);
-        for (let i = 0; i < out.length; i++) {
-          const coerce = coercions[i];
-          if (coerce) {
-            out[i] = coerce(out[i]);
-          }
-        }
-        return ParseResult.succeed(out);
-      }
-      return ParseResult.fail(new ParseResult.Type(ast, s, `${re.source}: no match for ${JSON.stringify(s)}`));
+      return match ? ParseResult.succeed(match.slice(1, params.length + 1)) : ParseResult.fail(new ParseResult.Type(ast, s, `${re.source}: no match for ${JSON.stringify(s)}`));
     },
     encode: tuple => ParseResult.succeed(tuple.join(""))
   }) {
@@ -967,6 +984,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.
  *
@@ -977,9 +1000,15 @@ const withDecodingDefault = exports.withDecodingDefault = /*#__PURE__*/(0, _Func
   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), _Function.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), _Function.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));
+      }
   }
 });
 /**
@@ -1416,10 +1445,8 @@ 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);
 };
@@ -1812,6 +1839,7 @@ const TrimmedSchemaId = exports.TrimmedSchemaId = /*#__PURE__*/Symbol.for("effec
  */
 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$|^$"
@@ -1830,6 +1858,7 @@ const MaxLengthSchemaId = exports.MaxLengthSchemaId = schemaId_.MaxLengthSchemaI
  */
 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
@@ -1848,6 +1877,7 @@ const MinLengthSchemaId = exports.MinLengthSchemaId = schemaId_.MinLengthSchemaI
  */
 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
@@ -1865,7 +1895,7 @@ const PatternSchemaId = exports.PatternSchemaId = /*#__PURE__*/Symbol.for("effec
  * @since 3.10.0
  */
 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;
@@ -1875,9 +1905,10 @@ 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
   }));
@@ -1892,17 +1923,21 @@ const StartsWithSchemaId = exports.StartsWithSchemaId = /*#__PURE__*/Symbol.for(
  * @category string filters
  * @since 3.10.0
  */
-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
-}));
+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
@@ -1913,17 +1948,21 @@ const EndsWithSchemaId = exports.EndsWithSchemaId = /*#__PURE__*/Symbol.for("eff
  * @category string filters
  * @since 3.10.0
  */
-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
-}));
+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
@@ -1934,17 +1973,21 @@ const IncludesSchemaId = exports.IncludesSchemaId = /*#__PURE__*/Symbol.for("eff
  * @category string filters
  * @since 3.10.0
  */
-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
-}));
+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
@@ -1959,6 +2002,7 @@ const LowercasedSchemaId = exports.LowercasedSchemaId = /*#__PURE__*/Symbol.for(
  */
 const lowercased = annotations => self => self.pipe(filter(a => a === a.toLowerCase(), {
   schemaId: LowercasedSchemaId,
+  title: "lowercased",
   description: "a lowercase string",
   jsonSchema: {
     pattern: "^[^A-Z]*$"
@@ -1971,8 +2015,7 @@ const lowercased = annotations => self => self.pipe(filter(a => a === a.toLowerC
  */
 exports.lowercased = lowercased;
 class Lowercased extends /*#__PURE__*/String$.pipe( /*#__PURE__*/lowercased({
-  identifier: "Lowercased",
-  title: "Lowercased"
+  identifier: "Lowercased"
 })) {}
 /**
  * @category schema id
@@ -1988,6 +2031,7 @@ const CapitalizedSchemaId = exports.CapitalizedSchemaId = /*#__PURE__*/Symbol.fo
  */
 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]?.*$"
@@ -2000,8 +2044,7 @@ const capitalized = annotations => self => self.pipe(filter(a => a[0]?.toUpperCa
  */
 exports.capitalized = capitalized;
 class Capitalized extends /*#__PURE__*/String$.pipe( /*#__PURE__*/capitalized({
-  identifier: "Capitalized",
-  title: "Capitalized"
+  identifier: "Capitalized"
 })) {}
 /**
  * @category schema id
@@ -2017,6 +2060,7 @@ const UncapitalizedSchemaId = exports.UncapitalizedSchemaId = /*#__PURE__*/Symbo
  */
 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]?.*$"
@@ -2029,8 +2073,7 @@ const uncapitalized = annotations => self => self.pipe(filter(a => a[0]?.toLower
  */
 exports.uncapitalized = uncapitalized;
 class Uncapitalized extends /*#__PURE__*/String$.pipe( /*#__PURE__*/uncapitalized({
-  identifier: "Uncapitalized",
-  title: "Uncapitalized"
+  identifier: "Uncapitalized"
 })) {}
 /**
  * @category schema id
@@ -2046,6 +2089,7 @@ const UppercasedSchemaId = exports.UppercasedSchemaId = /*#__PURE__*/Symbol.for(
  */
 const uppercased = annotations => self => self.pipe(filter(a => a === a.toUpperCase(), {
   schemaId: UppercasedSchemaId,
+  title: "uppercased",
   description: "an uppercase string",
   jsonSchema: {
     pattern: "^[^a-z]*$"
@@ -2058,8 +2102,7 @@ const uppercased = annotations => self => self.pipe(filter(a => a === a.toUpperC
  */
 exports.uppercased = uppercased;
 class Uppercased extends /*#__PURE__*/String$.pipe( /*#__PURE__*/uppercased({
-  identifier: "Uppercased",
-  title: "Uppercased"
+  identifier: "Uppercased"
 })) {}
 /**
  * @category schema id
@@ -2077,6 +2120,7 @@ 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,
@@ -2087,6 +2131,7 @@ 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,
@@ -2111,6 +2156,7 @@ class Char extends /*#__PURE__*/String$.pipe( /*#__PURE__*/length(1, {
  */
 exports.Char = Char;
 const nonEmptyString = annotations => minLength(1, {
+  title: "nonEmptyString",
   description: "a non empty string",
   ...annotations
 });
@@ -2184,8 +2230,7 @@ class Uncapitalize extends /*#__PURE__*/transform(String$.annotations({
  */
 exports.Uncapitalize = Uncapitalize;
 class Trimmed extends /*#__PURE__*/String$.pipe( /*#__PURE__*/trimmed({
-  identifier: "Trimmed",
-  title: "Trimmed"
+  identifier: "Trimmed"
 })) {}
 /**
  * Useful for validating strings that must contain meaningful characters without
@@ -2205,8 +2250,7 @@ class Trimmed extends /*#__PURE__*/String$.pipe( /*#__PURE__*/trimmed({
  */
 exports.Trimmed = Trimmed;
 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.
@@ -2283,8 +2327,7 @@ const parseJson = (schemaOrOptions, o) => isSchema(schemaOrOptions) ? compose(pa
  */
 exports.parseJson = parseJson;
 class NonEmptyString extends /*#__PURE__*/String$.pipe( /*#__PURE__*/nonEmptyString({
-  identifier: "NonEmptyString",
-  title: "NonEmptyString"
+  identifier: "NonEmptyString"
 })) {}
 /**
  * @category schema id
@@ -2304,7 +2347,6 @@ const uuidRegexp = /^[0-9a-fA-F]{8}-[0-9a-fA-F]{4}-[0-9a-fA-F]{4}-[0-9a-fA-F]{4}
 class UUID extends /*#__PURE__*/String$.pipe( /*#__PURE__*/pattern(uuidRegexp, {
   schemaId: UUIDSchemaId,
   identifier: "UUID",
-  title: "UUID",
   jsonSchema: {
     format: "uuid",
     pattern: uuidRegexp.source
@@ -2331,7 +2373,6 @@ const ulidRegexp = /^[0-7][0-9A-HJKMNP-TV-Z]{25}$/i;
 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()
 })) {}
@@ -2344,7 +2385,6 @@ class ULID extends /*#__PURE__*/String$.pipe( /*#__PURE__*/pattern(ulidRegexp, {
 exports.ULID = ULID;
 class URLFromSelf extends /*#__PURE__*/instanceOf(URL, {
   identifier: "URLFromSelf",
-  title: "URLFromSelf",
   arbitrary: () => fc => fc.webUrl().map(s => new URL(s)),
   pretty: () => url => url.toString()
 }) {}
@@ -2361,7 +2401,6 @@ class URL$ extends /*#__PURE__*/transformOrFail(String$.annotations({
   encode: url => ParseResult.succeed(url.toString())
 }).annotations({
   identifier: "URL",
-  title: "URL",
   pretty: () => url => url.toString()
 }) {}
 exports.URL = URL$;
@@ -2371,15 +2410,14 @@ exports.URL = URL$;
  */
 const FiniteSchemaId = exports.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
  */
 const finite = annotations => self => self.pipe(filter(Number.isFinite, {
   schemaId: FiniteSchemaId,
+  title: "finite",
   description: "a finite number",
   jsonSchema: {
     "type": "number"
@@ -2400,6 +2438,7 @@ const GreaterThanSchemaId = exports.GreaterThanSchemaId = schemaId_.GreaterThanS
  */
 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
@@ -2420,6 +2459,7 @@ const GreaterThanOrEqualToSchemaId = exports.GreaterThanOrEqualToSchemaId = sche
  */
 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
@@ -2436,15 +2476,18 @@ const MultipleOfSchemaId = exports.MultipleOfSchemaId = /*#__PURE__*/Symbol.for(
  * @category number filters
  * @since 3.10.0
  */
-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
-}));
+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
@@ -2452,12 +2495,14 @@ const multipleOf = (divisor, annotations) => self => self.pipe(filter(a => numbe
 exports.multipleOf = multipleOf;
 const IntSchemaId = exports.IntSchemaId = schemaId_.IntSchemaId;
 /**
+ * Ensures that the provided value is an integer number (excluding NaN, +Infinity, and -Infinity).
+ *
  * @category number filters
  * @since 3.10.0
  */
 const int = annotations => self => self.pipe(filter(a => Number.isSafeInteger(a), {
   schemaId: IntSchemaId,
-  title: "integer",
+  title: "int",
   description: "an integer",
   jsonSchema: {
     type: "integer"
@@ -2478,6 +2523,7 @@ const LessThanSchemaId = exports.LessThanSchemaId = schemaId_.LessThanSchemaId;
  */
 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
@@ -2498,6 +2544,7 @@ const LessThanOrEqualToSchemaId = exports.LessThanOrEqualToSchemaId = schemaId_.
  */
 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
@@ -2518,6 +2565,7 @@ const BetweenSchemaId = exports.BetweenSchemaId = schemaId_.BetweenSchemaId;
  */
 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,
@@ -2537,6 +2585,7 @@ const NonNaNSchemaId = exports.NonNaNSchemaId = schemaId_.NonNaNSchemaId;
  */
 const nonNaN = annotations => self => self.pipe(filter(a => !Number.isNaN(a), {
   schemaId: NonNaNSchemaId,
+  title: "nonNaN",
   description: "a number excluding NaN",
   ...annotations
 }));
@@ -2545,25 +2594,37 @@ const nonNaN = annotations => self => self.pipe(filter(a => !Number.isNaN(a), {
  * @since 3.10.0
  */
 exports.nonNaN = nonNaN;
-const positive = annotations => greaterThan(0, annotations);
+const positive = annotations => greaterThan(0, {
+  title: "positive",
+  ...annotations
+});
 /**
  * @category number filters
  * @since 3.10.0
  */
 exports.positive = positive;
-const negative = annotations => lessThan(0, annotations);
+const negative = annotations => lessThan(0, {
+  title: "negative",
+  ...annotations
+});
 /**
  * @category number filters
  * @since 3.10.0
  */
 exports.negative = negative;
-const nonPositive = annotations => lessThanOrEqualTo(0, annotations);
+const nonPositive = annotations => lessThanOrEqualTo(0, {
+  title: "nonPositive",
+  ...annotations
+});
 /**
  * @category number filters
  * @since 3.10.0
  */
 exports.nonPositive = nonPositive;
-const nonNegative = annotations => greaterThanOrEqualTo(0, annotations);
+const nonNegative = annotations => greaterThanOrEqualTo(0, {
+  title: "nonNegative",
+  ...annotations
+});
 /**
  * Clamps a number between a minimum and a maximum value.
  *
@@ -2617,8 +2678,7 @@ class NumberFromString extends /*#__PURE__*/parseNumber(String$.annotations({
  */
 exports.NumberFromString = NumberFromString;
 class Finite extends /*#__PURE__*/Number$.pipe( /*#__PURE__*/finite({
-  identifier: "Finite",
-  title: "Finite"
+  identifier: "Finite"
 })) {}
 /**
  * @category number constructors
@@ -2626,8 +2686,7 @@ class Finite extends /*#__PURE__*/Number$.pipe( /*#__PURE__*/finite({
  */
 exports.Finite = Finite;
 class Int extends /*#__PURE__*/Number$.pipe( /*#__PURE__*/int({
-  identifier: "Int",
-  title: "Int"
+  identifier: "Int"
 })) {}
 /**
  * @category number constructors
@@ -2635,8 +2694,7 @@ class Int extends /*#__PURE__*/Number$.pipe( /*#__PURE__*/int({
  */
 exports.Int = Int;
 class NonNaN extends /*#__PURE__*/Number$.pipe( /*#__PURE__*/nonNaN({
-  identifier: "NonNaN",
-  title: "NonNaN"
+  identifier: "NonNaN"
 })) {}
 /**
  * @category number constructors
@@ -2644,8 +2702,7 @@ class NonNaN extends /*#__PURE__*/Number$.pipe( /*#__PURE__*/nonNaN({
  */
 exports.NonNaN = NonNaN;
 class Positive extends /*#__PURE__*/Number$.pipe( /*#__PURE__*/positive({
-  identifier: "Positive",
-  title: "Positive"
+  identifier: "Positive"
 })) {}
 /**
  * @category number constructors
@@ -2653,8 +2710,7 @@ class Positive extends /*#__PURE__*/Number$.pipe( /*#__PURE__*/positive({
  */
 exports.Positive = Positive;
 class Negative extends /*#__PURE__*/Number$.pipe( /*#__PURE__*/negative({
-  identifier: "Negative",
-  title: "Negative"
+  identifier: "Negative"
 })) {}
 /**
  * @category number constructors
@@ -2662,8 +2718,7 @@ class Negative extends /*#__PURE__*/Number$.pipe( /*#__PURE__*/negative({
  */
 exports.Negative = Negative;
 class NonPositive extends /*#__PURE__*/Number$.pipe( /*#__PURE__*/nonPositive({
-  identifier: "NonPositive",
-  title: "NonPositive"
+  identifier: "NonPositive"
 })) {}
 /**
  * @category number constructors
@@ -2671,8 +2726,7 @@ class NonPositive extends /*#__PURE__*/Number$.pipe( /*#__PURE__*/nonPositive({
  */
 exports.NonPositive = NonPositive;
 class NonNegative extends /*#__PURE__*/Number$.pipe( /*#__PURE__*/nonNegative({
-  identifier: "NonNegative",
-  title: "NonNegative"
+  identifier: "NonNegative"
 })) {}
 /**
  * @category schema id
@@ -2702,9 +2756,7 @@ const JsonNumberSchemaId = exports.JsonNumberSchemaId = schemaId_.JsonNumberSche
  */
 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
@@ -2744,6 +2796,7 @@ const greaterThanBigInt = (min, annotations) => self => self.pipe(filter(a => a
   [GreaterThanBigIntSchemaId]: {
     min
   },
+  title: `greaterThanBigInt(${min})`,
   description: min === 0n ? "a positive bigint" : `a bigint greater than ${min}n`,
   ...annotations
 }));
@@ -2762,6 +2815,7 @@ const greaterThanOrEqualToBigInt = (min, annotations) => self => self.pipe(filte
   [GreaterThanOrEqualToBigIntSchemaId]: {
     min
   },
+  title: `greaterThanOrEqualToBigInt(${min})`,
   description: min === 0n ? "a non-negative bigint" : `a bigint greater than or equal to ${min}n`,
   ...annotations
 }));
@@ -2780,6 +2834,7 @@ const lessThanBigInt = (max, annotations) => self => self.pipe(filter(a => a < m
   [LessThanBigIntSchemaId]: {
     max
   },
+  title: `lessThanBigInt(${max})`,
   description: max === 0n ? "a negative bigint" : `a bigint less than ${max}n`,
   ...annotations
 }));
@@ -2798,6 +2853,7 @@ const lessThanOrEqualToBigInt = (max, annotations) => self => self.pipe(filter(a
   [LessThanOrEqualToBigIntSchemaId]: {
     max
   },
+  title: `lessThanOrEqualToBigInt(${max})`,
   description: max === 0n ? "a non-positive bigint" : `a bigint less than or equal to ${max}n`,
   ...annotations
 }));
@@ -2817,6 +2873,7 @@ const betweenBigInt = (min, max, annotations) => self => self.pipe(filter(a => a
     min,
     max
   },
+  title: `betweenBigInt(${min}, ${max})`,
   description: `a bigint between ${min}n and ${max}n`,
   ...annotations
 }));
@@ -2825,25 +2882,37 @@ const betweenBigInt = (min, max, annotations) => self => self.pipe(filter(a => a
  * @since 3.10.0
  */
 exports.betweenBigInt = betweenBigInt;
-const positiveBigInt = annotations => greaterThanBigInt(0n, annotations);
+const positiveBigInt = annotations => greaterThanBigInt(0n, {
+  title: "positiveBigInt",
+  ...annotations
+});
 /**
  * @category bigint filters
  * @since 3.10.0
  */
 exports.positiveBigInt = positiveBigInt;
-const negativeBigInt = annotations => lessThanBigInt(0n, annotations);
+const negativeBigInt = annotations => lessThanBigInt(0n, {
+  title: "negativeBigInt",
+  ...annotations
+});
 /**
  * @category bigint filters
  * @since 3.10.0
  */
 exports.negativeBigInt = negativeBigInt;
-const nonNegativeBigInt = annotations => greaterThanOrEqualToBigInt(0n, annotations);
+const nonNegativeBigInt = annotations => greaterThanOrEqualToBigInt(0n, {
+  title: "nonNegativeBigInt",
+  ...annotations
+});
 /**
  * @category bigint filters
  * @since 3.10.0
  */
 exports.nonNegativeBigInt = nonNegativeBigInt;
-const nonPositiveBigInt = annotations => lessThanOrEqualToBigInt(0n, annotations);
+const nonPositiveBigInt = annotations => lessThanOrEqualToBigInt(0n, {
+  title: "nonPositiveBigInt",
+  ...annotations
+});
 /**
  * Clamps a bigint between a minimum and a maximum value.
  *
@@ -2876,64 +2945,56 @@ exports.BigInt = BigInt$;
  * @since 3.10.0
  */
 const PositiveBigIntFromSelf = exports.PositiveBigIntFromSelf = /*#__PURE__*/BigIntFromSelf.pipe( /*#__PURE__*/positiveBigInt({
-  identifier: "PositiveBigintFromSelf",
-  title: "PositiveBigintFromSelf"
+  identifier: "PositiveBigintFromSelf"
 }));
 /**
  * @category bigint constructors
  * @since 3.10.0
  */
 const PositiveBigInt = exports.PositiveBigInt = /*#__PURE__*/BigInt$.pipe( /*#__PURE__*/positiveBigInt({
-  identifier: "PositiveBigint",
-  title: "PositiveBigint"
+  identifier: "PositiveBigint"
 }));
 /**
  * @category bigint constructors
  * @since 3.10.0
  */
 const NegativeBigIntFromSelf = exports.NegativeBigIntFromSelf = /*#__PURE__*/BigIntFromSelf.pipe( /*#__PURE__*/negativeBigInt({
-  identifier: "NegativeBigintFromSelf",
-  title: "NegativeBigintFromSelf"
+  identifier: "NegativeBigintFromSelf"
 }));
 /**
  * @category bigint constructors
  * @since 3.10.0
  */
 const NegativeBigInt = exports.NegativeBigInt = /*#__PURE__*/BigInt$.pipe( /*#__PURE__*/negativeBigInt({
-  identifier: "NegativeBigint",
-  title: "NegativeBigint"
+  identifier: "NegativeBigint"
 }));
 /**
  * @category bigint constructors
  * @since 3.10.0
  */
 const NonPositiveBigIntFromSelf = exports.NonPositiveBigIntFromSelf = /*#__PURE__*/BigIntFromSelf.pipe( /*#__PURE__*/nonPositiveBigInt({
-  identifier: "NonPositiveBigintFromSelf",
-  title: "NonPositiveBigintFromSelf"
+  identifier: "NonPositiveBigintFromSelf"
 }));
 /**
  * @category bigint constructors
  * @since 3.10.0
  */
 const NonPositiveBigInt = exports.NonPositiveBigInt = /*#__PURE__*/BigInt$.pipe( /*#__PURE__*/nonPositiveBigInt({
-  identifier: "NonPositiveBigint",
-  title: "NonPositiveBigint"
+  identifier: "NonPositiveBigint"
 }));
 /**
  * @category bigint constructors
  * @since 3.10.0
  */
 const NonNegativeBigIntFromSelf = exports.NonNegativeBigIntFromSelf = /*#__PURE__*/BigIntFromSelf.pipe( /*#__PURE__*/nonNegativeBigInt({
-  identifier: "NonNegativeBigintFromSelf",
-  title: "NonNegativeBigintFromSelf"
+  identifier: "NonNegativeBigintFromSelf"
 }));
 /**
  * @category bigint constructors
  * @since 3.10.0
  */
 const NonNegativeBigInt = exports.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.
@@ -3034,21 +3095,28 @@ class DurationFromMillis extends /*#__PURE__*/transform(Number$.annotations({
 }).annotations({
   identifier: "DurationFromMillis"
 }) {}
+/**
+ * @category number constructors
+ * @since 3.11.10
+ */
 exports.DurationFromMillis = 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"
-})));
+const NonNegativeInt = exports.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
  */
-class Duration extends /*#__PURE__*/transform(hrTime.annotations({
+class Duration extends /*#__PURE__*/transform(HRTime.annotations({
   description: "a tuple of seconds and nanos that will be parsed into a Duration"
 }), DurationFromSelf, {
   strict: true,
@@ -3087,6 +3155,7 @@ const lessThanDuration = (max, annotations) => self => self.pipe(filter(a => dur
   [LessThanDurationSchemaId]: {
     max
   },
+  title: `lessThanDuration(${max})`,
   description: `a Duration less than ${duration_.decode(max)}`,
   ...annotations
 }));
@@ -3105,6 +3174,7 @@ const lessThanOrEqualToDuration = (max, annotations) => self => self.pipe(filter
   [LessThanDurationSchemaId]: {
     max
   },
+  title: `lessThanOrEqualToDuration(${max})`,
   description: `a Duration less than or equal to ${duration_.decode(max)}`,
   ...annotations
 }));
@@ -3123,6 +3193,7 @@ const greaterThanDuration = (min, annotations) => self => self.pipe(filter(a =>
   [GreaterThanDurationSchemaId]: {
     min
   },
+  title: `greaterThanDuration(${min})`,
   description: `a Duration greater than ${duration_.decode(min)}`,
   ...annotations
 }));
@@ -3141,6 +3212,7 @@ const greaterThanOrEqualToDuration = (min, annotations) => self => self.pipe(fil
   [GreaterThanOrEqualToDurationSchemaId]: {
     min
   },
+  title: `greaterThanOrEqualToDuration(${min})`,
   description: `a Duration greater than or equal to ${duration_.decode(min)}`,
   ...annotations
 }));
@@ -3163,6 +3235,7 @@ const betweenDuration = (minimum, maximum, annotations) => self => self.pipe(fil
     maximum,
     minimum
   },
+  title: `betweenDuration(${minimum}, ${maximum})`,
   description: `a Duration between ${duration_.decode(minimum)} and ${duration_.decode(maximum)}`,
   ...annotations
 }));
@@ -3177,10 +3250,15 @@ const Uint8ArrayFromSelf = exports.Uint8ArrayFromSelf = /*#__PURE__*/declare(Pre
   arbitrary: () => fc => fc.uint8Array(),
   equivalence: () => array_.getEquivalence(Equal.equals)
 });
-const Uint8Array$ = exports.Uint8Array = /*#__PURE__*/transform(Array$(Number$.pipe(between(0, 255, {
-  title: "8-bit unsigned integer",
+/**
+ * @category number constructors
+ * @since 3.11.10
+ */
+const Uint8 = exports.Uint8 = /*#__PURE__*/Number$.pipe( /*#__PURE__*/between(0, 255, {
+  identifier: "Uint8",
   description: "a 8-bit unsigned integer"
-}))).annotations({
+}));
+const Uint8Array$ = exports.Uint8Array = /*#__PURE__*/transform(Array$(Uint8).annotations({
   description: "an array of 8-bit unsigned integers that will be parsed into a Uint8Array"
 }), Uint8ArrayFromSelf, {
   strict: true,
@@ -3265,6 +3343,7 @@ 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
@@ -3285,6 +3364,7 @@ const MaxItemsSchemaId = exports.MaxItemsSchemaId = schemaId_.MaxItemsSchemaId;
  */
 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
@@ -3304,6 +3384,7 @@ const ItemsCountSchemaId = exports.ItemsCountSchemaId = schemaId_.ItemsCountSche
  */
 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,
@@ -3366,6 +3447,7 @@ const validDate = annotations => self => self.pipe(filter(a => !Number.isNaN(a.g
   [ValidDateSchemaId]: {
     noInvalidDate: true
   },
+  title: "validDate",
   description: "a valid Date",
   ...annotations
 }));
@@ -3384,6 +3466,7 @@ const lessThanDate = (max, annotations) => self => self.pipe(filter(a => a < max
   [LessThanDateSchemaId]: {
     max
   },
+  title: `lessThanDate(${util_.formatDate(max)})`,
   description: `a date before ${util_.formatDate(max)}`,
   ...annotations
 }));
@@ -3402,6 +3485,7 @@ const lessThanOrEqualToDate = (max, annotations) => self => self.pipe(filter(a =
   [LessThanDateSchemaId]: {
     max
   },
+  title: `lessThanOrEqualToDate(${util_.formatDate(max)})`,
   description: `a date before or equal to ${util_.formatDate(max)}`,
   ...annotations
 }));
@@ -3420,6 +3504,7 @@ const greaterThanDate = (min, annotations) => self => self.pipe(filter(a => a >
   [GreaterThanDateSchemaId]: {
     min
   },
+  title: `greaterThanDate(${util_.formatDate(min)})`,
   description: `a date after ${util_.formatDate(min)}`,
   ...annotations
 }));
@@ -3438,6 +3523,7 @@ const greaterThanOrEqualToDate = (min, annotations) => self => self.pipe(filter(
   [GreaterThanOrEqualToDateSchemaId]: {
     min
   },
+  title: `greaterThanOrEqualToDate(${util_.formatDate(min)})`,
   description: `a date after or equal to ${util_.formatDate(min)}`,
   ...annotations
 }));
@@ -3457,6 +3543,7 @@ const betweenDate = (min, max, annotations) => self => self.pipe(filter(a => a <
     max,
     min
   },
+  title: `betweenDate(${util_.formatDate(min)}, ${util_.formatDate(max)})`,
   description: `a date between ${util_.formatDate(min)} and ${util_.formatDate(max)}`,
   ...annotations
 }));
@@ -4192,7 +4279,7 @@ class BigDecimalFromNumber extends /*#__PURE__*/transformOrFail(Number$.annotati
   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"
@@ -4207,14 +4294,18 @@ const GreaterThanBigDecimalSchemaId = exports.GreaterThanBigDecimalSchemaId = /*
  * @category BigDecimal filters
  * @since 3.10.0
  */
-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
-}));
+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
@@ -4225,14 +4316,18 @@ const GreaterThanOrEqualToBigDecimalSchemaId = exports.GreaterThanOrEqualToBigDe
  * @category BigDecimal filters
  * @since 3.10.0
  */
-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
-}));
+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
@@ -4243,14 +4338,18 @@ const LessThanBigDecimalSchemaId = exports.LessThanBigDecimalSchemaId = /*#__PUR
  * @category BigDecimal filters
  * @since 3.10.0
  */
-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
-}));
+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
@@ -4261,14 +4360,18 @@ const LessThanOrEqualToBigDecimalSchemaId = exports.LessThanOrEqualToBigDecimalS
  * @category BigDecimal filters
  * @since 3.10.0
  */
-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
-}));
+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
@@ -4281,6 +4384,7 @@ const PositiveBigDecimalSchemaId = exports.PositiveBigDecimalSchemaId = /*#__PUR
  */
 const positiveBigDecimal = annotations => self => self.pipe(filter(a => bigDecimal_.isPositive(a), {
   schemaId: PositiveBigDecimalSchemaId,
+  title: "positiveBigDecimal",
   description: `a positive BigDecimal`,
   ...annotations
 }));
@@ -4290,8 +4394,7 @@ const positiveBigDecimal = annotations => self => self.pipe(filter(a => bigDecim
  */
 exports.positiveBigDecimal = positiveBigDecimal;
 const PositiveBigDecimalFromSelf = exports.PositiveBigDecimalFromSelf = /*#__PURE__*/BigDecimalFromSelf.pipe( /*#__PURE__*/positiveBigDecimal({
-  identifier: "PositiveBigDecimalFromSelf",
-  title: "PositiveBigDecimalFromSelf"
+  identifier: "PositiveBigDecimalFromSelf"
 }));
 /**
  * @category schema id
@@ -4304,6 +4407,7 @@ const NonNegativeBigDecimalSchemaId = exports.NonNegativeBigDecimalSchemaId = /*
  */
 const nonNegativeBigDecimal = annotations => self => self.pipe(filter(a => a.value >= 0n, {
   schemaId: NonNegativeBigDecimalSchemaId,
+  title: "nonNegativeBigDecimal",
   description: `a non-negative BigDecimal`,
   ...annotations
 }));
@@ -4313,8 +4417,7 @@ const nonNegativeBigDecimal = annotations => self => self.pipe(filter(a => a.val
  */
 exports.nonNegativeBigDecimal = nonNegativeBigDecimal;
 const NonNegativeBigDecimalFromSelf = exports.NonNegativeBigDecimalFromSelf = /*#__PURE__*/BigDecimalFromSelf.pipe( /*#__PURE__*/nonNegativeBigDecimal({
-  identifier: "NonNegativeBigDecimalFromSelf",
-  title: "NonNegativeBigDecimalFromSelf"
+  identifier: "NonNegativeBigDecimalFromSelf"
 }));
 /**
  * @category schema id
@@ -4327,6 +4430,7 @@ const NegativeBigDecimalSchemaId = exports.NegativeBigDecimalSchemaId = /*#__PUR
  */
 const negativeBigDecimal = annotations => self => self.pipe(filter(a => bigDecimal_.isNegative(a), {
   schemaId: NegativeBigDecimalSchemaId,
+  title: "negativeBigDecimal",
   description: `a negative BigDecimal`,
   ...annotations
 }));
@@ -4336,8 +4440,7 @@ const negativeBigDecimal = annotations => self => self.pipe(filter(a => bigDecim
  */
 exports.negativeBigDecimal = negativeBigDecimal;
 const NegativeBigDecimalFromSelf = exports.NegativeBigDecimalFromSelf = /*#__PURE__*/BigDecimalFromSelf.pipe( /*#__PURE__*/negativeBigDecimal({
-  identifier: "NegativeBigDecimalFromSelf",
-  title: "NegativeBigDecimalFromSelf"
+  identifier: "NegativeBigDecimalFromSelf"
 }));
 /**
  * @category schema id
@@ -4350,6 +4453,7 @@ const NonPositiveBigDecimalSchemaId = exports.NonPositiveBigDecimalSchemaId = /*
  */
 const nonPositiveBigDecimal = annotations => self => self.pipe(filter(a => a.value <= 0n, {
   schemaId: NonPositiveBigDecimalSchemaId,
+  title: "nonPositiveBigDecimal",
   description: `a non-positive BigDecimal`,
   ...annotations
 }));
@@ -4359,8 +4463,7 @@ const nonPositiveBigDecimal = annotations => self => self.pipe(filter(a => a.val
  */
 exports.nonPositiveBigDecimal = nonPositiveBigDecimal;
 const NonPositiveBigDecimalFromSelf = exports.NonPositiveBigDecimalFromSelf = /*#__PURE__*/BigDecimalFromSelf.pipe( /*#__PURE__*/nonPositiveBigDecimal({
-  identifier: "NonPositiveBigDecimalFromSelf",
-  title: "NonPositiveBigDecimalFromSelf"
+  identifier: "NonPositiveBigDecimalFromSelf"
 }));
 /**
  * @category schema id
@@ -4371,18 +4474,23 @@ const BetweenBigDecimalSchemaId = exports.BetweenBigDecimalSchemaId = /*#__PURE_
  * @category BigDecimal filters
  * @since 3.10.0
  */
-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
-}));
+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.
  *
@@ -4796,14 +4904,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"
 });
@@ -5387,8 +5489,8 @@ class BooleanFromString extends /*#__PURE__*/transform(Literal("true", "false"),
  */
 exports.BooleanFromString = BooleanFromString;
 const Config = (name, schema) => {
-  const decodeEither_ = decodeEither(schema);
-  return config_.string(name).pipe(config_.mapOrFail(a => decodeEither_(a).pipe(either_.mapLeft(error => configError_.InvalidData([], ParseResult.TreeFormatter.formatErrorSync(error))))));
+  const decodeUnknownEither = ParseResult.decodeUnknownEither(schema);
+  return config_.string(name).pipe(config_.mapOrFail(s => decodeUnknownEither(s).pipe(either_.mapLeft(error => configError_.InvalidData([], ParseResult.TreeFormatter.formatIssueSync(error))))));
 };
 // ---------------------------------------------
 // Serializable