Interface NotShape<BaseShape, ExcludedShape>

Shortcut for ExcludeShape that doesn't impose the exclusion on the type level.

See

interface NotShape<BaseShape extends AnyShape, ExcludedShape extends AnyShape> {
    annotations: Dict;
    baseShape: BaseShape;
    excludedShape: ExcludedShape;
    inputs: readonly unknown[];
    isAsync: boolean;
    operations: readonly Operation[];
    _apply(
        input: unknown,
        options: ParseOptions,
        _nonce: number,
    ): Result<Output<BaseShape>>;
    _applyAsync(
        input: unknown,
        options: ParseOptions,
        nonce: number,
    ): Promise<Result<Output<BaseShape>>>;
    _applyOperations(
        input: unknown,
        output: unknown,
        options: ParseOptions,
        issues: null | Issue[],
    ): Result | Promise<Result>;
    _clone(): this;
    _getInputs(): readonly unknown[];
    _isAsync(): boolean;
    accepts(input: unknown): boolean;
    addAsyncOperation<Param>(
        cb: OperationCallback<
            PromiseLike<Result<Output<BaseShape>>>,
            Output<BaseShape>,
            Param,
        >,
        options?: ParameterizedOperationOptions<Param>,
    ): this;
    addAsyncOperation(
        cb: OperationCallback<
            PromiseLike<Result<Output<BaseShape>>>,
            Output<BaseShape>,
        >,
        options?: OperationOptions,
    ): this;
    addOperation<Param>(
        cb: OperationCallback<
            Result<Output<BaseShape>>,
            Output<BaseShape>,
            Param,
        >,
        options?: ParameterizedOperationOptions<Param>,
    ): this;
    addOperation(
        cb: OperationCallback<Result<Output<BaseShape>>, Output<BaseShape>>,
        options?: OperationOptions,
    ): this;
    allow<AllowedValue extends Any>(
        value: AllowedValue,
    ): AllowShape<NotShape<BaseShape, ExcludedShape>, AllowedValue>;
    alter<Param>(
        cb: OperationCallback<Output<BaseShape>, Output<BaseShape>, Param>,
        options: ParameterizedOperationOptions<Param>,
    ): this;
    alter(
        cb: OperationCallback<Output<BaseShape>, Output<BaseShape>>,
        options?: OperationOptions,
    ): this;
    alterAsync<Param>(
        cb: OperationCallback<
            PromiseLike<Output<BaseShape>>,
            Output<BaseShape>,
            Param,
        >,
        options: ParameterizedOperationOptions<Param>,
    ): this;
    alterAsync(
        cb: OperationCallback<
            PromiseLike<Output<BaseShape>>,
            Output<BaseShape>,
        >,
        options?: OperationOptions,
    ): this;
    annotate(annotations: ReadonlyDict): this;
    at(_key: unknown): null | AnyShape;
    brand<Brand extends string | number | symbol>(): RefineShape<
        NotShape<BaseShape, ExcludedShape>,
        Branded<Output<BaseShape>, Brand>,
    >;
    catch(): CatchShape<NotShape<BaseShape, ExcludedShape>, undefined>;
    catch<FallbackValue extends Any>(
        fallback:
            | FallbackValue
            | ((input: any, issues: Issue[], options: ParseOptions) => FallbackValue),
    ): CatchShape<NotShape<BaseShape, ExcludedShape>, FallbackValue>;
    check<Param>(
        cb: OperationCallback<CheckResult, Output<BaseShape>, Param>,
        options: ParameterizedOperationOptions<Param>,
    ): this;
    check(
        cb: OperationCallback<CheckResult, Output<BaseShape>>,
        options?: OperationOptions,
    ): this;
    checkAsync<Param>(
        cb: OperationCallback<
            PromiseLike<CheckResult>,
            Output<BaseShape>,
            Param,
        >,
        options: ParameterizedOperationOptions<Param>,
    ): this;
    checkAsync(
        cb: OperationCallback<PromiseLike<CheckResult>, Output<BaseShape>>,
        options?: OperationOptions,
    ): this;
    convert<ConvertedValue>(
        cb: (value: Output, options: ParseOptions) => ConvertedValue,
    ): Shape<Input<BaseShape>, ConvertedValue>;
    convertAsync<ConvertedValue>(
        cb: (
            value: Output,
            options: ParseOptions,
        ) => PromiseLike<ConvertedValue>,
    ): Shape<Input<BaseShape>, ConvertedValue>;
    deepPartial(): NotShape;
    deny<DeniedValue extends any>(
        value: DeniedValue,
        options?: IssueOptions | Message,
    ): DenyShape<NotShape<BaseShape, ExcludedShape>, DeniedValue>;
    exclude<ExcludedShape extends AnyShape>(
        shape: ExcludedShape,
        options?: IssueOptions | Message,
    ): ExcludeShape<NotShape<BaseShape, ExcludedShape>, ExcludedShape>;
    nonOptional(
        options?: IssueOptions | Message,
    ): DenyShape<NotShape<BaseShape, ExcludedShape>, undefined>;
    not<ExcludedShape extends AnyShape>(
        shape: ExcludedShape,
        options?: IssueOptions | Message,
    ): NotShape<NotShape<BaseShape, ExcludedShape>, ExcludedShape>;
    nullable(): AllowShape<NotShape<BaseShape, ExcludedShape>, null>;
    nullable<DefaultValue extends Any>(
        defaultValue: DefaultValue,
    ): ReplaceShape<NotShape<BaseShape, ExcludedShape>, null, DefaultValue>;
    nullish(): AllowShape<
        AllowShape<NotShape<BaseShape, ExcludedShape>, null>,
        undefined,
    >;
    nullish<DefaultValue extends Any>(
        defaultValue?: DefaultValue,
    ): ReplaceShape<
        ReplaceShape<NotShape<BaseShape, ExcludedShape>, null, DefaultValue>,
        undefined,
        DefaultValue,
    >;
    optional(): AllowShape<NotShape<BaseShape, ExcludedShape>, undefined>;
    optional<DefaultValue extends Any>(
        defaultValue: DefaultValue,
    ): ReplaceShape<
        NotShape<BaseShape, ExcludedShape>,
        undefined,
        DefaultValue,
    >;
    parse(input: unknown, options?: ParseOptions): Output;
    parseAsync(
        input: unknown,
        options?: ParseOptions,
    ): Promisify<Output<BaseShape>>;
    parseOrDefault(input: unknown): undefined | Output<BaseShape>;
    parseOrDefault<DefaultValue>(
        input: unknown,
        defaultValue: DefaultValue,
        options?: ParseOptions,
    ): Output<BaseShape> | DefaultValue;
    parseOrDefaultAsync(
        input: unknown,
    ): Promisify<undefined | Output<BaseShape>>;
    parseOrDefaultAsync<DefaultValue>(
        input: unknown,
        defaultValue: DefaultValue,
        options?: ParseOptions,
    ): Promisify<Output<BaseShape> | DefaultValue>;
    refine<RefinedValue extends any, Param>(
        cb: RefinePredicate<Output<BaseShape>, RefinedValue, Param>,
        options: Message | ParameterizedRefineOptions<Param>,
    ): RefineShape<NotShape<BaseShape, ExcludedShape>, RefinedValue>;
    refine<RefinedValue extends any>(
        cb: RefinePredicate<Output<BaseShape>, RefinedValue>,
        options?: Message | RefineOptions,
    ): RefineShape<NotShape<BaseShape, ExcludedShape>, RefinedValue>;
    refine<Param>(
        cb: OperationCallback<unknown, Output<BaseShape>, Param>,
        options?: Message | ParameterizedRefineOptions<Param>,
    ): this;
    refine(
        cb: OperationCallback<unknown, Output<BaseShape>>,
        options?: Message | RefineOptions,
    ): this;
    refineAsync<Param>(
        cb: OperationCallback<PromiseLike<unknown>, Output<BaseShape>, Param>,
        options?: Message | ParameterizedRefineOptions<Param>,
    ): this;
    refineAsync(
        cb: OperationCallback<PromiseLike<unknown>, Output<BaseShape>>,
        options?: Message | RefineOptions,
    ): this;
    replace<InputValue extends Any, OutputValue extends Any>(
        inputValue: InputValue,
        outputValue: OutputValue,
    ): ReplaceShape<
        NotShape<BaseShape, ExcludedShape>,
        InputValue,
        OutputValue,
    >;
    to<OutputShape extends AnyShape>(
        shape: OutputShape,
    ): PipeShape<NotShape<BaseShape, ExcludedShape>, OutputShape>;
    try(input: unknown, options?: ParseOptions): Err | Ok<Output<BaseShape>>;
    tryAsync(
        input: unknown,
        options?: ParseOptions,
    ): Promise<Err | Ok<Output<BaseShape>>>;
}

