effect 4.0.0-beta.70 → 4.0.0-beta.72

package/src/SchemaParser.ts

@@ -1,22 +1,45 @@
 /**
- * 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.
+ * Build reusable runtime parsers from Effect schemas.
+ *
+ * `SchemaParser` is the execution layer behind schema ASTs. It walks schema
+ * structure, applies transformations, merges parse options, runs checks, and
+ * reports failures as `SchemaIssue.Issue` values while exposing adapters for
+ * the result shape a boundary needs.
+ *
+ * **Mental model**
+ *
+ * - A schema has a decoded `Type` side and an `Encoded` side.
+ * - Decoders read `Encoded` or `unknown` input and produce `Type`.
+ * - Encoders read `Type` or `unknown` input and produce `Encoded`.
+ * - Maker helpers construct decoded `Type` values and apply constructor
+ *   defaults before validation.
+ * - The same underlying parser can be adapted to `Effect`, `Promise`, `Exit`,
+ *   `Result`, `Option`, a throwing synchronous function, or a type guard.
+ *
+ * **Common tasks**
+ *
+ * - Construct decoded values: {@link make}, {@link makeEffect},
+ *   {@link makeOption}
+ * - Decode untrusted boundary input: {@link decodeUnknownEffect},
+ *   {@link decodeUnknownSync}, {@link decodeUnknownResult}
+ * - Decode already typed encoded input: {@link decodeEffect},
+ *   {@link decodeSync}
+ * - Encode values back to their encoded representation:
+ *   {@link encodeEffect}, {@link encodeSync}, {@link encodeUnknownEffect}
+ * - Check values without collecting issue details: {@link is}, {@link asserts}
+ * - Build directly from an AST: {@link run}
+ *
+ * **Gotchas**
+ *
+ * - `decodeUnknown*` accepts untyped input; `decode*` variants expect the
+ *   schema's `Encoded` type.
+ * - `encodeUnknown*` accepts untyped input; `encode*` variants expect the
+ *   schema's decoded `Type`.
+ * - Synchronous adapters cannot run asynchronous parsing work. Use `Effect`
+ *   adapters when transformations require services or asynchronous effects.
+ * - 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
  */
