Class ArrayShape<HeadShapes, RestShape>

The shape of an array or a tuple value.

Shape Input Type Output Type
ArrayShape<[], null> [] []
ArrayShape<[], Shape<A, B>> A[] B[]
ArrayShape<​[Shape<A, B>, Shape<X, Y>], null> [A, X] [B, Y]
ArrayShape<​[Shape<A, B>], Shape<X, Y>> [A, ...X[]] [B, ...Y[]]

Type Parameters

  • HeadShapes extends readonly AnyShape[]

    The array of positioned element shapes.

  • RestShape extends AnyShape | null

    The shape of rest elements, or null if there are no rest elements.

Hierarchy

  • CoercibleShape<InferArray<HeadShapes, RestShape, INPUT>, InferArray<HeadShapes, RestShape, OUTPUT>, unknown[]>
    • ArrayShape

Implements

Constructors

  • Creates a new ArrayShape instance.

    Type Parameters

    • HeadShapes extends readonly AnyShape[]

      The array of positioned element shapes.

    • RestShape extends null | AnyShape

      The shape of rest elements, or null if there are no rest elements.

    Parameters

    • headShapes: HeadShapes

      The array of positioned element shapes.

    • restShape: RestShape

      The shape of rest elements or null if there are no rest elements.

    • Optional options: IssueOptions | Message

      The issue options or the issue message.

    Returns ArrayShape<HeadShapes, RestShape>

Properties

_applyCoerce: ((input) => unknown[]) = coerceToNever

Type declaration

_applyOperations: ApplyOperationsCallback

The callback that applies Shape.operations to the shape output value.

This method returns a promise if there are async Shape.operations.

If the shape overrides only Shape._apply and doesn't override Shape._applyAsync then it's only safe to call this method as the last statement in Shape._apply. Otherwise, it may return an unexpected promise.

If the shape overrides both Shape._apply and Shape._applyAsync then this method would always synchronously return a Result inside Shape._apply.

_options: undefined | IssueOptions | Message

The type constraint options or the type issue message.

_typeIssueFactory: ((input, options) => Issue)

Type declaration

    • (input, options): Issue
    • Returns issues associated with an invalid input value type.

      Parameters

      Returns Issue

annotations: Dict<any> = {}

The dictionary of shape annotations.

headShapes: HeadShapes

The array of positioned element shapes.

inputs: readonly unknown[]

The array of unique input types and values that are accepted by the shape.

isAsync: boolean

true if the shape allows only Shape.parseAsync and throws an error if Shape.parse is called, or false if the shape can be used in both sync and async contexts.

operations: readonly Operation[] = []

The array of operations that are applied to the shape output.

restShape: RestShape

The shape of rest elements or null if there are no rest elements.

messages: Messages = defaultMessages

The mapping from an issue type to a corresponding issue message.

