types | YavaScript

types (object)

The types namespace object contains various functions which can be used to identify the type of a value at runtime. It is based on pheno, with some yavascript-specific extensions.

Usage

To check that a value is of a type, use is. To assert that a value is of a type, use assert.type:

is("hi", types.string); // true
is("hi", types.number); // false
is({ blah: 42 }, types.objectWithProperties({ blah: types.number })); // true

assert.type("hi", types.string);
assert.type("hi", types.number); // throws
assert.type({ blah: 42 }, types.objectWithProperties({ blah: types.number }));

In many cases, you can use a "normal" JavaScript value for the type instead of something from the types namespace. For instance, the following code block is equivalent to the previous one:

is("hi", String); // true
is("hi", Number); // false
is({ blah: 42 }, { blah: Number }); // true

assert.type("hi", String);
assert.type("hi", Number); // throws
assert.type({ blah: 42 }, { blah: Number });

For more info about using "normal" values, see the "Coercion" heading below.

Explanation

There are two kinds of function properties found on the types namespace: those which return a boolean, and those which return a function. Functions which return a boolean are called "type validators", and can be used to check the type of a value. For example, types.number is a type validator:

is(42, types.number); // returns true

The other kind of function is a function which returns a function. These are called "type validator constructors", because the function they return is a type validator. They are used to construct complex type validators. For example, types.exactString is a type validator constructor:

const myType = types.exactString("potato");
// myType is a function which returns true or false

is("eggplant", myType); // returns false
is("potato", myType); // returns true

List of Functions

Type Validators

Here is a list of all the type validators:

any
anyArray
anyFunction
anyMap
anyObject
anySet
anyTypeValidator
array (alias of arrayOfUnknown)
arrayOfAny
arrayOfUnknown
Array (alias of arrayOfUnknown)
bigint
BigInt (alias of bigint)
boolean
Boolean (alias of boolean)
Date
Error
false
falsy
Function (alias of unknownFunction)
Infinity
integer
map (alias of unknownMap)
Map (alias of unknownMap)
NaN
NegativeInfinity
never
nonNullOrUndefined
null
nullish
void (alias of nullish)
number (doesn't include NaN, Infinity, or -Infinity)
Number (alias of number)
numberIncludingNanAndInfinities
object (alias of unknownObject)
Object (alias of unknownObject)
objectOrNull
RegExp
set (alias of unknownSet)
Set (alias of unknownSet)
string
String (alias of string)
Symbol
symbol (alias of Symbol)
true
truthy
undefined
unknown
unknownFunction
unknownMap
unknownObject
unknownSet
unknownTypeValidator
ArrayBuffer
SharedArrayBuffer
DataView
TypedArray
Int8Array
Uint8Array
Uint8ClampedArray
Int16Array
Uint16Array
Int32Array
Uint32Array
Float32Array
Float64Array
FILE
Path
JSX.Element (alias of JSX.unknownElement)
JSX.unknownElement
JSX.anyElement
JSX.Fragment

Type Validator Constructors

And all the type validator constructors:

and
arrayOf
exactBigInt
exactNumber
exactString
exactSymbol
hasClassName
hasToStringTag
instanceOf
intersection
mapOf
mappingObjectOf
maybe
objectWithOnlyTheseProperties
objectWithProperties
or
optional
partialObjectWithProperties
record
setOf
stringMatching
symbolFor
union

Coercion

There is also a function, types.coerce, which returns an appropriate type validator value for a given input value, using the following logic:

Input value	Output validator
`String` or `string` global	`types.string`
`Number` or `number` global	`types.number`
`Boolean` or `boolean` global	`types.boolean`
`BigInt` or `bigint` global	`types.bigint`
`Symbol` global	`types.Symbol`
`RegExp` global	`types.RegExp`
`Array` global	`types.arrayOfUnknown`
`Set` global	`types.unknownSet`
`Map` global	`types.unknownMap`
`Object` global	`types.unknownObject`
`Date` global	`types.Date`
`Function` global	`types.unknownFunction`
`ArrayBuffer` global	`types.ArrayBuffer`
`SharedArrayBuffer` global	`types.SharedArrayBuffer`
`DataView` global	`types.DataView`
`Int8Array` global	`types.Int8Array`
`Uint8Array` global	`types.Uint8Array`
`Uint8ClampedArray` global	`types.Uint8ClampedArray`
`Int16Array` global	`types.Int16Array`
`Uint16Array` global	`types.Uint16Array`
`Int32Array` global	`types.Int32Array`
`Uint32Array` global	`types.Uint32Array`
`Float32Array` global	`types.Float32Array`
`Float64Array` global	`types.Float64Array`
`Path` global	`types.Path`
Any RegExp value	Validator for matching strings
Empty array	Validator for empty arrays
Array with one item	Validator for array of that item
Array with multiple items	Validator for tuple of those types
Class constructor function	Validator for instances of it
Any Object value	Validator for same-shaped object
null	`types.null`
undefined	`types.undefined`
true	`types.true`
false	`types.false`
NaN	`types.NaN`
Infinity	`types.Infinity`
`-Infinity`	`types.NegativeInfinity`
Any string value	`types.exactString(<the value>)`
Any 'normal' number value	`types.exactNumber(<the value>)`
Any Symbol value	`types.exactSymbol(<the value>)`
Any BigInt value	`types.exactBigInt(<the value>)`

All type constructors, as well as is and assert.type, do coercion automatically! This means that in many cases, you do not need to access properties from the types namespace.

const types: {
  any: TypeValidator<any>;
  unknown: TypeValidator<unknown>;
  anyObject: TypeValidator<{
    [key: string | number | symbol]: any;
  }>;
  unknownObject: TypeValidator<{}>;
  object: TypeValidator<{}>;
  Object: TypeValidator<{}>;
  arrayOfAny: TypeValidator<Array<any>>;
  arrayOfUnknown: TypeValidator<Array<unknown>>;
  array: TypeValidator<Array<unknown>>;
  Array: TypeValidator<unknown[]>;
  anyArray: TypeValidator<Array<any>>;
  boolean: TypeValidator<boolean>;
  Boolean: TypeValidator<boolean>;
  string: TypeValidator<string>;
  String: TypeValidator<string>;
  null: TypeValidator<null>;
  undefined: TypeValidator<undefined>;
  nullish: TypeValidator<null | undefined>;
  void: TypeValidator<null | undefined>;
  numberIncludingNanAndInfinities: TypeValidator<number>;
  number: TypeValidator<number>;
  Number: TypeValidator<number>;
  NaN: TypeValidator<number>;
  Infinity: TypeValidator<number>;
  NegativeInfinity: TypeValidator<number>;
  integer: TypeValidator<number>;
  bigint: TypeValidator<bigint>;
  BigInt: TypeValidator<bigint>;
  never: TypeValidator<never>;
  anyFunction: TypeValidator<(...args: any) => any>;
  unknownFunction: TypeValidator<(...args: Array<unknown>) => unknown>;
  Function: TypeValidator<(...args: Array<unknown>) => unknown>;
  false: TypeValidator<false>;
  true: TypeValidator<true>;
  falsy: TypeValidator<false | null | undefined | "" | 0>;
  truthy: <T>(target: false | "" | 0 | T | null | undefined) => target is T;
  nonNullOrUndefined: <T>(target: T | null | undefined) => target is T;
  Error: TypeValidator<Error>;
  Symbol: TypeValidator<symbol>;
  symbol: TypeValidator<symbol>;
  RegExp: TypeValidator<RegExp>;
  Date: TypeValidator<Date>;
  anyMap: TypeValidator<Map<any, any>>;
  unknownMap: TypeValidator<Map<unknown, unknown>>;
  map: TypeValidator<Map<unknown, unknown>>;
  Map: TypeValidator<Map<unknown, unknown>>;
  anySet: TypeValidator<Set<any>>;
  unknownSet: TypeValidator<Set<unknown>>;
  set: TypeValidator<Set<unknown>>;
  Set: TypeValidator<Set<unknown>>;
  ArrayBuffer: TypeValidator<ArrayBuffer>;
  SharedArrayBuffer: TypeValidator<SharedArrayBuffer>;
  DataView: TypeValidator<DataView>;
  TypedArray: TypeValidator<
    | Int8Array
    | Uint8Array
    | Uint8ClampedArray
    | Int16Array
    | Uint16Array
    | Int32Array
    | Uint32Array
    | Float32Array
    | Float64Array
  >;
  Int8Array: TypeValidator<Int8Array>;
  Uint8Array: TypeValidator<Uint8Array>;
  Uint8ClampedArray: TypeValidator<Uint8ClampedArray>;
  Int16Array: TypeValidator<Int16Array>;
  Uint16Array: TypeValidator<Uint16Array>;
  Int32Array: TypeValidator<Int32Array>;
  Uint32Array: TypeValidator<Uint32Array>;
  Float32Array: TypeValidator<Float32Array>;
  Float64Array: TypeValidator<Float64Array>;
  exactString<T extends string>(str: T): TypeValidator<T>;
  exactNumber<T extends number>(num: T): TypeValidator<T>;
  exactBigInt<T extends bigint>(num: T): TypeValidator<T>;
  exactSymbol<T extends symbol>(sym: T): TypeValidator<T>;
  hasClassName<Name extends string>(
    name: Name,
  ): TypeValidator<{
    constructor: Function & {
      name: Name;
    };
  }>;
  hasToStringTag(name: string): TypeValidator<any>;
  instanceOf<
    Klass extends Function & {
      prototype: any;
    },
  >(
    klass: Klass,
  ): TypeValidator<Klass["prototype"]>;
  stringMatching(regexp: RegExp): TypeValidator<string>;
  symbolFor(key: string): TypeValidator<symbol>;
  arrayOf<T extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(
    typeValidator: T,
  ): TypeValidator<Array<UnwrapTypeFromCoerceableOrValidator<T>>>;
  intersection: {
    <
      First extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    >(
      first: First,
      second: Second,
    ): TypeValidator<
      UnwrapTypeFromCoerceableOrValidator<First> &
        UnwrapTypeFromCoerceableOrValidator<Second>
    >;
    <
      First extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    >(
      first: First,
      second: Second,
      third: Third,
    ): TypeValidator<
      UnwrapTypeFromCoerceableOrValidator<First> &
        UnwrapTypeFromCoerceableOrValidator<Second> &
        UnwrapTypeFromCoerceableOrValidator<Third>
    >;
    <
      First extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    >(
      first: First,
      second: Second,
      third: Third,
      fourth: Fourth,
    ): TypeValidator<
      UnwrapTypeFromCoerceableOrValidator<First> &
        UnwrapTypeFromCoerceableOrValidator<Second> &
        UnwrapTypeFromCoerceableOrValidator<Third> &
        UnwrapTypeFromCoerceableOrValidator<Fourth>
    >;
    <
      First extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    >(
      first: First,
      second: Second,
      third: Third,
      fourth: Fourth,
      fifth: Fifth,
    ): TypeValidator<
      UnwrapTypeFromCoerceableOrValidator<First> &
        UnwrapTypeFromCoerceableOrValidator<Second> &
        UnwrapTypeFromCoerceableOrValidator<Third> &
        UnwrapTypeFromCoerceableOrValidator<Fourth> &
        UnwrapTypeFromCoerceableOrValidator<Fifth>
    >;
    <
      First extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    >(
      first: First,
      second: Second,
      third: Third,
      fourth: Fourth,
      fifth: Fifth,
      sixth: Sixth,
    ): TypeValidator<
      UnwrapTypeFromCoerceableOrValidator<First> &
        UnwrapTypeFromCoerceableOrValidator<Second> &
        UnwrapTypeFromCoerceableOrValidator<Third> &
        UnwrapTypeFromCoerceableOrValidator<Fourth> &
        UnwrapTypeFromCoerceableOrValidator<Fifth> &
        UnwrapTypeFromCoerceableOrValidator<Sixth>
    >;
    <
      First extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    >(
      first: First,
      second: Second,
      third: Third,
      fourth: Fourth,
      fifth: Fifth,
      sixth: Sixth,
      seventh: Seventh,
    ): TypeValidator<
      UnwrapTypeFromCoerceableOrValidator<First> &
        UnwrapTypeFromCoerceableOrValidator<Second> &
        UnwrapTypeFromCoerceableOrValidator<Third> &
        UnwrapTypeFromCoerceableOrValidator<Fourth> &
        UnwrapTypeFromCoerceableOrValidator<Fifth> &
        UnwrapTypeFromCoerceableOrValidator<Sixth> &
        UnwrapTypeFromCoerceableOrValidator<Seventh>
    >;
    <
      First extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Eighth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    >(
      first: First,
      second: Second,
      third: Third,
      fourth: Fourth,
      fifth: Fifth,
      sixth: Sixth,
      seventh: Seventh,
      eighth: Eighth,
    ): TypeValidator<
      UnwrapTypeFromCoerceableOrValidator<First> &
        UnwrapTypeFromCoerceableOrValidator<Second> &
        UnwrapTypeFromCoerceableOrValidator<Third> &
        UnwrapTypeFromCoerceableOrValidator<Fourth> &
        UnwrapTypeFromCoerceableOrValidator<Fifth> &
        UnwrapTypeFromCoerceableOrValidator<Sixth> &
        UnwrapTypeFromCoerceableOrValidator<Seventh> &
        UnwrapTypeFromCoerceableOrValidator<Eighth>
    >;
    <
      First extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Eighth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Ninth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    >(
      first: First,
      second: Second,
      third: Third,
      fourth: Fourth,
      fifth: Fifth,
      sixth: Sixth,
      seventh: Seventh,
      eighth: Eighth,
      ninth: Ninth,
    ): TypeValidator<
      UnwrapTypeFromCoerceableOrValidator<First> &
        UnwrapTypeFromCoerceableOrValidator<Second> &
        UnwrapTypeFromCoerceableOrValidator<Third> &
        UnwrapTypeFromCoerceableOrValidator<Fourth> &
        UnwrapTypeFromCoerceableOrValidator<Fifth> &
        UnwrapTypeFromCoerceableOrValidator<Sixth> &
        UnwrapTypeFromCoerceableOrValidator<Seventh> &
        UnwrapTypeFromCoerceableOrValidator<Eighth> &
        UnwrapTypeFromCoerceableOrValidator<Ninth>
    >;
    <
      First extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Eighth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Ninth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Tenth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    >(
      first: First,
      second: Second,
      third: Third,
      fourth: Fourth,
      fifth: Fifth,
      sixth: Sixth,
      seventh: Seventh,
      eighth: Eighth,
      ninth: Ninth,
      tenth: Tenth,
    ): TypeValidator<
      UnwrapTypeFromCoerceableOrValidator<First> &
        UnwrapTypeFromCoerceableOrValidator<Second> &
        UnwrapTypeFromCoerceableOrValidator<Third> &
        UnwrapTypeFromCoerceableOrValidator<Fourth> &
        UnwrapTypeFromCoerceableOrValidator<Fifth> &
        UnwrapTypeFromCoerceableOrValidator<Sixth> &
        UnwrapTypeFromCoerceableOrValidator<Seventh> &
        UnwrapTypeFromCoerceableOrValidator<Eighth> &
        UnwrapTypeFromCoerceableOrValidator<Ninth> &
        UnwrapTypeFromCoerceableOrValidator<Tenth>
    >;
  };
  and: {
    <
      First extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    >(
      first: First,
      second: Second,
    ): TypeValidator<
      UnwrapTypeFromCoerceableOrValidator<First> &
        UnwrapTypeFromCoerceableOrValidator<Second>
    >;
    <
      First extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    >(
      first: First,
      second: Second,
      third: Third,
    ): TypeValidator<
      UnwrapTypeFromCoerceableOrValidator<First> &
        UnwrapTypeFromCoerceableOrValidator<Second> &
        UnwrapTypeFromCoerceableOrValidator<Third>
    >;
    <
      First extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    >(
      first: First,
      second: Second,
      third: Third,
      fourth: Fourth,
    ): TypeValidator<
      UnwrapTypeFromCoerceableOrValidator<First> &
        UnwrapTypeFromCoerceableOrValidator<Second> &
        UnwrapTypeFromCoerceableOrValidator<Third> &
        UnwrapTypeFromCoerceableOrValidator<Fourth>
    >;
    <
      First extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    >(
      first: First,
      second: Second,
      third: Third,
      fourth: Fourth,
      fifth: Fifth,
    ): TypeValidator<
      UnwrapTypeFromCoerceableOrValidator<First> &
        UnwrapTypeFromCoerceableOrValidator<Second> &
        UnwrapTypeFromCoerceableOrValidator<Third> &
        UnwrapTypeFromCoerceableOrValidator<Fourth> &
        UnwrapTypeFromCoerceableOrValidator<Fifth>
    >;
    <
      First extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    >(
      first: First,
      second: Second,
      third: Third,
      fourth: Fourth,
      fifth: Fifth,
      sixth: Sixth,
    ): TypeValidator<
      UnwrapTypeFromCoerceableOrValidator<First> &
        UnwrapTypeFromCoerceableOrValidator<Second> &
        UnwrapTypeFromCoerceableOrValidator<Third> &
        UnwrapTypeFromCoerceableOrValidator<Fourth> &
        UnwrapTypeFromCoerceableOrValidator<Fifth> &
        UnwrapTypeFromCoerceableOrValidator<Sixth>
    >;
    <
      First extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    >(
      first: First,
      second: Second,
      third: Third,
      fourth: Fourth,
      fifth: Fifth,
      sixth: Sixth,
      seventh: Seventh,
    ): TypeValidator<
      UnwrapTypeFromCoerceableOrValidator<First> &
        UnwrapTypeFromCoerceableOrValidator<Second> &
        UnwrapTypeFromCoerceableOrValidator<Third> &
        UnwrapTypeFromCoerceableOrValidator<Fourth> &
        UnwrapTypeFromCoerceableOrValidator<Fifth> &
        UnwrapTypeFromCoerceableOrValidator<Sixth> &
        UnwrapTypeFromCoerceableOrValidator<Seventh>
    >;
    <
      First extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Eighth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    >(
      first: First,
      second: Second,
      third: Third,
      fourth: Fourth,
      fifth: Fifth,
      sixth: Sixth,
      seventh: Seventh,
      eighth: Eighth,
    ): TypeValidator<
      UnwrapTypeFromCoerceableOrValidator<First> &
        UnwrapTypeFromCoerceableOrValidator<Second> &
        UnwrapTypeFromCoerceableOrValidator<Third> &
        UnwrapTypeFromCoerceableOrValidator<Fourth> &
        UnwrapTypeFromCoerceableOrValidator<Fifth> &
        UnwrapTypeFromCoerceableOrValidator<Sixth> &
        UnwrapTypeFromCoerceableOrValidator<Seventh> &
        UnwrapTypeFromCoerceableOrValidator<Eighth>
    >;
    <
      First extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Eighth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Ninth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    >(
      first: First,
      second: Second,
      third: Third,
      fourth: Fourth,
      fifth: Fifth,
      sixth: Sixth,
      seventh: Seventh,
      eighth: Eighth,
      ninth: Ninth,
    ): TypeValidator<
      UnwrapTypeFromCoerceableOrValidator<First> &
        UnwrapTypeFromCoerceableOrValidator<Second> &
        UnwrapTypeFromCoerceableOrValidator<Third> &
        UnwrapTypeFromCoerceableOrValidator<Fourth> &
        UnwrapTypeFromCoerceableOrValidator<Fifth> &
        UnwrapTypeFromCoerceableOrValidator<Sixth> &
        UnwrapTypeFromCoerceableOrValidator<Seventh> &
        UnwrapTypeFromCoerceableOrValidator<Eighth> &
        UnwrapTypeFromCoerceableOrValidator<Ninth>
    >;
    <
      First extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Eighth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Ninth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Tenth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    >(
      first: First,
      second: Second,
      third: Third,
      fourth: Fourth,
      fifth: Fifth,
      sixth: Sixth,
      seventh: Seventh,
      eighth: Eighth,
      ninth: Ninth,
      tenth: Tenth,
    ): TypeValidator<
      UnwrapTypeFromCoerceableOrValidator<First> &
        UnwrapTypeFromCoerceableOrValidator<Second> &
        UnwrapTypeFromCoerceableOrValidator<Third> &
        UnwrapTypeFromCoerceableOrValidator<Fourth> &
        UnwrapTypeFromCoerceableOrValidator<Fifth> &
        UnwrapTypeFromCoerceableOrValidator<Sixth> &
        UnwrapTypeFromCoerceableOrValidator<Seventh> &
        UnwrapTypeFromCoerceableOrValidator<Eighth> &
        UnwrapTypeFromCoerceableOrValidator<Ninth> &
        UnwrapTypeFromCoerceableOrValidator<Tenth>
    >;
  };
  union: {
    <
      First extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    >(
      first: First,
      second: Second,
    ): TypeValidator<
      | UnwrapTypeFromCoerceableOrValidator<First>
      | UnwrapTypeFromCoerceableOrValidator<Second>
    >;
    <
      First extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    >(
      first: First,
      second: Second,
      third: Third,
    ): TypeValidator<
      | UnwrapTypeFromCoerceableOrValidator<First>
      | UnwrapTypeFromCoerceableOrValidator<Second>
      | UnwrapTypeFromCoerceableOrValidator<Third>
    >;
    <
      First extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    >(
      first: First,
      second: Second,
      third: Third,
      fourth: Fourth,
    ): TypeValidator<
      | UnwrapTypeFromCoerceableOrValidator<First>
      | UnwrapTypeFromCoerceableOrValidator<Second>
      | UnwrapTypeFromCoerceableOrValidator<Third>
      | UnwrapTypeFromCoerceableOrValidator<Fourth>
    >;
    <
      First extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    >(
      first: First,
      second: Second,
      third: Third,
      fourth: Fourth,
      fifth: Fifth,
    ): TypeValidator<
      | UnwrapTypeFromCoerceableOrValidator<First>
      | UnwrapTypeFromCoerceableOrValidator<Second>
      | UnwrapTypeFromCoerceableOrValidator<Third>
      | UnwrapTypeFromCoerceableOrValidator<Fourth>
      | UnwrapTypeFromCoerceableOrValidator<Fifth>
    >;
    <
      First extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    >(
      first: First,
      second: Second,
      third: Third,
      fourth: Fourth,
      fifth: Fifth,
      sixth: Sixth,
    ): TypeValidator<
      | UnwrapTypeFromCoerceableOrValidator<First>
      | UnwrapTypeFromCoerceableOrValidator<Second>
      | UnwrapTypeFromCoerceableOrValidator<Third>
      | UnwrapTypeFromCoerceableOrValidator<Fourth>
      | UnwrapTypeFromCoerceableOrValidator<Fifth>
      | UnwrapTypeFromCoerceableOrValidator<Sixth>
    >;
    <
      First extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    >(
      first: First,
      second: Second,
      third: Third,
      fourth: Fourth,
      fifth: Fifth,
      sixth: Sixth,
      seventh: Seventh,
    ): TypeValidator<
      | UnwrapTypeFromCoerceableOrValidator<First>
      | UnwrapTypeFromCoerceableOrValidator<Second>
      | UnwrapTypeFromCoerceableOrValidator<Third>
      | UnwrapTypeFromCoerceableOrValidator<Fourth>
      | UnwrapTypeFromCoerceableOrValidator<Fifth>
      | UnwrapTypeFromCoerceableOrValidator<Sixth>
      | UnwrapTypeFromCoerceableOrValidator<Seventh>
    >;
    <
      First extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Eighth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    >(
      first: First,
      second: Second,
      third: Third,
      fourth: Fourth,
      fifth: Fifth,
      sixth: Sixth,
      seventh: Seventh,
      eighth: Eighth,
    ): TypeValidator<
      | UnwrapTypeFromCoerceableOrValidator<First>
      | UnwrapTypeFromCoerceableOrValidator<Second>
      | UnwrapTypeFromCoerceableOrValidator<Third>
      | UnwrapTypeFromCoerceableOrValidator<Fourth>
      | UnwrapTypeFromCoerceableOrValidator<Fifth>
      | UnwrapTypeFromCoerceableOrValidator<Sixth>
      | UnwrapTypeFromCoerceableOrValidator<Seventh>
      | UnwrapTypeFromCoerceableOrValidator<Eighth>
    >;
    <
      First extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Eighth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Ninth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    >(
      first: First,
      second: Second,
      third: Third,
      fourth: Fourth,
      fifth: Fifth,
      sixth: Sixth,
      seventh: Seventh,
      eighth: Eighth,
      ninth: Ninth,
    ): TypeValidator<
      | UnwrapTypeFromCoerceableOrValidator<First>
      | UnwrapTypeFromCoerceableOrValidator<Second>
      | UnwrapTypeFromCoerceableOrValidator<Third>
      | UnwrapTypeFromCoerceableOrValidator<Fourth>
      | UnwrapTypeFromCoerceableOrValidator<Fifth>
      | UnwrapTypeFromCoerceableOrValidator<Sixth>
      | UnwrapTypeFromCoerceableOrValidator<Seventh>
      | UnwrapTypeFromCoerceableOrValidator<Eighth>
      | UnwrapTypeFromCoerceableOrValidator<Ninth>
    >;
    <
      First extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Eighth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Ninth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Tenth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    >(
      first: First,
      second: Second,
      third: Third,
      fourth: Fourth,
      fifth: Fifth,
      sixth: Sixth,
      seventh: Seventh,
      eighth: Eighth,
      ninth: Ninth,
      tenth: Tenth,
    ): TypeValidator<
      | UnwrapTypeFromCoerceableOrValidator<First>
      | UnwrapTypeFromCoerceableOrValidator<Second>
      | UnwrapTypeFromCoerceableOrValidator<Third>
      | UnwrapTypeFromCoerceableOrValidator<Fourth>
      | UnwrapTypeFromCoerceableOrValidator<Fifth>
      | UnwrapTypeFromCoerceableOrValidator<Sixth>
      | UnwrapTypeFromCoerceableOrValidator<Seventh>
      | UnwrapTypeFromCoerceableOrValidator<Eighth>
      | UnwrapTypeFromCoerceableOrValidator<Ninth>
      | UnwrapTypeFromCoerceableOrValidator<Tenth>
    >;
  };
  or: {
    <
      First extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    >(
      first: First,
      second: Second,
    ): TypeValidator<
      | UnwrapTypeFromCoerceableOrValidator<First>
      | UnwrapTypeFromCoerceableOrValidator<Second>
    >;
    <
      First extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    >(
      first: First,
      second: Second,
      third: Third,
    ): TypeValidator<
      | UnwrapTypeFromCoerceableOrValidator<First>
      | UnwrapTypeFromCoerceableOrValidator<Second>
      | UnwrapTypeFromCoerceableOrValidator<Third>
    >;
    <
      First extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    >(
      first: First,
      second: Second,
      third: Third,
      fourth: Fourth,
    ): TypeValidator<
      | UnwrapTypeFromCoerceableOrValidator<First>
      | UnwrapTypeFromCoerceableOrValidator<Second>
      | UnwrapTypeFromCoerceableOrValidator<Third>
      | UnwrapTypeFromCoerceableOrValidator<Fourth>
    >;
    <
      First extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    >(
      first: First,
      second: Second,
      third: Third,
      fourth: Fourth,
      fifth: Fifth,
    ): TypeValidator<
      | UnwrapTypeFromCoerceableOrValidator<First>
      | UnwrapTypeFromCoerceableOrValidator<Second>
      | UnwrapTypeFromCoerceableOrValidator<Third>
      | UnwrapTypeFromCoerceableOrValidator<Fourth>
      | UnwrapTypeFromCoerceableOrValidator<Fifth>
    >;
    <
      First extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    >(
      first: First,
      second: Second,
      third: Third,
      fourth: Fourth,
      fifth: Fifth,
      sixth: Sixth,
    ): TypeValidator<
      | UnwrapTypeFromCoerceableOrValidator<First>
      | UnwrapTypeFromCoerceableOrValidator<Second>
      | UnwrapTypeFromCoerceableOrValidator<Third>
      | UnwrapTypeFromCoerceableOrValidator<Fourth>
      | UnwrapTypeFromCoerceableOrValidator<Fifth>
      | UnwrapTypeFromCoerceableOrValidator<Sixth>
    >;
    <
      First extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    >(
      first: First,
      second: Second,
      third: Third,
      fourth: Fourth,
      fifth: Fifth,
      sixth: Sixth,
      seventh: Seventh,
    ): TypeValidator<
      | UnwrapTypeFromCoerceableOrValidator<First>
      | UnwrapTypeFromCoerceableOrValidator<Second>
      | UnwrapTypeFromCoerceableOrValidator<Third>
      | UnwrapTypeFromCoerceableOrValidator<Fourth>
      | UnwrapTypeFromCoerceableOrValidator<Fifth>
      | UnwrapTypeFromCoerceableOrValidator<Sixth>
      | UnwrapTypeFromCoerceableOrValidator<Seventh>
    >;
    <
      First extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Eighth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    >(
      first: First,
      second: Second,
      third: Third,
      fourth: Fourth,
      fifth: Fifth,
      sixth: Sixth,
      seventh: Seventh,
      eighth: Eighth,
    ): TypeValidator<
      | UnwrapTypeFromCoerceableOrValidator<First>
      | UnwrapTypeFromCoerceableOrValidator<Second>
      | UnwrapTypeFromCoerceableOrValidator<Third>
      | UnwrapTypeFromCoerceableOrValidator<Fourth>
      | UnwrapTypeFromCoerceableOrValidator<Fifth>
      | UnwrapTypeFromCoerceableOrValidator<Sixth>
      | UnwrapTypeFromCoerceableOrValidator<Seventh>
      | UnwrapTypeFromCoerceableOrValidator<Eighth>
    >;
    <
      First extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Eighth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Ninth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    >(
      first: First,
      second: Second,
      third: Third,
      fourth: Fourth,
      fifth: Fifth,
      sixth: Sixth,
      seventh: Seventh,
      eighth: Eighth,
      ninth: Ninth,
    ): TypeValidator<
      | UnwrapTypeFromCoerceableOrValidator<First>
      | UnwrapTypeFromCoerceableOrValidator<Second>
      | UnwrapTypeFromCoerceableOrValidator<Third>
      | UnwrapTypeFromCoerceableOrValidator<Fourth>
      | UnwrapTypeFromCoerceableOrValidator<Fifth>
      | UnwrapTypeFromCoerceableOrValidator<Sixth>
      | UnwrapTypeFromCoerceableOrValidator<Seventh>
      | UnwrapTypeFromCoerceableOrValidator<Eighth>
      | UnwrapTypeFromCoerceableOrValidator<Ninth>
    >;
    <
      First extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Eighth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Ninth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Tenth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    >(
      first: First,
      second: Second,
      third: Third,
      fourth: Fourth,
      fifth: Fifth,
      sixth: Sixth,
      seventh: Seventh,
      eighth: Eighth,
      ninth: Ninth,
      tenth: Tenth,
    ): TypeValidator<
      | UnwrapTypeFromCoerceableOrValidator<First>
      | UnwrapTypeFromCoerceableOrValidator<Second>
      | UnwrapTypeFromCoerceableOrValidator<Third>
      | UnwrapTypeFromCoerceableOrValidator<Fourth>
      | UnwrapTypeFromCoerceableOrValidator<Fifth>
      | UnwrapTypeFromCoerceableOrValidator<Sixth>
      | UnwrapTypeFromCoerceableOrValidator<Seventh>
      | UnwrapTypeFromCoerceableOrValidator<Eighth>
      | UnwrapTypeFromCoerceableOrValidator<Ninth>
      | UnwrapTypeFromCoerceableOrValidator<Tenth>
    >;
  };
  mapOf<
    K extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    V extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
  >(
    keyType: K,
    valueType: V,
  ): TypeValidator<
    Map<
      UnwrapTypeFromCoerceableOrValidator<K>,
      UnwrapTypeFromCoerceableOrValidator<V>
    >
  >;
  setOf<T extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(
    itemType: T,
  ): TypeValidator<Set<UnwrapTypeFromCoerceableOrValidator<T>>>;
  maybe<T extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(
    itemType: T,
  ): TypeValidator<UnwrapTypeFromCoerceableOrValidator<T> | undefined | null>;
  objectWithProperties<
    T extends {
      [key: string | number | symbol]:
        TypeValidator<any> | CoerceableToTypeValidator | unknown;
    },
  >(
    properties: T,
  ): TypeValidator<{
    [key in keyof T]: UnwrapTypeFromCoerceableOrValidator<T[key]>;
  }>;
  objectWithOnlyTheseProperties<
    T extends {
      [key: string | number | symbol]:
        TypeValidator<any> | CoerceableToTypeValidator | unknown;
    },
  >(
    properties: T,
  ): TypeValidator<{
    [key in keyof T]: UnwrapTypeFromCoerceableOrValidator<T[key]>;
  }>;
  mappingObjectOf<
    Values extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    Keys extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
  >(
    keyType: Keys,
    valueType: Values,
  ): TypeValidator<
    Record<
      UnwrapTypeFromCoerceableOrValidator<Keys> extends string | number | symbol
        ? UnwrapTypeFromCoerceableOrValidator<Keys>
        : never,
      UnwrapTypeFromCoerceableOrValidator<Values>
    >
  >;
  record<
    Values extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    Keys extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
  >(
    keyType: Keys,
    valueType: Values,
  ): TypeValidator<
    Record<
      UnwrapTypeFromCoerceableOrValidator<Keys> extends string | number | symbol
        ? UnwrapTypeFromCoerceableOrValidator<Keys>
        : never,
      UnwrapTypeFromCoerceableOrValidator<Values>
    >
  >;
  partialObjectWithProperties<
    T extends {
      [key: string | number | symbol]:
        TypeValidator<any> | CoerceableToTypeValidator | unknown;
    },
  >(
    properties: T,
  ): TypeValidator<{
    [key in keyof T]:
      UnwrapTypeFromCoerceableOrValidator<T[key]> | null | undefined;
  }>;
  tuple: {
    <
      First extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    >(
      first: First,
      second: Second,
    ): TypeValidator<
      [
        UnwrapTypeFromCoerceableOrValidator<First>,
        UnwrapTypeFromCoerceableOrValidator<Second>,
      ]
    >;
    <
      First extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    >(
      first: First,
      second: Second,
      third: Third,
    ): TypeValidator<
      [
        UnwrapTypeFromCoerceableOrValidator<First>,
        UnwrapTypeFromCoerceableOrValidator<Second>,
        UnwrapTypeFromCoerceableOrValidator<Third>,
      ]
    >;
    <
      First extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    >(
      first: First,
      second: Second,
      third: Third,
      fourth: Fourth,
    ): TypeValidator<
      [
        UnwrapTypeFromCoerceableOrValidator<First>,
        UnwrapTypeFromCoerceableOrValidator<Second>,
        UnwrapTypeFromCoerceableOrValidator<Third>,
        UnwrapTypeFromCoerceableOrValidator<Fourth>,
      ]
    >;
    <
      First extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    >(
      first: First,
      second: Second,
      third: Third,
      fourth: Fourth,
      fifth: Fifth,
    ): TypeValidator<
      [
        UnwrapTypeFromCoerceableOrValidator<First>,
        UnwrapTypeFromCoerceableOrValidator<Second>,
        UnwrapTypeFromCoerceableOrValidator<Third>,
        UnwrapTypeFromCoerceableOrValidator<Fourth>,
        UnwrapTypeFromCoerceableOrValidator<Fifth>,
      ]
    >;
    <
      First extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    >(
      first: First,
      second: Second,
      third: Third,
      fourth: Fourth,
      fifth: Fifth,
      sixth: Sixth,
    ): TypeValidator<
      [
        UnwrapTypeFromCoerceableOrValidator<First>,
        UnwrapTypeFromCoerceableOrValidator<Second>,
        UnwrapTypeFromCoerceableOrValidator<Third>,
        UnwrapTypeFromCoerceableOrValidator<Fourth>,
        UnwrapTypeFromCoerceableOrValidator<Fifth>,
        UnwrapTypeFromCoerceableOrValidator<Sixth>,
      ]
    >;
    <
      First extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    >(
      first: First,
      second: Second,
      third: Third,
      fourth: Fourth,
      fifth: Fifth,
      sixth: Sixth,
      seventh: Seventh,
    ): TypeValidator<
      [
        UnwrapTypeFromCoerceableOrValidator<First>,
        UnwrapTypeFromCoerceableOrValidator<Second>,
        UnwrapTypeFromCoerceableOrValidator<Third>,
        UnwrapTypeFromCoerceableOrValidator<Fourth>,
        UnwrapTypeFromCoerceableOrValidator<Fifth>,
        UnwrapTypeFromCoerceableOrValidator<Sixth>,
        UnwrapTypeFromCoerceableOrValidator<Seventh>,
      ]
    >;
    <
      First extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Eighth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    >(
      first: First,
      second: Second,
      third: Third,
      fourth: Fourth,
      fifth: Fifth,
      sixth: Sixth,
      seventh: Seventh,
      eighth: Eighth,
    ): TypeValidator<
      [
        UnwrapTypeFromCoerceableOrValidator<First>,
        UnwrapTypeFromCoerceableOrValidator<Second>,
        UnwrapTypeFromCoerceableOrValidator<Third>,
        UnwrapTypeFromCoerceableOrValidator<Fourth>,
        UnwrapTypeFromCoerceableOrValidator<Fifth>,
        UnwrapTypeFromCoerceableOrValidator<Sixth>,
        UnwrapTypeFromCoerceableOrValidator<Seventh>,
        UnwrapTypeFromCoerceableOrValidator<Eighth>,
      ]
    >;
    <
      First extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Eighth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Ninth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    >(
      first: First,
      second: Second,
      third: Third,
      fourth: Fourth,
      fifth: Fifth,
      sixth: Sixth,
      seventh: Seventh,
      eighth: Eighth,
      ninth: Ninth,
    ): TypeValidator<
      [
        UnwrapTypeFromCoerceableOrValidator<First>,
        UnwrapTypeFromCoerceableOrValidator<Second>,
        UnwrapTypeFromCoerceableOrValidator<Third>,
        UnwrapTypeFromCoerceableOrValidator<Fourth>,
        UnwrapTypeFromCoerceableOrValidator<Fifth>,
        UnwrapTypeFromCoerceableOrValidator<Sixth>,
        UnwrapTypeFromCoerceableOrValidator<Seventh>,
        UnwrapTypeFromCoerceableOrValidator<Eighth>,
        UnwrapTypeFromCoerceableOrValidator<Ninth>,
      ]
    >;
    <
      First extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Eighth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Ninth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
      Tenth extends TypeValidator<any> | CoerceableToTypeValidator | unknown,
    >(
      first: First,
      second: Second,
      third: Third,
      fourth: Fourth,
      fifth: Fifth,
      sixth: Sixth,
      seventh: Seventh,
      eighth: Eighth,
      ninth: Ninth,
      tenth: Tenth,
    ): TypeValidator<
      [
        UnwrapTypeFromCoerceableOrValidator<First>,
        UnwrapTypeFromCoerceableOrValidator<Second>,
        UnwrapTypeFromCoerceableOrValidator<Third>,
        UnwrapTypeFromCoerceableOrValidator<Fourth>,
        UnwrapTypeFromCoerceableOrValidator<Fifth>,
        UnwrapTypeFromCoerceableOrValidator<Sixth>,
        UnwrapTypeFromCoerceableOrValidator<Seventh>,
        UnwrapTypeFromCoerceableOrValidator<Eighth>,
        UnwrapTypeFromCoerceableOrValidator<Ninth>,
        UnwrapTypeFromCoerceableOrValidator<Tenth>,
      ]
    >;
  };
  coerce: <V extends CoerceableToTypeValidator | TypeValidator<any> | unknown>(
    value: V,
  ) => TypeValidator<UnwrapTypeFromCoerceableOrValidator<V>>;
  FILE: TypeValidator<FILE>;
  Path: TypeValidator<Path>;
  JSX: {
    unknownElement: TypeValidator<
      JSX.Element<
        {
          [key: string | symbol | number]: unknown;
        },
        unknown
      >
    >;
    anyElement: TypeValidator<JSX.Element<any, any>>;
    Element: TypeValidator<
      JSX.Element<
        {
          [key: string | symbol | number]: unknown;
        },
        unknown
      >
    >;
    Fragment: TypeValidator<JSX.Fragment>;
  };
};

types.any (property)

any: TypeValidator<any>;

types.unknown (property)

unknown: TypeValidator<unknown>;

types.anyObject (property)

anyObject: TypeValidator<{
  [key: string | number | symbol]: any;
}>;

types.unknownObject (property)

unknownObject: TypeValidator<{}>;

types.object (property)

object: TypeValidator<{}>;

types.Object (property)

Object: TypeValidator<{}>;

types.arrayOfAny (property)

arrayOfAny: TypeValidator<Array<any>>;

types.arrayOfUnknown (property)

arrayOfUnknown: TypeValidator<Array<unknown>>;

types.array (property)

array: TypeValidator<Array<unknown>>;

types.Array (property)

Array: TypeValidator<unknown[]>;

types.anyArray (property)

anyArray: TypeValidator<Array<any>>;

types.boolean (property)

boolean: TypeValidator<boolean>;

types.Boolean (property)

Boolean: TypeValidator<boolean>;

types.string (property)

string: TypeValidator<string>;

types.String (property)

String: TypeValidator<string>;

types.null (property)

null: TypeValidator<null>;

types.undefined (property)

undefined: TypeValidator<undefined>;

types.nullish (property)

nullish: TypeValidator<null | undefined>;

types.void (property)

void: TypeValidator<null | undefined>;

types.numberIncludingNanAndInfinities (property)

numberIncludingNanAndInfinities: TypeValidator<number>;

types.number (property)

number: TypeValidator<number>;

types.Number (property)

Number: TypeValidator<number>;

types.NaN (property)

NaN: TypeValidator<number>;

types.Infinity (property)

Infinity: TypeValidator<number>;

types.NegativeInfinity (property)

NegativeInfinity: TypeValidator<number>;

types.integer (property)

integer: TypeValidator<number>;

types.bigint (property)

bigint: TypeValidator<bigint>;

types.BigInt (property)

BigInt: TypeValidator<bigint>;

types.never (property)

never: TypeValidator<never>;

types.anyFunction (property)

anyFunction: TypeValidator<(...args: any) => any>;

types.unknownFunction (property)

unknownFunction: TypeValidator<(...args: Array<unknown>) => unknown>;

types.Function (property)

Function: TypeValidator<(...args: Array<unknown>) => unknown>;

types.false (property)

false: TypeValidator<false>;

types.true (property)

true: TypeValidator<true>;

types.falsy (property)

falsy: TypeValidator<false | null | undefined | "" | 0>;

types.truthy (function property)

truthy: <T>(target: false | "" | 0 | T | null | undefined) => target is T;

types.nonNullOrUndefined (function property)

nonNullOrUndefined: <T>(target: T | null | undefined) => target is T;

types.Error (property)

Error: TypeValidator<Error>;

types.Symbol (property)

Symbol: TypeValidator<symbol>;

types.symbol (property)

symbol: TypeValidator<symbol>;

types.RegExp (property)

RegExp: TypeValidator<RegExp>;

types.Date (property)

Date: TypeValidator<Date>;

types.anyMap (property)

anyMap: TypeValidator<Map<any, any>>;

types.unknownMap (property)

unknownMap: TypeValidator<Map<unknown, unknown>>;

types.map (property)

map: TypeValidator<Map<unknown, unknown>>;

types.Map (property)

Map: TypeValidator<Map<unknown, unknown>>;

types.anySet (property)

anySet: TypeValidator<Set<any>>;

types.unknownSet (property)

unknownSet: TypeValidator<Set<unknown>>;

types.set (property)

set: TypeValidator<Set<unknown>>;

types.Set (property)

Set: TypeValidator<Set<unknown>>;

types.ArrayBuffer (property)

ArrayBuffer: TypeValidator<ArrayBuffer>;

types.SharedArrayBuffer (property)

SharedArrayBuffer: TypeValidator<SharedArrayBuffer>;

types.DataView (property)

DataView: TypeValidator<DataView>;

types.TypedArray (property)

TypedArray: TypeValidator<
  | Int8Array
  | Uint8Array
  | Uint8ClampedArray
  | Int16Array
  | Uint16Array
  | Int32Array
  | Uint32Array
  | Float32Array
  | Float64Array
>;

types.Int8Array (property)

Int8Array: TypeValidator<Int8Array>;

types.Uint8Array (property)

Uint8Array: TypeValidator<Uint8Array>;

types.Uint8ClampedArray (property)

Uint8ClampedArray: TypeValidator<Uint8ClampedArray>;

types.Int16Array (property)

Int16Array: TypeValidator<Int16Array>;

types.Uint16Array (property)

Uint16Array: TypeValidator<Uint16Array>;

types.Int32Array (property)

Int32Array: TypeValidator<Int32Array>;

types.Uint32Array (property)

Uint32Array: TypeValidator<Uint32Array>;

types.Float32Array (property)

Float32Array: TypeValidator<Float32Array>;

types.Float64Array (property)

Float64Array: TypeValidator<Float64Array>;

types.exactString (method)

exactString<T extends string>(str: T): TypeValidator<T>;

types.exactNumber (method)

exactNumber<T extends number>(num: T): TypeValidator<T>;

types.exactBigInt (method)

exactBigInt<T extends bigint>(num: T): TypeValidator<T>;

types.exactSymbol (method)

exactSymbol<T extends symbol>(sym: T): TypeValidator<T>;

types.hasClassName (method)

hasClassName<Name extends string>(name: Name): TypeValidator<{
  constructor: Function & {
    name: Name;
  };
}>;

types.hasToStringTag (method)

hasToStringTag(name: string): TypeValidator<any>;

types.instanceOf (method)

instanceOf<Klass extends Function & {
  prototype: any;
}>(klass: Klass): TypeValidator<Klass["prototype"]>;

types.stringMatching (method)

stringMatching(regexp: RegExp): TypeValidator<string>;

types.symbolFor (method)

symbolFor(key: string): TypeValidator<symbol>;

types.arrayOf (method)

arrayOf<T extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(typeValidator: T): TypeValidator<Array<UnwrapTypeFromCoerceableOrValidator<T>>>;

types.intersection (function property)

intersection: {
  <First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> & UnwrapTypeFromCoerceableOrValidator<Second>>;
  <First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> & UnwrapTypeFromCoerceableOrValidator<Second> & UnwrapTypeFromCoerceableOrValidator<Third>>;
  <First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> & UnwrapTypeFromCoerceableOrValidator<Second> & UnwrapTypeFromCoerceableOrValidator<Third> & UnwrapTypeFromCoerceableOrValidator<Fourth>>;
  <First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> & UnwrapTypeFromCoerceableOrValidator<Second> & UnwrapTypeFromCoerceableOrValidator<Third> & UnwrapTypeFromCoerceableOrValidator<Fourth> & UnwrapTypeFromCoerceableOrValidator<Fifth>>;
  <First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> & UnwrapTypeFromCoerceableOrValidator<Second> & UnwrapTypeFromCoerceableOrValidator<Third> & UnwrapTypeFromCoerceableOrValidator<Fourth> & UnwrapTypeFromCoerceableOrValidator<Fifth> & UnwrapTypeFromCoerceableOrValidator<Sixth>>;
  <First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth, seventh: Seventh): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> & UnwrapTypeFromCoerceableOrValidator<Second> & UnwrapTypeFromCoerceableOrValidator<Third> & UnwrapTypeFromCoerceableOrValidator<Fourth> & UnwrapTypeFromCoerceableOrValidator<Fifth> & UnwrapTypeFromCoerceableOrValidator<Sixth> & UnwrapTypeFromCoerceableOrValidator<Seventh>>;
  <First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Eighth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth, seventh: Seventh, eighth: Eighth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> & UnwrapTypeFromCoerceableOrValidator<Second> & UnwrapTypeFromCoerceableOrValidator<Third> & UnwrapTypeFromCoerceableOrValidator<Fourth> & UnwrapTypeFromCoerceableOrValidator<Fifth> & UnwrapTypeFromCoerceableOrValidator<Sixth> & UnwrapTypeFromCoerceableOrValidator<Seventh> & UnwrapTypeFromCoerceableOrValidator<Eighth>>;
  <First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Eighth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Ninth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth, seventh: Seventh, eighth: Eighth, ninth: Ninth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> & UnwrapTypeFromCoerceableOrValidator<Second> & UnwrapTypeFromCoerceableOrValidator<Third> & UnwrapTypeFromCoerceableOrValidator<Fourth> & UnwrapTypeFromCoerceableOrValidator<Fifth> & UnwrapTypeFromCoerceableOrValidator<Sixth> & UnwrapTypeFromCoerceableOrValidator<Seventh> & UnwrapTypeFromCoerceableOrValidator<Eighth> & UnwrapTypeFromCoerceableOrValidator<Ninth>>;
  <First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Eighth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Ninth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Tenth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth, seventh: Seventh, eighth: Eighth, ninth: Ninth, tenth: Tenth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> & UnwrapTypeFromCoerceableOrValidator<Second> & UnwrapTypeFromCoerceableOrValidator<Third> & UnwrapTypeFromCoerceableOrValidator<Fourth> & UnwrapTypeFromCoerceableOrValidator<Fifth> & UnwrapTypeFromCoerceableOrValidator<Sixth> & UnwrapTypeFromCoerceableOrValidator<Seventh> & UnwrapTypeFromCoerceableOrValidator<Eighth> & UnwrapTypeFromCoerceableOrValidator<Ninth> & UnwrapTypeFromCoerceableOrValidator<Tenth>>;
};