Type Parameters

BaseShape extends AnyShape
The base shape.
ExcludedShape extends AnyShape
The shape to which the output must not conform.

Hierarchy (View Summary)

Shape<Input<BaseShape>, Output<BaseShape>>
DeepPartialProtocol<NotShape<DeepPartialShape<BaseShape>, ExcludedShape>>
- NotShape

Properties

annotations

annotations: Dict = {}

The dictionary of shape annotations.

See

Shape.annotate

`Readonly`baseShape

baseShape: BaseShape

The base shape.

`Readonly`excludedShape

excludedShape: ExcludedShape

The shape to which the output must not conform.

`Readonly`inputs

inputs: readonly unknown[]

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

`Readonly`isAsync

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

operations: readonly Operation[] = []

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

See

Methods

`Protected`_apply

_apply(
    input: unknown,
    options: ParseOptions,
    _nonce: number,
): Result<Output<BaseShape>>
Synchronously parses the input.
Parameters
- input: unknown
  The shape input to parse.
- options: ParseOptions
  Parsing options.
- _nonce: number
  The globally unique number that identifies the parsing process.
Returns Result<Output<BaseShape>>
null if input matches the output, Ok that wraps the output, or an array of captured issues.

See
Advanced shapes

Inherited from Shape._apply

`Protected`_applyAsync

