validator-fns 3.0.0-next.2 → 3.0.0-next.3

package/dist/index.d.cts

@@ -34,6 +34,15 @@ type ValidatorResult<T = unknown, E = unknown> = ValidResult<T> | InvalidResult<
  * @category Types
  */
 type ValidatorTest<T = unknown, E = unknown> = (value?: unknown, field?: string) => Promise<ValidatorResult<T, E>>;
+/**
+ * Validation test function, such as `min()`: it checks a parsed value. Type
+ * validators run their tests on the parsed value once it's present, so a test
+ * takes the validator's value type. Its own result value is never read.
+ * @typeParam T The value type the test checks
+ * @typeParam E The error type
+ * @category Types
+ */
+type ValidationTest<T = unknown, E = unknown> = (value: T, field?: string) => Promise<ValidatorResult<unknown, E>>;
 /**
  * Extracts the generic error type from a ValidatorTest.
  * @typeParam T a ValidatorTest
@@ -57,7 +66,7 @@ type DeepPartial<T> = { [P in keyof T]?: DeepPartial<T[P]>; };
  * @typeParam C The configuration type
  * @category Types
  */
-type ValidatorFactory<C, T, E> = (config?: Partial<C> | ValidatorTest<unknown, E>, ...tests: ValidatorTest<unknown, E>[]) => ValidatorTest<T, E>;
+type ValidatorFactory<C, T, E> = (config?: Partial<C> | ValidationTest<T, E>, ...tests: ValidationTest<T, E>[]) => ValidatorTest<T, E>;
 /**
  * Base configuration type.
  * @typeParam T The target type.
@@ -78,12 +87,34 @@ interface ValidatorMessageParameters<T> {
   value: T | null | undefined;
   field: string | undefined;
 }
+/**
+ * The extra parameters of a message parameters type, without the value and
+ * field every message gets.
+ * @internal
+ */
+type MessageExtras<P extends ValidatorMessageParameters<unknown>> = Omit<P, 'value' | 'field'>;
 /**
  * Validation message. May be a plain string or a function that accepts arguments.
  * While using a string, values in squiggly brackets `{}` are replaced.
+ * A function gets the value and field, and any extra parameters `X` the test
+ * adds, such as `min` for `min()`.
+ * @typeParam T The value type
+ * @typeParam X The extra parameters
  * @category Types
  */
-type ValidatorMessage<T, P extends ValidatorMessageParameters<T> = ValidatorMessageParameters<T>> = string | ((parameters: P) => string);
+type ValidatorMessage<T, X extends object = object> = string | ((parameters: X & ValidatorMessageParameters<T>) => string);
+/**
+ * Paths into nested plain objects, as lists of property names, for `check()`.
+ * Arrays, dates and functions end a path.
+ * @internal
+ */
+type KeyPath<T> = T extends readonly unknown[] | Date | ((...args: never[]) => unknown) ? never : T extends object ? { [K in keyof T & string]: readonly [K] | readonly [K, ...KeyPath<NonNullable<T[K]>>]; }[keyof T & string] : never;
+/**
+ * The errors with a message at `Path` that `check()` produces, such as
+ * `{ shipping?: { zip?: string } }` for `['shipping', 'zip']`.
+ * @internal
+ */
+type AtPath<Path> = Path extends readonly [infer Head extends string, ...infer Rest] ? { [P in Head]?: AtPath<Rest>; } : string;
 /**
  * Simple check for objects.
  * @param value Value to test
@@ -101,7 +132,7 @@ export declare function hasOwnProperty(object: unknown, property: string | numbe
  * @param parameters Params to inject into template
  * @category Helpers
  */
-export declare function formatMessage<T, P extends ValidatorMessageParameters<T>>(template: ValidatorMessage<T, P>, parameters: P): string;
+export declare function formatMessage<T, X extends object = object>(template: ValidatorMessage<T, X>, parameters: X & ValidatorMessageParameters<T>): string;
 /**
  * Creates a valid result
  * @param result Result fields
@@ -113,23 +144,14 @@ export declare function valid<T, E = never>(result: {
   value: T;
   field: string | undefined;
 }): Promise<ValidatorResult<T, E>>;
+//#endregion
+//#region src/invalid-detail.d.ts
 /**
- * Creates an invalid result.
- * @param result Result fields
- * @param result.message Error message, formatted with `formatMessage`
- * @param result.value Parsed value
- * @param result.field Field name
- * @param result.errors Extra error details, such as per-field errors from `object` and `array`
- * @param result.extras Extra message params
- * @category Helpers
+ * A test on an array itself, such as `max()`. It runs on the parsed array,
+ * before the item validator, so the items are `unknown`.
+ * @internal
  */
-export declare function invalid<T, E = never, P extends ValidatorMessageParameters<T> = ValidatorMessageParameters<T>>(result: {
-  message: ValidatorMessage<T, P>;
-  value: unknown;
-  field: string | undefined;
-  errors?: E | undefined;
-  extras?: Omit<P, 'field' | 'value'> | undefined;
-}): Promise<ValidatorResult<T, E>>;
+type ArrayTest = ValidationTest<unknown[]>;
 //#endregion
 //#region src/standard-schema.d.ts
 /**
@@ -283,11 +305,13 @@ export declare function parseArray(value: unknown): unknown[] | null | undefined
  */
 export declare function applyArrayConfig(config: ArrayConfig, value: unknown): unknown[] | null | undefined;
 /**
- * Validates an array. The first passed validator is used to validate individual
- * items. The remaining validators target the array itself.
+ * Validates an array. The item validator, if any, comes first and runs on each
+ * item. Then an optional configuration, and tests that target the array
+ * itself.
  * @category Type Validators
  */