types.intersection(...) (call signature)

<First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> & UnwrapTypeFromCoerceableOrValidator<Second>>;

types.intersection(...) (call signature)

<First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> & UnwrapTypeFromCoerceableOrValidator<Second> & UnwrapTypeFromCoerceableOrValidator<Third>>;

types.intersection(...) (call signature)

<First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> & UnwrapTypeFromCoerceableOrValidator<Second> & UnwrapTypeFromCoerceableOrValidator<Third> & UnwrapTypeFromCoerceableOrValidator<Fourth>>;

types.intersection(...) (call signature)

<First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> & UnwrapTypeFromCoerceableOrValidator<Second> & UnwrapTypeFromCoerceableOrValidator<Third> & UnwrapTypeFromCoerceableOrValidator<Fourth> & UnwrapTypeFromCoerceableOrValidator<Fifth>>;

types.intersection(...) (call signature)

<First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> & UnwrapTypeFromCoerceableOrValidator<Second> & UnwrapTypeFromCoerceableOrValidator<Third> & UnwrapTypeFromCoerceableOrValidator<Fourth> & UnwrapTypeFromCoerceableOrValidator<Fifth> & UnwrapTypeFromCoerceableOrValidator<Sixth>>;

types.intersection(...) (call signature)

<First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth, seventh: Seventh): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> & UnwrapTypeFromCoerceableOrValidator<Second> & UnwrapTypeFromCoerceableOrValidator<Third> & UnwrapTypeFromCoerceableOrValidator<Fourth> & UnwrapTypeFromCoerceableOrValidator<Fifth> & UnwrapTypeFromCoerceableOrValidator<Sixth> & UnwrapTypeFromCoerceableOrValidator<Seventh>>;