_applyAsync(
    input: unknown,
    options: ParseOptions,
    nonce: number,
): Promise<Result<Output<BaseShape>>>
Asynchronously parses the input.
Parameters
- input: unknown
  The shape input to parse.
- options: ParseOptions
  Parsing options.
- nonce: number
  The globally unique number that identifies the parsing process.
Returns Promise<Result<Output<BaseShape>>>
null if input matches the output, Ok that wraps the output, or an array of captured issues.

See
Advanced shapes

Inherited from Shape._applyAsync

`Protected`_applyOperations

_applyOperations(
    input: unknown,
    output: unknown,
    options: ParseOptions,
    issues: null | Issue[],
): Result | Promise<Result>
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.
Parameters
- input: unknown
- output: unknown
- options: ParseOptions
- issues: null | Issue[]
Returns Result | Promise<Result>
Inherited from Shape._applyOperations

`Protected`_clone

_clone(): this
Clones the shape.

Returns this
See
Advanced shapes

Inherited from Shape._clone

`Protected`_getInputs

_getInputs(): readonly unknown[]
Returns input types and literal values that this shape can accept as an input.

Returns readonly unknown[]
See
Advanced shapes

Inherited from Shape._getInputs

`Protected`_isAsync

_isAsync(): boolean
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
See
Advanced shapes

Inherited from Shape._isAsync

accepts

accepts(input: unknown): 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
Inherited from Shape.accepts

addAsyncOperation

addAsyncOperation<Param>(
    cb: OperationCallback<
        PromiseLike<Result<Output<BaseShape>>>,
        Output<BaseShape>,
        Param,
    >,
    options?: ParameterizedOperationOptions<Param>,
): this
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<Output<BaseShape>>>,
      Output<BaseShape>,
      Param,
  >
  The callback that asynchronously applies an operation to the shape output value.
- Optionaloptions: ParameterizedOperationOptions<Param>
  The operation options.
Returns this
The clone of the shape.