-export declare function array<T, E>(config?: Partial<ArrayConfig> | ValidatorTest<T, E>, ...tests: ValidatorTest[]): TypeValidator<T[], string | ArrayItemValidatorResult<E>[]>;
+export declare function array<T, E>(item: ValidatorTest<T, E>, config?: Partial<ArrayConfig> | ArrayTest, ...tests: ArrayTest[]): TypeValidator<T[], string | ArrayItemValidatorResult<E>[]>;
+export declare function array(config?: Partial<ArrayConfig>): TypeValidator<unknown[], string | ArrayItemValidatorResult[]>;
 //#endregion
 //#region src/booleans.d.ts
 /**
@@ -312,7 +336,7 @@ type BooleanConfig = ConfigBase<boolean>;
  * Validates a boolean value.
  * @category Type Validators
  */
-export declare const boolean: (config?: Partial<BooleanConfig> | ValidatorTest<unknown, string> | undefined, ...tests: ValidatorTest<unknown, string>[]) => TypeValidator<boolean, string>;
+export declare const boolean: (config?: Partial<BooleanConfig> | ValidationTest<boolean, string> | undefined, ...tests: ValidationTest<boolean, string>[]) => TypeValidator<boolean, string>;
 //#endregion
 //#region src/dates.d.ts
 /**
@@ -335,7 +359,7 @@ interface MinDateValidatorMessageParameters extends ValidatorMessageParameters<D
  * @param exclusive Makes comparison exclusive instead of inclusive
  * @category Validation Tests
  */
