U.Validate | /typical/index.ts | rimbu@1.1.0

Rimbu is a TypeScript library focused on immutable, performant, and type-safe collections and other tools.

type alias U.Validate

import { type U } from "https://deno.land/x/rimbu@1.1.0/typical/index.ts";
const { Validate } = U;

Returns never if the given type is false, otherwise true.

Examples

Example 1

Validate<IsEven<4>> => true
Validate<IsEven<5>> => never

definition: V extends false ? never : true