Superstruct allows you to constrain existing structs with further validation. This doesn't change the type of the struct, but simply introduces extra validation logic. This can be useful for example when ensuring that a string matches a specific RegExp.

empty

empty(string())
empty(array())

''
[]

empty enforces that a string, array, map, or set is empty.

🤖 Technically this is the same as using size of zero, but "empty" feels slightly nicer and will give a slightly easier to read error.

max

max(number(), 0)

-1

max enforces that a number struct is less than a threshold.

🤖 If you need an exclusive maxmimum you can pass { exclusive: true } as the third argument, like max(number(), 0, { exclusive: true }) for negative numbers.

min

min(number(), 9000)

9001

min enforces that a number struct is greater than a threshold.

🤖 If you need an exclusive minimum you can pass { exclusive: true } as the third argument, like min(number(), 0, { exclusive: true }) for positive numbers.

nonempty

nonempty enforces that a string, array, map, or set is not empty. This does the opposite of empty.

pattern

pattern enforces that a string struct also matches a supplied RegExp.

size

size enforces that a number, string, array, map, or set struct also is within a certain min and max size (or length).

🤖 The max argument is optional and defaults to whatever you pass for min, which makes specifying exact sizes easy (just omit the max).

Custom Refinements

You can also define your own custom refinments that are specific to your application's requirements, like so:

This allows you to define more fine-grained runtime validation, while still preserving the number type at compile time.

🤖 The value provided to the refiner function is guaranteed to be the provided struct's type. This means you can layer additional validation on top of even complex structs with minimal hassle.

If you'd like to customize the error message that will be returned/thrown by your struct when a value doesn't pass your refinement's validation, you can return a string instead of a boolean inside the refiner.