effect 4.0.0-beta.65 → 4.0.0-beta.67

package/dist/SchemaParser.js

@@ -1,4 +1,23 @@
 /**
+ * The `SchemaParser` module turns schemas into reusable runtime operations for
+ * constructing, validating, decoding, and encoding values. It is the execution
+ * layer behind a schema's AST: parsers walk the schema structure, apply
+ * transformations, honor parse options, run checks, and report failures as
+ * `SchemaIssue.Issue` values.
+ *
+ * Use this module when you need a parser with a specific result shape:
+ * `Effect` for effectful parsing and service requirements, `Promise` for
+ * JavaScript interop, `Exit` or `Result` when failures should stay in data,
+ * `Option` for yes/no validation, and synchronous helpers when throwing is the
+ * desired boundary.
+ *
+ * Decoding reads from the encoded/input side of a schema into its decoded
+ * `Type`, while encoding runs the schema in the opposite direction. The
+ * `make*` helpers construct decoded values and apply constructor defaults before
+ * validation. Parse options supplied when a parser is created are merged with
+ * options supplied at call time, and schema-level parse annotations can further
+ * refine behavior.
+ *
  * @since 4.0.0
  */
 import * as Arr from "./Array.js";
@@ -40,6 +59,12 @@ const recurDefaults = /*#__PURE__*/memoize(ast => {
   }
 });
 /**
+ * Creates an effectful maker for the schema's decoded type side.
+ *
+ * The returned function accepts constructor input, applies constructor defaults,
+ * runs type-side validation unless checks are disabled, and fails with a
+ * `SchemaIssue.Issue` when construction fails.
+ *
  * @category Constructing
  * @since 4.0.0
  */
@@ -56,6 +81,12 @@ export function makeEffect(schema) {
   };
 }
 /**
+ * Creates a synchronous maker that returns `Option.some` with the constructed
+ * value on success, or `Option.none` when construction fails.
+ *
+ * Use this when you only need to know whether constructor input is valid and do
+ * not need error details.
+ *
  * @category Constructing
  * @since 4.0.0
  */
@@ -66,10 +97,15 @@ export function makeOption(schema) {
   };
 }
 /**
+ * Creates a synchronous maker for the schema's decoded type side.
+ *
+ * The returned function constructs a value from constructor input and throws an
+ * `Error` with the `SchemaIssue.Issue` in its `cause` when construction fails.
+ *
  * @category Constructing
  * @since 4.0.0
  */
