validateExpression | /parse/ast/ast.ts | arktype@v1.0.10-alpha

Module

x/arktype/parse/ast/ast.ts>validateExpression

TypeScript's 1:1 validator, optimized from editor to runtime

arktypeio/arktype

Latest

writeUnboundableMessage

distributableFunction.ts

distributable

DistributableFunction

DistributedFunctionNode

distributeFunction

FunctionInDomain

distributeFunctionToNode

writeMalformedDistributableFunctionMessage

divisor.ts

validateDivisor

writeIndivisibleMessage

intersection.ts

inferIntersection

writeImplicitNeverMessage

compileDisjointReasonsMessage

keyof.ts

inferKeyOfExpression

validateKeyOfExpression

writeMalformedMorphExpressionMessage

FunctionalTupleOperator

TupleExpressionOperator

TupleInfixOperator

TuplePostfixOperator

UnparsedTupleExpressionInput

UnparsedTupleOperator

validateTupleExpression

parseTuple

writeMalformedFunctionalExpressionMessage

union.ts

inferUnion

writeUndiscriminatableMorphUnionMessage

utils.ts

astToString

type alias validateExpression

import { type validateExpression } from "https://deno.land/x/arktype@v1.0.10-alpha/parse/ast/ast.ts";

Type Parameters

ast extends List

definition: 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