@@ -63,6 +86,11 @@ const recurDefaults = memoize((ast: AST.AST): AST.AST => {
 /**
  * Creates an effectful maker for the schema's decoded type side.
  *
+ * **When to use**
+ *
+ * Use to construct decoded schema values in `Effect` while preserving
+ * construction issues in the error channel.
+ *
  * **Details**
  *
  * The returned function accepts constructor input, applies constructor defaults,
@@ -91,7 +119,7 @@ export function makeEffect<S extends Schema.Top>(schema: S) {
  *
  * **When to use**
  *
- * Use this when you only need to know whether constructor input is valid and do
+ * Use when you only need to know whether constructor input is valid and do
  * not need error details.
  *
  * @category Constructing
@@ -107,6 +135,11 @@ export function makeOption<S extends Schema.Top>(schema: S) {
 /**
  * Creates a synchronous maker for the schema's decoded type side.
  *
+ * **When to use**
+ *
+ * Use to construct decoded schema values synchronously when invalid input
+ * should throw.
+ *
  * **Details**
  *
  * The returned function constructs a value from constructor input and throws an
@@ -131,6 +164,11 @@ export function make<S extends Schema.Top>(schema: S) {
  * Creates a type guard that checks whether an input satisfies the schema's decoded
  * type side.
  *
+ * **When to use**
+ *
+ * Use to build a type guard for checking the decoded side of a schema without
+ * exposing issue details.
+ *
  * **Details**
  *
  * The guard returns `true` on successful validation and `false` on failure, without
@@ -165,6 +203,11 @@ export function _issue<T>(ast: AST.AST) {
 /**
  * Asserts that an input satisfies the schema's decoded type side.
  *
+ * **When to use**
+ *
+ * Use to assert that an input satisfies the decoded side of a schema, throwing
+ * when validation fails.
+ *
  * **Details**
  *
  * The assertion returns normally when validation succeeds and throws when the
@@ -188,6 +231,11 @@ export function asserts<S extends Schema.Top, I>(schema: S, input: I): asserts i
 /**
  * Creates an effectful decoder for `unknown` input.
  *
+ * **When to use**
+ *
+ * Use when decoding untyped boundary input while preserving decoding failures,
+ * effectful transformations, and service requirements in an `Effect`.
+ *
  * **Details**
  *
  * The returned function succeeds with the schema's decoded `Type` or fails with a
@@ -195,6 +243,8 @@ export function asserts<S extends Schema.Top, I>(schema: S, input: I): asserts i
  * `Effect`. Parse options may be provided when creating the decoder and overridden
  * when applying it.
  *
+ * @see {@link decodeEffect} for input already typed as the schema's `Encoded` type
+ *
  * @category decoding
  * @since 4.0.0
  */
@@ -212,12 +262,21 @@ export function decodeUnknownEffect<S extends Schema.Top>(
  * Creates an effectful decoder for input already typed as the schema's `Encoded`
  * type.
  *
+ * **When to use**
+ *
+ * Use when the input is already typed as the schema's `Encoded` type and
+ * decoding should stay in `Effect`, including parse failures and required
+ * decoding services.
+ *
  * **Details**
  *
  * The returned function succeeds with the decoded `Type` or fails with a
  * `SchemaIssue.Issue`, preserving any decoding service requirements in the
  * returned `Effect`.
  *
+ * @see {@link decodeUnknownEffect} for untyped boundary input
+ * @see {@link encodeEffect} for the opposite direction
+ *
  * @category decoding
  * @since 4.0.0
  */
@@ -230,11 +289,19 @@ export const decodeEffect: <S extends Schema.Top>(
 /**
  * Creates a Promise-based decoder for `unknown` input.
  *
+ * **When to use**
+ *
+ * Use when decoding untyped input with a service-free schema at a JavaScript
+ * `Promise` boundary.
+ *
  * **Details**
  *
  * The returned function resolves with the decoded `Type` on success and rejects
  * with a `SchemaIssue.Issue` on decoding failure.
  *
+ * @see {@link decodePromise} for input already typed as the schema's `Encoded` type
+ * @see {@link decodeUnknownEffect} for schemas that require decoding services or when failures should remain in `Effect`
+ *
  * @category decoding
  * @since 3.10.0
  */
@@ -249,11 +316,19 @@ export function decodeUnknownPromise<S extends Schema.Decoder<unknown>>(
  * Creates a Promise-based decoder for input already typed as the schema's
  * `Encoded` type.
  *
+ * **When to use**
+ *
+ * Use when the input is already typed as the schema's `Encoded` type and you
+ * need a native `Promise` boundary.
+ *
  * **Details**
  *
  * The returned function resolves with the decoded `Type` on success and rejects
  * with a `SchemaIssue.Issue` on decoding failure.
  *
+ * @see {@link decodeUnknownPromise} for untyped input at a `Promise` boundary
+ * @see {@link decodeEffect} for preserving decoding services and failures in `Effect`
+ *
  * @category decoding
  * @since 3.10.0
  */
@@ -265,12 +340,30 @@ export function decodePromise<S extends Schema.Decoder<unknown>>(
 }
 
 /**
- * Creates a synchronous decoder for `unknown` input that returns an `Exit`.
+ * Creates a synchronous decoder for `unknown` input that reports failure safely
+ * as an `Exit`.
+ *
+ * **When to use**
+ *
+ * Use when decoding unknown input synchronously and preserving the parser
+ * outcome as an `Exit` value.
  *
  * **Details**
  *
- * The returned function produces `Exit.Success` with the decoded `Type` or
- * `Exit.Failure` with a `SchemaIssue.Issue`.
+ * The returned function produces `Exit.Success` with the decoded `Type`.
+ * Schema issues are represented by an `Exit.Failure` cause containing a
+ * `SchemaIssue.Issue`.
+ *
+ * **Gotchas**
+ *
+ * Because this adapter runs synchronously, async decoding work can produce an
+ * `Exit.Failure` with a defect cause.
+ *
+ * @see {@link decodeExit} for input already typed as the schema's `Encoded` type
+ * @see {@link decodeUnknownEffect} for preserving decoding services and failures in `Effect`
+ * @see {@link decodeUnknownOption} for discarding issue details
+ * @see {@link decodeUnknownResult} for returning schema issues as data
+ * @see {@link decodeUnknownSync} for throwing on decoding failure
  *
  * @category decoding
  * @since 4.0.0
@@ -284,13 +377,21 @@ export function decodeUnknownExit<S extends Schema.Decoder<unknown>>(
 
 /**
  * Creates a synchronous decoder for input already typed as the schema's `Encoded`
- * type, returning an `Exit`.
+ * type, reporting failure safely as an `Exit`.
+ *
+ * **When to use**
+ *
+ * Use to synchronously decode already typed `Encoded` input when you want
+ * decoding failures returned as `Exit` values.
  *
  * **Details**
  *
  * The returned function produces `Exit.Success` with the decoded `Type` or
  * `Exit.Failure` with a `SchemaIssue.Issue`.
  *
+ * @see {@link decodeUnknownExit} for untyped input with the same `Exit` result shape
+ * @see {@link decodeEffect} for preserving decoding services and failures in `Effect`
+ *
  * @category decoding
  * @since 4.0.0
  */
@@ -300,13 +401,21 @@ export const decodeExit: <S extends Schema.Decoder<unknown>>(
 ) => (input: S["Encoded"], options?: AST.ParseOptions) => Exit.Exit<S["Type"], Issue.Issue> = decodeUnknownExit
 
 /**
- * Creates a decoder for `unknown` input that returns an `Option`.
+ * Creates a decoder for `unknown` input that returns an `Option` safely.
+ *
+ * **When to use**
+ *
+ * Use when you need a synchronous yes/no decode from untyped input and do not
+ * need schema issue details.
  *
  * **Details**
  *
  * The returned function produces `Option.some` with the decoded `Type` on success
  * or `Option.none` on failure, discarding issue details.
  *
+ * @see {@link decodeOption} for input already typed as the schema's `Encoded` type
+ * @see {@link decodeUnknownResult} for retaining schema issues as data
+ *
  * @category decoding
  * @since 3.10.0
  */
@@ -318,14 +427,22 @@ export function decodeUnknownOption<S extends Schema.Decoder<unknown>>(
 }
 
 /**
- * Creates a decoder for input already typed as the schema's `Encoded` type,
+ * Creates a decoder safely for input already typed as the schema's `Encoded` type,
  * returning an `Option`.
  *
+ * **When to use**
+ *
+ * Use when the input is already typed as the schema's `Encoded` type and you
+ * only need to know whether decoding succeeds.
+ *
  * **Details**
  *
  * The returned function produces `Option.some` with the decoded `Type` on success
  * or `Option.none` on failure, discarding issue details.
  *
+ * @see {@link decodeUnknownOption} for untyped input with the same yes/no result shape
+ * @see {@link decodeResult} for retaining schema issues as data
+ *
  * @category decoding
  * @since 3.10.0
  */
@@ -335,13 +452,27 @@ export const decodeOption: <S extends Schema.Decoder<unknown>>(
 ) => (input: S["Encoded"], options?: AST.ParseOptions) => Option.Option<S["Type"]> = decodeUnknownOption
 
 /**
- * Creates a decoder for `unknown` input that returns a `Result`.
+ * Creates a decoder for `unknown` input that reports failure safely as a
+ * `Result`.
+ *
+ * **When to use**
+ *
+ * Use when decoding untyped boundary input and you want schema issues returned
+ * as data in a `Result`.
  *
  * **Details**
  *
  * The returned function produces `Result.succeed` with the decoded `Type` on
  * success or `Result.fail` with a `SchemaIssue.Issue` on decoding failure.
  *
+ * **Gotchas**
+ *
+ * This adapter runs synchronously. Schema issues become `Result.fail`, but async
+ * decoding or defects can still throw.
+ *
+ * @see {@link decodeResult} for input already typed as the schema's `Encoded` type
+ * @see {@link decodeUnknownEffect} for effectful or service-requiring decoding
+ *
  * @category decoding
  * @since 4.0.0
  */
@@ -354,13 +485,26 @@ export function decodeUnknownResult<S extends Schema.Decoder<unknown>>(
 
 /**
  * Creates a decoder for input already typed as the schema's `Encoded` type,
- * returning a `Result`.
+ * reporting failure safely as a `Result`.
+ *
+ * **When to use**
+ *
+ * Use when the input is already typed as the schema's `Encoded` type and you
+ * want schema decoding failures represented as `Result.fail`.
  *
  * **Details**
  *
  * The returned function produces `Result.succeed` with the decoded `Type` on
  * success or `Result.fail` with a `SchemaIssue.Issue` on decoding failure.
  *
+ * **Gotchas**
+ *
+ * This synchronous adapter returns `Result.fail` for schema issues, but async
+ * decoding or other non-schema failures can still throw.
+ *
+ * @see {@link decodeUnknownResult} for untyped input with the same `Result` shape
+ * @see {@link decodeEffect} for effectful or service-requiring decoding
+ *
  * @category decoding
  * @since 4.0.0
  */
@@ -372,11 +516,20 @@ export const decodeResult: <S extends Schema.Decoder<unknown>>(
 /**
  * Creates a synchronous decoder for `unknown` input.
  *
+ * **When to use**
+ *
+ * Use to decode untrusted or dynamically typed input at a synchronous boundary
+ * where invalid data should be reported by throwing.
+ *
  * **Details**
  *
  * The returned function returns the decoded `Type` on success and throws an
  * `Error` with the `SchemaIssue.Issue` in its `cause` on decoding failure.
  *
+ * @see {@link decodeSync} for input already typed as the schema's `Encoded` type
+ * @see {@link decodeUnknownEffect} for preserving decoding failures in `Effect`
+ * @see {@link decodeUnknownResult} for returning schema issues as data
+ *
  * @category decoding
  * @since 3.10.0
  */
@@ -391,11 +544,20 @@ export function decodeUnknownSync<S extends Schema.Decoder<unknown>>(
  * Creates a synchronous decoder for input already typed as the schema's `Encoded`
  * type.
  *
+ * **When to use**
+ *
+ * Use to decode values already typed as the schema's `Encoded` input when
+ * decoding failure should be reported by throwing an `Error`.
+ *
  * **Details**
  *
  * The returned function returns the decoded `Type` on success and throws an
  * `Error` with the `SchemaIssue.Issue` in its `cause` on decoding failure.
  *
+ * @see {@link decodeUnknownSync} for untrusted or dynamically typed input
+ * @see {@link decodeResult} for returning schema issues as data
+ * @see {@link decodeEffect} for preserving decoding failures in `Effect`
+ *
  * @category decoding
  * @since 3.10.0
  */
@@ -407,6 +569,11 @@ export const decodeSync: <S extends Schema.Decoder<unknown>>(
 /**
  * Creates an effectful encoder for `unknown` input.
  *
+ * **When to use**
+ *
+ * Use when encoding untyped boundary input and preserving encoding failures and
+ * service requirements in `Effect` is the desired result shape.
+ *
  * **Details**
  *
  * The returned function succeeds with the schema's `Encoded` value or fails with a
@@ -414,6 +581,8 @@ export const decodeSync: <S extends Schema.Decoder<unknown>>(
  * `Effect`. Parse options may be provided when creating the encoder and overridden
  * when applying it.
  *
+ * @see {@link encodeEffect} for the typed-input variant when the value is already typed as the schema's decoded `Type`
+ *
  * @category encoding
  * @since 4.0.0
  */
@@ -431,12 +600,20 @@ export function encodeUnknownEffect<S extends Schema.Top>(
  * Creates an effectful encoder for input already typed as the schema's decoded
  * `Type`.
  *
+ * **When to use**
+ *
+ * Use to encode values already typed as the schema's decoded `Type` when
+ * encoding should preserve service requirements and return failures in an
+ * `Effect`.
+ *
  * **Details**
  *
  * 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`.
  *
+ * @see {@link encodeUnknownEffect} for encoding unknown input before the value is statically typed as the schema's `Type`
+ *
  * @category encoding
  * @since 4.0.0
  */
@@ -449,11 +626,19 @@ export const encodeEffect: <S extends Schema.Top>(
 /**
  * Creates a Promise-based encoder for `unknown` input.
  *
+ * **When to use**
+ *
+ * Use to encode untrusted or dynamically typed values at a `Promise` boundary
+ * when the schema has no encoding service requirements.
+ *
  * **Details**
  *
  * The returned function resolves with the schema's `Encoded` value on success and
  * rejects with a `SchemaIssue.Issue` on encoding failure.
  *
+ * @see {@link encodePromise} for input already typed as the schema's decoded `Type`
+ * @see {@link encodeUnknownEffect} for schemas that require encoding services or when failures should remain in `Effect`
+ *
  * @category encoding
  * @since 3.10.0
  */
@@ -467,11 +652,20 @@ export const encodeUnknownPromise = <S extends Schema.Encoder<unknown>>(
  * Creates a Promise-based encoder for input already typed as the schema's decoded
  * `Type`.
  *
+ * **When to use**
+ *
+ * Use when you need a `Promise`-returning encoder for values already typed as
+ * the schema's decoded `Type`, such as at a JavaScript `Promise` interop
+ * boundary.
+ *
  * **Details**
  *
  * The returned function resolves with the schema's `Encoded` value on success and
  * rejects with a `SchemaIssue.Issue` on encoding failure.
  *
+ * @see {@link encodeUnknownPromise} for encoding untyped input
+ * @see {@link encodeEffect} for effectful encoding or schemas with encoding service requirements
+ *
  * @category encoding
  * @since 3.10.0
  */
@@ -481,13 +675,22 @@ export const encodePromise: <S extends Schema.Encoder<unknown>>(
 ) => (input: S["Type"], options?: AST.ParseOptions) => Promise<S["Encoded"]> = encodeUnknownPromise
 
 /**
- * Creates a synchronous encoder for `unknown` input that returns an `Exit`.
+ * Creates a synchronous encoder for `unknown` input that reports failure safely
+ * as an `Exit`.
+ *
+ * **When to use**
+ *
+ * Use to encode unknown input synchronously when you want the encoded value or
+ * schema issue represented as an `Exit`.
  *
  * **Details**
  *
  * The returned function produces `Exit.Success` with the schema's `Encoded` value
  * or `Exit.Failure` with a `SchemaIssue.Issue`.
  *
+ * @see {@link encodeExit} for input already typed as the schema's decoded `Type`
+ * @see {@link encodeUnknownEffect} for effectful encoding that preserves service requirements
+ *
  * @category encoding
  * @since 4.0.0
  */
@@ -500,13 +703,21 @@ export function encodeUnknownExit<S extends Schema.Encoder<unknown>>(
 
 /**
  * Creates a synchronous encoder for input already typed as the schema's decoded
- * `Type`, returning an `Exit`.
+ * `Type`, reporting failure safely as an `Exit`.
+ *
+ * **When to use**
+ *
+ * Use to synchronously encode already typed schema values when you want encoding
+ * failures returned as `Exit` values.
  *
  * **Details**
  *
  * The returned function produces `Exit.Success` with the schema's `Encoded` value
  * or `Exit.Failure` with a `SchemaIssue.Issue`.
  *
+ * @see {@link encodeUnknownExit} for unknown input with the same `Exit` result shape
+ * @see {@link encodeEffect} for effectful encoding that preserves service requirements
+ *
  * @category encoding
  * @since 4.0.0
  */
@@ -516,13 +727,21 @@ export const encodeExit: <S extends Schema.Encoder<unknown>>(
 ) => (input: S["Type"], options?: AST.ParseOptions) => Exit.Exit<S["Encoded"], Issue.Issue> = encodeUnknownExit
 
 /**
- * Creates an encoder for `unknown` input that returns an `Option`.
+ * Creates an encoder for `unknown` input that returns an `Option` safely.
+ *
+ * **When to use**
+ *
+ * Use when encoding untyped input and you want a synchronous `Option` result
+ * that keeps the encoded value on success but discards issue details on failure.
  *
  * **Details**
  *
  * The returned function produces `Option.some` with the schema's `Encoded` value
  * on success or `Option.none` on failure, discarding issue details.
  *
+ * @see {@link encodeOption} for input already typed as the schema's decoded `Type`
+ * @see {@link encodeUnknownResult} for retaining schema issues as data
+ *
  * @category encoding
  * @since 3.10.0
  */
@@ -534,14 +753,22 @@ export function encodeUnknownOption<S extends Schema.Encoder<unknown>>(
 }
 
 /**
- * Creates an encoder for input already typed as the schema's decoded `Type`,
+ * Creates an encoder safely for input already typed as the schema's decoded `Type`,
  * returning an `Option`.
  *
+ * **When to use**
+ *
+ * Use when encoding values that are already typed as the schema's decoded
+ * `Type` and an `Option` result is the desired success/failure boundary.
+ *
  * **Details**
  *
  * The returned function produces `Option.some` with the schema's `Encoded` value
  * on success or `Option.none` on failure, discarding issue details.
  *
+ * @see {@link encodeUnknownOption} for untyped input with the same yes/no result shape
+ * @see {@link encodeResult} for retaining schema issues as data
+ *
  * @category encoding
  * @since 3.10.0
  */
@@ -551,7 +778,13 @@ export const encodeOption: <S extends Schema.Encoder<unknown>>(
 ) => (input: S["Type"], options?: AST.ParseOptions) => Option.Option<S["Encoded"]> = encodeUnknownOption
 
 /**
- * Creates an encoder for `unknown` input that returns a `Result`.
+ * Creates an encoder for `unknown` input that reports failure safely as a
+ * `Result`.
+ *
+ * **When to use**
+ *
+ * Use when encoding values from an unknown or dynamically typed boundary
+ * synchronously, and you want schema issues returned as `Result` data.
  *
  * **Details**
  *
@@ -559,6 +792,9 @@ export const encodeOption: <S extends Schema.Encoder<unknown>>(
  * value on success or `Result.fail` with a `SchemaIssue.Issue` on encoding
  * failure.
  *
+ * @see {@link encodeResult} for input already typed as the schema's decoded `Type`
+ * @see {@link encodeUnknownEffect} for effectful encoding, including schemas with encoding service requirements
+ *
  * @category encoding
  * @since 4.0.0
  */
@@ -571,7 +807,13 @@ export function encodeUnknownResult<S extends Schema.Encoder<unknown>>(
 
 /**
  * Creates an encoder for input already typed as the schema's decoded `Type`,
- * returning a `Result`.
+ * reporting failure safely as a `Result`.
+ *
+ * **When to use**
+ *
+ * Use when the input is already typed as the schema's decoded `Type` and
+ * encoding failures should be returned as a `Result` instead of thrown or run in
+ * `Effect`.
  *
  * **Details**
  *
@@ -579,6 +821,8 @@ export function encodeUnknownResult<S extends Schema.Encoder<unknown>>(
  * value on success or `Result.fail` with a `SchemaIssue.Issue` on encoding
  * failure.
  *
+ * @see {@link encodeUnknownResult} for the same `Result` shape when the input is not already typed
+ *
  * @category encoding
  * @since 4.0.0
  */
@@ -590,11 +834,19 @@ export const encodeResult: <S extends Schema.Encoder<unknown>>(
 /**
  * Creates a synchronous encoder for `unknown` input.
  *
+ * **When to use**
+ *
+ * Use when encoding values from untyped input in synchronous code and treating
+ * encoding failures as thrown errors is the desired boundary.
+ *
  * **Details**
  *
  * 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.
  *
+ * @see {@link encodeSync} for input already typed as the schema's decoded `Type`
+ * @see {@link encodeUnknownEffect} for effectful encoding that preserves service requirements
+ *
  * @category encoding
  * @since 3.10.0
  */
@@ -609,11 +861,21 @@ export function encodeUnknownSync<S extends Schema.Encoder<unknown>>(
  * Creates a synchronous encoder for input already typed as the schema's decoded
  * `Type`.
  *
+ * **When to use**
+ *
+ * Use to encode already typed schema values synchronously when encoding failure
+ * should be reported by throwing an `Error`.
+ *
  * **Details**
  *
  * 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.
  *
+ * @see {@link encodeUnknownSync} for unknown input with the same throwing boundary
+ * @see {@link encodeOption} for discarding failure details
+ * @see {@link encodeResult} for returning schema issues as data
+ * @see {@link encodeEffect} for effectful encoding that preserves service requirements
+ *
  * @category encoding
  * @since 3.10.0
  */