Methods

  • Synchronously parses the input.

    Parameters

    • input: any

      The shape input to parse.

    • options: ApplyOptions

      Parsing options.

    • nonce: number

      The globally unique number that identifies the parsing process.

    Returns Result<[...{
        [K in string | number | symbol]: HeadShapes[K][typeof OUTPUT]
    }[], ...(RestShape extends undefined | null
        ? []
        : RestShape extends Shape<any, any>
            ? RestShape[typeof OUTPUT][]
            : [])[]]>

    null if input matches the output, Ok that wraps the output, or an array of captured issues.

  • Asynchronously parses the input.

    Parameters

    • input: any

      The shape input to parse.

    • options: ApplyOptions

      Parsing options.

    • nonce: number

      The globally unique number that identifies the parsing process.

    Returns Promise<Result<[...{
        [K in string | number | symbol]: HeadShapes[K][typeof OUTPUT]
    }[], ...(RestShape extends undefined | null
        ? []
        : RestShape extends Shape<any, any>
            ? RestShape[typeof OUTPUT][]
            : [])[]]>>

    null if input matches the output, Ok that wraps the output, or an array of captured issues.

  • Coerces a value to an array.

    Parameters

    • input: unknown

      The value to coerce.

    Returns unknown[]

    An array, or NEVER if coercion isn't possible.

  • Must return true if the shape must be used in async context only, otherwise the shape can be used in both sync and async contexts. Override this method to implement a custom shape.

    Returns boolean

  • Returns true if the shape accepts given input type or value, or false otherwise.

    Parameters

    • input: unknown

      The type or value that must be checked.

    Returns boolean

  • Adds an asynchronous operation to the shape.

    Type Parameters

    • Param

      The param that is passed to the operation when it is applied.

    Parameters

    • cb: OperationCallback<PromiseLike<Result<[...{
          [K in string | number | symbol]: HeadShapes[K][typeof OUTPUT]
      }[], ...(RestShape extends undefined | null
          ? []
          : RestShape extends Shape<any, any>
              ? RestShape[typeof OUTPUT][]
              : [])[]]>>, [...{
          [K in string | number | symbol]: HeadShapes[K][typeof OUTPUT]
      }[], ...(RestShape extends undefined | null
          ? []
          : RestShape extends Shape<any, any>
              ? RestShape[typeof OUTPUT][]
              : [])[]], Param>

      The callback that asynchronously applies an operation to the shape output value.

    • Optional options: ParameterizedOperationOptions<Param>

      The operation options.

    Returns ArrayShape<HeadShapes, RestShape>

    The clone of the shape.

  • Adds an asynchronous operation to the shape.

    Parameters

    • cb: OperationCallback<PromiseLike<Result<[...{
          [K in string | number | symbol]: HeadShapes[K][typeof OUTPUT]
      }[], ...(RestShape extends undefined | null
          ? []
          : RestShape extends Shape<any, any>
              ? RestShape[typeof OUTPUT][]
              : [])[]]>>, [...{
          [K in string | number | symbol]: HeadShapes[K][typeof OUTPUT]
      }[], ...(RestShape extends undefined | null
          ? []
          : RestShape extends Shape<any, any>
              ? RestShape[typeof OUTPUT][]
              : [])[]]>

      The callback that asynchronously applies an operation to the shape output value.

    • Optional options: OperationOptions

      The operation options.

    Returns ArrayShape<HeadShapes, RestShape>

    The clone of the shape.

  • Adds a synchronous operation to the shape.

    Type Parameters

    • Param

      The param that is passed to the operation when it is applied.

    Parameters

    • cb: OperationCallback<Result<[...{
          [K in string | number | symbol]: HeadShapes[K][typeof OUTPUT]
      }[], ...(RestShape extends undefined | null
          ? []
          : RestShape extends Shape<any, any>
              ? RestShape[typeof OUTPUT][]
              : [])[]]>, [...{
          [K in string | number | symbol]: HeadShapes[K][typeof OUTPUT]
      }[], ...(RestShape extends undefined | null
          ? []
          : RestShape extends Shape<any, any>
              ? RestShape[typeof OUTPUT][]
              : [])[]], Param>

      The callback that synchronously applies an operation to the shape output value.

    • Optional options: ParameterizedOperationOptions<Param>

      The operation options.

    Returns ArrayShape<HeadShapes, RestShape>

    The clone of the shape.

  • Adds a synchronous operation to the shape.

    Parameters

    • cb: OperationCallback<Result<[...{
          [K in string | number | symbol]: HeadShapes[K][typeof OUTPUT]
      }[], ...(RestShape extends undefined | null
          ? []
          : RestShape extends Shape<any, any>
              ? RestShape[typeof OUTPUT][]
              : [])[]]>, [...{
          [K in string | number | symbol]: HeadShapes[K][typeof OUTPUT]
      }[], ...(RestShape extends undefined | null
          ? []
          : RestShape extends Shape<any, any>
              ? RestShape[typeof OUTPUT][]
              : [])[]]>

      The callback that synchronously applies an operation to the shape output value.

    • Optional options: OperationOptions

      The operation options.

    Returns ArrayShape<HeadShapes, RestShape>

    The clone of the shape.

  • Allows an input value, so it is passed directly to the output.

    Type Parameters

    • AllowedValue extends Any

      The allowed value.

    Parameters

    • value: AllowedValue

      The allowed value.

    Returns AllowShape<ArrayShape<HeadShapes, RestShape>, AllowedValue>

  • Adds a synchronous operation that alters the output value without changing its type.

    If you want to change the base type, consider using Shape.convert.

    Type Parameters

    • Param

      The param that is passed to the operation when it is applied.

    Parameters

    • cb: OperationCallback<[...{
          [K in string | number | symbol]: HeadShapes[K][typeof OUTPUT]
      }[], ...(RestShape extends undefined | null
          ? []
          : RestShape extends Shape<any, any>
              ? RestShape[typeof OUTPUT][]
              : [])[]], [...{
          [K in string | number | symbol]: HeadShapes[K][typeof OUTPUT]
      }[], ...(RestShape extends undefined | null
          ? []
          : RestShape extends Shape<any, any>
              ? RestShape[typeof OUTPUT][]
              : [])[]], Param>

      The callback that alters the shape output. Throw a ValidationError to notify that the alteration cannot be successfully completed.

    • options: ParameterizedOperationOptions<Param>

      The operation options.

    Returns ArrayShape<HeadShapes, RestShape>

    The clone of the shape.

  • Adds a synchronous operation that alters the output value without changing its type.

    If you want to change the base type, consider using Shape.convert.

    Parameters

    • cb: OperationCallback<[...{
          [K in string | number | symbol]: HeadShapes[K][typeof OUTPUT]
      }[], ...(RestShape extends undefined | null
          ? []
          : RestShape extends Shape<any, any>
              ? RestShape[typeof OUTPUT][]
              : [])[]], [...{
          [K in string | number | symbol]: HeadShapes[K][typeof OUTPUT]
      }[], ...(RestShape extends undefined | null
          ? []
          : RestShape extends Shape<any, any>
              ? RestShape[typeof OUTPUT][]
              : [])[]]>

      The callback that alters the shape output. Throw a ValidationError to notify that the alteration cannot be successfully completed.

    • Optional options: OperationOptions

      The operation options.

    Returns ArrayShape<HeadShapes, RestShape>

    The clone of the shape.

  • Adds an asynchronous operation that alters the output value without changing its type.

    If you want to change the base type, consider using Shape.convertAsync.

    Type Parameters

    • Param

      The param that is passed to the operation when it is applied.

    Parameters

    • cb: OperationCallback<PromiseLike<[...{
          [K in string | number | symbol]: HeadShapes[K][typeof OUTPUT]
      }[], ...(RestShape extends undefined | null
          ? []
          : RestShape extends Shape<any, any>
              ? RestShape[typeof OUTPUT][]
              : [])[]]>, [...{
          [K in string | number | symbol]: HeadShapes[K][typeof OUTPUT]
      }[], ...(RestShape extends undefined | null
          ? []
          : RestShape extends Shape<any, any>
              ? RestShape[typeof OUTPUT][]
              : [])[]], Param>

      The callback that alters the shape output. Throw a ValidationError to notify that the alteration cannot be successfully completed.

    • options: ParameterizedOperationOptions<Param>

      The operation options.

    Returns ArrayShape<HeadShapes, RestShape>

    The clone of the shape.

  • Adds an asynchronous operation that alters the output value without changing its type.

    If you want to change the base type, consider using Shape.convertAsync.

    Parameters

    • cb: OperationCallback<PromiseLike<[...{
          [K in string | number | symbol]: HeadShapes[K][typeof OUTPUT]
      }[], ...(RestShape extends undefined | null
          ? []
          : RestShape extends Shape<any, any>
              ? RestShape[typeof OUTPUT][]
              : [])[]]>, [...{
          [K in string | number | symbol]: HeadShapes[K][typeof OUTPUT]
      }[], ...(RestShape extends undefined | null
          ? []
          : RestShape extends Shape<any, any>
              ? RestShape[typeof OUTPUT][]
              : [])[]]>

      The callback that alters the shape output. Throw a ValidationError to notify that the alteration cannot be successfully completed.

    • Optional options: OperationOptions

      The operation options.

    Returns ArrayShape<HeadShapes, RestShape>

    The clone of the shape.

  • Adds annotations to the shape.

    Parameters

    • annotations: ReadonlyDict<any>

      Annotations to add.

    Returns ArrayShape<HeadShapes, RestShape>

    The clone of the shape with the updated annotations.

  • Returns a sub-shape that describes a value associated with the given property name, or null if there's no such sub-shape.

    Parameters

    • key: unknown

      The key for which the sub-shape must be retrieved.

    Returns null | AnyShape

    The sub-shape or null if there's no such key in the shape.

  • Returns a shape that adds a brand to the output type.

    Type Parameters

    • Brand extends string | number | symbol

      The brand value.

    Returns RefineShape<ArrayShape<HeadShapes, RestShape>, Branded<[...{
        [K in string | number | symbol]: HeadShapes[K][typeof OUTPUT]
    }[], ...(RestShape extends undefined | null
        ? []
        : RestShape extends Shape<any, any>
            ? RestShape[typeof OUTPUT][]
            : [])[]], Brand>>

    A shape with the branded output type.

  • Returns undefined if parsing fails.

    Returns CatchShape<ArrayShape<HeadShapes, RestShape>, undefined>

  • Returns the fallback value if parsing fails.

    Type Parameters

    • FallbackValue extends Any

      The fallback value.

    Parameters

    • fallback: FallbackValue | ((input, issues, options) => FallbackValue)

      The value or a callback that returns a value that is returned if parsing has failed. A callback receives an input value, an array of raised issues, and parsing options.

    Returns CatchShape<ArrayShape<HeadShapes, RestShape>, FallbackValue>

  • Adds a synchronous operation that checks that the shape output satisfies a requirement.

    The callback must return null or undefined if value is valid, or an issue or an array of issues if value is invalid. If a callback returns an empty array, it is considered that no issues have occurred.

    Type Parameters

    • Param

      The param that is passed to the operation when it is applied.

    Parameters

    • cb: OperationCallback<CheckResult, [...{
          [K in string | number | symbol]: HeadShapes[K][typeof OUTPUT]
      }[], ...(RestShape extends undefined | null
          ? []
          : RestShape extends Shape<any, any>
              ? RestShape[typeof OUTPUT][]
              : [])[]], Param>

      The callback that checks that a value satisfies a requirement and returns issues if it doesn't.

    • options: ParameterizedOperationOptions<Param>

      The operation options.

    Returns ArrayShape<HeadShapes, RestShape>

    The clone of the shape.

  • Adds a synchronous operation that checks that the shape output satisfies a requirement.

    The callback must return null or undefined if value is valid, or an issue or an array of issues if value is invalid. If a callback returns an empty array, it is considered that no issues have occurred.

    Parameters

    • cb: OperationCallback<CheckResult, [...{
          [K in string | number | symbol]: HeadShapes[K][typeof OUTPUT]
      }[], ...(RestShape extends undefined | null
          ? []
          : RestShape extends Shape<any, any>
              ? RestShape[typeof OUTPUT][]
              : [])[]]>

      The callback that checks that a value satisfies a requirement and returns issues if it doesn't.

    • Optional options: OperationOptions

      The operation options.

    Returns ArrayShape<HeadShapes, RestShape>

    The clone of the shape.

  • Adds an asynchronous operation that checks that the shape output satisfies a requirement.

    The callback must return a promise that is resolved with null or undefined if value is valid, or an issue or an array of issues if value is invalid. If promise resolves with an empty array, it is considered that no issues have occurred.

    Type Parameters

    • Param

      The param that is passed to the operation when it is applied.

    Parameters

    • cb: OperationCallback<PromiseLike<CheckResult>, [...{
          [K in string | number | symbol]: HeadShapes[K][typeof OUTPUT]
      }[], ...(RestShape extends undefined | null
          ? []
          : RestShape extends Shape<any, any>
              ? RestShape[typeof OUTPUT][]
              : [])[]], Param>

      The callback that checks that a value satisfies a requirement and returns issues if it doesn't.

    • options: ParameterizedOperationOptions<Param>

      The operation options.

    Returns ArrayShape<HeadShapes, RestShape>

    The clone of the shape.

  • Adds an asynchronous operation that checks that the shape output satisfies a requirement.

    The callback must return a promise that is resolved with null or undefined if value is valid, or an issue or an array of issues if value is invalid. If promise resolves with an empty array, it is considered that no issues have occurred.

    Parameters

    • cb: OperationCallback<PromiseLike<CheckResult>, [...{
          [K in string | number | symbol]: HeadShapes[K][typeof OUTPUT]
      }[], ...(RestShape extends undefined | null
          ? []
          : RestShape extends Shape<any, any>
              ? RestShape[typeof OUTPUT][]
              : [])[]]>

      The callback that checks that a value satisfies a requirement and returns issues if it doesn't.

    • Optional options: OperationOptions

      The operation options.

    Returns ArrayShape<HeadShapes, RestShape>

    The clone of the shape.

  • Synchronously converts the output value of the shape.

    If you want to don't want to change the base type, consider using Shape.alter.

    Type Parameters

    • ConvertedValue

      The value returned from the callback that converts the output value of this shape.

    Parameters

    • cb: ((value, options) => ConvertedValue)

      The callback that converts the input value. Throw a ValidationError to notify that the conversion cannot be successfully completed.

        • (value, options): ConvertedValue
        • Parameters

          • value: [...{
                [K in string | number | symbol]: HeadShapes[K][typeof OUTPUT]
            }[], ...(RestShape extends undefined | null
                ? []
                : RestShape extends Shape<any, any>
                    ? RestShape[typeof OUTPUT][]
                    : [])[]]

            The shape output value.

          • options: ApplyOptions

            Parsing options.

          Returns ConvertedValue

    Returns Shape<[...{
        [K in string | number | symbol]: HeadShapes[K][typeof INPUT]
    }[], ...(RestShape extends undefined | null
        ? []
        : RestShape extends Shape<any, any>
            ? RestShape[typeof INPUT][]
            : [])[]], ConvertedValue>

    The ConvertShape instance.

  • Asynchronously converts the output value of the shape.

    If you want to don't want to change the base type, consider using Shape.alterAsync.

    Type Parameters

    • ConvertedValue

      The value returned from the callback that converts the output value of this shape.

    Parameters

    • cb: ((value, options) => PromiseLike<ConvertedValue>)

      The callback that converts the input value asynchronously. The returned promise can be rejected with a ValidationError to notify that the conversion cannot be successfully completed.

        • (value, options): PromiseLike<ConvertedValue>
        • Parameters

          • value: [...{
                [K in string | number | symbol]: HeadShapes[K][typeof OUTPUT]
            }[], ...(RestShape extends undefined | null
                ? []
                : RestShape extends Shape<any, any>
                    ? RestShape[typeof OUTPUT][]
                    : [])[]]

            The shape output value.

          • options: ApplyOptions

            Parsing options.

          Returns PromiseLike<ConvertedValue>

    Returns Shape<[...{
        [K in string | number | symbol]: HeadShapes[K][typeof INPUT]
    }[], ...(RestShape extends undefined | null
        ? []
        : RestShape extends Shape<any, any>
            ? RestShape[typeof INPUT][]
            : [])[]], ConvertedValue>

    The ConvertShape instance.

  • Converts the shape and its child shapes to deep partial alternatives.

    Note: This method returns a shape without any operations.

    Returns DeepPartialArrayShape<HeadShapes, RestShape>

    The deep partial clone of the shape.

  • Excludes value from both input and output.

    Type Parameters

    • DeniedValue extends [...{
          [K in string | number | symbol]: HeadShapes[K][typeof INPUT]
      }[], ...(RestShape extends undefined | null
          ? []
          : RestShape extends Shape<any, any>
              ? RestShape[typeof INPUT][]
              : [])[]] | [...{
          [K in string | number | symbol]: HeadShapes[K][typeof OUTPUT]
      }[], ...(RestShape extends undefined | null
          ? []
          : RestShape extends Shape<any, any>
              ? RestShape[typeof OUTPUT][]
              : [])[]]

      The denied value.

    Parameters

    • value: DeniedValue

      The excluded value.

    • Optional options: IssueOptions | Message

      The issue options or the issue message.

    Returns DenyShape<ArrayShape<HeadShapes, RestShape>, DeniedValue>

  • Checks that the input doesn't match the shape.

    Type Parameters

    • ExcludedShape extends AnyShape

      The shape to which the output must not conform.

    Parameters

    • shape: ExcludedShape

      The shape to which the output must not conform.

    • Optional options: IssueOptions | Message

      The issue options or the issue message.

    Returns ExcludeShape<ArrayShape<HeadShapes, RestShape>, ExcludedShape>

  • Checks that the input doesn't match the shape.

    This method works exactly as Shape.exclude at runtime, but it doesn't perform the exclusion on the type level.

    Type Parameters

    • ExcludedShape extends AnyShape

      The shape to which the output must not conform.

    Parameters

    • shape: ExcludedShape

      The shape to which the output must not conform.

    • Optional options: IssueOptions | Message

      The issue options or the issue message.

    Returns NotShape<ArrayShape<HeadShapes, RestShape>, ExcludedShape>

  • Replaces null input value with an null output value.

    Returns AllowShape<ArrayShape<HeadShapes, RestShape>, null>

  • Replaces null input value with a default output value.

    Type Parameters

    • DefaultValue extends Any

      The value that is used as the replacement for null.

    Parameters

    • defaultValue: DefaultValue

      The value that should be used if an input value is null.

    Returns ReplaceShape<ArrayShape<HeadShapes, RestShape>, null, DefaultValue>

  • Passes null and undefined input values directly to the output without parsing.

    Returns AllowShape<AllowShape<ArrayShape<HeadShapes, RestShape>, null>, undefined>

  • Replaces null and undefined input value with a default output value.

    Type Parameters

    • DefaultValue extends Any

      The value that is used as the replacement for undefined and null.

    Parameters

    • Optional defaultValue: DefaultValue

      The value that should be used if an input value is undefined or null.

    Returns ReplaceShape<ReplaceShape<ArrayShape<HeadShapes, RestShape>, null, DefaultValue>, undefined, DefaultValue>

  • Replaces undefined input value with an undefined output value.

    Returns AllowShape<ArrayShape<HeadShapes, RestShape>, undefined>

  • Replaces undefined input value with a default output value.

    Type Parameters

    • DefaultValue extends Any

      The value that is used as the replacement for undefined.

    Parameters

    • defaultValue: DefaultValue

      The value that should be used if an input value is undefined.

    Returns ReplaceShape<ArrayShape<HeadShapes, RestShape>, undefined, DefaultValue>

  • Synchronously parses the value.

    Parameters

    • input: unknown

      The value to parse.

    • Optional options: ParseOptions

      Parsing options.

    Returns [...{
        [K in string | number | symbol]: HeadShapes[K][typeof OUTPUT]
    }[], ...(RestShape extends undefined | null
        ? []
        : RestShape extends Shape<any, any>
            ? RestShape[typeof OUTPUT][]
            : [])[]]

    The value that conforms the output type of the shape.

    Throws

    Error if the shape doesn't support the sync parsing, see Shape.isAsync.

    Throws

    ValidationError if any issues occur during parsing.

  • Asynchronously parses the value.

    Parameters

    • input: unknown

      The value to parse.

    • Optional options: ParseOptions

      Parsing options.

    Returns Promisify<[...{
        [K in string | number | symbol]: HeadShapes[K][typeof OUTPUT]
    }[], ...(RestShape extends undefined | null
        ? []
        : RestShape extends Shape<any, any>
            ? RestShape[typeof OUTPUT][]
            : [])[]]>

    The promise that resolves with the value that conforms the output type of the shape, or rejects with a ValidationError if any issues occur during parsing.

  • Synchronously parses the value and returns undefined if parsing fails.

    Parameters

    • input: unknown

      The value to parse.

    Returns undefined | [...{
        [K in string | number | symbol]: HeadShapes[K][typeof OUTPUT]
    }[], ...(RestShape extends undefined | null
        ? []
        : RestShape extends Shape<any, any>
            ? RestShape[typeof OUTPUT][]
            : [])[]]

    The value that conforms the output type of the shape.

    Throws

    Error if the shape doesn't support the sync parsing, see Shape.isAsync.

  • Synchronously parses the value and returns the default value if parsing fails.

    Type Parameters

    • DefaultValue

      The default value that is returned if parsing fails.

    Parameters

    • input: unknown

      The value to parse.

    • defaultValue: DefaultValue

      The default value that is returned if parsing fails.

    • Optional options: ApplyOptions

      Parsing options.

    Returns [...{
        [K in string | number | symbol]: HeadShapes[K][typeof OUTPUT]
    }[], ...(RestShape extends undefined | null
        ? []
        : RestShape extends Shape<any, any>
            ? RestShape[typeof OUTPUT][]
            : [])[]] | DefaultValue

    The value that conforms the output type of the shape.

    Throws

    Error if the shape doesn't support the sync parsing, see Shape.isAsync.

  • Asynchronously parses the value and returns undefined value if parsing fails.

    Parameters

    • input: unknown

      The value to parse.

    Returns Promisify<undefined | [...{
        [K in string | number | symbol]: HeadShapes[K][typeof OUTPUT]
    }[], ...(RestShape extends undefined | null
        ? []
        : RestShape extends Shape<any, any>
            ? RestShape[typeof OUTPUT][]
            : [])[]]>

    The value that conforms the output type of the shape.

  • Asynchronously parses the value and returns the default value if parsing fails.

    Type Parameters

    • DefaultValue

      The default value that is returned if parsing fails.

    Parameters

    • input: unknown

      The value to parse.

    • defaultValue: DefaultValue

      The default value that is returned if parsing fails.

    • Optional options: ApplyOptions

      Parsing options.

    Returns Promisify<[...{
        [K in string | number | symbol]: HeadShapes[K][typeof OUTPUT]
    }[], ...(RestShape extends undefined | null
        ? []
        : RestShape extends Shape<any, any>
            ? RestShape[typeof OUTPUT][]
            : [])[]] | DefaultValue>

    The value that conforms the output type of the shape.

  • Adds a synchronous operation that refines the shape output type with the narrowing predicate.

    Type Parameters

    • RefinedValue extends [...{
          [K in string | number | symbol]: HeadShapes[K][typeof OUTPUT]
      }[], ...(RestShape extends undefined | null
          ? []
          : RestShape extends Shape<any, any>
              ? RestShape[typeof OUTPUT][]
              : [])[]]

      The narrowed output value.

    • Param

      The param that is passed to the operation when it is applied.

    Parameters

    • cb: RefinePredicate<[...{
          [K in string | number | symbol]: HeadShapes[K][typeof OUTPUT]
      }[], ...(RestShape extends undefined | null
          ? []
          : RestShape extends Shape<any, any>
              ? RestShape[typeof OUTPUT][]
              : [])[]], RefinedValue, Param>

      The predicate that returns true if the value conforms the required type, or false otherwise.

    • options: Message | ParameterizedRefineOptions<Param>

      The operation options or the issue message.

    Returns RefineShape<ArrayShape<HeadShapes, RestShape>, RefinedValue>

    The shape with the narrowed output.

  • Adds a synchronous operation that refines the shape output type with the narrowing predicate.

    Type Parameters

    • RefinedValue extends [...{
          [K in string | number | symbol]: HeadShapes[K][typeof OUTPUT]
      }[], ...(RestShape extends undefined | null
          ? []
          : RestShape extends Shape<any, any>
              ? RestShape[typeof OUTPUT][]
              : [])[]]

      The narrowed output value.

    Parameters

    • cb: RefinePredicate<[...{
          [K in string | number | symbol]: HeadShapes[K][typeof OUTPUT]
      }[], ...(RestShape extends undefined | null
          ? []
          : RestShape extends Shape<any, any>
              ? RestShape[typeof OUTPUT][]
              : [])[]], RefinedValue>

      The predicate that returns true if the value conforms the required type, or false otherwise.

    • Optional options: Message | RefineOptions

      The operation options or the issue message.

    Returns RefineShape<ArrayShape<HeadShapes, RestShape>, RefinedValue>

    The shape with the narrowed output.

  • Adds a synchronous operation that checks that the output value conforms the predicate.

    Type Parameters

    • Param

      The param that is passed to the operation when it is applied.

    Parameters

    • cb: OperationCallback<unknown, [...{
          [K in string | number | symbol]: HeadShapes[K][typeof OUTPUT]
      }[], ...(RestShape extends undefined | null
          ? []
          : RestShape extends Shape<any, any>
              ? RestShape[typeof OUTPUT][]
              : [])[]], Param>

      The predicate that returns truthy result if the value is valid, or returns falsy result otherwise.

    • Optional options: Message | ParameterizedRefineOptions<Param>

      The operation options or the issue message.

    Returns ArrayShape<HeadShapes, RestShape>

    The clone of the shape.

  • Adds a synchronous operation that checks that the output value conforms the predicate.

    Parameters

    • cb: OperationCallback<unknown, [...{
          [K in string | number | symbol]: HeadShapes[K][typeof OUTPUT]
      }[], ...(RestShape extends undefined | null
          ? []
          : RestShape extends Shape<any, any>
              ? RestShape[typeof OUTPUT][]
              : [])[]]>

      The predicate that returns truthy result if the value is valid, or returns falsy result otherwise.

    • Optional options: Message | RefineOptions

      The operation options or the issue message.

    Returns ArrayShape<HeadShapes, RestShape>

    The clone of the shape.

  • Adds an asynchronous operation that checks that the output value conforms the predicate.

    Type Parameters

    • Param

      The param that is passed to the operation when it is applied.

    Parameters

    • cb: OperationCallback<PromiseLike<unknown>, [...{
          [K in string | number | symbol]: HeadShapes[K][typeof OUTPUT]
      }[], ...(RestShape extends undefined | null
          ? []
          : RestShape extends Shape<any, any>
              ? RestShape[typeof OUTPUT][]
              : [])[]], Param>

      The predicate that returns a promise that resolves with a truthy result if the value is valid, or a falsy result otherwise.

    • Optional options: Message | ParameterizedRefineOptions<Param>

      The operation options or the issue message.

    Returns ArrayShape<HeadShapes, RestShape>

    The clone of the shape.

  • Adds an asynchronous operation that checks that the output value conforms the predicate.

    Parameters

    • cb: OperationCallback<PromiseLike<unknown>, [...{
          [K in string | number | symbol]: HeadShapes[K][typeof OUTPUT]
      }[], ...(RestShape extends undefined | null
          ? []
          : RestShape extends Shape<any, any>
              ? RestShape[typeof OUTPUT][]
              : [])[]]>

      The predicate that returns a promise that resolves with a truthy result if the value is valid, or a falsy result otherwise.

    • Optional options: Message | RefineOptions

      The operation options or the issue message.

    Returns ArrayShape<HeadShapes, RestShape>

    The clone of the shape.

  • Replaces an input value with an output value.

    Type Parameters

    • InputValue extends Any

      The input value to replace.

    • OutputValue extends Any

      The output value that is used as the replacement for an input value.

    Parameters

    • inputValue: InputValue

      The input value to replace.

    • outputValue: OutputValue

      The output value that is returned if an inputValue is received.

    Returns ReplaceShape<ArrayShape<HeadShapes, RestShape>, InputValue, OutputValue>

  • Returns an array shape that has rest elements constrained by the given shape.

    Note: This method returns a shape without any operations.

    Type Parameters

    • S extends null | AnyShape

      The shape of rest elements.

    Parameters

    • restShape: S

      The shape of rest elements, or null if there are no rest elements.

    Returns ArrayShape<HeadShapes, S>

    The new array shape.

  • Pipes the output of this shape to the input of another shape.

    Type Parameters

    • OutputShape extends AnyShape

      The output value.

    Parameters

    • shape: OutputShape

      The shape that validates the output if this shape.

    Returns PipeShape<ArrayShape<HeadShapes, RestShape>, OutputShape>

  • Synchronously parses the value and returns Ok or Err object that wraps the result.

    Parameters

    • input: unknown

      The value to parse.

    • Optional options: ApplyOptions

      Parsing options.

    Returns Err | Ok<[...{
        [K in string | number | symbol]: HeadShapes[K][typeof OUTPUT]
    }[], ...(RestShape extends undefined | null
        ? []
        : RestShape extends Shape<any, any>
            ? RestShape[typeof OUTPUT][]
            : [])[]]>

    The Ok instance if parsing has succeeded or Err if parsing has failed.

    Throws

    Error if the shape doesn't support the sync parsing, see Shape.isAsync.

  • Asynchronously parses the value and returns Ok or Err object that wraps the result.

    Parameters

    • input: unknown

      The value to parse.

    • Optional options: ApplyOptions

      Parsing options.

    Returns Promise<Err | Ok<[...{
        [K in string | number | symbol]: HeadShapes[K][typeof OUTPUT]
    }[], ...(RestShape extends undefined | null
        ? []
        : RestShape extends Shape<any, any>
            ? RestShape[typeof OUTPUT][]
            : [])[]]>>

    The Ok instance if parsing has succeeded or Err if parsing has failed.

Plugin Methods

  • Requires an array to contain at least one element that conforms the given shape.

    Parameters

    • value: any

      The shape of the required element or its literal value.

    • Optional options: IssueOptions | Message

      The issue options or the issue message.

    Returns ArrayShape<HeadShapes, RestShape>

    The clone of the shape.

  • Constrains the array length.

    Parameters

    • length: number

      The minimum array length.

    • Optional options: IssueOptions | Message

      The issue options or the issue message.

    Returns ArrayShape<HeadShapes, RestShape>

    The clone of the shape.

  • Constrains the maximum array length.

    Parameters

    • length: number

      The maximum array length.

    • Optional options: IssueOptions | Message

      The issue options or the issue message.

    Returns ArrayShape<HeadShapes, RestShape>

    The clone of the shape.

  • Constrains the minimum array length.

    Parameters

    • length: number

      The minimum array length.

    • Optional options: IssueOptions | Message

      The issue options or the issue message.

    Returns ArrayShape<HeadShapes, RestShape>

    The clone of the shape.

Accessors

  • get isCoercing(): boolean
  • true if this shapes coerces input values to the required type during parsing, or false otherwise.

    Returns boolean