types.intersection(...) (call signature)

<First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Eighth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth, seventh: Seventh, eighth: Eighth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> & UnwrapTypeFromCoerceableOrValidator<Second> & UnwrapTypeFromCoerceableOrValidator<Third> & UnwrapTypeFromCoerceableOrValidator<Fourth> & UnwrapTypeFromCoerceableOrValidator<Fifth> & UnwrapTypeFromCoerceableOrValidator<Sixth> & UnwrapTypeFromCoerceableOrValidator<Seventh> & UnwrapTypeFromCoerceableOrValidator<Eighth>>;

types.intersection(...) (call signature)

<First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Eighth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Ninth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth, seventh: Seventh, eighth: Eighth, ninth: Ninth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> & UnwrapTypeFromCoerceableOrValidator<Second> & UnwrapTypeFromCoerceableOrValidator<Third> & UnwrapTypeFromCoerceableOrValidator<Fourth> & UnwrapTypeFromCoerceableOrValidator<Fifth> & UnwrapTypeFromCoerceableOrValidator<Sixth> & UnwrapTypeFromCoerceableOrValidator<Seventh> & UnwrapTypeFromCoerceableOrValidator<Eighth> & UnwrapTypeFromCoerceableOrValidator<Ninth>>;

types.intersection(...) (call signature)

