typescript.md

TypeScript Support

yup comes with robust typescript support! However, because of how dynamic yup is not everything can be statically typed safely, but for most cases it's "Good Enough".

Note that yup schema actually produce two different types: the result of casting an input, and the value after validation. Why are these types different? Because a schema can produce a value via casting that would not pass validation!

const schema = string().nullable().required();

schema.cast(null); // -> null
schema.validateSync(null); // ValidationError this is required!

By itself this seems weird, but has it's uses when handling user input. To get a TypeScript type that matches all possible cast() values, use yup.TypeOf<typeof schema>. To produce a type that matches a valid object for the schema use yup.Asserts<typeof schema>>

import * as yup from 'yup';

const personSchema = yup.object({
  firstName: yup
    .string()
    // Here we use `defined` instead of `required` to more closely align with
    // TypeScript. Both will have the same effect on the resulting type by
    // excluding `undefined`, but `required` will also disallow empty strings.
    .defined(),
  // defaults also affect the possible output type!
  // schema with default values won't produce `undefined` values. Remember object schema
  // have a default value built in.
  nickName: yup.string().default('').nullable(),
  gender: yup
    .mixed()
    // Note `as const`: this types the array as `["male", "female", "other"]`
    // instead of `string[]`.
    .oneOf(['male', 'female', 'other'] as const)
    .defined(),
  email: yup.string().nullable().notRequired().email(),
  birthDate: yup.date().nullable().notRequired().min(new Date(1900, 0, 1)),
});

You can derive a type for the final validated object as follows:

import type { Asserts } from 'yup';

// you can also use a type alias by this displays better in tooling
interface Person extends Asserts<typeof personSchema> {}

const validated: Person = personSchema.validateSync(parsed);

If you want the type produced by casting:

import type { TypeOf } from 'yup';

interface PersonInput extends Typeof<typeof personSchema> {}

const validated: PersonInput = personSchema.cast(json);

You can also go the other direction, specifying an interface and ensuring that a schema would match it:

import { string, object, number, SchemaOf } from 'yup';

type Person = {
  firstName: string;
};

// ✔️ compiles
const goodPersonSchema: SchemaOf<Person> = object({
  firstName: string().defined(),
}).defined();

// ❌ errors:
// "Type 'number | undefined' is not assignable to type 'string'."
const badPersonSchema: SchemaOf<Person> = object({
  firstName: number(),
});

TypeScript settings

For type utilties to work correctly you MUST have the strictNullChecks compiler option enabled. We also recommend settings strictFunctionTypes to false, because some schema typing doesn't currently work with it on (PRs welcome!).

Yes this reduces overall soundness, however TypeScript already disables this check anyway for methods and constructors (note from TS docs):

During development of this feature, we discovered a large number of inherently unsafe class hierarchies, including some in the DOM. Because of this, the setting only applies to functions written in function syntax, not to those in method syntax:

Your mileage will vary, but we've found that this check doesn't prevent many of real bugs, while increasing the amount of onerous explicit type casting in apps.

Extending built-in types

You can use TypeScript's interface merging behavior to extend the schema types if needed. Type extensions should go in an "ambient" type def file such as your globals.d.ts.

declare module 'yup' {
  class StringSchema<TIn, TContext, TOut> {
    myMethod(param: string): this;
  }
}

Watch out!: If your method needs to adjust schema generics, you likely need to also extend the Required*, and Defined* interfaces associated with each basic type. Consult the core types for examples on how to do this

Be careful of the yup type hierarchy as it's a bit tricky. All schema (including mixed) extend the abstract BaseSchema class.

Special note about MixedSchema and BaseSchema

As far as typescript is concerned, mixed schema inherit from BaseSchema like other schema; all other schema do not extend MixedSchema. In actuality Mixed is an alias for BaseSchema, meaning addMethod(mixed) will add a new method to all schema.

This means that type extensions to mixed should generally be put on BaseSchema if you want the method to be available to all sub classes.