See
Operations

Inherited from Shape.addAsyncOperation
addAsyncOperation(
    cb: OperationCallback<
        PromiseLike<Result<Output<BaseShape>>>,
        Output<BaseShape>,
    >,
    options?: OperationOptions,
): this
Adds an asynchronous operation to the shape.
Parameters
- cb: OperationCallback<PromiseLike<Result<Output<BaseShape>>>, Output<BaseShape>>
  The callback that asynchronously applies an operation to the shape output value.
- Optionaloptions: OperationOptions
  The operation options.
Returns this
The clone of the shape.

See
Operations

Inherited from Shape.addAsyncOperation

addOperation

addOperation<Param>(
    cb: OperationCallback<
        Result<Output<BaseShape>>,
        Output<BaseShape>,
        Param,
    >,
    options?: ParameterizedOperationOptions<Param>,
): this
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<Output<BaseShape>>, Output<BaseShape>, Param>
  The callback that synchronously applies an operation to the shape output value.
- Optionaloptions: ParameterizedOperationOptions<Param>
  The operation options.
Returns this
The clone of the shape.

See
Operations

Inherited from Shape.addOperation
addOperation(
cb: OperationCallback<Result<Output<BaseShape>>, Output<BaseShape>>,
options?: OperationOptions,
): this
Adds a synchronous operation to the shape.
Parameters
- cb: OperationCallback<Result<Output<BaseShape>>, Output<BaseShape>>
  The callback that synchronously applies an operation to the shape output value.
- Optionaloptions: OperationOptions
  The operation options.
Returns this
The clone of the shape.

See
Operations

Inherited from Shape.addOperation

allow

allow<AllowedValue extends Any>(
value: AllowedValue,
): AllowShape<NotShape<BaseShape, ExcludedShape>, AllowedValue>
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<NotShape<BaseShape, ExcludedShape>, AllowedValue>
Inherited from Shape.allow

alter

alter<Param>(
cb: OperationCallback<Output<BaseShape>, Output<BaseShape>, Param>,
options: ParameterizedOperationOptions<Param>,
): this
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<Output<BaseShape>, Output<BaseShape>, 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 this
The clone of the shape.
See
Inherited from Shape.alter
alter(
cb: OperationCallback<Output<BaseShape>, Output<BaseShape>>,
options?: OperationOptions,
): this
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<Output<BaseShape>, Output<BaseShape>>
  The callback that alters the shape output. Throw a ValidationError to notify that the alteration cannot be successfully completed.
- Optionaloptions: OperationOptions
  The operation options.
Returns this
The clone of the shape.
See
Inherited from Shape.alter

alterAsync

alterAsync<Param>(
    cb: OperationCallback<
        PromiseLike<Output<BaseShape>>,
        Output<BaseShape>,
        Param,
    >,
    options: ParameterizedOperationOptions<Param>,
): this
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<Output<BaseShape>>, Output<BaseShape>, 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 this
The clone of the shape.
See
Inherited from Shape.alterAsync
alterAsync(
cb: OperationCallback<PromiseLike<Output<BaseShape>>, Output<BaseShape>>,
options?: OperationOptions,
): this
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<Output<BaseShape>>, Output<BaseShape>>
  The callback that alters the shape output. Throw a ValidationError to notify that the alteration cannot be successfully completed.
- Optionaloptions: OperationOptions
  The operation options.
Returns this
The clone of the shape.
See
Inherited from Shape.alterAsync

annotate

annotate(annotations: ReadonlyDict): this
Adds annotations to the shape.
Parameters
- annotations: ReadonlyDict
  Annotations to add.
Returns this
The clone of the shape with the updated annotations.

See
Shape.annotations

Inherited from Shape.annotate

at

at(_key: unknown): null | AnyShape
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.

Inherited from Shape.at

brand

brand<Brand extends string | number | symbol>(): RefineShape<
NotShape<BaseShape, ExcludedShape>,
Branded<Output<BaseShape>, Brand>,
>
Returns a shape that adds a brand to the output type.
Type Parameters
- Brand extends string | number | symbol
  The brand value.
