effect 4.0.6 → 4.0.7

package/dist/Schema.js

@@ -2127,11 +2127,18 @@ export function extendTo(fields, derive) {
  *
  * **Gotchas**
  *
+ * Dynamic records reject value schemas wrapped with {@link optionalKey} or
+ * {@link optional}. Index signatures already allow keys to be absent; use
+ * {@link UndefinedOr} when existing entries may contain `undefined`. Optional
+ * value schemas remain valid for finite literal keys, which become declared
+ * properties.
+ *
  * When decoded or encoded key transformations produce the same property key,
  * sequential parsing applies selected own properties in selection order, so
  * the later selected property overwrites the earlier value. Dynamic key
- * selection always examines own properties. Finite literal keys are declared
- * fields and may therefore be inherited. Output key order is not guaranteed.
+ * selection always examines own properties. Finite literal and enum keys are
+ * declared fields and may therefore be inherited. Output key order is not
+ * guaranteed.
  *
  * **Example** (Defining a string-keyed record of numbers)
  *
@@ -3457,9 +3464,8 @@ export function link() {
  * )
  *
  * const result = Schema.decodeUnknownResult(schema)({ password: "123456", confirmPassword: "1234567" })
- * if (Result.isFailure(result) && result.failure.issue._tag === "Filter" && result.failure.issue.issue._tag === "Pointer") {
- *   result.failure.issue.issue.path // => ["password"]
- * }
+ * const message = Result.isFailure(result) ? result.failure.message : ""
+ * message // => "password and confirmPassword must match\n  at [\"password\"]"
  * ```
  *
  * **Example** (Reporting multiple failures at once)
@@ -3479,9 +3485,8 @@ export function link() {
  * )
  *
  * const result = Schema.decodeUnknownResult(schema)({ a: 1, b: 0, c: 0 })
- * if (Result.isFailure(result) && result.failure.issue._tag === "Filter" && result.failure.issue.issue._tag === "Composite") {
- *   result.failure.issue.issue.issues.map((issue) => issue._tag === "Pointer" ? issue.path : []) // => [["b"], ["c"]]
- * }
+ * const message = Result.isFailure(result) ? result.failure.message : ""
+ * message // => "b must be greater than 0\n  at [\"b\"]\nc must be greater than 0\n  at [\"c\"]"
  * ```
  *
  * @stability stable
@@ -3567,7 +3572,7 @@ export function isPattern(regExp, annotations) {
   const source = regExp.source;
   const flags = regExp.flags;
   const canExport = /^[dg]*uy?$/.test(flags);
-  const runtimeRegExp = flags === "" ? `new RegExp(${format(source)})` : `new RegExp(${format(source)}, ${format(flags)})`;
+  const runtimeRegExp = flags === "" ? `new globalThis.RegExp(${format(source)})` : `new globalThis.RegExp(${format(source)}, ${format(flags)})`;
   return SchemaAST.isPattern(regExp, {
     toJsonSchema: () => canExport ? {
       pattern: flags.endsWith("y") ? `^(?:${source})` : source
@@ -3709,7 +3714,7 @@ export function isUUID(version, annotations) {
     ...annotations
   });
 }
-const GUID_REGEXP = /^([0-9a-fA-F]{8}-[0-9a-fA-F]{4}-[0-9a-fA-F]{4}-[0-9a-fA-F]{4}-[0-9a-fA-F]{12})$/;
+const GUID_REGEXP = /^([0-9a-fA-F]{8}-[0-9a-fA-F]{4}-[0-9a-fA-F]{4}-[0-9a-fA-F]{4}-[0-9a-fA-F]{12})$/u;
 /**
  * Validates that a string has the GUID / UUID textual shape.
  *
@@ -3742,21 +3747,22 @@ export function isGUID(annotations) {
       id: "effect/schema/isGUID",
       payload: null
     },
-    toJsonSchema: () => ({
-      pattern: GUID_REGEXP.source
-    }),
     toCode: () => ({
       runtime: "Schema.isGUID()"
     }),
     ...annotations
   });
 }
+const ULID_REGEXP = /^[0-7][0-9A-HJKMNP-TV-Za-hjkmnp-tv-z]{25}$/u;
 /**
  * Validates that a string is a valid ULID (Universally Unique Lexicographically
  * Sortable Identifier).
  *
  * **Details**
  *
+ * Accepts uppercase and lowercase characters. The first character must be
+ * between `0` and `7` so the value fits in 128 bits.
+ *
  * JSON Schema:
  *
  * This check corresponds to a `pattern` constraint in JSON Schema that matches
@@ -3772,15 +3778,11 @@ export function isGUID(annotations) {
  * @since 4.0.0
  */
 export function isULID(annotations) {
-  const regExp = /^[0-9A-HJKMNP-TV-Za-hjkmnp-tv-z]{26}$/;
-  return isPattern(regExp, {
+  return isPattern(ULID_REGEXP, {
     representation: {
       id: "effect/schema/isULID",
       payload: null
     },
-    toJsonSchema: () => ({
-      pattern: regExp.source
-    }),
     toCode: () => ({
       runtime: "Schema.isULID()"
     }),
@@ -4087,15 +4089,17 @@ const CAPITALIZED_PATTERN = "^(?:[^a-z][\\s\\S]*)?$";
  * @since 4.0.0
  */
 export function isCapitalized(annotations) {
-  const regExp = new globalThis.RegExp(CAPITALIZED_PATTERN);
-  return makeFilter(s => s.charAt(0).toUpperCase() === s.charAt(0), {
+  return makeFilter(s => {
+    const [first = ""] = s;
+    return first.toUpperCase() === first;
+  }, {
     expected: "a string with the first character in uppercase",
     representation: {
       id: "effect/schema/isCapitalized",
       payload: null
     },
     toJsonSchema: () => [{
-      pattern: regExp.source
+      pattern: CAPITALIZED_PATTERN
     }, true],
     toCode: () => ({
       runtime: "Schema.isCapitalized()"
@@ -4124,15 +4128,17 @@ const UNCAPITALIZED_PATTERN = "^(?:[^A-Z][\\s\\S]*)?$";
  * @since 4.0.0
  */
 export function isUncapitalized(annotations) {
-  const regExp = new globalThis.RegExp(UNCAPITALIZED_PATTERN);
-  return makeFilter(s => s.charAt(0).toLowerCase() === s.charAt(0), {
+  return makeFilter(s => {
+    const [first = ""] = s;
+    return first.toLowerCase() === first;
+  }, {
     expected: "a string with the first character in lowercase",
     representation: {
       id: "effect/schema/isUncapitalized",
       payload: null
     },
     toJsonSchema: () => [{
-      pattern: regExp.source
+      pattern: UNCAPITALIZED_PATTERN
     }, true],
     toCode: () => ({
       runtime: "Schema.isUncapitalized()"
@@ -4690,7 +4696,7 @@ function encodeDatePayload(date) {
   return date.toISOString();
 }
 function formatDateRuntime(date) {
-  return `new Date(${format(date.getTime())})`;
+  return `new globalThis.Date(${format(date.getTime())})`;
 }
 /**
  * Validates that a Date is greater than the specified value (exclusive).
@@ -6228,8 +6234,7 @@ export const DateFromString = /*#__PURE__*/DateString.pipe(/*#__PURE__*/decodeTo
  */
 export const DateFromMillis = /*#__PURE__*/Int.pipe(/*#__PURE__*/decodeTo(Date, SchemaTransformation.dateFromMillis));
 const JsonString = /*#__PURE__*/String.annotate({
-  expected: "a string that will be decoded as JSON",
-  contentMediaType: "application/json"
+  expected: "a string that will be decoded as JSON"
 });
 /**
  * Returns a schema that decodes a JSON string and then decodes the parsed value
@@ -9764,7 +9769,7 @@ function makeClass(Inherited, identifier, struct, annotations, proto) {
       return getClassSchema(this).rebuild(ast);
     }
     static make(input, options) {
-      return SchemaParser.make(getClassSchema(this))(input ?? {}, options);
+      return SchemaParser.makeClassSync(SchemaAST.toType(getClassSchema(this).ast), input ?? {}, options, fields => makeClassTrusted(this, fields));
     }
     static makeOption(input, options) {
       return SchemaParser.makeOption(getClassSchema(this))(input ?? {}, options);
@@ -9879,6 +9884,10 @@ function isStruct(schema) {
  *
  * **Gotchas**
  *
+ * To subclass a `Schema.Class`, use `Base.extend<Self>(...)`, even when only
+ * adding methods or getters. Pass `{}` for the fields when none are added.
+ * Plain `class Child extends Base` is unsupported.
+ *
  * Passing `disableChecks: true` skips filters and checks, not parsing of types
  * and structure. Wrong types and shapes are still rejected, and constructor
  * defaults still apply.