Comparing version 1.0.21-alpha to 1.0.22-alpha
@@ -14,3 +14,3 @@ import type { resolve } from "../../scopes/scope.js"; | ||
export type validateAst<ast, $> = ast extends List ? validateExpression<ast, $> : ast; | ||
export type validateExpression<ast extends List, $> = ast extends PostfixExpression<infer operator, infer operand> ? operator extends "[]" ? validateAst<operand, $> : never : ast extends InfixExpression<infer operator, infer l, infer r> ? operator extends "&" ? tryCatch<inferIntersection<inferAst<l, $>, inferAst<r, $>>, validateInfix<ast, $>> : operator extends "|" ? tryCatch<inferUnion<inferAst<l, $>, inferAst<r, $>>, validateInfix<ast, $>> : operator extends Scanner.Comparator ? validateBound<l, r, $> : operator extends "%" ? validateDivisor<l, $> : never : undefined; | ||
export type validateExpression<ast extends List, $> = ast extends PostfixExpression<infer operator, infer operand> ? operator extends "[]" ? validateAst<operand, $> : never : ast extends InfixExpression<infer operator, infer l, infer r> ? operator extends "&" | "|" ? validateInfix<ast, $> : operator extends Scanner.Comparator ? validateBound<l, r, $> : operator extends "%" ? validateDivisor<l, $> : never : undefined; | ||
export type validateString<def extends string, $> = parseString<def, $> extends infer ast ? ast extends error<infer message> ? message : validateAst<ast, $> extends error<infer message> ? message : def : never; | ||
@@ -17,0 +17,0 @@ export type PrefixOperator = "keyof" | "instanceof" | "===" | "node"; |
{ | ||
"name": "arktype", | ||
"description": "TypeScript's 1:1 validator, optimized from editor to runtime", | ||
"version": "1.0.21-alpha", | ||
"version": "1.0.22-alpha", | ||
"license": "MIT", | ||
@@ -6,0 +6,0 @@ "author": { |
@@ -264,4 +264,23 @@ <h1 align="center">ArkType <sub><sup>TypeScript's 1:1 validator</sup></sub></h1> | ||
| [tmm](https://github.com/tmm) | [xrexy](https://github.com/xrexy) | [thomasballinger](https://github.com/thomasballinger) | [codeandcats](https://github.com/codeandcats) | [jacksteamdev](https://github.com/jacksteamdev) | [neodon](https://github.com/neodon) | | ||
| ------------------------------------------------------------------------- | -------------------------------------------------------------------------- | ------------------------------------------------------------------------ | ------------------------------------------------------------------------- | -------------------------------------------------------------------------- | ----------------------------------------------------------------------- | | ||
| <img height="64px" src="https://avatars.githubusercontent.com/u/6759464"> | <img height="64px" src="https://avatars.githubusercontent.com/u/71969236"> | <img height="64px" src="https://avatars.githubusercontent.com/u/458879"> | <img height="64px" src="https://avatars.githubusercontent.com/u/6035934"> | <img height="64px" src="https://avatars.githubusercontent.com/u/23390212"> | <img height="64px" src="https://avatars.githubusercontent.com/u/82944"> | | ||
<table> | ||
<tr> | ||
<th>tmm</th> | ||
<th>xrexy</th> | ||
<th>thomasballinger</th> | ||
<th>codeandcats</th> | ||
<th>jacksteamdev</th> | ||
<th>neodon</th> | ||
<th>mewhhaha</th> | ||
<th>fubhy</th> | ||
</tr> | ||
<tr> | ||
<td><a href="https://github.com/tmm"><img height="64px" src="https://avatars.githubusercontent.com/u/6759464"></a></td> | ||
<td><a href="https://github.com/xrexy"><img height="64px" src="https://avatars.githubusercontent.com/u/71969236"></a></td> | ||
<td><a href="https://github.com/thomasballinger"><img height="64px" src="https://avatars.githubusercontent.com/u/458879"></a></td> | ||
<td><a href="https://github.com/codeandcats"><img height="64px" src="https://avatars.githubusercontent.com/u/6035934"></a></td> | ||
<td><a href="https://github.com/jacksteamdev"><img height="64px" src="https://avatars.githubusercontent.com/u/23390212"></a></td> | ||
<td><a href="https://github.com/neodon"><img height="64px" src="https://avatars.githubusercontent.com/u/82944"></a></td> | ||
<td><a href="https://github.com/mewhhaha"><img height="64px" src="https://avatars.githubusercontent.com/u/3399205"></a></td> | ||
<td><a href="https://github.com/fubhy"><img height="64px" src="https://avatars.githubusercontent.com/u/1172528"></a></td> | ||
</tr> | ||
</table> |
Sorry, the diff of this file is not supported yet
286
497020