U.Validate | /typical/mod.ts | rimbu@0.13.5

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@0.13.5/typical/mod.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