Returns RefineShape<
NotShape<BaseShape, ExcludedShape>,
Branded<Output<BaseShape>, Brand>,
>
A shape with the branded output type.

Inherited from Shape.brand

catch

catch(): CatchShape<NotShape<BaseShape, ExcludedShape>, undefined>
Returns undefined if parsing fails.

Returns CatchShape<NotShape<BaseShape, ExcludedShape>, undefined>
Inherited from Shape.catch
catch<FallbackValue extends Any>(
    fallback:
        | FallbackValue
        | ((input: any, issues: Issue[], options: ParseOptions) => FallbackValue),
): CatchShape<NotShape<BaseShape, ExcludedShape>, FallbackValue>
Returns the fallback value if parsing fails.
Type Parameters
- FallbackValue extends Any
  The fallback value.
Parameters
- fallback:
  | FallbackValue
  | ((input: any, issues: Issue[], options: ParseOptions) => 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<NotShape<BaseShape, ExcludedShape>, FallbackValue>
Inherited from Shape.catch

check

check<Param>(
cb: OperationCallback<CheckResult, Output<BaseShape>, Param>,
options: ParameterizedOperationOptions<Param>,
): this
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, Output<BaseShape>, 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 this
The clone of the shape.
See
Inherited from Shape.check
check(
cb: OperationCallback<CheckResult, Output<BaseShape>>,
options?: OperationOptions,
): this
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, Output<BaseShape>>
  The callback that checks that a value satisfies a requirement and returns issues if it doesn't.
- Optionaloptions: OperationOptions
  The operation options.
Returns this
The clone of the shape.
See
Inherited from Shape.check

checkAsync

checkAsync<Param>(
    cb: OperationCallback<
        PromiseLike<CheckResult>,
        Output<BaseShape>,
        Param,
    >,
    options: ParameterizedOperationOptions<Param>,
): this
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>, Output<BaseShape>, 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 this
The clone of the shape.
See
Inherited from Shape.checkAsync
checkAsync(
cb: OperationCallback<PromiseLike<CheckResult>, Output<BaseShape>>,
options?: OperationOptions,
): this
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>, Output<BaseShape>>
  The callback that checks that a value satisfies a requirement and returns issues if it doesn't.
- Optionaloptions: OperationOptions
  The operation options.
Returns this
The clone of the shape.
See
Inherited from Shape.checkAsync

convert

convert<ConvertedValue>(
cb: (value: Output, options: ParseOptions) => ConvertedValue,
): Shape<Input<BaseShape>, ConvertedValue>
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: Output, options: ParseOptions) => ConvertedValue
  The callback that converts the input value. Throw a ValidationError to notify that the conversion cannot be successfully completed.
Returns Shape<Input<BaseShape>, ConvertedValue>
The ConvertShape instance.
See
- Shape.convertAsync
- Shape.alter
Inherited from Shape.convert

convertAsync

convertAsync<ConvertedValue>(
    cb: (
        value: Output,
        options: ParseOptions,
    ) => PromiseLike<ConvertedValue>,
): Shape<Input<BaseShape>, ConvertedValue>
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: Output, options: ParseOptions) => 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.
Returns Shape<Input<BaseShape>, ConvertedValue>
The ConvertShape instance.
See
- Shape.convert
- Shape.alterAsync
Inherited from Shape.convertAsync

deepPartial

deepPartial(): NotShape
Converts the shape and its child shapes to deep partial alternatives.

Note: This method returns a shape without any operations.

Returns NotShape
The deep partial clone of the shape.

Inherited from DeepPartialProtocol.deepPartial

deny

deny<DeniedValue extends any>(
value: DeniedValue,
options?: IssueOptions | Message,
): DenyShape<NotShape<BaseShape, ExcludedShape>, DeniedValue>
Excludes value from both input and output.
Type Parameters
- DeniedValue extends any
  The denied value.
Parameters
- value: DeniedValue
  The excluded value.
- Optionaloptions: IssueOptions | Message
  The issue options or the issue message.