<First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Eighth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Ninth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Tenth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth, seventh: Seventh, eighth: Eighth, ninth: Ninth, tenth: Tenth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> & UnwrapTypeFromCoerceableOrValidator<Second> & UnwrapTypeFromCoerceableOrValidator<Third> & UnwrapTypeFromCoerceableOrValidator<Fourth> & UnwrapTypeFromCoerceableOrValidator<Fifth> & UnwrapTypeFromCoerceableOrValidator<Sixth> & UnwrapTypeFromCoerceableOrValidator<Seventh> & UnwrapTypeFromCoerceableOrValidator<Eighth> & UnwrapTypeFromCoerceableOrValidator<Ninth> & UnwrapTypeFromCoerceableOrValidator<Tenth>>;

types.and (function property)

and: {
  <First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> & UnwrapTypeFromCoerceableOrValidator<Second>>;
  <First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> & UnwrapTypeFromCoerceableOrValidator<Second> & UnwrapTypeFromCoerceableOrValidator<Third>>;
  <First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> & UnwrapTypeFromCoerceableOrValidator<Second> & UnwrapTypeFromCoerceableOrValidator<Third> & UnwrapTypeFromCoerceableOrValidator<Fourth>>;
  <First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> & UnwrapTypeFromCoerceableOrValidator<Second> & UnwrapTypeFromCoerceableOrValidator<Third> & UnwrapTypeFromCoerceableOrValidator<Fourth> & UnwrapTypeFromCoerceableOrValidator<Fifth>>;
  <First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> & UnwrapTypeFromCoerceableOrValidator<Second> & UnwrapTypeFromCoerceableOrValidator<Third> & UnwrapTypeFromCoerceableOrValidator<Fourth> & UnwrapTypeFromCoerceableOrValidator<Fifth> & UnwrapTypeFromCoerceableOrValidator<Sixth>>;
  <First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth, seventh: Seventh): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> & UnwrapTypeFromCoerceableOrValidator<Second> & UnwrapTypeFromCoerceableOrValidator<Third> & UnwrapTypeFromCoerceableOrValidator<Fourth> & UnwrapTypeFromCoerceableOrValidator<Fifth> & UnwrapTypeFromCoerceableOrValidator<Sixth> & UnwrapTypeFromCoerceableOrValidator<Seventh>>;
  <First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Eighth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth, seventh: Seventh, eighth: Eighth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> & UnwrapTypeFromCoerceableOrValidator<Second> & UnwrapTypeFromCoerceableOrValidator<Third> & UnwrapTypeFromCoerceableOrValidator<Fourth> & UnwrapTypeFromCoerceableOrValidator<Fifth> & UnwrapTypeFromCoerceableOrValidator<Sixth> & UnwrapTypeFromCoerceableOrValidator<Seventh> & UnwrapTypeFromCoerceableOrValidator<Eighth>>;
  <First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Eighth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Ninth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth, seventh: Seventh, eighth: Eighth, ninth: Ninth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> & UnwrapTypeFromCoerceableOrValidator<Second> & UnwrapTypeFromCoerceableOrValidator<Third> & UnwrapTypeFromCoerceableOrValidator<Fourth> & UnwrapTypeFromCoerceableOrValidator<Fifth> & UnwrapTypeFromCoerceableOrValidator<Sixth> & UnwrapTypeFromCoerceableOrValidator<Seventh> & UnwrapTypeFromCoerceableOrValidator<Eighth> & UnwrapTypeFromCoerceableOrValidator<Ninth>>;
  <First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Eighth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Ninth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Tenth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth, seventh: Seventh, eighth: Eighth, ninth: Ninth, tenth: Tenth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> & UnwrapTypeFromCoerceableOrValidator<Second> & UnwrapTypeFromCoerceableOrValidator<Third> & UnwrapTypeFromCoerceableOrValidator<Fourth> & UnwrapTypeFromCoerceableOrValidator<Fifth> & UnwrapTypeFromCoerceableOrValidator<Sixth> & UnwrapTypeFromCoerceableOrValidator<Seventh> & UnwrapTypeFromCoerceableOrValidator<Eighth> & UnwrapTypeFromCoerceableOrValidator<Ninth> & UnwrapTypeFromCoerceableOrValidator<Tenth>>;
};

types.and(...) (call signature)

<First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> & UnwrapTypeFromCoerceableOrValidator<Second>>;

types.and(...) (call signature)

<First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> & UnwrapTypeFromCoerceableOrValidator<Second> & UnwrapTypeFromCoerceableOrValidator<Third>>;

types.and(...) (call signature)

<First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> & UnwrapTypeFromCoerceableOrValidator<Second> & UnwrapTypeFromCoerceableOrValidator<Third> & UnwrapTypeFromCoerceableOrValidator<Fourth>>;

types.and(...) (call signature)

<First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> & UnwrapTypeFromCoerceableOrValidator<Second> & UnwrapTypeFromCoerceableOrValidator<Third> & UnwrapTypeFromCoerceableOrValidator<Fourth> & UnwrapTypeFromCoerceableOrValidator<Fifth>>;

types.and(...) (call signature)

<First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> & UnwrapTypeFromCoerceableOrValidator<Second> & UnwrapTypeFromCoerceableOrValidator<Third> & UnwrapTypeFromCoerceableOrValidator<Fourth> & UnwrapTypeFromCoerceableOrValidator<Fifth> & UnwrapTypeFromCoerceableOrValidator<Sixth>>;

types.and(...) (call signature)

<First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth, seventh: Seventh): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> & UnwrapTypeFromCoerceableOrValidator<Second> & UnwrapTypeFromCoerceableOrValidator<Third> & UnwrapTypeFromCoerceableOrValidator<Fourth> & UnwrapTypeFromCoerceableOrValidator<Fifth> & UnwrapTypeFromCoerceableOrValidator<Sixth> & UnwrapTypeFromCoerceableOrValidator<Seventh>>;

types.and(...) (call signature)

<First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Eighth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth, seventh: Seventh, eighth: Eighth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> & UnwrapTypeFromCoerceableOrValidator<Second> & UnwrapTypeFromCoerceableOrValidator<Third> & UnwrapTypeFromCoerceableOrValidator<Fourth> & UnwrapTypeFromCoerceableOrValidator<Fifth> & UnwrapTypeFromCoerceableOrValidator<Sixth> & UnwrapTypeFromCoerceableOrValidator<Seventh> & UnwrapTypeFromCoerceableOrValidator<Eighth>>;

types.and(...) (call signature)

<First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Eighth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Ninth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth, seventh: Seventh, eighth: Eighth, ninth: Ninth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> & UnwrapTypeFromCoerceableOrValidator<Second> & UnwrapTypeFromCoerceableOrValidator<Third> & UnwrapTypeFromCoerceableOrValidator<Fourth> & UnwrapTypeFromCoerceableOrValidator<Fifth> & UnwrapTypeFromCoerceableOrValidator<Sixth> & UnwrapTypeFromCoerceableOrValidator<Seventh> & UnwrapTypeFromCoerceableOrValidator<Eighth> & UnwrapTypeFromCoerceableOrValidator<Ninth>>;

