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

Module

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

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 inferExpression

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

Type Parameters

ast extends List

definition: ast[1] extends "[]" ? inferAst<ast[0], $>[] : ast[1] extends "|" ? inferUnion<inferAst<ast[0], $>, inferAst<ast[2], $>> extends infer result ? castOnError<result, never> : never : ast[1] extends "&" ? inferIntersection<inferAst<ast[0], $>, inferAst<ast[2], $>> extends infer result ? castOnError<result, never> : never : ast[1] extends Scanner.Comparator ? ast[0] extends NumberLiteral ? inferAst<ast[2], $> : inferAst<ast[0], $> : ast[1] extends "%" ? inferAst<ast[0], $> : never