-export declare function minDate(limit: SharedDateValueType, message: ValidatorMessage<Date, MinDateValidatorMessageParameters>, exclusive?: boolean): ValidatorTest<Date, never>;
+export declare function minDate(limit: SharedDateValueType, message: ValidatorMessage<Date, MessageExtras<MinDateValidatorMessageParameters>>, exclusive?: boolean): ValidationTest<Date, never>;
 interface MaxDateValidatorMessageParameters extends ValidatorMessageParameters<Date> {
   max: Date | null | undefined;
   limit: Date | null | undefined;
@@ -348,7 +372,7 @@ interface MaxDateValidatorMessageParameters extends ValidatorMessageParameters<D
  * @param exclusive Makes comparison exclusive instead of inclusive
  * @category Validation Tests
  */
-export declare function maxDate(limit: SharedDateValueType, message: ValidatorMessage<Date, MaxDateValidatorMessageParameters>, exclusive?: boolean): ValidatorTest<Date, never>;
+export declare function maxDate(limit: SharedDateValueType, message: ValidatorMessage<Date, MessageExtras<MaxDateValidatorMessageParameters>>, exclusive?: boolean): ValidationTest<Date, never>;
 /**
  * Configuration for date validation.
  * @category Types
@@ -358,7 +382,7 @@ type DateConfig = ConfigBase<Date>;
  * Validates a date value.
  * @category Type Validators
  */
-export declare const date: (config?: Partial<DateConfig> | ValidatorTest<unknown, string> | undefined, ...tests: ValidatorTest<unknown, string>[]) => TypeValidator<Date, string>;
+export declare const date: (config?: Partial<DateConfig> | ValidationTest<Date, string> | undefined, ...tests: ValidationTest<Date, string>[]) => TypeValidator<Date, string>;
 //#endregion
 //#region src/numbers.d.ts
 /**
@@ -379,7 +403,7 @@ export declare function applyNumberConfig(value: unknown, config: NumberConfig):
  * @param message Error message
  * @category Validation Tests
  */
-export declare function integer(message: ValidatorMessage<number>): ValidatorTest<number, never>;
+export declare function integer(message: ValidatorMessage<number>): ValidationTest<number, never>;
 /**
  * Configuration for number validation.
  * @category Types
@@ -392,7 +416,7 @@ interface NumberConfig extends ConfigBase<number> {
  * Validates a number value.
  * @category Type Validators
  */
-export declare const number: (config?: Partial<NumberConfig> | ValidatorTest<unknown, string> | undefined, ...tests: ValidatorTest<unknown, string>[]) => TypeValidator<number, string>;
+export declare const number: (config?: Partial<NumberConfig> | ValidationTest<number, string> | undefined, ...tests: ValidationTest<number, string>[]) => TypeValidator<number, string>;
 //#endregion
 //#region src/parse-date.d.ts
 /** Badly formatted date for internal use. */
@@ -411,11 +435,13 @@ export declare function parseDate(value: unknown): Date | null | undefined;
  * the parsed object. The message goes to the error at `path`, a property name
  * or a list of names into nested objects, or to the object's own message
  * without a path. The message gets the parsed object as `value` and the
- * object's `field`.
+ * object's `field`. The path is checked against the object's type, and so are
+ * the errors it produces.
  * @category Validation Tests
  */
-export declare function check<T, E = never>(test: (value: T) => boolean, message: ValidatorMessage<T>): ValidatorTest<T, E>;
-export declare function check<T, E = never>(path: string | readonly string[], test: (value: T) => boolean, message: ValidatorMessage<T>): ValidatorTest<T, E>;
+export declare function check<T>(test: (value: T) => boolean, message: ValidatorMessage<T>): ValidationTest<T, never>;
+export declare function check<T, const K extends keyof T & string>(path: K, test: (value: T) => boolean, message: ValidatorMessage<T>): ValidationTest<T, { [P in K]?: string; }>;
+export declare function check<T, const Path extends KeyPath<T>>(path: Path, test: (value: T) => boolean, message: ValidatorMessage<T>): ValidationTest<T, AtPath<Path>>;
 //#endregion
 //#region src/objects.d.ts
 type ObjectParameter = Record<string, ValidatorTest>;
@@ -454,7 +480,7 @@ interface ObjectConfig {
  * every property is valid, and the first failure is the result.
  * @category Type Validators
  */
-export declare function object<P extends ObjectParameter, V extends ObjectValue<P>, E extends ObjectErrors<P>>(properties: P, config?: ObjectConfig | ValidatorTest<ObjectValue<P>, ObjectErrors<P>>, ...tests: ValidatorTest<ObjectValue<P>, ObjectErrors<P>>[]): TypeValidator<V, E>;
+export declare function object<P extends ObjectParameter>(properties: P, config?: ObjectConfig | ValidationTest<ObjectValue<P>, ObjectErrors<P>>, ...tests: ValidationTest<ObjectValue<P>, ObjectErrors<P>>[]): TypeValidator<ObjectValue<P>, ObjectErrors<P>>;
 //#endregion
 //#region src/optional.d.ts
 /**
@@ -487,7 +513,7 @@ interface OneOfValidatorMessageParameters<T> extends ValidatorMessageParameters<
  * @param message Error message
  * @category Validation Tests
  */
-export declare function oneOf<T extends string | number | boolean | Date>(values: readonly T[], message: ValidatorMessage<T, OneOfValidatorMessageParameters<T>>): ValidatorTest<T, never>;
+export declare function oneOf<T extends string | number | boolean | Date>(values: readonly T[], message: ValidatorMessage<T, MessageExtras<OneOfValidatorMessageParameters<T>>>): ValidationTest<T, never>;
 //#endregion
 //#region src/factories.d.ts
 /**
@@ -498,14 +524,16 @@ export declare function oneOf<T extends string | number | boolean | Date>(values
  * @param applyConfig Function that applies configuration to value.
  * @category Helpers
  */
-export declare function createTypeValidatorTest<T, C extends ConfigBase<T>>(defaultConfig: NoInfer<C>, applyConfig: (value: unknown, config: C) => T | null | undefined): (config?: Partial<C> | ValidatorTest<unknown, string>, ...tests: ValidatorTest<unknown, string>[]) => TypeValidator<T, string>;
+export declare function createTypeValidatorTest<T, C extends ConfigBase<T>>(defaultConfig: NoInfer<C>, applyConfig: (value: unknown, config: C) => T | null | undefined): (config?: Partial<C> | ValidationTest<T, string>, ...tests: ValidationTest<T, string>[]) => TypeValidator<T, string>;
 /**
- * Captures basic validator test pattern
+ * Captures basic validator test pattern. The test gets the parsed value, and
+ * fails a missing one, which type validators never pass (#660).
  * @param test Test function
  * @param message Error message
- * @param getExtras Optional extra fields for error message
+ * @param getExtras Extra parameters for the error message
  */
-export declare function createValidatorTest<T = unknown, E = never, P extends ValidatorMessageParameters<T> = ValidatorMessageParameters<T>>(test: (value: unknown, field?: string) => boolean, message: ValidatorMessage<T, P>, getExtras?: (value: T | null | undefined) => Omit<P, 'value' | 'field'>): ValidatorTest<T, E>;
+export declare function createValidatorTest<T, E = never>(test: (value: T, field?: string) => boolean, message: ValidatorMessage<T>): ValidationTest<T, E>;
+export declare function createValidatorTest<T, E, X extends object>(test: (value: T, field?: string) => boolean, message: ValidatorMessage<T, X>, getExtras: (value: T) => X): ValidationTest<T, E>;
 //#endregion
 //#region src/limits.d.ts
 type SharedValueType = string | number | unknown[];
@@ -522,7 +550,7 @@ interface MaxValidatorMessageParameters extends ValidatorMessageParameters<Share
  * @param exclusive Use exclusive comparison instead of inclusive
  * @category Validation Tests
  */
-export declare function max(limit: number, message: ValidatorMessage<SharedValueType, MaxValidatorMessageParameters>, exclusive?: boolean): ValidatorTest<SharedValueType, never>;
+export declare function max(limit: number, message: ValidatorMessage<SharedValueType, MessageExtras<MaxValidatorMessageParameters>>, exclusive?: boolean): ValidationTest<SharedValueType, never>;
 interface MinValidatorMessageParameters extends ValidatorMessageParameters<SharedValueType> {
   min: number;
   limit: number;
@@ -536,7 +564,7 @@ interface MinValidatorMessageParameters extends ValidatorMessageParameters<Share
  * @param exclusive Use exclusive comparison instead of inclusive
  * @category Validation Tests
  */
-export declare function min(limit: number, message: ValidatorMessage<SharedValueType, MinValidatorMessageParameters>, exclusive?: boolean): ValidatorTest<SharedValueType, never>;
+export declare function min(limit: number, message: ValidatorMessage<SharedValueType, MessageExtras<MinValidatorMessageParameters>>, exclusive?: boolean): ValidationTest<SharedValueType, never>;
 interface ExactValidatorMessageParameters extends ValidatorMessageParameters<SharedValueType> {
   limit: number;
   amount: number | null | undefined;
@@ -548,7 +576,33 @@ interface ExactValidatorMessageParameters extends ValidatorMessageParameters<Sha
  * @param message Error message
  * @category Validation Tests
  */
-export declare function exact(limit: number, message: ValidatorMessage<SharedValueType, ExactValidatorMessageParameters>): ValidatorTest<SharedValueType, never>;
+export declare function exact(limit: number, message: ValidatorMessage<SharedValueType, MessageExtras<ExactValidatorMessageParameters>>): ValidationTest<SharedValueType, never>;
+//#endregion
+//#region src/invalid.d.ts
+/** @internal */
+type InvalidFields<E> = {
+  value: unknown;
+  field: string | undefined;
+  errors?: E | undefined;
+};
+/**
+ * Creates an invalid result. A message function gets the value as `unknown`,
+ * and `extras` must hold the extra parameters it reads.
+ * @param result Result fields
+ * @param result.message Error message, formatted with `formatMessage`
+ * @param result.value Parsed value
+ * @param result.field Field name
+ * @param result.errors Extra error details, such as per-field errors from `object` and `array`
+ * @param result.extras Extra message params
+ * @category Helpers
+ */
+export declare function invalid<T, E = never>(result: InvalidFields<E> & {
+  message: ValidatorMessage<unknown>;
+}): Promise<ValidatorResult<T, E>>;
+export declare function invalid<T, E, X extends object>(result: InvalidFields<E> & {
+  message: ValidatorMessage<unknown, X>;
+  extras: X;
+}): Promise<ValidatorResult<T, E>>;
 //#endregion
 //#region src/strings.d.ts
 /**
@@ -581,20 +635,20 @@ interface MatchesValidatorMessageParameters extends ValidatorMessageParameters<s
  * @param message Error message
  * @category Validation Tests
  */
-export declare function matches(pattern: RegExp, message: ValidatorMessage<string, MatchesValidatorMessageParameters>): ValidatorTest<string, never>;
+export declare function matches(pattern: RegExp, message: ValidatorMessage<string, MessageExtras<MatchesValidatorMessageParameters>>): ValidationTest<string, never>;
 /**
  * Ensures a string value matches an email pattern
  * @param message Error message
  * @category Validation Tests
  */
-export declare function email(message: ValidatorMessage<string>): ValidatorTest<string, never>;
+export declare function email(message: ValidatorMessage<string>): ValidationTest<string, never>;
 /**
  * Ensures a string value is an RFC 9562 UUID, any version from 1 to 8, or the
  * nil or max UUID. Case-insensitive, without braces or a `urn:uuid:` prefix.
  * @param message Error message
  * @category Validation Tests
  */
-export declare function uuid(message: ValidatorMessage<string>): ValidatorTest<string, never>;
+export declare function uuid(message: ValidatorMessage<string>): ValidationTest<string, never>;
 /**
  * Ensures a string value is a valid URL
  * @param message Error message
@@ -602,11 +656,11 @@ export declare function uuid(message: ValidatorMessage<string>): ValidatorTest<s
  * replaces the default.
  * @category Validation Tests
  */
-export declare function url(message: ValidatorMessage<string>, protocols?: string[]): ValidatorTest<string, never>;
+export declare function url(message: ValidatorMessage<string>, protocols?: string[]): ValidationTest<string, never>;
 /**
  * Validates a string value.
  * @category Type Validators
  */
-export declare const string: (config?: Partial<StringConfig> | ValidatorTest<unknown, string> | undefined, ...tests: ValidatorTest<unknown, string>[]) => TypeValidator<string, string>;
+export declare const string: (config?: Partial<StringConfig> | ValidationTest<string, string> | undefined, ...tests: ValidationTest<string, string>[]) => TypeValidator<string, string>;
 //#endregion
-export type { ArrayConfig, ArrayItemValidatorResult, BooleanConfig, ConfigBase, DateConfig, DeepPartial, ExactValidatorMessageParameters, ExtractError, ExtractValue, InvalidResult, MatchesValidatorMessageParameters, MaxDateValidatorMessageParameters, MaxValidatorMessageParameters, MinDateValidatorMessageParameters, MinValidatorMessageParameters, NumberConfig, ObjectConfig, ObjectParameter as ObjectParam, OneOfValidatorMessageParameters, SharedDateValueType, SharedValueType, StringConfig, TypeValidator, ValidResult, ValidatorFactory, ValidatorMessage, ValidatorMessageParameters, ValidatorResult, ValidatorTest };
+export type { ArrayConfig, ArrayItemValidatorResult, BooleanConfig, ConfigBase, DateConfig, DeepPartial, ExactValidatorMessageParameters, ExtractError, ExtractValue, InvalidResult, MatchesValidatorMessageParameters, MaxDateValidatorMessageParameters, MaxValidatorMessageParameters, MinDateValidatorMessageParameters, MinValidatorMessageParameters, NumberConfig, ObjectConfig, ObjectParameter as ObjectParam, OneOfValidatorMessageParameters, SharedDateValueType, SharedValueType, StringConfig, TypeValidator, ValidResult, ValidationTest, ValidatorFactory, ValidatorMessage, ValidatorMessageParameters, ValidatorResult, ValidatorTest };

package/dist/index.d.ts

@@ -34,6 +34,15 @@ type ValidatorResult<T = unknown, E = unknown> = ValidResult<T> | InvalidResult<
  * @category Types
  */
 type ValidatorTest<T = unknown, E = unknown> = (value?: unknown, field?: string) => Promise<ValidatorResult<T, E>>;
+/**
+ * Validation test function, such as `min()`: it checks a parsed value. Type
+ * validators run their tests on the parsed value once it's present, so a test
+ * takes the validator's value type. Its own result value is never read.
+ * @typeParam T The value type the test checks
+ * @typeParam E The error type
+ * @category Types
+ */
+type ValidationTest<T = unknown, E = unknown> = (value: T, field?: string) => Promise<ValidatorResult<unknown, E>>;
 /**
  * Extracts the generic error type from a ValidatorTest.
  * @typeParam T a ValidatorTest
@@ -57,7 +66,7 @@ type DeepPartial<T> = { [P in keyof T]?: DeepPartial<T[P]>; };
  * @typeParam C The configuration type
  * @category Types
  */
-type ValidatorFactory<C, T, E> = (config?: Partial<C> | ValidatorTest<unknown, E>, ...tests: ValidatorTest<unknown, E>[]) => ValidatorTest<T, E>;
+type ValidatorFactory<C, T, E> = (config?: Partial<C> | ValidationTest<T, E>, ...tests: ValidationTest<T, E>[]) => ValidatorTest<T, E>;
 /**
  * Base configuration type.
  * @typeParam T The target type.
@@ -78,12 +87,34 @@ interface ValidatorMessageParameters<T> {
   value: T | null | undefined;
   field: string | undefined;
 }
+/**
+ * The extra parameters of a message parameters type, without the value and
+ * field every message gets.
+ * @internal
+ */
+type MessageExtras<P extends ValidatorMessageParameters<unknown>> = Omit<P, 'value' | 'field'>;
 /**
  * Validation message. May be a plain string or a function that accepts arguments.
  * While using a string, values in squiggly brackets `{}` are replaced.
+ * A function gets the value and field, and any extra parameters `X` the test
+ * adds, such as `min` for `min()`.
+ * @typeParam T The value type
+ * @typeParam X The extra parameters
  * @category Types
  */
-type ValidatorMessage<T, P extends ValidatorMessageParameters<T> = ValidatorMessageParameters<T>> = string | ((parameters: P) => string);
+type ValidatorMessage<T, X extends object = object> = string | ((parameters: X & ValidatorMessageParameters<T>) => string);
+/**
+ * Paths into nested plain objects, as lists of property names, for `check()`.
+ * Arrays, dates and functions end a path.
+ * @internal
+ */
+type KeyPath<T> = T extends readonly unknown[] | Date | ((...args: never[]) => unknown) ? never : T extends object ? { [K in keyof T & string]: readonly [K] | readonly [K, ...KeyPath<NonNullable<T[K]>>]; }[keyof T & string] : never;
+/**
+ * The errors with a message at `Path` that `check()` produces, such as
+ * `{ shipping?: { zip?: string } }` for `['shipping', 'zip']`.
+ * @internal
+ */
+type AtPath<Path> = Path extends readonly [infer Head extends string, ...infer Rest] ? { [P in Head]?: AtPath<Rest>; } : string;
 /**
  * Simple check for objects.
  * @param value Value to test
@@ -101,7 +132,7 @@ export declare function hasOwnProperty(object: unknown, property: string | numbe
  * @param parameters Params to inject into template
  * @category Helpers
  */
-export declare function formatMessage<T, P extends ValidatorMessageParameters<T>>(template: ValidatorMessage<T, P>, parameters: P): string;
+export declare function formatMessage<T, X extends object = object>(template: ValidatorMessage<T, X>, parameters: X & ValidatorMessageParameters<T>): string;
 /**
  * Creates a valid result
  * @param result Result fields
@@ -113,23 +144,14 @@ export declare function valid<T, E = never>(result: {
   value: T;
   field: string | undefined;
 }): Promise<ValidatorResult<T, E>>;
+//#endregion
+//#region src/invalid-detail.d.ts
 /**
- * Creates an invalid result.
- * @param result Result fields
- * @param result.message Error message, formatted with `formatMessage`
- * @param result.value Parsed value
- * @param result.field Field name
- * @param result.errors Extra error details, such as per-field errors from `object` and `array`
- * @param result.extras Extra message params
- * @category Helpers
+ * A test on an array itself, such as `max()`. It runs on the parsed array,
+ * before the item validator, so the items are `unknown`.
+ * @internal
  */
-export declare function invalid<T, E = never, P extends ValidatorMessageParameters<T> = ValidatorMessageParameters<T>>(result: {
-  message: ValidatorMessage<T, P>;
-  value: unknown;
-  field: string | undefined;
-  errors?: E | undefined;
-  extras?: Omit<P, 'field' | 'value'> | undefined;
-}): Promise<ValidatorResult<T, E>>;
+type ArrayTest = ValidationTest<unknown[]>;
 //#endregion
 //#region src/standard-schema.d.ts
 /**
@@ -283,11 +305,13 @@ export declare function parseArray(value: unknown): unknown[] | null | undefined
  */
 export declare function applyArrayConfig(config: ArrayConfig, value: unknown): unknown[] | null | undefined;
 /**
- * Validates an array. The first passed validator is used to validate individual
- * items. The remaining validators target the array itself.
+ * Validates an array. The item validator, if any, comes first and runs on each
+ * item. Then an optional configuration, and tests that target the array
+ * itself.
  * @category Type Validators
  */
-export declare function array<T, E>(config?: Partial<ArrayConfig> | ValidatorTest<T, E>, ...tests: ValidatorTest[]): TypeValidator<T[], string | ArrayItemValidatorResult<E>[]>;
+export declare function array<T, E>(item: ValidatorTest<T, E>, config?: Partial<ArrayConfig> | ArrayTest, ...tests: ArrayTest[]): TypeValidator<T[], string | ArrayItemValidatorResult<E>[]>;
+export declare function array(config?: Partial<ArrayConfig>): TypeValidator<unknown[], string | ArrayItemValidatorResult[]>;
 //#endregion
 //#region src/booleans.d.ts
 /**
@@ -312,7 +336,7 @@ type BooleanConfig = ConfigBase<boolean>;
  * Validates a boolean value.
  * @category Type Validators
  */
-export declare const boolean: (config?: Partial<BooleanConfig> | ValidatorTest<unknown, string> | undefined, ...tests: ValidatorTest<unknown, string>[]) => TypeValidator<boolean, string>;
+export declare const boolean: (config?: Partial<BooleanConfig> | ValidationTest<boolean, string> | undefined, ...tests: ValidationTest<boolean, string>[]) => TypeValidator<boolean, string>;
 //#endregion
 //#region src/dates.d.ts
 /**
@@ -335,7 +359,7 @@ interface MinDateValidatorMessageParameters extends ValidatorMessageParameters<D
  * @param exclusive Makes comparison exclusive instead of inclusive
  * @category Validation Tests
  */
-export declare function minDate(limit: SharedDateValueType, message: ValidatorMessage<Date, MinDateValidatorMessageParameters>, exclusive?: boolean): ValidatorTest<Date, never>;
+export declare function minDate(limit: SharedDateValueType, message: ValidatorMessage<Date, MessageExtras<MinDateValidatorMessageParameters>>, exclusive?: boolean): ValidationTest<Date, never>;
 interface MaxDateValidatorMessageParameters extends ValidatorMessageParameters<Date> {
   max: Date | null | undefined;
   limit: Date | null | undefined;
@@ -348,7 +372,7 @@ interface MaxDateValidatorMessageParameters extends ValidatorMessageParameters<D
  * @param exclusive Makes comparison exclusive instead of inclusive
  * @category Validation Tests
  */
-export declare function maxDate(limit: SharedDateValueType, message: ValidatorMessage<Date, MaxDateValidatorMessageParameters>, exclusive?: boolean): ValidatorTest<Date, never>;
+export declare function maxDate(limit: SharedDateValueType, message: ValidatorMessage<Date, MessageExtras<MaxDateValidatorMessageParameters>>, exclusive?: boolean): ValidationTest<Date, never>;
 /**
  * Configuration for date validation.
  * @category Types
@@ -358,7 +382,7 @@ type DateConfig = ConfigBase<Date>;
  * Validates a date value.
  * @category Type Validators
  */
-export declare const date: (config?: Partial<DateConfig> | ValidatorTest<unknown, string> | undefined, ...tests: ValidatorTest<unknown, string>[]) => TypeValidator<Date, string>;
+export declare const date: (config?: Partial<DateConfig> | ValidationTest<Date, string> | undefined, ...tests: ValidationTest<Date, string>[]) => TypeValidator<Date, string>;
 //#endregion
 //#region src/numbers.d.ts
 /**
@@ -379,7 +403,7 @@ export declare function applyNumberConfig(value: unknown, config: NumberConfig):
  * @param message Error message
  * @category Validation Tests
  */
-export declare function integer(message: ValidatorMessage<number>): ValidatorTest<number, never>;
+export declare function integer(message: ValidatorMessage<number>): ValidationTest<number, never>;
 /**
  * Configuration for number validation.
  * @category Types
@@ -392,7 +416,7 @@ interface NumberConfig extends ConfigBase<number> {
  * Validates a number value.
  * @category Type Validators
  */
-export declare const number: (config?: Partial<NumberConfig> | ValidatorTest<unknown, string> | undefined, ...tests: ValidatorTest<unknown, string>[]) => TypeValidator<number, string>;
+export declare const number: (config?: Partial<NumberConfig> | ValidationTest<number, string> | undefined, ...tests: ValidationTest<number, string>[]) => TypeValidator<number, string>;
 //#endregion
 //#region src/parse-date.d.ts
 /** Badly formatted date for internal use. */
@@ -411,11 +435,13 @@ export declare function parseDate(value: unknown): Date | null | undefined;
  * the parsed object. The message goes to the error at `path`, a property name
  * or a list of names into nested objects, or to the object's own message
  * without a path. The message gets the parsed object as `value` and the
- * object's `field`.
+ * object's `field`. The path is checked against the object's type, and so are
+ * the errors it produces.
  * @category Validation Tests
  */
-export declare function check<T, E = never>(test: (value: T) => boolean, message: ValidatorMessage<T>): ValidatorTest<T, E>;
-export declare function check<T, E = never>(path: string | readonly string[], test: (value: T) => boolean, message: ValidatorMessage<T>): ValidatorTest<T, E>;
+export declare function check<T>(test: (value: T) => boolean, message: ValidatorMessage<T>): ValidationTest<T, never>;
+export declare function check<T, const K extends keyof T & string>(path: K, test: (value: T) => boolean, message: ValidatorMessage<T>): ValidationTest<T, { [P in K]?: string; }>;
+export declare function check<T, const Path extends KeyPath<T>>(path: Path, test: (value: T) => boolean, message: ValidatorMessage<T>): ValidationTest<T, AtPath<Path>>;
 //#endregion
 //#region src/objects.d.ts
 type ObjectParameter = Record<string, ValidatorTest>;
@@ -454,7 +480,7 @@ interface ObjectConfig {
  * every property is valid, and the first failure is the result.
  * @category Type Validators
  */
-export declare function object<P extends ObjectParameter, V extends ObjectValue<P>, E extends ObjectErrors<P>>(properties: P, config?: ObjectConfig | ValidatorTest<ObjectValue<P>, ObjectErrors<P>>, ...tests: ValidatorTest<ObjectValue<P>, ObjectErrors<P>>[]): TypeValidator<V, E>;
+export declare function object<P extends ObjectParameter>(properties: P, config?: ObjectConfig | ValidationTest<ObjectValue<P>, ObjectErrors<P>>, ...tests: ValidationTest<ObjectValue<P>, ObjectErrors<P>>[]): TypeValidator<ObjectValue<P>, ObjectErrors<P>>;
 //#endregion
 //#region src/optional.d.ts
 /**
@@ -487,7 +513,7 @@ interface OneOfValidatorMessageParameters<T> extends ValidatorMessageParameters<
  * @param message Error message
  * @category Validation Tests
  */
-export declare function oneOf<T extends string | number | boolean | Date>(values: readonly T[], message: ValidatorMessage<T, OneOfValidatorMessageParameters<T>>): ValidatorTest<T, never>;
+export declare function oneOf<T extends string | number | boolean | Date>(values: readonly T[], message: ValidatorMessage<T, MessageExtras<OneOfValidatorMessageParameters<T>>>): ValidationTest<T, never>;
 //#endregion
 //#region src/factories.d.ts
 /**
@@ -498,14 +524,16 @@ export declare function oneOf<T extends string | number | boolean | Date>(values
  * @param applyConfig Function that applies configuration to value.
  * @category Helpers
  */
-export declare function createTypeValidatorTest<T, C extends ConfigBase<T>>(defaultConfig: NoInfer<C>, applyConfig: (value: unknown, config: C) => T | null | undefined): (config?: Partial<C> | ValidatorTest<unknown, string>, ...tests: ValidatorTest<unknown, string>[]) => TypeValidator<T, string>;
+export declare function createTypeValidatorTest<T, C extends ConfigBase<T>>(defaultConfig: NoInfer<C>, applyConfig: (value: unknown, config: C) => T | null | undefined): (config?: Partial<C> | ValidationTest<T, string>, ...tests: ValidationTest<T, string>[]) => TypeValidator<T, string>;
 /**
- * Captures basic validator test pattern
+ * Captures basic validator test pattern. The test gets the parsed value, and
+ * fails a missing one, which type validators never pass (#660).
  * @param test Test function
  * @param message Error message
- * @param getExtras Optional extra fields for error message
+ * @param getExtras Extra parameters for the error message
  */
-export declare function createValidatorTest<T = unknown, E = never, P extends ValidatorMessageParameters<T> = ValidatorMessageParameters<T>>(test: (value: unknown, field?: string) => boolean, message: ValidatorMessage<T, P>, getExtras?: (value: T | null | undefined) => Omit<P, 'value' | 'field'>): ValidatorTest<T, E>;
+export declare function createValidatorTest<T, E = never>(test: (value: T, field?: string) => boolean, message: ValidatorMessage<T>): ValidationTest<T, E>;
+export declare function createValidatorTest<T, E, X extends object>(test: (value: T, field?: string) => boolean, message: ValidatorMessage<T, X>, getExtras: (value: T) => X): ValidationTest<T, E>;
 //#endregion
 //#region src/limits.d.ts
 type SharedValueType = string | number | unknown[];
@@ -522,7 +550,7 @@ interface MaxValidatorMessageParameters extends ValidatorMessageParameters<Share
  * @param exclusive Use exclusive comparison instead of inclusive
  * @category Validation Tests
  */
-export declare function max(limit: number, message: ValidatorMessage<SharedValueType, MaxValidatorMessageParameters>, exclusive?: boolean): ValidatorTest<SharedValueType, never>;
+export declare function max(limit: number, message: ValidatorMessage<SharedValueType, MessageExtras<MaxValidatorMessageParameters>>, exclusive?: boolean): ValidationTest<SharedValueType, never>;
 interface MinValidatorMessageParameters extends ValidatorMessageParameters<SharedValueType> {
   min: number;
   limit: number;
@@ -536,7 +564,7 @@ interface MinValidatorMessageParameters extends ValidatorMessageParameters<Share
  * @param exclusive Use exclusive comparison instead of inclusive
  * @category Validation Tests
  */
-export declare function min(limit: number, message: ValidatorMessage<SharedValueType, MinValidatorMessageParameters>, exclusive?: boolean): ValidatorTest<SharedValueType, never>;
+export declare function min(limit: number, message: ValidatorMessage<SharedValueType, MessageExtras<MinValidatorMessageParameters>>, exclusive?: boolean): ValidationTest<SharedValueType, never>;
 interface ExactValidatorMessageParameters extends ValidatorMessageParameters<SharedValueType> {
   limit: number;
   amount: number | null | undefined;
@@ -548,7 +576,33 @@ interface ExactValidatorMessageParameters extends ValidatorMessageParameters<Sha
  * @param message Error message
  * @category Validation Tests
  */
-export declare function exact(limit: number, message: ValidatorMessage<SharedValueType, ExactValidatorMessageParameters>): ValidatorTest<SharedValueType, never>;
+export declare function exact(limit: number, message: ValidatorMessage<SharedValueType, MessageExtras<ExactValidatorMessageParameters>>): ValidationTest<SharedValueType, never>;
+//#endregion
+//#region src/invalid.d.ts
+/** @internal */
+type InvalidFields<E> = {
+  value: unknown;
+  field: string | undefined;
+  errors?: E | undefined;
+};
+/**
+ * Creates an invalid result. A message function gets the value as `unknown`,
+ * and `extras` must hold the extra parameters it reads.
+ * @param result Result fields
+ * @param result.message Error message, formatted with `formatMessage`
+ * @param result.value Parsed value
+ * @param result.field Field name
+ * @param result.errors Extra error details, such as per-field errors from `object` and `array`
+ * @param result.extras Extra message params
+ * @category Helpers
+ */
+export declare function invalid<T, E = never>(result: InvalidFields<E> & {
+  message: ValidatorMessage<unknown>;
+}): Promise<ValidatorResult<T, E>>;
+export declare function invalid<T, E, X extends object>(result: InvalidFields<E> & {
+  message: ValidatorMessage<unknown, X>;
+  extras: X;
+}): Promise<ValidatorResult<T, E>>;
 //#endregion
 //#region src/strings.d.ts
 /**
@@ -581,20 +635,20 @@ interface MatchesValidatorMessageParameters extends ValidatorMessageParameters<s
  * @param message Error message
  * @category Validation Tests
  */
-export declare function matches(pattern: RegExp, message: ValidatorMessage<string, MatchesValidatorMessageParameters>): ValidatorTest<string, never>;
+export declare function matches(pattern: RegExp, message: ValidatorMessage<string, MessageExtras<MatchesValidatorMessageParameters>>): ValidationTest<string, never>;
 /**
  * Ensures a string value matches an email pattern
  * @param message Error message
  * @category Validation Tests
  */
-export declare function email(message: ValidatorMessage<string>): ValidatorTest<string, never>;
+export declare function email(message: ValidatorMessage<string>): ValidationTest<string, never>;
 /**
  * Ensures a string value is an RFC 9562 UUID, any version from 1 to 8, or the
  * nil or max UUID. Case-insensitive, without braces or a `urn:uuid:` prefix.
  * @param message Error message
  * @category Validation Tests
  */
-export declare function uuid(message: ValidatorMessage<string>): ValidatorTest<string, never>;
+export declare function uuid(message: ValidatorMessage<string>): ValidationTest<string, never>;
 /**
  * Ensures a string value is a valid URL
  * @param message Error message
@@ -602,11 +656,11 @@ export declare function uuid(message: ValidatorMessage<string>): ValidatorTest<s
  * replaces the default.
  * @category Validation Tests
  */
-export declare function url(message: ValidatorMessage<string>, protocols?: string[]): ValidatorTest<string, never>;
+export declare function url(message: ValidatorMessage<string>, protocols?: string[]): ValidationTest<string, never>;
 /**
  * Validates a string value.
  * @category Type Validators
  */
-export declare const string: (config?: Partial<StringConfig> | ValidatorTest<unknown, string> | undefined, ...tests: ValidatorTest<unknown, string>[]) => TypeValidator<string, string>;
+export declare const string: (config?: Partial<StringConfig> | ValidationTest<string, string> | undefined, ...tests: ValidationTest<string, string>[]) => TypeValidator<string, string>;
 //#endregion
-export type { ArrayConfig, ArrayItemValidatorResult, BooleanConfig, ConfigBase, DateConfig, DeepPartial, ExactValidatorMessageParameters, ExtractError, ExtractValue, InvalidResult, MatchesValidatorMessageParameters, MaxDateValidatorMessageParameters, MaxValidatorMessageParameters, MinDateValidatorMessageParameters, MinValidatorMessageParameters, NumberConfig, ObjectConfig, ObjectParameter as ObjectParam, OneOfValidatorMessageParameters, SharedDateValueType, SharedValueType, StringConfig, TypeValidator, ValidResult, ValidatorFactory, ValidatorMessage, ValidatorMessageParameters, ValidatorResult, ValidatorTest };
+export type { ArrayConfig, ArrayItemValidatorResult, BooleanConfig, ConfigBase, DateConfig, DeepPartial, ExactValidatorMessageParameters, ExtractError, ExtractValue, InvalidResult, MatchesValidatorMessageParameters, MaxDateValidatorMessageParameters, MaxValidatorMessageParameters, MinDateValidatorMessageParameters, MinValidatorMessageParameters, NumberConfig, ObjectConfig, ObjectParameter as ObjectParam, OneOfValidatorMessageParameters, SharedDateValueType, SharedValueType, StringConfig, TypeValidator, ValidResult, ValidationTest, ValidatorFactory, ValidatorMessage, ValidatorMessageParameters, ValidatorResult, ValidatorTest };