types.and(...) (call signature)

<First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Eighth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Ninth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Tenth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth, seventh: Seventh, eighth: Eighth, ninth: Ninth, tenth: Tenth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> & UnwrapTypeFromCoerceableOrValidator<Second> & UnwrapTypeFromCoerceableOrValidator<Third> & UnwrapTypeFromCoerceableOrValidator<Fourth> & UnwrapTypeFromCoerceableOrValidator<Fifth> & UnwrapTypeFromCoerceableOrValidator<Sixth> & UnwrapTypeFromCoerceableOrValidator<Seventh> & UnwrapTypeFromCoerceableOrValidator<Eighth> & UnwrapTypeFromCoerceableOrValidator<Ninth> & UnwrapTypeFromCoerceableOrValidator<Tenth>>;

types.union (function property)

union: {
  <First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> | UnwrapTypeFromCoerceableOrValidator<Second>>;
  <First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> | UnwrapTypeFromCoerceableOrValidator<Second> | UnwrapTypeFromCoerceableOrValidator<Third>>;
  <First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> | UnwrapTypeFromCoerceableOrValidator<Second> | UnwrapTypeFromCoerceableOrValidator<Third> | UnwrapTypeFromCoerceableOrValidator<Fourth>>;
  <First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> | UnwrapTypeFromCoerceableOrValidator<Second> | UnwrapTypeFromCoerceableOrValidator<Third> | UnwrapTypeFromCoerceableOrValidator<Fourth> | UnwrapTypeFromCoerceableOrValidator<Fifth>>;
  <First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> | UnwrapTypeFromCoerceableOrValidator<Second> | UnwrapTypeFromCoerceableOrValidator<Third> | UnwrapTypeFromCoerceableOrValidator<Fourth> | UnwrapTypeFromCoerceableOrValidator<Fifth> | UnwrapTypeFromCoerceableOrValidator<Sixth>>;
  <First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth, seventh: Seventh): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> | UnwrapTypeFromCoerceableOrValidator<Second> | UnwrapTypeFromCoerceableOrValidator<Third> | UnwrapTypeFromCoerceableOrValidator<Fourth> | UnwrapTypeFromCoerceableOrValidator<Fifth> | UnwrapTypeFromCoerceableOrValidator<Sixth> | UnwrapTypeFromCoerceableOrValidator<Seventh>>;
  <First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Eighth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth, seventh: Seventh, eighth: Eighth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> | UnwrapTypeFromCoerceableOrValidator<Second> | UnwrapTypeFromCoerceableOrValidator<Third> | UnwrapTypeFromCoerceableOrValidator<Fourth> | UnwrapTypeFromCoerceableOrValidator<Fifth> | UnwrapTypeFromCoerceableOrValidator<Sixth> | UnwrapTypeFromCoerceableOrValidator<Seventh> | UnwrapTypeFromCoerceableOrValidator<Eighth>>;
  <First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Eighth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Ninth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth, seventh: Seventh, eighth: Eighth, ninth: Ninth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> | UnwrapTypeFromCoerceableOrValidator<Second> | UnwrapTypeFromCoerceableOrValidator<Third> | UnwrapTypeFromCoerceableOrValidator<Fourth> | UnwrapTypeFromCoerceableOrValidator<Fifth> | UnwrapTypeFromCoerceableOrValidator<Sixth> | UnwrapTypeFromCoerceableOrValidator<Seventh> | UnwrapTypeFromCoerceableOrValidator<Eighth> | UnwrapTypeFromCoerceableOrValidator<Ninth>>;
  <First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Eighth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Ninth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Tenth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth, seventh: Seventh, eighth: Eighth, ninth: Ninth, tenth: Tenth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> | UnwrapTypeFromCoerceableOrValidator<Second> | UnwrapTypeFromCoerceableOrValidator<Third> | UnwrapTypeFromCoerceableOrValidator<Fourth> | UnwrapTypeFromCoerceableOrValidator<Fifth> | UnwrapTypeFromCoerceableOrValidator<Sixth> | UnwrapTypeFromCoerceableOrValidator<Seventh> | UnwrapTypeFromCoerceableOrValidator<Eighth> | UnwrapTypeFromCoerceableOrValidator<Ninth> | UnwrapTypeFromCoerceableOrValidator<Tenth>>;
};

types.union(...) (call signature)

<First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> | UnwrapTypeFromCoerceableOrValidator<Second>>;

types.union(...) (call signature)

<First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> | UnwrapTypeFromCoerceableOrValidator<Second> | UnwrapTypeFromCoerceableOrValidator<Third>>;

types.union(...) (call signature)

<First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> | UnwrapTypeFromCoerceableOrValidator<Second> | UnwrapTypeFromCoerceableOrValidator<Third> | UnwrapTypeFromCoerceableOrValidator<Fourth>>;

types.union(...) (call signature)

<First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> | UnwrapTypeFromCoerceableOrValidator<Second> | UnwrapTypeFromCoerceableOrValidator<Third> | UnwrapTypeFromCoerceableOrValidator<Fourth> | UnwrapTypeFromCoerceableOrValidator<Fifth>>;

types.union(...) (call signature)

<First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> | UnwrapTypeFromCoerceableOrValidator<Second> | UnwrapTypeFromCoerceableOrValidator<Third> | UnwrapTypeFromCoerceableOrValidator<Fourth> | UnwrapTypeFromCoerceableOrValidator<Fifth> | UnwrapTypeFromCoerceableOrValidator<Sixth>>;

types.union(...) (call signature)

<First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth, seventh: Seventh): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> | UnwrapTypeFromCoerceableOrValidator<Second> | UnwrapTypeFromCoerceableOrValidator<Third> | UnwrapTypeFromCoerceableOrValidator<Fourth> | UnwrapTypeFromCoerceableOrValidator<Fifth> | UnwrapTypeFromCoerceableOrValidator<Sixth> | UnwrapTypeFromCoerceableOrValidator<Seventh>>;

types.union(...) (call signature)

<First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Eighth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth, seventh: Seventh, eighth: Eighth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> | UnwrapTypeFromCoerceableOrValidator<Second> | UnwrapTypeFromCoerceableOrValidator<Third> | UnwrapTypeFromCoerceableOrValidator<Fourth> | UnwrapTypeFromCoerceableOrValidator<Fifth> | UnwrapTypeFromCoerceableOrValidator<Sixth> | UnwrapTypeFromCoerceableOrValidator<Seventh> | UnwrapTypeFromCoerceableOrValidator<Eighth>>;

types.union(...) (call signature)

<First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Eighth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Ninth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth, seventh: Seventh, eighth: Eighth, ninth: Ninth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> | UnwrapTypeFromCoerceableOrValidator<Second> | UnwrapTypeFromCoerceableOrValidator<Third> | UnwrapTypeFromCoerceableOrValidator<Fourth> | UnwrapTypeFromCoerceableOrValidator<Fifth> | UnwrapTypeFromCoerceableOrValidator<Sixth> | UnwrapTypeFromCoerceableOrValidator<Seventh> | UnwrapTypeFromCoerceableOrValidator<Eighth> | UnwrapTypeFromCoerceableOrValidator<Ninth>>;

types.union(...) (call signature)

<First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Eighth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Ninth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Tenth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth, seventh: Seventh, eighth: Eighth, ninth: Ninth, tenth: Tenth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> | UnwrapTypeFromCoerceableOrValidator<Second> | UnwrapTypeFromCoerceableOrValidator<Third> | UnwrapTypeFromCoerceableOrValidator<Fourth> | UnwrapTypeFromCoerceableOrValidator<Fifth> | UnwrapTypeFromCoerceableOrValidator<Sixth> | UnwrapTypeFromCoerceableOrValidator<Seventh> | UnwrapTypeFromCoerceableOrValidator<Eighth> | UnwrapTypeFromCoerceableOrValidator<Ninth> | UnwrapTypeFromCoerceableOrValidator<Tenth>>;

types.or (function property)

or: {
  <First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> | UnwrapTypeFromCoerceableOrValidator<Second>>;
  <First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> | UnwrapTypeFromCoerceableOrValidator<Second> | UnwrapTypeFromCoerceableOrValidator<Third>>;
  <First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> | UnwrapTypeFromCoerceableOrValidator<Second> | UnwrapTypeFromCoerceableOrValidator<Third> | UnwrapTypeFromCoerceableOrValidator<Fourth>>;
  <First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> | UnwrapTypeFromCoerceableOrValidator<Second> | UnwrapTypeFromCoerceableOrValidator<Third> | UnwrapTypeFromCoerceableOrValidator<Fourth> | UnwrapTypeFromCoerceableOrValidator<Fifth>>;
  <First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> | UnwrapTypeFromCoerceableOrValidator<Second> | UnwrapTypeFromCoerceableOrValidator<Third> | UnwrapTypeFromCoerceableOrValidator<Fourth> | UnwrapTypeFromCoerceableOrValidator<Fifth> | UnwrapTypeFromCoerceableOrValidator<Sixth>>;
  <First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth, seventh: Seventh): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> | UnwrapTypeFromCoerceableOrValidator<Second> | UnwrapTypeFromCoerceableOrValidator<Third> | UnwrapTypeFromCoerceableOrValidator<Fourth> | UnwrapTypeFromCoerceableOrValidator<Fifth> | UnwrapTypeFromCoerceableOrValidator<Sixth> | UnwrapTypeFromCoerceableOrValidator<Seventh>>;
  <First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Eighth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth, seventh: Seventh, eighth: Eighth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> | UnwrapTypeFromCoerceableOrValidator<Second> | UnwrapTypeFromCoerceableOrValidator<Third> | UnwrapTypeFromCoerceableOrValidator<Fourth> | UnwrapTypeFromCoerceableOrValidator<Fifth> | UnwrapTypeFromCoerceableOrValidator<Sixth> | UnwrapTypeFromCoerceableOrValidator<Seventh> | UnwrapTypeFromCoerceableOrValidator<Eighth>>;
  <First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Eighth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Ninth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth, seventh: Seventh, eighth: Eighth, ninth: Ninth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> | UnwrapTypeFromCoerceableOrValidator<Second> | UnwrapTypeFromCoerceableOrValidator<Third> | UnwrapTypeFromCoerceableOrValidator<Fourth> | UnwrapTypeFromCoerceableOrValidator<Fifth> | UnwrapTypeFromCoerceableOrValidator<Sixth> | UnwrapTypeFromCoerceableOrValidator<Seventh> | UnwrapTypeFromCoerceableOrValidator<Eighth> | UnwrapTypeFromCoerceableOrValidator<Ninth>>;
  <First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Eighth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Ninth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Tenth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth, seventh: Seventh, eighth: Eighth, ninth: Ninth, tenth: Tenth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> | UnwrapTypeFromCoerceableOrValidator<Second> | UnwrapTypeFromCoerceableOrValidator<Third> | UnwrapTypeFromCoerceableOrValidator<Fourth> | UnwrapTypeFromCoerceableOrValidator<Fifth> | UnwrapTypeFromCoerceableOrValidator<Sixth> | UnwrapTypeFromCoerceableOrValidator<Seventh> | UnwrapTypeFromCoerceableOrValidator<Eighth> | UnwrapTypeFromCoerceableOrValidator<Ninth> | UnwrapTypeFromCoerceableOrValidator<Tenth>>;
};

types.or(...) (call signature)

<First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> | UnwrapTypeFromCoerceableOrValidator<Second>>;

types.or(...) (call signature)

<First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> | UnwrapTypeFromCoerceableOrValidator<Second> | UnwrapTypeFromCoerceableOrValidator<Third>>;

types.or(...) (call signature)

<First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> | UnwrapTypeFromCoerceableOrValidator<Second> | UnwrapTypeFromCoerceableOrValidator<Third> | UnwrapTypeFromCoerceableOrValidator<Fourth>>;

types.or(...) (call signature)

<First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> | UnwrapTypeFromCoerceableOrValidator<Second> | UnwrapTypeFromCoerceableOrValidator<Third> | UnwrapTypeFromCoerceableOrValidator<Fourth> | UnwrapTypeFromCoerceableOrValidator<Fifth>>;