Returns DenyShape<NotShape<BaseShape, ExcludedShape>, DeniedValue>
Inherited from Shape.deny

exclude

exclude<ExcludedShape extends AnyShape>(
shape: ExcludedShape,
options?: IssueOptions | Message,
): ExcludeShape<NotShape<BaseShape, ExcludedShape>, ExcludedShape>
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.
- Optionaloptions: IssueOptions | Message
  The issue options or the issue message.
Returns ExcludeShape<NotShape<BaseShape, ExcludedShape>, ExcludedShape>
Inherited from Shape.exclude

nonOptional

nonOptional(
options?: IssueOptions | Message,
): DenyShape<NotShape<BaseShape, ExcludedShape>, undefined>
Prevents an input and output from being undefined.
Parameters
- Optionaloptions: IssueOptions | Message
  The issue options or the issue message.
Returns DenyShape<NotShape<BaseShape, ExcludedShape>, undefined>
Inherited from Shape.nonOptional

not

not<ExcludedShape extends AnyShape>(
shape: ExcludedShape,
options?: IssueOptions | Message,
): NotShape<NotShape<BaseShape, ExcludedShape>, 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.
- Optionaloptions: IssueOptions | Message
  The issue options or the issue message.
Returns NotShape<NotShape<BaseShape, ExcludedShape>, ExcludedShape>
Inherited from Shape.not

nullable

nullable(): AllowShape<NotShape<BaseShape, ExcludedShape>, null>
Replaces null input value with an null output value.

Returns AllowShape<NotShape<BaseShape, ExcludedShape>, null>
Inherited from Shape.nullable
nullable<DefaultValue extends Any>(
defaultValue: DefaultValue,
): ReplaceShape<NotShape<BaseShape, ExcludedShape>, null, DefaultValue>
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<NotShape<BaseShape, ExcludedShape>, null, DefaultValue>
Inherited from Shape.nullable

nullish

nullish(): AllowShape<
AllowShape<NotShape<BaseShape, ExcludedShape>, null>,
undefined,
>
Passes null and undefined input values directly to the output without parsing.

Returns AllowShape<AllowShape<NotShape<BaseShape, ExcludedShape>, null>, undefined>
Inherited from Shape.nullish
nullish<DefaultValue extends Any>(
    defaultValue?: DefaultValue,
): ReplaceShape<
    ReplaceShape<NotShape<BaseShape, ExcludedShape>, null, DefaultValue>,
    undefined,
    DefaultValue,
>
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
- OptionaldefaultValue: DefaultValue
  The value that should be used if an input value is undefined or null.
Returns ReplaceShape<
    ReplaceShape<NotShape<BaseShape, ExcludedShape>, null, DefaultValue>,
    undefined,
    DefaultValue,
>
Inherited from Shape.nullish

optional

optional(): AllowShape<NotShape<BaseShape, ExcludedShape>, undefined>
Replaces undefined input value with an undefined output value.

Returns AllowShape<NotShape<BaseShape, ExcludedShape>, undefined>
Inherited from Shape.optional
optional<DefaultValue extends Any>(
defaultValue: DefaultValue,
): ReplaceShape<NotShape<BaseShape, ExcludedShape>, undefined, DefaultValue>
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<NotShape<BaseShape, ExcludedShape>, undefined, DefaultValue>
Inherited from Shape.optional

parse

parse(input: unknown, options?: ParseOptions): Output
Synchronously parses the value.
Parameters
- input: unknown
  The value to parse.
- Optionaloptions: ParseOptions
  Parsing options.
Returns 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.

Inherited from Shape.parse

parseAsync

parseAsync(input: unknown, options?: ParseOptions): Promisify<Output<BaseShape>>
Asynchronously parses the value.
Parameters
- input: unknown
  The value to parse.
- Optionaloptions: ParseOptions
  Parsing options.
Returns Promisify<Output<BaseShape>>
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.

Inherited from Shape.parseAsync

parseOrDefault

parseOrDefault(input: unknown): undefined | Output<BaseShape>
Synchronously parses the value and returns undefined if parsing fails.
Parameters
- input: unknown
  The value to parse.
