effect 4.0.0-beta.84 → 4.0.0-beta.85

package/dist/Schema.js

@@ -1600,14 +1600,20 @@ function templateLiteralFromParts(parts) {
   return new SchemaAST.TemplateLiteral(parts.map(part => isSchema(part) ? part.ast : new SchemaAST.Literal(part)));
 }
 /**
- * Creates a schema that validates strings matching a template literal pattern. Each part can be
- * a literal string/number/bigint or a schema whose encoded type is a string, number, or bigint.
+ * Creates a schema that validates strings by matching ordered template literal
+ * parts.
  *
  * **When to use**
  *
  * Use when the decoded value should remain the matched string and you do not
  * need the individual template parts parsed into a tuple.
  *
+ * **Details**
+ *
+ * Each part can be a literal `string`, `number`, or `bigint`, or a schema whose
+ * encoded type is `string`, `number`, or `bigint`. Checks on string, number,
+ * and bigint schema parts are applied while matching each segment.
+ *
  * **Example** (Defining a URL path pattern)
  *
  * ```ts
@@ -1627,7 +1633,7 @@ export function TemplateLiteral(parts) {
   });
 }
 /**
- * Schema for parsing template literal matches into typed tuple parts.
+ * Schema for parsing matched template literal strings into typed tuple parts.
  *
  * **When to use**
  *
@@ -1637,7 +1643,8 @@ export function TemplateLiteral(parts) {
  * **Details**
  *
  * Unlike {@link TemplateLiteral}, this schema decodes the matched string into a
- * readonly tuple with one element per schema part.
+ * readonly tuple with one element per schema part. Checks on string, number,
+ * and bigint schema parts are applied while matching each segment.
  *
  * **Example** (Parsing path parameters)
  *
@@ -2015,7 +2022,18 @@ derive) {
   };
 }
 /**
- * Defines a record (dictionary) schema with typed keys and values.
+ * Defines a record schema whose dynamic properties are selected by a key schema
+ * and decoded with a value schema.
+ *
+ * **Details**
+ *
+ * For dynamic keys, the key schema selects matching own properties and the
+ * value schema decodes or encodes only those selected properties. Checks on
+ * string, number, symbol, and template literal key schemas narrow which
+ * properties are selected.
+ *
+ * For transformed key schemas, property selection is based on encoded property
+ * names before the selected key is decoded.
  *
  * **Example** (Defining a string-keyed record of numbers)
  *
@@ -7482,14 +7500,16 @@ function makeClass(Inherited, identifier, struct, annotations, proto) {
       return this.rebuild(SchemaAST.appendChecks(this.ast, checks));
     }
     static extend(identifier) {
-      return (newFields, annotations) => {
+      return (schema, annotations) => {
+        const extension = isStruct(schema) ? schema : Struct(schema);
         const fields = {
           ...struct.fields,
-          ...newFields
+          ...extension.fields
         };
-        return makeClass(this, identifier, makeStruct(SchemaAST.struct(fields, struct.ast.checks, {
+        const ast = SchemaAST.struct(fields, struct.ast.checks, {
           identifier
-        }), fields), annotations, proto);
+        });
+        return makeClass(this, identifier, makeStruct(SchemaAST.appendChecks(ast, extension.ast.checks), fields), annotations, proto);
       };
     }
     static mapFields(f, options) {
@@ -8040,7 +8060,7 @@ function toCodecJsonBase(ast, recur) {
             cause: ast
           });
         }
-        return ast.recur(recur);
+        return ast.recur(recur, SchemaAST.parameterFromString);
       }
     case "Union":
       {
@@ -8251,7 +8271,7 @@ function serializerTree(ast, recur, onMissingAnnotation) {
             cause: ast
           });
         }
-        return ast.recur(recur);
+        return ast.recur(recur, SchemaAST.parameterFromString);
       }
     case "Union":
       {