types.or(...) (call signature)

<First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> | UnwrapTypeFromCoerceableOrValidator<Second> | UnwrapTypeFromCoerceableOrValidator<Third> | UnwrapTypeFromCoerceableOrValidator<Fourth> | UnwrapTypeFromCoerceableOrValidator<Fifth> | UnwrapTypeFromCoerceableOrValidator<Sixth>>;

types.or(...) (call signature)

<First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth, seventh: Seventh): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> | UnwrapTypeFromCoerceableOrValidator<Second> | UnwrapTypeFromCoerceableOrValidator<Third> | UnwrapTypeFromCoerceableOrValidator<Fourth> | UnwrapTypeFromCoerceableOrValidator<Fifth> | UnwrapTypeFromCoerceableOrValidator<Sixth> | UnwrapTypeFromCoerceableOrValidator<Seventh>>;

types.or(...) (call signature)

<First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Eighth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth, seventh: Seventh, eighth: Eighth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> | UnwrapTypeFromCoerceableOrValidator<Second> | UnwrapTypeFromCoerceableOrValidator<Third> | UnwrapTypeFromCoerceableOrValidator<Fourth> | UnwrapTypeFromCoerceableOrValidator<Fifth> | UnwrapTypeFromCoerceableOrValidator<Sixth> | UnwrapTypeFromCoerceableOrValidator<Seventh> | UnwrapTypeFromCoerceableOrValidator<Eighth>>;

types.or(...) (call signature)

<First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Eighth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Ninth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth, seventh: Seventh, eighth: Eighth, ninth: Ninth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> | UnwrapTypeFromCoerceableOrValidator<Second> | UnwrapTypeFromCoerceableOrValidator<Third> | UnwrapTypeFromCoerceableOrValidator<Fourth> | UnwrapTypeFromCoerceableOrValidator<Fifth> | UnwrapTypeFromCoerceableOrValidator<Sixth> | UnwrapTypeFromCoerceableOrValidator<Seventh> | UnwrapTypeFromCoerceableOrValidator<Eighth> | UnwrapTypeFromCoerceableOrValidator<Ninth>>;

types.or(...) (call signature)

<First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Eighth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Ninth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Tenth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth, seventh: Seventh, eighth: Eighth, ninth: Ninth, tenth: Tenth): TypeValidator<UnwrapTypeFromCoerceableOrValidator<First> | UnwrapTypeFromCoerceableOrValidator<Second> | UnwrapTypeFromCoerceableOrValidator<Third> | UnwrapTypeFromCoerceableOrValidator<Fourth> | UnwrapTypeFromCoerceableOrValidator<Fifth> | UnwrapTypeFromCoerceableOrValidator<Sixth> | UnwrapTypeFromCoerceableOrValidator<Seventh> | UnwrapTypeFromCoerceableOrValidator<Eighth> | UnwrapTypeFromCoerceableOrValidator<Ninth> | UnwrapTypeFromCoerceableOrValidator<Tenth>>;

types.mapOf (method)

mapOf<K extends TypeValidator<any> | CoerceableToTypeValidator | unknown, V extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(keyType: K, valueType: V): TypeValidator<Map<UnwrapTypeFromCoerceableOrValidator<K>, UnwrapTypeFromCoerceableOrValidator<V>>>;

types.setOf (method)

setOf<T extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(itemType: T): TypeValidator<Set<UnwrapTypeFromCoerceableOrValidator<T>>>;

types.maybe (method)

maybe<T extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(itemType: T): TypeValidator<UnwrapTypeFromCoerceableOrValidator<T> | undefined | null>;

types.objectWithProperties (method)

objectWithProperties<T extends {
  [key: string | number | symbol]: TypeValidator<any> | CoerceableToTypeValidator | unknown;
}>(properties: T): TypeValidator<{ [key in keyof T]: UnwrapTypeFromCoerceableOrValidator<T[key]> }>;

types.objectWithOnlyTheseProperties (method)

objectWithOnlyTheseProperties<T extends {
  [key: string | number | symbol]: TypeValidator<any> | CoerceableToTypeValidator | unknown;
}>(properties: T): TypeValidator<{ [key in keyof T]: UnwrapTypeFromCoerceableOrValidator<T[key]> }>;

types.mappingObjectOf (method)

mappingObjectOf<Values extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Keys extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(keyType: Keys, valueType: Values): TypeValidator<Record<UnwrapTypeFromCoerceableOrValidator<Keys> extends string | number | symbol ? UnwrapTypeFromCoerceableOrValidator<Keys> : never, UnwrapTypeFromCoerceableOrValidator<Values>>>;

types.record (method)

record<Values extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Keys extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(keyType: Keys, valueType: Values): TypeValidator<Record<UnwrapTypeFromCoerceableOrValidator<Keys> extends string | number | symbol ? UnwrapTypeFromCoerceableOrValidator<Keys> : never, UnwrapTypeFromCoerceableOrValidator<Values>>>;

types.partialObjectWithProperties (method)

partialObjectWithProperties<T extends {
  [key: string | number | symbol]: TypeValidator<any> | CoerceableToTypeValidator | unknown;
}>(properties: T): TypeValidator<{ [key in keyof T]: UnwrapTypeFromCoerceableOrValidator<T[key]> | null | undefined }>;

types.tuple (function property)

tuple: {
  <First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second): TypeValidator<[UnwrapTypeFromCoerceableOrValidator<First>, UnwrapTypeFromCoerceableOrValidator<Second>]>;
  <First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third): TypeValidator<[UnwrapTypeFromCoerceableOrValidator<First>, UnwrapTypeFromCoerceableOrValidator<Second>, UnwrapTypeFromCoerceableOrValidator<Third>]>;
  <First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth): TypeValidator<[UnwrapTypeFromCoerceableOrValidator<First>, UnwrapTypeFromCoerceableOrValidator<Second>, UnwrapTypeFromCoerceableOrValidator<Third>, UnwrapTypeFromCoerceableOrValidator<Fourth>]>;
  <First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth): TypeValidator<[UnwrapTypeFromCoerceableOrValidator<First>, UnwrapTypeFromCoerceableOrValidator<Second>, UnwrapTypeFromCoerceableOrValidator<Third>, UnwrapTypeFromCoerceableOrValidator<Fourth>, UnwrapTypeFromCoerceableOrValidator<Fifth>]>;
  <First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth): TypeValidator<[UnwrapTypeFromCoerceableOrValidator<First>, UnwrapTypeFromCoerceableOrValidator<Second>, UnwrapTypeFromCoerceableOrValidator<Third>, UnwrapTypeFromCoerceableOrValidator<Fourth>, UnwrapTypeFromCoerceableOrValidator<Fifth>, UnwrapTypeFromCoerceableOrValidator<Sixth>]>;
  <First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth, seventh: Seventh): TypeValidator<[UnwrapTypeFromCoerceableOrValidator<First>, UnwrapTypeFromCoerceableOrValidator<Second>, UnwrapTypeFromCoerceableOrValidator<Third>, UnwrapTypeFromCoerceableOrValidator<Fourth>, UnwrapTypeFromCoerceableOrValidator<Fifth>, UnwrapTypeFromCoerceableOrValidator<Sixth>, UnwrapTypeFromCoerceableOrValidator<Seventh>]>;
  <First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Eighth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth, seventh: Seventh, eighth: Eighth): TypeValidator<[UnwrapTypeFromCoerceableOrValidator<First>, UnwrapTypeFromCoerceableOrValidator<Second>, UnwrapTypeFromCoerceableOrValidator<Third>, UnwrapTypeFromCoerceableOrValidator<Fourth>, UnwrapTypeFromCoerceableOrValidator<Fifth>, UnwrapTypeFromCoerceableOrValidator<Sixth>, UnwrapTypeFromCoerceableOrValidator<Seventh>, UnwrapTypeFromCoerceableOrValidator<Eighth>]>;
  <First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Eighth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Ninth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth, seventh: Seventh, eighth: Eighth, ninth: Ninth): TypeValidator<[UnwrapTypeFromCoerceableOrValidator<First>, UnwrapTypeFromCoerceableOrValidator<Second>, UnwrapTypeFromCoerceableOrValidator<Third>, UnwrapTypeFromCoerceableOrValidator<Fourth>, UnwrapTypeFromCoerceableOrValidator<Fifth>, UnwrapTypeFromCoerceableOrValidator<Sixth>, UnwrapTypeFromCoerceableOrValidator<Seventh>, UnwrapTypeFromCoerceableOrValidator<Eighth>, UnwrapTypeFromCoerceableOrValidator<Ninth>]>;
  <First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Eighth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Ninth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Tenth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth, seventh: Seventh, eighth: Eighth, ninth: Ninth, tenth: Tenth): TypeValidator<[UnwrapTypeFromCoerceableOrValidator<First>, UnwrapTypeFromCoerceableOrValidator<Second>, UnwrapTypeFromCoerceableOrValidator<Third>, UnwrapTypeFromCoerceableOrValidator<Fourth>, UnwrapTypeFromCoerceableOrValidator<Fifth>, UnwrapTypeFromCoerceableOrValidator<Sixth>, UnwrapTypeFromCoerceableOrValidator<Seventh>, UnwrapTypeFromCoerceableOrValidator<Eighth>, UnwrapTypeFromCoerceableOrValidator<Ninth>, UnwrapTypeFromCoerceableOrValidator<Tenth>]>;
};

types.tuple(...) (call signature)

<First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second): TypeValidator<[UnwrapTypeFromCoerceableOrValidator<First>, UnwrapTypeFromCoerceableOrValidator<Second>]>;

types.tuple(...) (call signature)

<First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third): TypeValidator<[UnwrapTypeFromCoerceableOrValidator<First>, UnwrapTypeFromCoerceableOrValidator<Second>, UnwrapTypeFromCoerceableOrValidator<Third>]>;

types.tuple(...) (call signature)

<First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth): TypeValidator<[UnwrapTypeFromCoerceableOrValidator<First>, UnwrapTypeFromCoerceableOrValidator<Second>, UnwrapTypeFromCoerceableOrValidator<Third>, UnwrapTypeFromCoerceableOrValidator<Fourth>]>;

types.tuple(...) (call signature)

<First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth): TypeValidator<[UnwrapTypeFromCoerceableOrValidator<First>, UnwrapTypeFromCoerceableOrValidator<Second>, UnwrapTypeFromCoerceableOrValidator<Third>, UnwrapTypeFromCoerceableOrValidator<Fourth>, UnwrapTypeFromCoerceableOrValidator<Fifth>]>;

types.tuple(...) (call signature)

<First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth): TypeValidator<[UnwrapTypeFromCoerceableOrValidator<First>, UnwrapTypeFromCoerceableOrValidator<Second>, UnwrapTypeFromCoerceableOrValidator<Third>, UnwrapTypeFromCoerceableOrValidator<Fourth>, UnwrapTypeFromCoerceableOrValidator<Fifth>, UnwrapTypeFromCoerceableOrValidator<Sixth>]>;

types.tuple(...) (call signature)

<First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth, seventh: Seventh): TypeValidator<[UnwrapTypeFromCoerceableOrValidator<First>, UnwrapTypeFromCoerceableOrValidator<Second>, UnwrapTypeFromCoerceableOrValidator<Third>, UnwrapTypeFromCoerceableOrValidator<Fourth>, UnwrapTypeFromCoerceableOrValidator<Fifth>, UnwrapTypeFromCoerceableOrValidator<Sixth>, UnwrapTypeFromCoerceableOrValidator<Seventh>]>;

types.tuple(...) (call signature)

<First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Eighth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth, seventh: Seventh, eighth: Eighth): TypeValidator<[UnwrapTypeFromCoerceableOrValidator<First>, UnwrapTypeFromCoerceableOrValidator<Second>, UnwrapTypeFromCoerceableOrValidator<Third>, UnwrapTypeFromCoerceableOrValidator<Fourth>, UnwrapTypeFromCoerceableOrValidator<Fifth>, UnwrapTypeFromCoerceableOrValidator<Sixth>, UnwrapTypeFromCoerceableOrValidator<Seventh>, UnwrapTypeFromCoerceableOrValidator<Eighth>]>;