Returns undefined | Output<BaseShape>
The value that conforms the output type of the shape.

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

Inherited from Shape.parseOrDefault
parseOrDefault<DefaultValue>(
    input: unknown,
    defaultValue: DefaultValue,
    options?: ParseOptions,
): Output<BaseShape> | DefaultValue
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.
- Optionaloptions: ParseOptions
  Parsing options.
Returns Output<BaseShape> | 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.

Inherited from Shape.parseOrDefault

parseOrDefaultAsync

parseOrDefaultAsync(input: unknown): Promisify<undefined | Output<BaseShape>>
Asynchronously parses the value and returns undefined value if parsing fails.
Parameters
- input: unknown
  The value to parse.
Returns Promisify<undefined | Output<BaseShape>>
The value that conforms the output type of the shape.

Inherited from Shape.parseOrDefaultAsync
parseOrDefaultAsync<DefaultValue>(
    input: unknown,
    defaultValue: DefaultValue,
    options?: ParseOptions,
): Promisify<Output<BaseShape> | DefaultValue>
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.
- Optionaloptions: ParseOptions
  Parsing options.
Returns Promisify<Output<BaseShape> | DefaultValue>
The value that conforms the output type of the shape.

Inherited from Shape.parseOrDefaultAsync

refine

refine<RefinedValue extends any, Param>(
cb: RefinePredicate<Output<BaseShape>, RefinedValue, Param>,
options: Message | ParameterizedRefineOptions<Param>,
): RefineShape<NotShape<BaseShape, ExcludedShape>, RefinedValue>
Adds a synchronous operation that refines the shape output type with the narrowing predicate.
Type Parameters
- RefinedValue extends any
  The narrowed output value.
- Param
  The param that is passed to the operation when it is applied.
Parameters
- cb: RefinePredicate<Output<BaseShape>, 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<NotShape<BaseShape, ExcludedShape>, RefinedValue>
The shape with the narrowed output.
See
Inherited from Shape.refine
refine<RefinedValue extends any>(
cb: RefinePredicate<Output<BaseShape>, RefinedValue>,
options?: Message | RefineOptions,
): RefineShape<NotShape<BaseShape, ExcludedShape>, RefinedValue>
Adds a synchronous operation that refines the shape output type with the narrowing predicate.
Type Parameters
- RefinedValue extends any
  The narrowed output value.
Parameters
- cb: RefinePredicate<Output<BaseShape>, RefinedValue>
  The predicate that returns true if the value conforms the required type, or false otherwise.
- Optionaloptions: Message | RefineOptions
  The operation options or the issue message.
Returns RefineShape<NotShape<BaseShape, ExcludedShape>, RefinedValue>
The shape with the narrowed output.
See
Inherited from Shape.refine
refine<Param>(
cb: OperationCallback<unknown, Output<BaseShape>, Param>,
options?: Message | ParameterizedRefineOptions<Param>,
): this
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, Output<BaseShape>, Param>
  The predicate that returns truthy result if the value is valid, or returns falsy result otherwise.
- Optionaloptions: Message | ParameterizedRefineOptions<Param>
  The operation options or the issue message.
Returns this
The clone of the shape.
See
Inherited from Shape.refine
refine(
cb: OperationCallback<unknown, Output<BaseShape>>,
options?: Message | RefineOptions,
): this
Adds a synchronous operation that checks that the output value conforms the predicate.
Parameters
- cb: OperationCallback<unknown, Output<BaseShape>>
  The predicate that returns truthy result if the value is valid, or returns falsy result otherwise.
- Optionaloptions: Message | RefineOptions
  The operation options or the issue message.
Returns this
The clone of the shape.
See
Inherited from Shape.refine

refineAsync

refineAsync<Param>(
cb: OperationCallback<PromiseLike<unknown>, Output<BaseShape>, Param>,
options?: Message | ParameterizedRefineOptions<Param>,
): this
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>, Output<BaseShape>, Param>
  The predicate that returns a promise that resolves with a truthy result if the value is valid, or a falsy result otherwise.