-export function makeUnsafe(schema) {
+export function make(schema) {
   const parser = makeEffect(schema);
   return (input, options) => {
     return Effect.runSync(Effect.mapErrorEager(parser(input, options), issue => new Error(issue.toString(), {
@@ -78,6 +114,12 @@ export function makeUnsafe(schema) {
   };
 }
 /**
+ * Creates a type guard that checks whether an input satisfies the schema's decoded
+ * type side.
+ *
+ * The guard returns `true` on successful validation and `false` on failure, without
+ * exposing issue details.
+ *
  * @category Asserting
  * @since 4.0.0
  */
@@ -102,6 +144,12 @@ export function _issue(ast) {
   };
 }
 /**
+ * Creates an assertion function that narrows an input to the schema's decoded type
+ * side.
+ *
+ * The assertion returns normally when validation succeeds and throws when the
+ * input does not satisfy the schema.
+ *
  * @category Asserting
  * @since 4.0.0
  */
@@ -121,149 +169,295 @@ export function asserts(schema) {
   };
 }
 /**
+ * Creates an effectful decoder for `unknown` input.
+ *
+ * The returned function succeeds with the schema's decoded `Type` or fails with a
+ * `SchemaIssue.Issue`. Decoding service requirements are preserved in the returned
+ * `Effect`. Parse options may be provided when creating the decoder and overridden
+ * when applying it.
+ *
  * @category Decoding
  * @since 4.0.0
  */
-export function decodeUnknownEffect(schema) {
-  return run(schema.ast);
+export function decodeUnknownEffect(schema, options) {
+  const parser = run(schema.ast);
+  return options === undefined ? parser : (input, overrideOptions) => parser(input, mergeParseOptions(options, overrideOptions));
 }
 /**
+ * Creates an effectful decoder for input already typed as the schema's `Encoded`
+ * type.
+ *
+ * The returned function succeeds with the decoded `Type` or fails with a
+ * `SchemaIssue.Issue`, preserving any decoding service requirements in the
+ * returned `Effect`.
+ *
  * @category Decoding
  * @since 4.0.0
  */
 export const decodeEffect = decodeUnknownEffect;
 /**
+ * Creates a Promise-based decoder for `unknown` input.
+ *
+ * The returned function resolves with the decoded `Type` on success and rejects
+ * with a `SchemaIssue.Issue` on decoding failure.
+ *
  * @category Decoding
  * @since 4.0.0
  */
-export function decodeUnknownPromise(schema) {
-  return asPromise(decodeUnknownEffect(schema));
+export function decodeUnknownPromise(schema, options) {
+  return asPromise(decodeUnknownEffect(schema, options));
 }
 /**
+ * Creates a Promise-based decoder for input already typed as the schema's
+ * `Encoded` type.
+ *
+ * The returned function resolves with the decoded `Type` on success and rejects
+ * with a `SchemaIssue.Issue` on decoding failure.
+ *
  * @category Decoding
  * @since 4.0.0
  */
-export function decodePromise(schema) {
-  return asPromise(decodeEffect(schema));
+export function decodePromise(schema, options) {
+  return asPromise(decodeEffect(schema, options));
 }
 /**
+ * Creates a synchronous decoder for `unknown` input that returns an `Exit`.
+ *
+ * The returned function produces `Exit.Success` with the decoded `Type` or
+ * `Exit.Failure` with a `SchemaIssue.Issue`.
+ *
  * @category Decoding
  * @since 4.0.0
  */
-export function decodeUnknownExit(schema) {
-  return asExit(decodeUnknownEffect(schema));
+export function decodeUnknownExit(schema, options) {
+  return asExit(decodeUnknownEffect(schema, options));
 }
 /**
+ * Creates a synchronous decoder for input already typed as the schema's `Encoded`
+ * type, returning an `Exit`.
+ *
+ * The returned function produces `Exit.Success` with the decoded `Type` or
+ * `Exit.Failure` with a `SchemaIssue.Issue`.
+ *
  * @category Decoding
  * @since 4.0.0
  */
 export const decodeExit = decodeUnknownExit;
 /**
+ * Creates a decoder for `unknown` input that returns an `Option`.
+ *
+ * The returned function produces `Option.some` with the decoded `Type` on success
+ * or `Option.none` on failure, discarding issue details.
+ *
  * @category Decoding
  * @since 4.0.0
  */
-export function decodeUnknownOption(schema) {
-  return asOption(decodeUnknownEffect(schema));
+export function decodeUnknownOption(schema, options) {
+  return asOption(decodeUnknownEffect(schema, options));
 }
 /**
+ * Creates a decoder for input already typed as the schema's `Encoded` type,
+ * returning an `Option`.
+ *
+ * The returned function produces `Option.some` with the decoded `Type` on success
+ * or `Option.none` on failure, discarding issue details.
+ *
  * @category Decoding
  * @since 4.0.0
  */
 export const decodeOption = decodeUnknownOption;
 /**
+ * Creates a decoder for `unknown` input that returns a `Result`.
+ *
+ * The returned function produces `Result.succeed` with the decoded `Type` on
+ * success or `Result.fail` with a `SchemaIssue.Issue` on decoding failure.
+ *
  * @category Decoding
  * @since 4.0.0
  */
-export function decodeUnknownResult(schema) {
-  return asResult(decodeUnknownEffect(schema));
+export function decodeUnknownResult(schema, options) {
+  return asResult(decodeUnknownEffect(schema, options));
 }
 /**
+ * Creates a decoder for input already typed as the schema's `Encoded` type,
+ * returning a `Result`.
+ *
+ * The returned function produces `Result.succeed` with the decoded `Type` on
+ * success or `Result.fail` with a `SchemaIssue.Issue` on decoding failure.
+ *
  * @category Decoding
  * @since 4.0.0
  */
 export const decodeResult = decodeUnknownResult;
 /**
+ * Creates a synchronous decoder for `unknown` input.
+ *
+ * The returned function returns the decoded `Type` on success and throws an
+ * `Error` with the `SchemaIssue.Issue` in its `cause` on decoding failure.
+ *
  * @category Decoding
  * @since 4.0.0
  */
-export function decodeUnknownSync(schema) {
-  return asSync(decodeUnknownEffect(schema));
+export function decodeUnknownSync(schema, options) {
+  return asSync(decodeUnknownEffect(schema, options));
 }
 /**
+ * Creates a synchronous decoder for input already typed as the schema's `Encoded`
+ * type.
+ *
+ * The returned function returns the decoded `Type` on success and throws an
+ * `Error` with the `SchemaIssue.Issue` in its `cause` on decoding failure.
+ *
  * @category Decoding
  * @since 4.0.0
  */
 export const decodeSync = decodeUnknownSync;
 /**
+ * Creates an effectful encoder for `unknown` input.
+ *
+ * The returned function succeeds with the schema's `Encoded` value or fails with a
+ * `SchemaIssue.Issue`. Encoding service requirements are preserved in the returned
+ * `Effect`. Parse options may be provided when creating the encoder and overridden
+ * when applying it.
+ *
  * @category Encoding
  * @since 4.0.0
  */
-export function encodeUnknownEffect(schema) {
-  return run(AST.flip(schema.ast));
+export function encodeUnknownEffect(schema, options) {
+  const parser = run(AST.flip(schema.ast));
+  return options === undefined ? parser : (input, overrideOptions) => parser(input, mergeParseOptions(options, overrideOptions));
 }
 /**
+ * Creates an effectful encoder for input already typed as the schema's decoded
+ * `Type`.
+ *
+ * The returned function succeeds with the schema's `Encoded` value or fails with a
+ * `SchemaIssue.Issue`, preserving any encoding service requirements in the
+ * returned `Effect`.
+ *
  * @category Encoding
  * @since 4.0.0
  */
 export const encodeEffect = encodeUnknownEffect;
 /**
+ * Creates a Promise-based encoder for `unknown` input.
+ *
+ * The returned function resolves with the schema's `Encoded` value on success and
+ * rejects with a `SchemaIssue.Issue` on encoding failure.
+ *
  * @category Encoding
  * @since 4.0.0
  */
-export const encodeUnknownPromise = schema => asPromise(encodeUnknownEffect(schema));
+export const encodeUnknownPromise = (schema, options) => asPromise(encodeUnknownEffect(schema, options));
 /**
+ * Creates a Promise-based encoder for input already typed as the schema's decoded
+ * `Type`.
+ *
+ * The returned function resolves with the schema's `Encoded` value on success and
+ * rejects with a `SchemaIssue.Issue` on encoding failure.
+ *
  * @category Encoding
  * @since 4.0.0
  */
 export const encodePromise = encodeUnknownPromise;
 /**
+ * Creates a synchronous encoder for `unknown` input that returns an `Exit`.
+ *
+ * The returned function produces `Exit.Success` with the schema's `Encoded` value
+ * or `Exit.Failure` with a `SchemaIssue.Issue`.
+ *
  * @category Encoding
  * @since 4.0.0
  */
-export function encodeUnknownExit(schema) {
-  return asExit(encodeUnknownEffect(schema));
+export function encodeUnknownExit(schema, options) {
+  return asExit(encodeUnknownEffect(schema, options));
 }
 /**
+ * Creates a synchronous encoder for input already typed as the schema's decoded
+ * `Type`, returning an `Exit`.
+ *
+ * The returned function produces `Exit.Success` with the schema's `Encoded` value
+ * or `Exit.Failure` with a `SchemaIssue.Issue`.
+ *
  * @category Encoding
  * @since 4.0.0
  */
 export const encodeExit = encodeUnknownExit;
 /**
+ * Creates an encoder for `unknown` input that returns an `Option`.
+ *
+ * The returned function produces `Option.some` with the schema's `Encoded` value
+ * on success or `Option.none` on failure, discarding issue details.
+ *
  * @category Encoding
  * @since 4.0.0
  */
-export function encodeUnknownOption(schema) {
-  return asOption(encodeUnknownEffect(schema));
+export function encodeUnknownOption(schema, options) {
+  return asOption(encodeUnknownEffect(schema, options));
 }
 /**
+ * Creates an encoder for input already typed as the schema's decoded `Type`,
+ * returning an `Option`.
+ *
+ * The returned function produces `Option.some` with the schema's `Encoded` value
+ * on success or `Option.none` on failure, discarding issue details.
+ *
  * @category Encoding
  * @since 4.0.0
  */
 export const encodeOption = encodeUnknownOption;
 /**
+ * Creates an encoder for `unknown` input that returns a `Result`.
+ *
+ * The returned function produces `Result.succeed` with the schema's `Encoded`
+ * value on success or `Result.fail` with a `SchemaIssue.Issue` on encoding
+ * failure.
+ *
  * @category Encoding
  * @since 4.0.0
  */
-export function encodeUnknownResult(schema) {
-  return asResult(encodeUnknownEffect(schema));
+export function encodeUnknownResult(schema, options) {
+  return asResult(encodeUnknownEffect(schema, options));
 }
 /**
+ * Creates an encoder for input already typed as the schema's decoded `Type`,
+ * returning a `Result`.
+ *
+ * The returned function produces `Result.succeed` with the schema's `Encoded`
+ * value on success or `Result.fail` with a `SchemaIssue.Issue` on encoding
+ * failure.
+ *
  * @category Encoding
  * @since 4.0.0
  */
 export const encodeResult = encodeUnknownResult;
 /**
+ * Creates a synchronous encoder for `unknown` input.
+ *
+ * The returned function returns the schema's `Encoded` value on success and throws
+ * an `Error` with the `SchemaIssue.Issue` in its `cause` on encoding failure.
+ *
  * @category Encoding
  * @since 4.0.0
  */
-export function encodeUnknownSync(schema) {
-  return asSync(encodeUnknownEffect(schema));
+export function encodeUnknownSync(schema, options) {
+  return asSync(encodeUnknownEffect(schema, options));
 }
 /**
+ * Creates a synchronous encoder for input already typed as the schema's decoded
+ * `Type`.
+ *
+ * The returned function returns the schema's `Encoded` value on success and throws
+ * an `Error` with the `SchemaIssue.Issue` in its `cause` on encoding failure.
+ *
  * @category Encoding
  * @since 4.0.0
  */
 export const encodeSync = encodeUnknownSync;
+const mergeParseOptions = (options, overrideOptions) => overrideOptions === undefined ? options : {
+  ...options,
+  ...overrideOptions
+};
 /** @internal */
 export function run(ast) {
   const parser = recur(ast);

package/dist/SchemaParser.js.map

@@ -1 +1 @@
-{"version":3,"file":"SchemaParser.js","names":["Arr","Cause","Effect","Exit","identity","memoize","InternalAnnotations","Option","Predicate","Result","AST","Issue","recurDefaults","ast","_tag","getLink","annotations","ClassTypeId","isFunction","link","typeParameters","to","replaceEncoding","Link","transformation","recur","defaultValue","context","makeEffect","schema","toType","parser","run","input","options","disableChecks","parseOptions","makeOption","getSuccess","runSyncExit","makeUnsafe","runSync","mapErrorEager","issue","Error","toString","cause","is","_is","asExit","isSuccess","defaultParseOptions","_issue","matchEager","onSuccess","undefined","onFailure","asserts","exit","isFailure","findError","squash","failure","success","decodeUnknownEffect","decodeEffect","decodeUnknownPromise","asPromise","decodePromise","decodeUnknownExit","decodeExit","decodeUnknownOption","asOption","decodeOption","decodeUnknownResult","asResult","decodeResult","decodeUnknownSync","asSync","decodeSync","encodeUnknownEffect","flip","encodeEffect","encodeUnknownPromise","encodePromise","encodeUnknownExit","encodeExit","encodeUnknownOption","encodeOption","encodeUnknownResult","encodeResult","encodeUnknownSync","encodeSync","flatMapEager","some","oa","fail","InvalidValue","succeed","value","runPromise","parserExit","error","astOptions","resolve","encoding","checks","ou","getParser","isStructural","isArrays","isObjects","isDeclaration","length","srou","links","len","i","getter","decode","Encoding","sroa","errors","isSome","catchEager","issues","collectIssues","filter","check","STRUCTURAL_ANNOTATION_KEY","out","isArrayNonEmpty","Composite","actual"],"sources":["../src/SchemaParser.ts"],"sourcesContent":[null],"mappings":"AAAA;;;AAGA,OAAO,KAAKA,GAAG,MAAM,YAAY;AACjC,OAAO,KAAKC,KAAK,MAAM,YAAY;AACnC,OAAO,KAAKC,MAAM,MAAM,aAAa;AACrC,OAAO,KAAKC,IAAI,MAAM,WAAW;AACjC,SAASC,QAAQ,EAAEC,OAAO,QAAQ,eAAe;AACjD,OAAO,KAAKC,mBAAmB,MAAM,kCAAkC;AACvE,OAAO,KAAKC,MAAM,MAAM,aAAa;AACrC,OAAO,KAAKC,SAAS,MAAM,gBAAgB;AAC3C,OAAO,KAAKC,MAAM,MAAM,aAAa;AAErC,OAAO,KAAKC,GAAG,MAAM,gBAAgB;AACrC,OAAO,KAAKC,KAAK,MAAM,kBAAkB;AAEzC,MAAMC,aAAa,gBAAGP,OAAO,CAAEQ,GAAY,IAAa;EACtD,QAAQA,GAAG,CAACC,IAAI;IACd,KAAK,aAAa;MAAE;QAClB,MAAMC,OAAO,GAAGF,GAAG,CAACG,WAAW,GAAGN,GAAG,CAACO,WAAW,CAAC;QAClD,IAAIT,SAAS,CAACU,UAAU,CAACH,OAAO,CAAC,EAAE;UACjC,MAAMI,IAAI,GAAGJ,OAAO,CAACF,GAAG,CAACO,cAAc,CAAC;UACxC,MAAMC,EAAE,GAAGT,aAAa,CAACO,IAAI,CAACE,EAAE,CAAC;UACjC,OAAOX,GAAG,CAACY,eAAe,CAACT,GAAG,EAAEQ,EAAE,KAAKF,IAAI,CAACE,EAAE,GAAG,CAACF,IAAI,CAAC,GAAG,CAAC,IAAIT,GAAG,CAACa,IAAI,CAACF,EAAE,EAAEF,IAAI,CAACK,cAAc,CAAC,CAAC,CAAC;QACpG;QACA,OAAOX,GAAG;MACZ;IACA,KAAK,SAAS;IACd,KAAK,QAAQ;MACX,OAAOA,GAAG,CAACY,KAAK,CAAEZ,GAAG,IAAI;QACvB,MAAMa,YAAY,GAAGb,GAAG,CAACc,OAAO,EAAED,YAAY;QAC9C,IAAIA,YAAY,EAAE;UAChB,OAAOhB,GAAG,CAACY,eAAe,CAACV,aAAa,CAACC,GAAG,CAAC,EAAEa,YAAY,CAAC;QAC9D;QACA,OAAOd,aAAa,CAACC,GAAG,CAAC;MAC3B,CAAC,CAAC;IACJ,KAAK,SAAS;MACZ,OAAOA,GAAG,CAACY,KAAK,CAACb,aAAa,CAAC;IACjC;MACE,OAAOC,GAAG;EACd;AACF,CAAC,CAAC;AAEF;;;;AAIA,OAAM,SAAUe,UAAUA,CAAuBC,MAAS;EACxD,MAAMhB,GAAG,GAAGD,aAAa,CAACF,GAAG,CAACoB,MAAM,CAACD,MAAM,CAAChB,GAAG,CAAC,CAAC;EACjD,MAAMkB,MAAM,GAAGC,GAAG,CAAmBnB,GAAG,CAAC;EACzC,OAAO,CAACoB,KAAyB,EAAEC,OAA4B,KAA2C;IACxG,OAAOH,MAAM,CACXE,KAAK,EACLC,OAAO,EAAEC,aAAa,GAClBD,OAAO,EAAEE,YAAY,GAAG;MAAE,GAAGF,OAAO,CAACE,YAAY;MAAED,aAAa,EAAE;IAAI,CAAE,GAAG;MAAEA,aAAa,EAAE;IAAI,CAAE,GAClGD,OAAO,EAAEE,YAAY,CAC1B;EACH,CAAC;AACH;AAEA;;;;AAIA,OAAM,SAAUC,UAAUA,CAAuBR,MAAS;EACxD,MAAME,MAAM,GAAGH,UAAU,CAACC,MAAM,CAAC;EACjC,OAAO,CAACI,KAAyB,EAAEC,OAA4B,KAA8B;IAC3F,OAAO/B,IAAI,CAACmC,UAAU,CAACpC,MAAM,CAACqC,WAAW,CAACR,MAAM,CAACE,KAAK,EAAEC,OAAO,CAAQ,CAAC,CAAC;EAC3E,CAAC;AACH;AAEA;;;;AAIA,OAAM,SAAUM,UAAUA,CAAuBX,MAAS;EACxD,MAAME,MAAM,GAAGH,UAAU,CAACC,MAAM,CAAC;EACjC,OAAO,CAACI,KAAyB,EAAEC,OAA4B,KAAe;IAC5E,OAAOhC,MAAM,CAACuC,OAAO,CACnBvC,MAAM,CAACwC,aAAa,CAClBX,MAAM,CAACE,KAAK,EAAEC,OAAO,CAAC,EACrBS,KAAK,IAAK,IAAIC,KAAK,CAACD,KAAK,CAACE,QAAQ,EAAE,EAAE;MAAEC,KAAK,EAAEH;IAAK,CAAE,CAAC,CACzD,CACF;EACH,CAAC;AACH;AAEA;;;;AAIA,OAAM,SAAUI,EAAEA,CAAIlB,MAAwB;EAC5C,OAAOmB,GAAG,CAAInB,MAAM,CAAChB,GAAG,CAAC;AAC3B;AAEA;AACA,OAAM,SAAUmC,GAAGA,CAAInC,GAAY;EACjC,MAAMkB,MAAM,GAAGkB,MAAM,CAACjB,GAAG,CAAWtB,GAAG,CAACoB,MAAM,CAACjB,GAAG,CAAC,CAAC,CAAC;EACrD,OAAWoB,KAAQ,IAAoB;IACrC,OAAO9B,IAAI,CAAC+C,SAAS,CAACnB,MAAM,CAACE,KAAK,EAAEvB,GAAG,CAACyC,mBAAmB,CAAC,CAAC;EAC/D,CAAC;AACH;AAEA;AACA,OAAM,SAAUC,MAAMA,CAAIvC,GAAY;EACpC,MAAMkB,MAAM,GAAGC,GAAG,CAAWnB,GAAG,CAAC;EACjC,OAAO,CAACoB,KAAc,EAAEC,OAAyB,KAA6B;IAC5E,OAAOhC,MAAM,CAACuC,OAAO,CAACvC,MAAM,CAACmD,UAAU,CAACtB,MAAM,CAACE,KAAK,EAAEC,OAAO,CAAC,EAAE;MAC9DoB,SAAS,EAAEA,CAAA,KAAMC,SAAS;MAC1BC,SAAS,EAAEpD;KACZ,CAAC,CAAC;EACL,CAAC;AACH;AAEA;;;;AAIA,OAAM,SAAUqD,OAAOA,CAAI5B,MAAwB;EACjD,MAAME,MAAM,GAAGkB,MAAM,CAACjB,GAAG,CAAWtB,GAAG,CAACoB,MAAM,CAACD,MAAM,CAAChB,GAAG,CAAC,CAAC,CAAC;EAC5D,OAAWoB,KAAQ,IAA4B;IAC7C,MAAMyB,IAAI,GAAG3B,MAAM,CAACE,KAAK,EAAEvB,GAAG,CAACyC,mBAAmB,CAAC;IACnD,IAAIhD,IAAI,CAACwD,SAAS,CAACD,IAAI,CAAC,EAAE;MACxB,MAAMf,KAAK,GAAG1C,KAAK,CAAC2D,SAAS,CAACF,IAAI,CAACZ,KAAK,CAAC;MACzC,IAAIrC,MAAM,CAACkD,SAAS,CAAChB,KAAK,CAAC,EAAE;QAC3B,MAAM1C,KAAK,CAAC4D,MAAM,CAAClB,KAAK,CAACmB,OAAO,CAAC;MACnC;MACA,MAAM,IAAIlB,KAAK,CAACD,KAAK,CAACoB,OAAO,CAAClB,QAAQ,EAAE,EAAE;QAAEC,KAAK,EAAEH,KAAK,CAACoB;MAAO,CAAE,CAAC;IACrE;EACF,CAAC;AACH;AAEA;;;;AAIA,OAAM,SAAUC,mBAAmBA,CACjCnC,MAAS;EAET,OAAOG,GAAG,CAAmCH,MAAM,CAAChB,GAAG,CAAC;AAC1D;AAEA;;;;AAIA,OAAO,MAAMoD,YAAY,GAGvBD,mBAAmB;AAErB;;;;AAIA,OAAM,SAAUE,oBAAoBA,CAClCrC,MAAS;EAET,OAAOsC,SAAS,CAACH,mBAAmB,CAACnC,MAAM,CAAC,CAAC;AAC/C;AAEA;;;;AAIA,OAAM,SAAUuC,aAAaA,CAC3BvC,MAAS;EAET,OAAOsC,SAAS,CAACF,YAAY,CAACpC,MAAM,CAAC,CAAC;AACxC;AAEA;;;;AAIA,OAAM,SAAUwC,iBAAiBA,CAC/BxC,MAAS;EAET,OAAOoB,MAAM,CAACe,mBAAmB,CAACnC,MAAM,CAAC,CAAC;AAC5C;AAEA;;;;AAIA,OAAO,MAAMyC,UAAU,GAEuED,iBAAiB;AAE/G;;;;AAIA,OAAM,SAAUE,mBAAmBA,CACjC1C,MAAS;EAET,OAAO2C,QAAQ,CAACR,mBAAmB,CAACnC,MAAM,CAAC,CAAC;AAC9C;AAEA;;;;AAIA,OAAO,MAAM4C,YAAY,GAE4DF,mBAAmB;AAExG;;;;AAIA,OAAM,SAAUG,mBAAmBA,CACjC7C,MAAS;EAET,OAAO8C,QAAQ,CAACX,mBAAmB,CAACnC,MAAM,CAAC,CAAC;AAC9C;AAEA;;;;AAIA,OAAO,MAAM+C,YAAY,GAEyEF,mBAAmB;AAErH;;;;AAIA,OAAM,SAAUG,iBAAiBA,CAC/BhD,MAAS;EAET,OAAOiD,MAAM,CAACd,mBAAmB,CAACnC,MAAM,CAAC,CAAC;AAC5C;AAEA;;;;AAIA,OAAO,MAAMkD,UAAU,GAE+CF,iBAAiB;AAEvF;;;;AAIA,OAAM,SAAUG,mBAAmBA,CACjCnD,MAAS;EAET,OAAOG,GAAG,CAAsCtB,GAAG,CAACuE,IAAI,CAACpD,MAAM,CAAChB,GAAG,CAAC,CAAC;AACvE;AAEA;;;;AAIA,OAAO,MAAMqE,YAAY,GAGvBF,mBAAmB;AAErB;;;;AAIA,OAAO,MAAMG,oBAAoB,GAC/BtD,MAAS,IACiEsC,SAAS,CAACa,mBAAmB,CAACnD,MAAM,CAAC,CAAC;AAElH;;;;AAIA,OAAO,MAAMuD,aAAa,GAEqDD,oBAAoB;AAEnG;;;;AAIA,OAAM,SAAUE,iBAAiBA,CAC/BxD,MAAS;EAET,OAAOoB,MAAM,CAAC+B,mBAAmB,CAACnD,MAAM,CAAC,CAAC;AAC5C;AAEA;;;;AAIA,OAAO,MAAMyD,UAAU,GAEuED,iBAAiB;AAE/G;;;;AAIA,OAAM,SAAUE,mBAAmBA,CACjC1D,MAAS;EAET,OAAO2C,QAAQ,CAACQ,mBAAmB,CAACnD,MAAM,CAAC,CAAC;AAC9C;AAEA;;;;AAIA,OAAO,MAAM2D,YAAY,GAE4DD,mBAAmB;AAExG;;;;AAIA,OAAM,SAAUE,mBAAmBA,CACjC5D,MAAS;EAET,OAAO8C,QAAQ,CAACK,mBAAmB,CAACnD,MAAM,CAAC,CAAC;AAC9C;AAEA;;;;AAIA,OAAO,MAAM6D,YAAY,GAEyED,mBAAmB;AAErH;;;;AAIA,OAAM,SAAUE,iBAAiBA,CAC/B9D,MAAS;EAET,OAAOiD,MAAM,CAACE,mBAAmB,CAACnD,MAAM,CAAC,CAAC;AAC5C;AAEA;;;;AAIA,OAAO,MAAM+D,UAAU,GAE+CD,iBAAiB;AAEvF;AACA,OAAM,SAAU3D,GAAGA,CAAOnB,GAAY;EACpC,MAAMkB,MAAM,GAAGN,KAAK,CAACZ,GAAG,CAAC;EACzB,OAAO,CAACoB,KAAc,EAAEC,OAA0B,KAChDhC,MAAM,CAAC2F,YAAY,CAAC9D,MAAM,CAACxB,MAAM,CAACuF,IAAI,CAAC7D,KAAK,CAAC,EAAEC,OAAO,IAAIxB,GAAG,CAACyC,mBAAmB,CAAC,EAAG4C,EAAE,IAAI;IACzF,IAAIA,EAAE,CAACjF,IAAI,KAAK,MAAM,EAAE;MACtB,OAAOZ,MAAM,CAAC8F,IAAI,CAAC,IAAIrF,KAAK,CAACsF,YAAY,CAACF,EAAE,CAAC,CAAC;IAChD;IACA,OAAO7F,MAAM,CAACgG,OAAO,CAACH,EAAE,CAACI,KAAU,CAAC;EACtC,CAAC,CAAC;AACN;AAEA,SAAShC,SAASA,CAChBpC,MAA+E;EAE/E,OAAO,CAACE,KAAQ,EAAEC,OAA0B,KAAKhC,MAAM,CAACkG,UAAU,CAACrE,MAAM,CAACE,KAAK,EAAEC,OAAO,CAAC,CAAC;AAC5F;AAEA,SAASe,MAAMA,CACblB,MAAkF;EAElF,OAAO,CAACE,KAAQ,EAAEC,OAA0B,KAAKhC,MAAM,CAACqC,WAAW,CAACR,MAAM,CAACE,KAAK,EAAEC,OAAO,CAAQ,CAAC;AACpG;AAEA;AACA,OAAM,SAAUsC,QAAQA,CACtBzC,MAAkF;EAElF,MAAMsE,UAAU,GAAGpD,MAAM,CAAClB,MAAM,CAAC;EACjC,OAAO,CAACE,KAAQ,EAAEC,OAA0B,KAAK/B,IAAI,CAACmC,UAAU,CAAC+D,UAAU,CAACpE,KAAK,EAAEC,OAAO,CAAC,CAAC;AAC9F;AAEA,SAASyC,QAAQA,CACf5C,MAAkF;EAElF,MAAMsE,UAAU,GAAGpD,MAAM,CAAClB,MAAM,CAAC;EACjC,OAAO,CAACE,KAAQ,EAAEC,OAA0B,KAAI;IAC9C,MAAMwB,IAAI,GAAG2C,UAAU,CAACpE,KAAK,EAAEC,OAAO,CAAC;IACvC,IAAI/B,IAAI,CAAC+C,SAAS,CAACQ,IAAI,CAAC,EAAE;MACxB,OAAOjD,MAAM,CAACyF,OAAO,CAACxC,IAAI,CAACyC,KAAK,CAAC;IACnC;IACA,MAAMG,KAAK,GAAGrG,KAAK,CAAC2D,SAAS,CAACF,IAAI,CAACZ,KAAK,CAAC;IACzC,IAAIrC,MAAM,CAACkD,SAAS,CAAC2C,KAAK,CAAC,EAAE;MAC3B,MAAMrG,KAAK,CAAC4D,MAAM,CAACyC,KAAK,CAACxC,OAAO,CAAC;IACnC;IACA,OAAOrD,MAAM,CAACuF,IAAI,CAACM,KAAK,CAACvC,OAAO,CAAC;EACnC,CAAC;AACH;AAEA,SAASe,MAAMA,CACb/C,MAAkF;EAElF,OAAO,CAACE,KAAQ,EAAEC,OAA0B,KAC1ChC,MAAM,CAACuC,OAAO,CACZvC,MAAM,CAACwC,aAAa,CAClBX,MAAM,CAACE,KAAK,EAAEC,OAAO,CAAC,EACrBS,KAAK,IAAK,IAAIC,KAAK,CAACD,KAAK,CAACE,QAAQ,EAAE,EAAE;IAAEC,KAAK,EAAEH;EAAK,CAAE,CAAC,CAClD,CACT;AACL;AAOA,MAAMlB,KAAK,gBAAGpB,OAAO,CAClBQ,GAAY,IAAY;EACvB,IAAIkB,MAAc;EAClB,MAAMwE,UAAU,GAAGjG,mBAAmB,CAACkG,OAAO,CAAC3F,GAAG,CAAC,GAAG,cAAc,CAAC;EACrE,IAAI,CAACA,GAAG,CAACc,OAAO,IAAI,CAACd,GAAG,CAAC4F,QAAQ,IAAI,CAAC5F,GAAG,CAAC6F,MAAM,EAAE;IAChD,OAAO,CAACC,EAAE,EAAEzE,OAAO,KAAI;MACrBH,MAAM,KAAKlB,GAAG,CAAC+F,SAAS,CAACnF,KAAK,CAAC;MAC/B,IAAI8E,UAAU,EAAE;QACdrE,OAAO,GAAG;UAAE,GAAGA,OAAO;UAAE,GAAGqE;QAAU,CAAE;MACzC;MACA,OAAOxE,MAAM,CAAC4E,EAAE,EAAEzE,OAAO,CAAC;IAC5B,CAAC;EACH;EACA,MAAM2E,YAAY,GAAGnG,GAAG,CAACoG,QAAQ,CAACjG,GAAG,CAAC,IAAIH,GAAG,CAACqG,SAAS,CAAClG,GAAG,CAAC,IACzDH,GAAG,CAACsG,aAAa,CAACnG,GAAG,CAAC,IAAIA,GAAG,CAACO,cAAc,CAAC6F,MAAM,GAAG,CAAE;EAC3D,OAAO,CAACN,EAAE,EAAEzE,OAAO,KAAI;IACrB,IAAIqE,UAAU,EAAE;MACdrE,OAAO,GAAG;QAAE,GAAGA,OAAO;QAAE,GAAGqE;MAAU,CAAE;IACzC;IACA,MAAME,QAAQ,GAAG5F,GAAG,CAAC4F,QAAQ;IAC7B,IAAIS,IAA6E;IACjF,IAAIT,QAAQ,EAAE;MACZ,MAAMU,KAAK,GAAGV,QAAQ;MACtB,MAAMW,GAAG,GAAGD,KAAK,CAACF,MAAM;MACxB,KAAK,IAAII,CAAC,GAAGD,GAAG,GAAG,CAAC,EAAEC,CAAC,IAAI,CAAC,EAAEA,CAAC,EAAE,EAAE;QACjC,MAAMlG,IAAI,GAAGgG,KAAK,CAACE,CAAC,CAAC;QACrB,MAAMhG,EAAE,GAAGF,IAAI,CAACE,EAAE;QAClB,MAAMU,MAAM,GAAGN,KAAK,CAACJ,EAAE,CAAC;QACxB6F,IAAI,GAAGA,IAAI,GAAGhH,MAAM,CAAC2F,YAAY,CAACqB,IAAI,EAAGP,EAAE,IAAK5E,MAAM,CAAC4E,EAAE,EAAEzE,OAAO,CAAC,CAAC,GAAGH,MAAM,CAAC4E,EAAE,EAAEzE,OAAO,CAAC;QAC1F,IAAIf,IAAI,CAACK,cAAc,CAACV,IAAI,KAAK,gBAAgB,EAAE;UACjD,MAAMwG,MAAM,GAAGnG,IAAI,CAACK,cAAc,CAAC+F,MAAM;UACzCL,IAAI,GAAGhH,MAAM,CAAC2F,YAAY,CAACqB,IAAI,EAAGP,EAAE,IAAKW,MAAM,CAACtF,GAAG,CAAC2E,EAAE,EAAEzE,OAAO,CAAC,CAAC;QACnE,CAAC,MAAM;UACLgF,IAAI,GAAG/F,IAAI,CAACK,cAAc,CAAC+F,MAAM,CAACL,IAAI,EAAEhF,OAAO,CAAC;QAClD;MACF;MACAgF,IAAI,GAAGhH,MAAM,CAACwC,aAAa,CAACwE,IAAK,EAAGvE,KAAK,IAAK,IAAIhC,KAAK,CAAC6G,QAAQ,CAAC3G,GAAG,EAAE8F,EAAE,EAAEhE,KAAK,CAAC,CAAC;IACnF;IAEAZ,MAAM,KAAKlB,GAAG,CAAC+F,SAAS,CAACnF,KAAK,CAAC;IAC/B,IAAIgG,IAAI,GAAGP,IAAI,GAAGhH,MAAM,CAAC2F,YAAY,CAACqB,IAAI,EAAGP,EAAE,IAAK5E,MAAM,CAAC4E,EAAE,EAAEzE,OAAO,CAAC,CAAC,GAAGH,MAAM,CAAC4E,EAAE,EAAEzE,OAAO,CAAC;IAE9F,IAAIrB,GAAG,CAAC6F,MAAM,IAAI,CAACxE,OAAO,EAAEC,aAAa,EAAE;MACzC,MAAMuE,MAAM,GAAG7F,GAAG,CAAC6F,MAAM;MACzB,IAAIxE,OAAO,EAAEwF,MAAM,KAAK,KAAK,IAAIb,YAAY,IAAItG,MAAM,CAACoH,MAAM,CAAChB,EAAE,CAAC,EAAE;QAClEc,IAAI,GAAGvH,MAAM,CAAC0H,UAAU,CAACH,IAAI,EAAG9E,KAAK,IAAI;UACvC,MAAMkF,MAAM,GAAuB,EAAE;UACrCnH,GAAG,CAACoH,aAAa,CACfpB,MAAM,CAACqB,MAAM,CAAEC,KAAK,IAAKA,KAAK,CAAChH,WAAW,GAAGN,GAAG,CAACuH,yBAAyB,CAAC,CAAC,EAC5EtB,EAAE,CAACR,KAAK,EACR0B,MAAM,EACNhH,GAAG,EACHqB,OAAO,CACR;UACD,MAAMgG,GAAG,GAAgBlI,GAAG,CAACmI,eAAe,CAACN,MAAM,CAAC,GAChDlF,KAAK,CAAC7B,IAAI,KAAK,WAAW,IAAI6B,KAAK,CAAC9B,GAAG,KAAKA,GAAG,GAC7C,IAAIF,KAAK,CAACyH,SAAS,CAACvH,GAAG,EAAE8B,KAAK,CAAC0F,MAAM,EAAE,CAAC,GAAG1F,KAAK,CAACkF,MAAM,EAAE,GAAGA,MAAM,CAAC,CAAC,GACpE,IAAIlH,KAAK,CAACyH,SAAS,CAACvH,GAAG,EAAE8F,EAAE,EAAE,CAAChE,KAAK,EAAE,GAAGkF,MAAM,CAAC,CAAC,GAClDlF,KAAK;UACT,OAAOzC,MAAM,CAAC8F,IAAI,CAACkC,GAAG,CAAC;QACzB,CAAC,CAAC;MACJ;MACAT,IAAI,GAAGvH,MAAM,CAAC2F,YAAY,CAAC4B,IAAI,EAAG1B,EAAE,IAAI;QACtC,IAAIxF,MAAM,CAACoH,MAAM,CAAC5B,EAAE,CAAC,EAAE;UACrB,MAAMI,KAAK,GAAGJ,EAAE,CAACI,KAAK;UACtB,MAAM0B,MAAM,GAAuB,EAAE;UAErCnH,GAAG,CAACoH,aAAa,CAACpB,MAAM,EAAEP,KAAK,EAAE0B,MAAM,EAAEhH,GAAG,EAAEqB,OAAO,CAAC;UAEtD,IAAIlC,GAAG,CAACmI,eAAe,CAACN,MAAM,CAAC,EAAE;YAC/B,OAAO3H,MAAM,CAAC8F,IAAI,CAAC,IAAIrF,KAAK,CAACyH,SAAS,CAACvH,GAAG,EAAEkF,EAAE,EAAE8B,MAAM,CAAC,CAAC;UAC1D;QACF;QACA,OAAO3H,MAAM,CAACgG,OAAO,CAACH,EAAE,CAAC;MAC3B,CAAC,CAAC;IACJ;IAEA,OAAO0B,IAAI;EACb,CAAC;AACH,CAAC,CACF","ignoreList":[]}
+{"version":3,"file":"SchemaParser.js","names":["Arr","Cause","Effect","Exit","identity","memoize","InternalAnnotations","Option","Predicate","Result","AST","Issue","recurDefaults","ast","_tag","getLink","annotations","ClassTypeId","isFunction","link","typeParameters","to","replaceEncoding","Link","transformation","recur","defaultValue","context","makeEffect","schema","toType","parser","run","input","options","disableChecks","parseOptions","makeOption","getSuccess","runSyncExit","make","runSync","mapErrorEager","issue","Error","toString","cause","is","_is","asExit","isSuccess","defaultParseOptions","_issue","matchEager","onSuccess","undefined","onFailure","asserts","exit","isFailure","findError","squash","failure","success","decodeUnknownEffect","overrideOptions","mergeParseOptions","decodeEffect","decodeUnknownPromise","asPromise","decodePromise","decodeUnknownExit","decodeExit","decodeUnknownOption","asOption","decodeOption","decodeUnknownResult","asResult","decodeResult","decodeUnknownSync","asSync","decodeSync","encodeUnknownEffect","flip","encodeEffect","encodeUnknownPromise","encodePromise","encodeUnknownExit","encodeExit","encodeUnknownOption","encodeOption","encodeUnknownResult","encodeResult","encodeUnknownSync","encodeSync","flatMapEager","some","oa","fail","InvalidValue","succeed","value","runPromise","parserExit","error","astOptions","resolve","encoding","checks","ou","getParser","isStructural","isArrays","isObjects","isDeclaration","length","srou","links","len","i","getter","decode","Encoding","sroa","errors","isSome","catchEager","issues","collectIssues","filter","check","STRUCTURAL_ANNOTATION_KEY","out","isArrayNonEmpty","Composite","actual"],"sources":["../src/SchemaParser.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;AAsBA,OAAO,KAAKA,GAAG,MAAM,YAAY;AACjC,OAAO,KAAKC,KAAK,MAAM,YAAY;AACnC,OAAO,KAAKC,MAAM,MAAM,aAAa;AACrC,OAAO,KAAKC,IAAI,MAAM,WAAW;AACjC,SAASC,QAAQ,EAAEC,OAAO,QAAQ,eAAe;AACjD,OAAO,KAAKC,mBAAmB,MAAM,kCAAkC;AACvE,OAAO,KAAKC,MAAM,MAAM,aAAa;AACrC,OAAO,KAAKC,SAAS,MAAM,gBAAgB;AAC3C,OAAO,KAAKC,MAAM,MAAM,aAAa;AAErC,OAAO,KAAKC,GAAG,MAAM,gBAAgB;AACrC,OAAO,KAAKC,KAAK,MAAM,kBAAkB;AAEzC,MAAMC,aAAa,gBAAGP,OAAO,CAAEQ,GAAY,IAAa;EACtD,QAAQA,GAAG,CAACC,IAAI;IACd,KAAK,aAAa;MAAE;QAClB,MAAMC,OAAO,GAAGF,GAAG,CAACG,WAAW,GAAGN,GAAG,CAACO,WAAW,CAAC;QAClD,IAAIT,SAAS,CAACU,UAAU,CAACH,OAAO,CAAC,EAAE;UACjC,MAAMI,IAAI,GAAGJ,OAAO,CAACF,GAAG,CAACO,cAAc,CAAC;UACxC,MAAMC,EAAE,GAAGT,aAAa,CAACO,IAAI,CAACE,EAAE,CAAC;UACjC,OAAOX,GAAG,CAACY,eAAe,CAACT,GAAG,EAAEQ,EAAE,KAAKF,IAAI,CAACE,EAAE,GAAG,CAACF,IAAI,CAAC,GAAG,CAAC,IAAIT,GAAG,CAACa,IAAI,CAACF,EAAE,EAAEF,IAAI,CAACK,cAAc,CAAC,CAAC,CAAC;QACpG;QACA,OAAOX,GAAG;MACZ;IACA,KAAK,SAAS;IACd,KAAK,QAAQ;MACX,OAAOA,GAAG,CAACY,KAAK,CAAEZ,GAAG,IAAI;QACvB,MAAMa,YAAY,GAAGb,GAAG,CAACc,OAAO,EAAED,YAAY;QAC9C,IAAIA,YAAY,EAAE;UAChB,OAAOhB,GAAG,CAACY,eAAe,CAACV,aAAa,CAACC,GAAG,CAAC,EAAEa,YAAY,CAAC;QAC9D;QACA,OAAOd,aAAa,CAACC,GAAG,CAAC;MAC3B,CAAC,CAAC;IACJ,KAAK,SAAS;MACZ,OAAOA,GAAG,CAACY,KAAK,CAACb,aAAa,CAAC;IACjC;MACE,OAAOC,GAAG;EACd;AACF,CAAC,CAAC;AAEF;;;;;;;;;;AAUA,OAAM,SAAUe,UAAUA,CAAuBC,MAAS;EACxD,MAAMhB,GAAG,GAAGD,aAAa,CAACF,GAAG,CAACoB,MAAM,CAACD,MAAM,CAAChB,GAAG,CAAC,CAAC;EACjD,MAAMkB,MAAM,GAAGC,GAAG,CAAmBnB,GAAG,CAAC;EACzC,OAAO,CAACoB,KAAyB,EAAEC,OAA4B,KAA2C;IACxG,OAAOH,MAAM,CACXE,KAAK,EACLC,OAAO,EAAEC,aAAa,GAClBD,OAAO,EAAEE,YAAY,GAAG;MAAE,GAAGF,OAAO,CAACE,YAAY;MAAED,aAAa,EAAE;IAAI,CAAE,GAAG;MAAEA,aAAa,EAAE;IAAI,CAAE,GAClGD,OAAO,EAAEE,YAAY,CAC1B;EACH,CAAC;AACH;AAEA;;;;;;;;;;AAUA,OAAM,SAAUC,UAAUA,CAAuBR,MAAS;EACxD,MAAME,MAAM,GAAGH,UAAU,CAACC,MAAM,CAAC;EACjC,OAAO,CAACI,KAAyB,EAAEC,OAA4B,KAA8B;IAC3F,OAAO/B,IAAI,CAACmC,UAAU,CAACpC,MAAM,CAACqC,WAAW,CAACR,MAAM,CAACE,KAAK,EAAEC,OAAO,CAAQ,CAAC,CAAC;EAC3E,CAAC;AACH;AAEA;;;;;;;;;AASA,OAAM,SAAUM,IAAIA,CAAuBX,MAAS;EAClD,MAAME,MAAM,GAAGH,UAAU,CAACC,MAAM,CAAC;EACjC,OAAO,CAACI,KAAyB,EAAEC,OAA4B,KAAe;IAC5E,OAAOhC,MAAM,CAACuC,OAAO,CACnBvC,MAAM,CAACwC,aAAa,CAClBX,MAAM,CAACE,KAAK,EAAEC,OAAO,CAAC,EACrBS,KAAK,IAAK,IAAIC,KAAK,CAACD,KAAK,CAACE,QAAQ,EAAE,EAAE;MAAEC,KAAK,EAAEH;IAAK,CAAE,CAAC,CACzD,CACF;EACH,CAAC;AACH;AAEA;;;;;;;;;;AAUA,OAAM,SAAUI,EAAEA,CAAIlB,MAAwB;EAC5C,OAAOmB,GAAG,CAAInB,MAAM,CAAChB,GAAG,CAAC;AAC3B;AAEA;AACA,OAAM,SAAUmC,GAAGA,CAAInC,GAAY;EACjC,MAAMkB,MAAM,GAAGkB,MAAM,CAACjB,GAAG,CAAWtB,GAAG,CAACoB,MAAM,CAACjB,GAAG,CAAC,CAAC,CAAC;EACrD,OAAWoB,KAAQ,IAAoB;IACrC,OAAO9B,IAAI,CAAC+C,SAAS,CAACnB,MAAM,CAACE,KAAK,EAAEvB,GAAG,CAACyC,mBAAmB,CAAC,CAAC;EAC/D,CAAC;AACH;AAEA;AACA,OAAM,SAAUC,MAAMA,CAAIvC,GAAY;EACpC,MAAMkB,MAAM,GAAGC,GAAG,CAAWnB,GAAG,CAAC;EACjC,OAAO,CAACoB,KAAc,EAAEC,OAAyB,KAA6B;IAC5E,OAAOhC,MAAM,CAACuC,OAAO,CAACvC,MAAM,CAACmD,UAAU,CAACtB,MAAM,CAACE,KAAK,EAAEC,OAAO,CAAC,EAAE;MAC9DoB,SAAS,EAAEA,CAAA,KAAMC,SAAS;MAC1BC,SAAS,EAAEpD;KACZ,CAAC,CAAC;EACL,CAAC;AACH;AAEA;;;;;;;;;;AAUA,OAAM,SAAUqD,OAAOA,CAAI5B,MAAwB;EACjD,MAAME,MAAM,GAAGkB,MAAM,CAACjB,GAAG,CAAWtB,GAAG,CAACoB,MAAM,CAACD,MAAM,CAAChB,GAAG,CAAC,CAAC,CAAC;EAC5D,OAAWoB,KAAQ,IAA4B;IAC7C,MAAMyB,IAAI,GAAG3B,MAAM,CAACE,KAAK,EAAEvB,GAAG,CAACyC,mBAAmB,CAAC;IACnD,IAAIhD,IAAI,CAACwD,SAAS,CAACD,IAAI,CAAC,EAAE;MACxB,MAAMf,KAAK,GAAG1C,KAAK,CAAC2D,SAAS,CAACF,IAAI,CAACZ,KAAK,CAAC;MACzC,IAAIrC,MAAM,CAACkD,SAAS,CAAChB,KAAK,CAAC,EAAE;QAC3B,MAAM1C,KAAK,CAAC4D,MAAM,CAAClB,KAAK,CAACmB,OAAO,CAAC;MACnC;MACA,MAAM,IAAIlB,KAAK,CAACD,KAAK,CAACoB,OAAO,CAAClB,QAAQ,EAAE,EAAE;QAAEC,KAAK,EAAEH,KAAK,CAACoB;MAAO,CAAE,CAAC;IACrE;EACF,CAAC;AACH;AAEA;;;;;;;;;;;AAWA,OAAM,SAAUC,mBAAmBA,CACjCnC,MAAS,EACTK,OAA0B;EAE1B,MAAMH,MAAM,GAAGC,GAAG,CAAmCH,MAAM,CAAChB,GAAG,CAAC;EAChE,OAAOqB,OAAO,KAAKqB,SAAS,GACxBxB,MAAM,GACN,CAACE,KAAK,EAAEgC,eAAe,KAAKlC,MAAM,CAACE,KAAK,EAAEiC,iBAAiB,CAAChC,OAAO,EAAE+B,eAAe,CAAC,CAAC;AAC5F;AAEA;;;;;;;;;;;AAWA,OAAO,MAAME,YAAY,GAIvBH,mBAAmB;AAErB;;;;;;;;;AASA,OAAM,SAAUI,oBAAoBA,CAClCvC,MAAS,EACTK,OAA0B;EAE1B,OAAOmC,SAAS,CAACL,mBAAmB,CAACnC,MAAM,EAAEK,OAAO,CAAC,CAAC;AACxD;AAEA;;;;;;;;;;AAUA,OAAM,SAAUoC,aAAaA,CAC3BzC,MAAS,EACTK,OAA0B;EAE1B,OAAOmC,SAAS,CAACF,YAAY,CAACtC,MAAM,EAAEK,OAAO,CAAC,CAAC;AACjD;AAEA;;;;;;;;;AASA,OAAM,SAAUqC,iBAAiBA,CAC/B1C,MAAS,EACTK,OAA0B;EAE1B,OAAOe,MAAM,CAACe,mBAAmB,CAACnC,MAAM,EAAEK,OAAO,CAAC,CAAC;AACrD;AAEA;;;;;;;;;;AAUA,OAAO,MAAMsC,UAAU,GAGuED,iBAAiB;AAE/G;;;;;;;;;AASA,OAAM,SAAUE,mBAAmBA,CACjC5C,MAAS,EACTK,OAA0B;EAE1B,OAAOwC,QAAQ,CAACV,mBAAmB,CAACnC,MAAM,EAAEK,OAAO,CAAC,CAAC;AACvD;AAEA;;;;;;;;;;AAUA,OAAO,MAAMyC,YAAY,GAG4DF,mBAAmB;AAExG;;;;;;;;;AASA,OAAM,SAAUG,mBAAmBA,CACjC/C,MAAS,EACTK,OAA0B;EAE1B,OAAO2C,QAAQ,CAACb,mBAAmB,CAACnC,MAAM,EAAEK,OAAO,CAAC,CAAC;AACvD;AAEA;;;;;;;;;;AAUA,OAAO,MAAM4C,YAAY,GAGyEF,mBAAmB;AAErH;;;;;;;;;AASA,OAAM,SAAUG,iBAAiBA,CAC/BlD,MAAS,EACTK,OAA0B;EAE1B,OAAO8C,MAAM,CAAChB,mBAAmB,CAACnC,MAAM,EAAEK,OAAO,CAAC,CAAC;AACrD;AAEA;;;;;;;;;;AAUA,OAAO,MAAM+C,UAAU,GAG+CF,iBAAiB;AAEvF;;;;;;;;;;;AAWA,OAAM,SAAUG,mBAAmBA,CACjCrD,MAAS,EACTK,OAA0B;EAE1B,MAAMH,MAAM,GAAGC,GAAG,CAAsCtB,GAAG,CAACyE,IAAI,CAACtD,MAAM,CAAChB,GAAG,CAAC,CAAC;EAC7E,OAAOqB,OAAO,KAAKqB,SAAS,GACxBxB,MAAM,GACN,CAACE,KAAK,EAAEgC,eAAe,KAAKlC,MAAM,CAACE,KAAK,EAAEiC,iBAAiB,CAAChC,OAAO,EAAE+B,eAAe,CAAC,CAAC;AAC5F;AAEA;;;;;;;;;;;AAWA,OAAO,MAAMmB,YAAY,GAIvBF,mBAAmB;AAErB;;;;;;;;;AASA,OAAO,MAAMG,oBAAoB,GAAGA,CAClCxD,MAAS,EACTK,OAA0B,KAE1BmC,SAAS,CAACa,mBAAmB,CAACrD,MAAM,EAAEK,OAAO,CAAC,CAAC;AAEjD;;;;;;;;;;AAUA,OAAO,MAAMoD,aAAa,GAGqDD,oBAAoB;AAEnG;;;;;;;;;AASA,OAAM,SAAUE,iBAAiBA,CAC/B1D,MAAS,EACTK,OAA0B;EAE1B,OAAOe,MAAM,CAACiC,mBAAmB,CAACrD,MAAM,EAAEK,OAAO,CAAC,CAAC;AACrD;AAEA;;;;;;;;;;AAUA,OAAO,MAAMsD,UAAU,GAGuED,iBAAiB;AAE/G;;;;;;;;;AASA,OAAM,SAAUE,mBAAmBA,CACjC5D,MAAS,EACTK,OAA0B;EAE1B,OAAOwC,QAAQ,CAACQ,mBAAmB,CAACrD,MAAM,EAAEK,OAAO,CAAC,CAAC;AACvD;AAEA;;;;;;;;;;AAUA,OAAO,MAAMwD,YAAY,GAG4DD,mBAAmB;AAExG;;;;;;;;;;AAUA,OAAM,SAAUE,mBAAmBA,CACjC9D,MAAS,EACTK,OAA0B;EAE1B,OAAO2C,QAAQ,CAACK,mBAAmB,CAACrD,MAAM,EAAEK,OAAO,CAAC,CAAC;AACvD;AAEA;;;;;;;;;;;AAWA,OAAO,MAAM0D,YAAY,GAGyED,mBAAmB;AAErH;;;;;;;;;AASA,OAAM,SAAUE,iBAAiBA,CAC/BhE,MAAS,EACTK,OAA0B;EAE1B,OAAO8C,MAAM,CAACE,mBAAmB,CAACrD,MAAM,EAAEK,OAAO,CAAC,CAAC;AACrD;AAEA;;;;;;;;;;AAUA,OAAO,MAAM4D,UAAU,GAG+CD,iBAAiB;AAEvF,MAAM3B,iBAAiB,GAAGA,CACxBhC,OAAyB,EACzB+B,eAA6C,KACxBA,eAAe,KAAKV,SAAS,GAAGrB,OAAO,GAAG;EAAE,GAAGA,OAAO;EAAE,GAAG+B;AAAe,CAAE;AAEnG;AACA,OAAM,SAAUjC,GAAGA,CAAOnB,GAAY;EACpC,MAAMkB,MAAM,GAAGN,KAAK,CAACZ,GAAG,CAAC;EACzB,OAAO,CAACoB,KAAc,EAAEC,OAA0B,KAChDhC,MAAM,CAAC6F,YAAY,CAAChE,MAAM,CAACxB,MAAM,CAACyF,IAAI,CAAC/D,KAAK,CAAC,EAAEC,OAAO,IAAIxB,GAAG,CAACyC,mBAAmB,CAAC,EAAG8C,EAAE,IAAI;IACzF,IAAIA,EAAE,CAACnF,IAAI,KAAK,MAAM,EAAE;MACtB,OAAOZ,MAAM,CAACgG,IAAI,CAAC,IAAIvF,KAAK,CAACwF,YAAY,CAACF,EAAE,CAAC,CAAC;IAChD;IACA,OAAO/F,MAAM,CAACkG,OAAO,CAACH,EAAE,CAACI,KAAU,CAAC;EACtC,CAAC,CAAC;AACN;AAEA,SAAShC,SAASA,CAChBtC,MAA+E;EAE/E,OAAO,CAACE,KAAQ,EAAEC,OAA0B,KAAKhC,MAAM,CAACoG,UAAU,CAACvE,MAAM,CAACE,KAAK,EAAEC,OAAO,CAAC,CAAC;AAC5F;AAEA,SAASe,MAAMA,CACblB,MAAkF;EAElF,OAAO,CAACE,KAAQ,EAAEC,OAA0B,KAAKhC,MAAM,CAACqC,WAAW,CAACR,MAAM,CAACE,KAAK,EAAEC,OAAO,CAAQ,CAAC;AACpG;AAEA;AACA,OAAM,SAAUwC,QAAQA,CACtB3C,MAAkF;EAElF,MAAMwE,UAAU,GAAGtD,MAAM,CAAClB,MAAM,CAAC;EACjC,OAAO,CAACE,KAAQ,EAAEC,OAA0B,KAAK/B,IAAI,CAACmC,UAAU,CAACiE,UAAU,CAACtE,KAAK,EAAEC,OAAO,CAAC,CAAC;AAC9F;AAEA,SAAS2C,QAAQA,CACf9C,MAAkF;EAElF,MAAMwE,UAAU,GAAGtD,MAAM,CAAClB,MAAM,CAAC;EACjC,OAAO,CAACE,KAAQ,EAAEC,OAA0B,KAAI;IAC9C,MAAMwB,IAAI,GAAG6C,UAAU,CAACtE,KAAK,EAAEC,OAAO,CAAC;IACvC,IAAI/B,IAAI,CAAC+C,SAAS,CAACQ,IAAI,CAAC,EAAE;MACxB,OAAOjD,MAAM,CAAC2F,OAAO,CAAC1C,IAAI,CAAC2C,KAAK,CAAC;IACnC;IACA,MAAMG,KAAK,GAAGvG,KAAK,CAAC2D,SAAS,CAACF,IAAI,CAACZ,KAAK,CAAC;IACzC,IAAIrC,MAAM,CAACkD,SAAS,CAAC6C,KAAK,CAAC,EAAE;MAC3B,MAAMvG,KAAK,CAAC4D,MAAM,CAAC2C,KAAK,CAAC1C,OAAO,CAAC;IACnC;IACA,OAAOrD,MAAM,CAACyF,IAAI,CAACM,KAAK,CAACzC,OAAO,CAAC;EACnC,CAAC;AACH;AAEA,SAASiB,MAAMA,CACbjD,MAAkF;EAElF,OAAO,CAACE,KAAQ,EAAEC,OAA0B,KAC1ChC,MAAM,CAACuC,OAAO,CACZvC,MAAM,CAACwC,aAAa,CAClBX,MAAM,CAACE,KAAK,EAAEC,OAAO,CAAC,EACrBS,KAAK,IAAK,IAAIC,KAAK,CAACD,KAAK,CAACE,QAAQ,EAAE,EAAE;IAAEC,KAAK,EAAEH;EAAK,CAAE,CAAC,CAClD,CACT;AACL;AAOA,MAAMlB,KAAK,gBAAGpB,OAAO,CAClBQ,GAAY,IAAY;EACvB,IAAIkB,MAAc;EAClB,MAAM0E,UAAU,GAAGnG,mBAAmB,CAACoG,OAAO,CAAC7F,GAAG,CAAC,GAAG,cAAc,CAAC;EACrE,IAAI,CAACA,GAAG,CAACc,OAAO,IAAI,CAACd,GAAG,CAAC8F,QAAQ,IAAI,CAAC9F,GAAG,CAAC+F,MAAM,EAAE;IAChD,OAAO,CAACC,EAAE,EAAE3E,OAAO,KAAI;MACrBH,MAAM,KAAKlB,GAAG,CAACiG,SAAS,CAACrF,KAAK,CAAC;MAC/B,IAAIgF,UAAU,EAAE;QACdvE,OAAO,GAAG;UAAE,GAAGA,OAAO;UAAE,GAAGuE;QAAU,CAAE;MACzC;MACA,OAAO1E,MAAM,CAAC8E,EAAE,EAAE3E,OAAO,CAAC;IAC5B,CAAC;EACH;EACA,MAAM6E,YAAY,GAAGrG,GAAG,CAACsG,QAAQ,CAACnG,GAAG,CAAC,IAAIH,GAAG,CAACuG,SAAS,CAACpG,GAAG,CAAC,IACzDH,GAAG,CAACwG,aAAa,CAACrG,GAAG,CAAC,IAAIA,GAAG,CAACO,cAAc,CAAC+F,MAAM,GAAG,CAAE;EAC3D,OAAO,CAACN,EAAE,EAAE3E,OAAO,KAAI;IACrB,IAAIuE,UAAU,EAAE;MACdvE,OAAO,GAAG;QAAE,GAAGA,OAAO;QAAE,GAAGuE;MAAU,CAAE;IACzC;IACA,MAAME,QAAQ,GAAG9F,GAAG,CAAC8F,QAAQ;IAC7B,IAAIS,IAA6E;IACjF,IAAIT,QAAQ,EAAE;MACZ,MAAMU,KAAK,GAAGV,QAAQ;MACtB,MAAMW,GAAG,GAAGD,KAAK,CAACF,MAAM;MACxB,KAAK,IAAII,CAAC,GAAGD,GAAG,GAAG,CAAC,EAAEC,CAAC,IAAI,CAAC,EAAEA,CAAC,EAAE,EAAE;QACjC,MAAMpG,IAAI,GAAGkG,KAAK,CAACE,CAAC,CAAC;QACrB,MAAMlG,EAAE,GAAGF,IAAI,CAACE,EAAE;QAClB,MAAMU,MAAM,GAAGN,KAAK,CAACJ,EAAE,CAAC;QACxB+F,IAAI,GAAGA,IAAI,GAAGlH,MAAM,CAAC6F,YAAY,CAACqB,IAAI,EAAGP,EAAE,IAAK9E,MAAM,CAAC8E,EAAE,EAAE3E,OAAO,CAAC,CAAC,GAAGH,MAAM,CAAC8E,EAAE,EAAE3E,OAAO,CAAC;QAC1F,IAAIf,IAAI,CAACK,cAAc,CAACV,IAAI,KAAK,gBAAgB,EAAE;UACjD,MAAM0G,MAAM,GAAGrG,IAAI,CAACK,cAAc,CAACiG,MAAM;UACzCL,IAAI,GAAGlH,MAAM,CAAC6F,YAAY,CAACqB,IAAI,EAAGP,EAAE,IAAKW,MAAM,CAACxF,GAAG,CAAC6E,EAAE,EAAE3E,OAAO,CAAC,CAAC;QACnE,CAAC,MAAM;UACLkF,IAAI,GAAGjG,IAAI,CAACK,cAAc,CAACiG,MAAM,CAACL,IAAI,EAAElF,OAAO,CAAC;QAClD;MACF;MACAkF,IAAI,GAAGlH,MAAM,CAACwC,aAAa,CAAC0E,IAAK,EAAGzE,KAAK,IAAK,IAAIhC,KAAK,CAAC+G,QAAQ,CAAC7G,GAAG,EAAEgG,EAAE,EAAElE,KAAK,CAAC,CAAC;IACnF;IAEAZ,MAAM,KAAKlB,GAAG,CAACiG,SAAS,CAACrF,KAAK,CAAC;IAC/B,IAAIkG,IAAI,GAAGP,IAAI,GAAGlH,MAAM,CAAC6F,YAAY,CAACqB,IAAI,EAAGP,EAAE,IAAK9E,MAAM,CAAC8E,EAAE,EAAE3E,OAAO,CAAC,CAAC,GAAGH,MAAM,CAAC8E,EAAE,EAAE3E,OAAO,CAAC;IAE9F,IAAIrB,GAAG,CAAC+F,MAAM,IAAI,CAAC1E,OAAO,EAAEC,aAAa,EAAE;MACzC,MAAMyE,MAAM,GAAG/F,GAAG,CAAC+F,MAAM;MACzB,IAAI1E,OAAO,EAAE0F,MAAM,KAAK,KAAK,IAAIb,YAAY,IAAIxG,MAAM,CAACsH,MAAM,CAAChB,EAAE,CAAC,EAAE;QAClEc,IAAI,GAAGzH,MAAM,CAAC4H,UAAU,CAACH,IAAI,EAAGhF,KAAK,IAAI;UACvC,MAAMoF,MAAM,GAAuB,EAAE;UACrCrH,GAAG,CAACsH,aAAa,CACfpB,MAAM,CAACqB,MAAM,CAAEC,KAAK,IAAKA,KAAK,CAAClH,WAAW,GAAGN,GAAG,CAACyH,yBAAyB,CAAC,CAAC,EAC5EtB,EAAE,CAACR,KAAK,EACR0B,MAAM,EACNlH,GAAG,EACHqB,OAAO,CACR;UACD,MAAMkG,GAAG,GAAgBpI,GAAG,CAACqI,eAAe,CAACN,MAAM,CAAC,GAChDpF,KAAK,CAAC7B,IAAI,KAAK,WAAW,IAAI6B,KAAK,CAAC9B,GAAG,KAAKA,GAAG,GAC7C,IAAIF,KAAK,CAAC2H,SAAS,CAACzH,GAAG,EAAE8B,KAAK,CAAC4F,MAAM,EAAE,CAAC,GAAG5F,KAAK,CAACoF,MAAM,EAAE,GAAGA,MAAM,CAAC,CAAC,GACpE,IAAIpH,KAAK,CAAC2H,SAAS,CAACzH,GAAG,EAAEgG,EAAE,EAAE,CAAClE,KAAK,EAAE,GAAGoF,MAAM,CAAC,CAAC,GAClDpF,KAAK;UACT,OAAOzC,MAAM,CAACgG,IAAI,CAACkC,GAAG,CAAC;QACzB,CAAC,CAAC;MACJ;MACAT,IAAI,GAAGzH,MAAM,CAAC6F,YAAY,CAAC4B,IAAI,EAAG1B,EAAE,IAAI;QACtC,IAAI1F,MAAM,CAACsH,MAAM,CAAC5B,EAAE,CAAC,EAAE;UACrB,MAAMI,KAAK,GAAGJ,EAAE,CAACI,KAAK;UACtB,MAAM0B,MAAM,GAAuB,EAAE;UAErCrH,GAAG,CAACsH,aAAa,CAACpB,MAAM,EAAEP,KAAK,EAAE0B,MAAM,EAAElH,GAAG,EAAEqB,OAAO,CAAC;UAEtD,IAAIlC,GAAG,CAACqI,eAAe,CAACN,MAAM,CAAC,EAAE;YAC/B,OAAO7H,MAAM,CAACgG,IAAI,CAAC,IAAIvF,KAAK,CAAC2H,SAAS,CAACzH,GAAG,EAAEoF,EAAE,EAAE8B,MAAM,CAAC,CAAC;UAC1D;QACF;QACA,OAAO7H,MAAM,CAACkG,OAAO,CAACH,EAAE,CAAC;MAC3B,CAAC,CAAC;IACJ;IAEA,OAAO0B,IAAI;EACb,CAAC;AACH,CAAC,CACF","ignoreList":[]}

package/dist/SchemaRepresentation.d.ts

@@ -732,8 +732,8 @@ export declare const $String: Schema.Struct<{
         readonly endsWith: string;
         readonly regExp: RegExp;
     } | {
-        readonly includes: string;
         readonly _tag: "isIncludes";
+        readonly includes: string;
         readonly regExp: RegExp;
     } | {
         readonly _tag: "isUppercased";
@@ -794,8 +794,8 @@ export declare const $String: Schema.Struct<{
         readonly endsWith: string;
         readonly regExp: RegExp;
     } | {
-        readonly includes: string;
         readonly _tag: "isIncludes";
+        readonly includes: string;
         readonly regExp: RegExp;
     } | {
         readonly _tag: "isUppercased";

package/dist/SchemaTransformation.d.ts

@@ -636,15 +636,12 @@ export declare function passthrough<T, E>(options: {
 }): Transformation<T, E>;
 export declare function passthrough<T>(): Transformation<T, T>;
 /**
- * A passthrough transformation typed so that `T extends E` — the decoded
- * type is a supertype of the encoded type.
+ * A passthrough transformation typed so that `T extends E`, where the decoded
+ * type `T` is a subtype of the encoded type `E`.
  *
- * When to use this:
- * - Widening: the decoded side accepts a broader type than the encoded side.
- *
- * Behavior:
- * - Both decode and encode are no-ops (same as {@link passthrough}).
- * - Returns a shared singleton instance.
+ * Use this when the runtime value is unchanged but the decoded side should be
+ * narrower than the encoded side. Both decode and encode are no-ops and return a
+ * shared singleton transformation.
  *
  * **Example** (Supertype passthrough)
  *
@@ -836,15 +833,12 @@ export declare const durationFromString: Transformation<Duration.Duration, strin
  */
 export declare const durationFromNanos: Transformation<Duration.Duration, bigint>;
 /**
- * Decodes a `number` (milliseconds) into a `Duration` and encodes a
- * `Duration` back to `number` milliseconds.
- *
- * When to use this:
- * - Working with millisecond-precision timestamps (e.g. `Date.now()`).
+ * Decodes a `number` of milliseconds into a `Duration` and encodes a `Duration`
+ * back to milliseconds.
  *
- * Behavior:
- * - Decode: creates a Duration from milliseconds. Always succeeds.
- * - Encode: converts a Duration to milliseconds. Always succeeds.
+ * Use this for timeouts, delays, elapsed intervals, or other duration values
+ * stored as millisecond counts. Decode creates a duration from the number, and
+ * encode returns the duration length in milliseconds.
  *
  * **Example** (Duration from milliseconds)
  *
@@ -1218,16 +1212,13 @@ export declare const stringFromHexString: Transformation<string, string>;
  */
 export declare const stringFromUriComponent: Transformation<string, string>;
 /**
- * Decodes a JSON `string` into an `unknown` value and encodes an `unknown`
- * value back to a JSON string.
+ * Decodes a JSON string with `JSON.parse` and encodes a value with
+ * `JSON.stringify`.
  *
- * When to use this:
- * - Parsing JSON strings from HTTP bodies, message queues, or storage.
- * - Typically composed with a further schema to validate the parsed structure.
- *
- * Behavior:
- * - Decode: calls `JSON.parse`. Fails if the string is not valid JSON.
- * - Encode: calls `JSON.stringify`.
+ * Use this for JSON stored or transmitted as a string, usually before composing
+ * with another schema that validates the parsed structure. Decode fails with
+ * `InvalidValue` for invalid JSON, and encode can fail with `InvalidValue` when
+ * `JSON.stringify` cannot serialize the value.
  *
  * **Example** (Parsing JSON)
  *
@@ -1247,15 +1238,13 @@ export declare const stringFromUriComponent: Transformation<string, string>;
  */
 export declare const fromJsonString: Transformation<unknown, string, never, never>;
 /**
- * Decodes a `FormData` instance into an `unknown` record and encodes an
- * `unknown` record back to `FormData`.
+ * Decodes a `FormData` instance into a nested record using bracket-path keys and
+ * encodes object-like values back into `FormData`.
  *
- * When to use this:
- * - Handling HTML form submissions or multipart API requests.
- *
- * Behavior:
- * - Decode: extracts entries from the FormData into a plain object.
- * - Encode: constructs a FormData from the record's entries.
+ * Use this for form or multipart payloads where keys such as `user[name]` or
+ * `items[0]` should become nested data. Decode preserves string and `Blob`
+ * leaves. Encode flattens nested objects and arrays into bracket-path entries
+ * and returns an empty `FormData` for non-object inputs.
  *
  * **Example** (Decoding FormData)
  *
@@ -1275,15 +1264,13 @@ export declare const fromJsonString: Transformation<unknown, string, never, neve
  */
 export declare const fromFormData: Transformation<unknown, FormData, never, never>;
 /**
- * Decodes a `URLSearchParams` instance into an `unknown` record and encodes
- * an `unknown` record back to `URLSearchParams`.
+ * Decodes `URLSearchParams` into a nested record using bracket-path keys and
+ * encodes object-like values back into `URLSearchParams`.
  *
- * When to use this:
- * - Parsing URL query parameters.
- *
- * Behavior:
- * - Decode: extracts entries from URLSearchParams into a plain object.
- * - Encode: constructs URLSearchParams from the record's entries.
+ * Use this for query strings where keys such as `filter[name]` or `items[0]`
+ * should become nested data. Decode produces string leaves. Encode flattens
+ * nested objects and arrays into bracket-path entries and returns empty
+ * `URLSearchParams` for non-object inputs.
  *
  * **Example** (Decoding URLSearchParams)
  *
@@ -1303,22 +1290,55 @@ export declare const fromFormData: Transformation<unknown, FormData, never, neve
  */
 export declare const fromURLSearchParams: Transformation<unknown, URLSearchParams, never, never>;
 /**
+ * Decodes a numeric time-zone offset in milliseconds into a
+ * `DateTime.TimeZone.Offset` and encodes it back to the offset number.
+ *
+ * Decode uses `DateTime.zoneMakeOffset`; encode returns the offset's `offset`
+ * field.
+ *
  * @since 4.0.0
  */
 export declare const timeZoneOffsetFromNumber: Transformation<DateTime.TimeZone.Offset, number>;
 /**
+ * Decodes an IANA time-zone identifier string into a
+ * `DateTime.TimeZone.Named` and encodes a named time zone back to its `id`.
+ *
+ * Decode fails with `InvalidValue` when the string is not a valid IANA time-zone
+ * identifier.
+ *
  * @since 4.0.0
  */
 export declare const timeZoneNamedFromString: Transformation<DateTime.TimeZone.Named, string>;
 /**
+ * Decodes a string into a `DateTime.TimeZone` and encodes a time zone back to
+ * its string representation.
+ *
+ * Accepted decode inputs include valid IANA identifiers and offset strings such
+ * as `"+03:00"`. Decode fails with `InvalidValue` when the string cannot be
+ * parsed as a time zone.
+ *
  * @since 4.0.0
  */
 export declare const timeZoneFromString: Transformation<DateTime.TimeZone, string>;
 /**
+ * Decodes a date-time string into a `DateTime.Utc` and encodes it back to an ISO
+ * string.
+ *
+ * Decode accepts strings supported by `DateTime.make`, converts the result to
+ * UTC, and fails with `InvalidValue` when parsing fails. Encode uses
+ * `DateTime.formatIso`.
+ *
  * @since 4.0.0
  */
 export declare const dateTimeUtcFromString: Transformation<DateTime.Utc, string>;
 /**
+ * Decodes a zoned date-time string into a `DateTime.Zoned` and encodes it back
+ * to an ISO zoned string.
+ *
+ * Decode uses `DateTime.makeZonedFromString` and fails with `InvalidValue` when
+ * the input is not a valid zoned date-time. Encode uses
+ * `DateTime.formatIsoZoned`.
+ *
  * @since 4.0.0
  */
 export declare const dateTimeZonedFromString: Transformation<DateTime.Zoned, string>;