types.tuple(...) (call signature)

<First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Eighth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Ninth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth, seventh: Seventh, eighth: Eighth, ninth: Ninth): TypeValidator<[UnwrapTypeFromCoerceableOrValidator<First>, UnwrapTypeFromCoerceableOrValidator<Second>, UnwrapTypeFromCoerceableOrValidator<Third>, UnwrapTypeFromCoerceableOrValidator<Fourth>, UnwrapTypeFromCoerceableOrValidator<Fifth>, UnwrapTypeFromCoerceableOrValidator<Sixth>, UnwrapTypeFromCoerceableOrValidator<Seventh>, UnwrapTypeFromCoerceableOrValidator<Eighth>, UnwrapTypeFromCoerceableOrValidator<Ninth>]>;

types.tuple(...) (call signature)

<First extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Second extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Third extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fourth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Fifth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Sixth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Seventh extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Eighth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Ninth extends TypeValidator<any> | CoerceableToTypeValidator | unknown, Tenth extends TypeValidator<any> | CoerceableToTypeValidator | unknown>(first: First, second: Second, third: Third, fourth: Fourth, fifth: Fifth, sixth: Sixth, seventh: Seventh, eighth: Eighth, ninth: Ninth, tenth: Tenth): TypeValidator<[UnwrapTypeFromCoerceableOrValidator<First>, UnwrapTypeFromCoerceableOrValidator<Second>, UnwrapTypeFromCoerceableOrValidator<Third>, UnwrapTypeFromCoerceableOrValidator<Fourth>, UnwrapTypeFromCoerceableOrValidator<Fifth>, UnwrapTypeFromCoerceableOrValidator<Sixth>, UnwrapTypeFromCoerceableOrValidator<Seventh>, UnwrapTypeFromCoerceableOrValidator<Eighth>, UnwrapTypeFromCoerceableOrValidator<Ninth>, UnwrapTypeFromCoerceableOrValidator<Tenth>]>;

types.coerce (function property)

coerce: <V extends CoerceableToTypeValidator | TypeValidator<any> | unknown>(
  value: V,
) => TypeValidator<UnwrapTypeFromCoerceableOrValidator<V>>;

types.FILE (property)

FILE: TypeValidator<FILE>;

types.Path (property)

Path: TypeValidator<Path>;

types.JSX (object property)

JSX: {
  unknownElement: TypeValidator<
    JSX.Element<
      {
        [key: string | symbol | number]: unknown;
      },
      unknown
    >
  >;
  anyElement: TypeValidator<JSX.Element<any, any>>;
  Element: TypeValidator<
    JSX.Element<
      {
        [key: string | symbol | number]: unknown;
      },
      unknown
    >
  >;
  Fragment: TypeValidator<JSX.Fragment>;
}

types.JSX.unknownElement (property)

unknownElement: TypeValidator<
  JSX.Element<
    {
      [key: string | symbol | number]: unknown;
    },
    unknown
  >
>;

types.JSX.anyElement (property)

anyElement: TypeValidator<JSX.Element<any, any>>;

types.JSX.Element (property)

Element: TypeValidator<
  JSX.Element<
    {
      [key: string | symbol | number]: unknown;
    },
    unknown
  >
>;

types.JSX.Fragment (property)

Fragment: TypeValidator<JSX.Fragment>;

TypeValidator (type)

declare type TypeValidator<T> = (value: any) => value is T;

CoerceToTypeValidator (type)

declare type CoerceToTypeValidator<V extends CoerceableToTypeValidator> =
  V extends StringConstructor
    ? TypeValidator<string>
    : V extends NumberConstructor
      ? TypeValidator<number>
      : V extends BooleanConstructor
        ? TypeValidator<boolean>
        : V extends BigIntConstructor
          ? TypeValidator<BigInt>
          : V extends SymbolConstructor
            ? TypeValidator<Symbol>
            : V extends RegExpConstructor
              ? TypeValidator<RegExp>
              : V extends ArrayConstructor
                ? TypeValidator<Array<unknown>>
                : V extends SetConstructor
                  ? TypeValidator<Set<unknown>>
                  : V extends MapConstructor
                    ? TypeValidator<Map<unknown, unknown>>
                    : V extends ObjectConstructor
                      ? TypeValidator<{
                          [key: string | number | symbol]: unknown;
                        }>
                      : V extends DateConstructor
                        ? TypeValidator<Date>
                        : V extends FunctionConstructor
                          ? TypeValidator<Function>
                          : V extends ArrayBufferConstructor
                            ? TypeValidator<ArrayBuffer>
                            : V extends SharedArrayBufferConstructor
                              ? TypeValidator<SharedArrayBuffer>
                              : V extends DataViewConstructor
                                ? TypeValidator<DataView>
                                : V extends Int8ArrayConstructor
                                  ? TypeValidator<Int8Array>
                                  : V extends Uint8ArrayConstructor
                                    ? TypeValidator<Uint8Array>
                                    : V extends Uint8ClampedArrayConstructor
                                      ? TypeValidator<Uint8ClampedArray>
                                      : V extends Int16ArrayConstructor
                                        ? TypeValidator<Int16Array>
                                        : V extends Uint16ArrayConstructor
                                          ? TypeValidator<Uint16Array>
                                          : V extends Int32ArrayConstructor
                                            ? TypeValidator<Int32Array>
                                            : V extends Uint32ArrayConstructor
                                              ? TypeValidator<Uint32Array>
                                              : V extends Float32ArrayConstructor
                                                ? TypeValidator<Float32Array>
                                                : V extends Float64ArrayConstructor
                                                  ? TypeValidator<Float64Array>
                                                  : V extends RegExp
                                                    ? TypeValidator<string>
                                                    : V extends {}
                                                      ? TypeValidator<{
                                                          [
                                                            key in keyof V
                                                          ]: CoerceToTypeValidator<
                                                            V[key]
                                                          >;
                                                        }>
                                                      : V extends []
                                                        ? TypeValidator<[]>
                                                        : V extends [any]
                                                          ? TypeValidator<
                                                              Array<
                                                                CoerceToTypeValidator<
                                                                  V[0]
                                                                >
                                                              >
                                                            >
                                                          : V extends Array<any>
                                                            ? TypeValidator<
                                                                Array<unknown>
                                                              >
                                                            : V extends {
                                                                  new (
                                                                    ...args: any
                                                                  ): any;
                                                                }
                                                              ? TypeValidator<
                                                                  InstanceType<V>
                                                                >
                                                              : TypeValidator<V>;

CoerceableToTypeValidator (type)

declare type CoerceableToTypeValidator =
  | boolean
  | number
  | string
  | bigint
  | undefined
  | null
  | RegExp
  | StringConstructor
  | NumberConstructor
  | BooleanConstructor
  | BigIntConstructor
  | SymbolConstructor
  | RegExpConstructor
  | ArrayConstructor
  | SetConstructor
  | MapConstructor
  | ObjectConstructor
  | DateConstructor
  | FunctionConstructor
  | ArrayBufferConstructor
  | SharedArrayBufferConstructor
  | DataViewConstructor
  | Int8ArrayConstructor
  | Uint8ArrayConstructor
  | Uint8ClampedArrayConstructor
  | Int16ArrayConstructor
  | Uint16ArrayConstructor
  | Int32ArrayConstructor
  | Uint32ArrayConstructor
  | Float32ArrayConstructor
  | Float64ArrayConstructor
  | {}
  | []
  | [any]
  | Array<any>
  | {
      new (...args: any): any;
    };

UnwrapTypeFromCoerceableOrValidator (type)

declare type UnwrapTypeFromCoerceableOrValidator<
  V extends CoerceableToTypeValidator | TypeValidator<any> | unknown,
> =
  V extends TypeValidator<infer T>
    ? T
    : V extends CoerceableToTypeValidator
      ? CoerceToTypeValidator<V> extends TypeValidator<infer T>
        ? T
        : never
      : unknown;

types (object)​

Usage​

Explanation​

List of Functions​

Type Validators​

Type Validator Constructors​

Coercion​

types.any (property)​

types.unknown (property)​

types.anyObject (property)​

types.unknownObject (property)​

types.object (property)​

types.Object (property)​

types.arrayOfAny (property)​

types.arrayOfUnknown (property)​

types.array (property)​

types.Array (property)​

types.anyArray (property)​

types.boolean (property)​

types.Boolean (property)​

types.string (property)​

types.String (property)​

types.null (property)​

types.undefined (property)​

types.nullish (property)​

types.void (property)​

types.numberIncludingNanAndInfinities (property)​

types.number (property)​

types.Number (property)​

types.NaN (property)​

types.Infinity (property)​

types.NegativeInfinity (property)​

types.integer (property)​

types.bigint (property)​

types.BigInt (property)​

types.never (property)​

types.anyFunction (property)​

types.unknownFunction (property)​

types.Function (property)​

types.false (property)​

types.true (property)​

types.falsy (property)​

types.truthy (function property)​

types.nonNullOrUndefined (function property)​

types.Error (property)​

types.Symbol (property)​

types.symbol (property)​

types.RegExp (property)​

types.Date (property)​

types.anyMap (property)​

types.unknownMap (property)​

types.map (property)​

types.Map (property)​

types.anySet (property)​

types.unknownSet (property)​

types.set (property)​

types.Set (property)​

types.ArrayBuffer (property)​

types.SharedArrayBuffer (property)​

types.DataView (property)​

types.TypedArray (property)​

types.Int8Array (property)​

types.Uint8Array (property)​

types.Uint8ClampedArray (property)​

types.Int16Array (property)​

types.Uint16Array (property)​

types.Int32Array (property)​

types.Uint32Array (property)​

types.Float32Array (property)​

types.Float64Array (property)​

types.exactString (method)​

types.exactNumber (method)​

types.exactBigInt (method)​

types.exactSymbol (method)​

types.hasClassName (method)​

types.hasToStringTag (method)​

types.instanceOf (method)​

types.stringMatching (method)​

types.symbolFor (method)​

types.arrayOf (method)​

types (object)

Usage

Explanation

List of Functions

Type Validators

Type Validator Constructors

Coercion

types.any (property)

types.unknown (property)

types.anyObject (property)

types.unknownObject (property)

types.object (property)

types.Object (property)

types.arrayOfAny (property)

types.arrayOfUnknown (property)

types.array (property)

types.Array (property)

types.anyArray (property)

types.boolean (property)

types.Boolean (property)

types.string (property)

types.String (property)

types.null (property)

types.undefined (property)

types.nullish (property)

types.void (property)

types.numberIncludingNanAndInfinities (property)

types.number (property)

types.Number (property)

types.NaN (property)

types.Infinity (property)

types.NegativeInfinity (property)

types.integer (property)

types.bigint (property)

types.BigInt (property)

types.never (property)

types.anyFunction (property)

types.unknownFunction (property)

types.Function (property)

types.false (property)

types.true (property)

types.falsy (property)

types.truthy (function property)

types.nonNullOrUndefined (function property)

types.Error (property)

types.Symbol (property)

types.symbol (property)

types.RegExp (property)

types.Date (property)

types.anyMap (property)

types.unknownMap (property)

types.map (property)

types.Map (property)

types.anySet (property)

types.unknownSet (property)

types.set (property)

types.Set (property)

types.ArrayBuffer (property)

types.SharedArrayBuffer (property)

types.DataView (property)

types.TypedArray (property)

types.Int8Array (property)

types.Uint8Array (property)

types.Uint8ClampedArray (property)

types.Int16Array (property)

types.Uint16Array (property)

types.Int32Array (property)

types.Uint32Array (property)

types.Float32Array (property)

types.Float64Array (property)

types.exactString (method)

types.exactNumber (method)

types.exactBigInt (method)

types.exactSymbol (method)

types.hasClassName (method)

types.hasToStringTag (method)

types.instanceOf (method)

types.stringMatching (method)

types.symbolFor (method)

types.arrayOf (method)