- Optionaloptions: Message | ParameterizedRefineOptions<Param>
  The operation options or the issue message.
Returns this
The clone of the shape.
See
Inherited from Shape.refineAsync
refineAsync(
cb: OperationCallback<PromiseLike<unknown>, Output<BaseShape>>,
options?: Message | RefineOptions,
): this
Adds an asynchronous operation that checks that the output value conforms the predicate.
Parameters
- cb: OperationCallback<PromiseLike<unknown>, Output<BaseShape>>
  The predicate that returns a promise that resolves with a truthy result if the value is valid, or a falsy result otherwise.
- Optionaloptions: Message | RefineOptions
  The operation options or the issue message.
Returns this
The clone of the shape.
See
Inherited from Shape.refineAsync

replace

replace<InputValue extends Any, OutputValue extends Any>(
inputValue: InputValue,
outputValue: OutputValue,
): ReplaceShape<NotShape<BaseShape, ExcludedShape>, InputValue, OutputValue>
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<NotShape<BaseShape, ExcludedShape>, InputValue, OutputValue>
Inherited from Shape.replace

to

to<OutputShape extends AnyShape>(
shape: OutputShape,
): PipeShape<NotShape<BaseShape, ExcludedShape>, OutputShape>
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<NotShape<BaseShape, ExcludedShape>, OutputShape>
Inherited from Shape.to

try

try(input: unknown, options?: ParseOptions): Err | Ok<Output<BaseShape>>
Synchronously parses the value and returns Ok or Err object that wraps the result.
Parameters
- input: unknown
  The value to parse.
- Optionaloptions: ParseOptions
  Parsing options.
Returns Err | Ok<Output<BaseShape>>
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.

Inherited from Shape.try

tryAsync

tryAsync(
input: unknown,
options?: ParseOptions,
): Promise<Err | Ok<Output<BaseShape>>>
Asynchronously parses the value and returns Ok or Err object that wraps the result.
Parameters
- input: unknown
  The value to parse.
- Optionaloptions: ParseOptions
  Parsing options.
Returns Promise<Err | Ok<Output<BaseShape>>>
The Ok instance if parsing has succeeded or Err if parsing has failed.

Inherited from Shape.tryAsync

Interface NotShape<BaseShape, ExcludedShape>

See

Type Parameters

Hierarchy (View Summary)

Index

Properties

Methods

Properties

annotations

See

ReadonlybaseShape

ReadonlyexcludedShape

Readonlyinputs

ReadonlyisAsync

operations

See

Methods

Protected_apply

Parameters

Returns Result<Output<BaseShape>>

See

Protected_applyAsync

Parameters

Returns Promise<Result<Output<BaseShape>>>

See

Protected_applyOperations

Parameters

Returns Result | Promise<Result>

Protected_clone

Returns this

See

Protected_getInputs

Returns readonly unknown[]

See

Protected_isAsync

Returns boolean

See

accepts

Parameters

Returns boolean

addAsyncOperation

Type Parameters

Parameters

Returns this

See

Parameters

Returns this

See

addOperation

Type Parameters

Parameters

Returns this

See

Parameters

Returns this

See

allow

Type Parameters

Parameters

Returns AllowShape<NotShape<BaseShape, ExcludedShape>, AllowedValue>

alter

Type Parameters

Parameters

Returns this

See

Parameters

Returns this

See

alterAsync

Type Parameters

Parameters

Returns this

See

Parameters

Returns this

See

annotate

Parameters

Returns this

See

`Readonly`baseShape

`Readonly`excludedShape

`Readonly`inputs

`Readonly`isAsync

`Protected`_apply

`Protected`_applyAsync

`Protected`_applyOperations

`Protected`_clone

`Protected`_getInputs

`Protected`_isAsync

Returns RefineShape<
NotShape<BaseShape, ExcludedShape>,
Branded<Output<BaseShape>, Brand>,
>

Returns ReplaceShape<
ReplaceShape<NotShape<BaseShape, ExcludedShape>, null, DefaultValue>,
undefined,
DefaultValue,
>