typanion v3.14.0
Typanion
Static and runtime type assertion library with no dependencies
Installation
yarn add typanion
Why
- Typanion can validate nested arbitrary data structures
- Typanion is type-safe; it uses type predicates
- Typanion allows you to derive types from your schemas
- Typanion can report detailed error reports
Compared to yup, Typanion has a better inference support for TypeScript + supports isOneOf
. It's functional API makes it very easy to tree shake, which is another bonus (although the library isn't very large in itself).
Usage
First define a schema using the builtin operators:
import * as t from 'typanion';
const isMovie = t.isObject({
title: t.isString(),
description: t.isString(),
});
Then just call the schema to validate any unknown
value:
const userData = JSON.parse(input);
if (isMovie(userData)) {
console.log(userData.title);
}
Passing a second parameter allows you to retrieve detailed errors:
const userData = JSON.parse(input);
const errors: string[] = [];
if (!isMovie(userData, errors)) {
console.log(errors);
}
You can derive the type from the schema and use it in other functions:
import * as t from 'typanion';
const isMovie = t.isObject({
title: t.isString(),
description: t.isString(),
});
type Movie = t.InferType<typeof isMovie>;
// Then just use your alias:
const printMovie = (movie: Movie) => {
// ...
};
Schemas can be stored in multiple variables if needed:
import * as t from 'typanion';
const isActor = t.isObject({
name: t.isString();
});
const isMovie = t.isObject({
title: t.isString(),
description: t.isString(),
actors: t.isArray(isActor),
});
API
Type predicates
isArray(spec)
will ensure that the values are arrays whose values all match the specified schema.isBoolean()
will ensure that the values are all booleans. Note that to specifically check for eithertrue
orfalse
, you can look forisLiteral
.isLiteral(value)
will ensure that the values are strictly equal to the specified expected value. It's an handy tool that you can combine withoneOf
andobject
to parse structures similar to Redux actions, etc. Note that you'll need to annotate your value withas const
in order to let TypeScript know that the exact value matters (otherwise it'll cast it tostring
instead).isNumber()
will ensure that the values are all numbers.isObject(props)
will ensure that the values are plain old objects whose properties match the given shape.isString()
will ensure that the values are all regular strings.isUnknown()
will accept whatever is the input without validating it, but without refining the type inference either. Note that by defaultisUnknown
will forbidundefined
andnull
, but this can be switched off by explicitly allowing them viaisOptional
andisNullable
.
Helper predicates
applyCascade(spec, [specA, specB, ...])
will ensure that the values all matchspec
and, if they do, run the followup validations as well. Since those followups will not contribute to the inference (only the lead schema will), you'll typically want to put here anything that's a logical validation, rather than a typed one (cf the Cascading Predicates section).isOneOf([specA, specB])
will ensure that the values all match any of the provided schema. As a result, the inferred type is the union of all candidates. The predicate supports an option,exclusive
, which ensures that only one variant matches.isOptional(spec)
will addundefined
as an allowed value for the given specification.isNullable(spec)
will addnull
as an allowed value for the given specification.
Cascading predicates
hasExactLength
will ensure that the values all have alength
property exactly equal to the specified value.hasMaxLength
will ensure that the values all have alength
property at most equal to the specified value.hasMinLength
will ensure that the values all have alength
property at least equal to the specified value.isAtLeast
will ensure that the values compare positively with the specified value.isAtMost
will ensure that the values compare positively with the specified value.isInExclusiveRange
will ensure that the values compare positively with the specified value.isInInclusiveRange
will ensure that the values compare positively with the specified value.isInteger
will ensure that the values are round integers.isLowerCase
will ensure that the values only contain lowercase characters.isUpperCase
will ensure that the values only contain uppercase characters.isUUID4
will ensure that the values are valid UUID 4 strings.matchesRegExp
will ensure that the values all match the given regular expression.
License (MIT)
Copyright © 2020 Mael Nison
Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:
The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
9 months ago
10 months ago
2 years ago
2 years ago
2 years ago
2 years ago
2 years ago
2 years ago
2 years ago
3 years ago
3 years ago
3 years ago
3 years ago
3 years ago
3 years ago
3 years ago
3 years ago
3 years ago
3 years ago
3 years ago
3 years ago
3 years ago
3 years ago
3 years ago
4 years ago
4 years ago
4 years ago
4 years ago
4 years ago
4 years ago
4 years ago
4 years ago