effect 4.0.0-beta.66 → 4.0.0-beta.67

package/src/SchemaParser.ts

@@ -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.ts"
@@ -42,6 +61,12 @@ const recurDefaults = memoize((ast: AST.AST): AST.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
  */
@@ -59,6 +84,12 @@ export function makeEffect<S extends Schema.Top>(schema: S) {
 }
 
 /**
+ * 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
  */
@@ -70,10 +101,15 @@ export function makeOption<S extends Schema.Top>(schema: S) {
 }
 
 /**
+ * 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<S extends Schema.Top>(schema: S) {
+export function make<S extends Schema.Top>(schema: S) {
   const parser = makeEffect(schema)
   return (input: S["~type.make.in"], options?: Schema.MakeOptions): S["Type"] => {
     return Effect.runSync(
@@ -86,6 +122,12 @@ export function makeUnsafe<S extends Schema.Top>(schema: S) {
 }
 
 /**
+ * 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
  */
@@ -113,6 +155,12 @@ export function _issue<T>(ast: AST.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
  */
@@ -131,223 +179,399 @@ export function asserts<T>(schema: Schema.Schema<T>) {
 }
 
 /**
+ * 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<S extends Schema.Top>(
-  schema: S
+  schema: S,
+  options?: AST.ParseOptions
 ): (input: unknown, options?: AST.ParseOptions) => Effect.Effect<S["Type"], Issue.Issue, S["DecodingServices"]> {
-  return run<S["Type"], S["DecodingServices"]>(schema.ast)
+  const parser = run<S["Type"], S["DecodingServices"]>(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: <S extends Schema.Top>(
-  schema: S
+  schema: S,
+  options?: AST.ParseOptions
 ) => (input: S["Encoded"], options?: AST.ParseOptions) => Effect.Effect<S["Type"], Issue.Issue, S["DecodingServices"]> =
   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<S extends Schema.Decoder<unknown>>(
-  schema: S
+  schema: S,
+  options?: AST.ParseOptions
 ): (input: unknown, options?: AST.ParseOptions) => Promise<S["Type"]> {
-  return asPromise(decodeUnknownEffect(schema))
+  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<S extends Schema.Decoder<unknown>>(
-  schema: S
+  schema: S,
+  options?: AST.ParseOptions
 ): (input: S["Encoded"], options?: AST.ParseOptions) => Promise<S["Type"]> {
-  return asPromise(decodeEffect(schema))
+  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<S extends Schema.Decoder<unknown>>(
-  schema: S
+  schema: S,
+  options?: AST.ParseOptions
 ): (input: unknown, options?: AST.ParseOptions) => Exit.Exit<S["Type"], Issue.Issue> {
-  return asExit(decodeUnknownEffect(schema))
+  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: <S extends Schema.Decoder<unknown>>(
-  schema: S
+  schema: S,
+  options?: AST.ParseOptions
 ) => (input: S["Encoded"], options?: AST.ParseOptions) => Exit.Exit<S["Type"], Issue.Issue> = 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<S extends Schema.Decoder<unknown>>(
-  schema: S
+  schema: S,
+  options?: AST.ParseOptions
 ): (input: unknown, options?: AST.ParseOptions) => Option.Option<S["Type"]> {
-  return asOption(decodeUnknownEffect(schema))
+  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: <S extends Schema.Decoder<unknown>>(
-  schema: S
+  schema: S,
+  options?: AST.ParseOptions
 ) => (input: S["Encoded"], options?: AST.ParseOptions) => Option.Option<S["Type"]> = 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<S extends Schema.Decoder<unknown>>(
-  schema: S
+  schema: S,
+  options?: AST.ParseOptions
 ): (input: unknown, options?: AST.ParseOptions) => Result.Result<S["Type"], Issue.Issue> {
-  return asResult(decodeUnknownEffect(schema))
+  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: <S extends Schema.Decoder<unknown>>(
-  schema: S
+  schema: S,
+  options?: AST.ParseOptions
 ) => (input: S["Encoded"], options?: AST.ParseOptions) => Result.Result<S["Type"], Issue.Issue> = 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<S extends Schema.Decoder<unknown>>(
-  schema: S
+  schema: S,
+  options?: AST.ParseOptions
 ): (input: unknown, options?: AST.ParseOptions) => S["Type"] {
-  return asSync(decodeUnknownEffect(schema))
+  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: <S extends Schema.Decoder<unknown>>(
-  schema: S
+  schema: S,
+  options?: AST.ParseOptions
 ) => (input: S["Encoded"], options?: AST.ParseOptions) => S["Type"] = 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<S extends Schema.Top>(
-  schema: S
+  schema: S,
+  options?: AST.ParseOptions
 ): (input: unknown, options?: AST.ParseOptions) => Effect.Effect<S["Encoded"], Issue.Issue, S["EncodingServices"]> {
-  return run<S["Encoded"], S["EncodingServices"]>(AST.flip(schema.ast))
+  const parser = run<S["Encoded"], S["EncodingServices"]>(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: <S extends Schema.Top>(
-  schema: S
+  schema: S,
+  options?: AST.ParseOptions
 ) => (input: S["Type"], options?: AST.ParseOptions) => Effect.Effect<S["Encoded"], Issue.Issue, S["EncodingServices"]> =
   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 = <S extends Schema.Encoder<unknown>>(
-  schema: S
-): (input: unknown, options?: AST.ParseOptions) => Promise<S["Encoded"]> => asPromise(encodeUnknownEffect(schema))
+  schema: S,
+  options?: AST.ParseOptions
+): (input: unknown, options?: AST.ParseOptions) => Promise<S["Encoded"]> =>
+  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: <S extends Schema.Encoder<unknown>>(
-  schema: S
+  schema: S,
+  options?: AST.ParseOptions
 ) => (input: S["Type"], options?: AST.ParseOptions) => Promise<S["Encoded"]> = 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<S extends Schema.Encoder<unknown>>(
-  schema: S
+  schema: S,
+  options?: AST.ParseOptions
 ): (input: unknown, options?: AST.ParseOptions) => Exit.Exit<S["Encoded"], Issue.Issue> {
-  return asExit(encodeUnknownEffect(schema))
+  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: <S extends Schema.Encoder<unknown>>(
-  schema: S
+  schema: S,
+  options?: AST.ParseOptions
 ) => (input: S["Type"], options?: AST.ParseOptions) => Exit.Exit<S["Encoded"], Issue.Issue> = 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<S extends Schema.Encoder<unknown>>(
-  schema: S
+  schema: S,
+  options?: AST.ParseOptions
 ): (input: unknown, options?: AST.ParseOptions) => Option.Option<S["Encoded"]> {
-  return asOption(encodeUnknownEffect(schema))
+  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: <S extends Schema.Encoder<unknown>>(
-  schema: S
+  schema: S,
+  options?: AST.ParseOptions
 ) => (input: S["Type"], options?: AST.ParseOptions) => Option.Option<S["Encoded"]> = 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<S extends Schema.Encoder<unknown>>(
-  schema: S
+  schema: S,
+  options?: AST.ParseOptions
 ): (input: unknown, options?: AST.ParseOptions) => Result.Result<S["Encoded"], Issue.Issue> {
-  return asResult(encodeUnknownEffect(schema))
+  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: <S extends Schema.Encoder<unknown>>(
-  schema: S
+  schema: S,
+  options?: AST.ParseOptions
 ) => (input: S["Type"], options?: AST.ParseOptions) => Result.Result<S["Encoded"], Issue.Issue> = 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<S extends Schema.Encoder<unknown>>(
-  schema: S
+  schema: S,
+  options?: AST.ParseOptions
 ): (input: unknown, options?: AST.ParseOptions) => S["Encoded"] {
-  return asSync(encodeUnknownEffect(schema))
+  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: <S extends Schema.Encoder<unknown>>(
-  schema: S
+  schema: S,
+  options?: AST.ParseOptions
 ) => (input: S["Type"], options?: AST.ParseOptions) => S["Encoded"] = encodeUnknownSync
 
+const mergeParseOptions = (
+  options: AST.ParseOptions,
+  overrideOptions: AST.ParseOptions | undefined
+): AST.ParseOptions => overrideOptions === undefined ? options : { ...options, ...overrideOptions }
+
 /** @internal */
 export function run<T, R>(ast: AST.AST) {
   const parser = recur(ast)