Type Alias IsNotNegative<T, $O>

IsNotNegative: IsBigint<
    T,
    { $else: $Else; $then: $Then; distributive: $O["distributive"] },
> extends infer R
    ? R extends $Then
        ? IsNotNegative._Negative<T, bigint, $O>
        : IsNumber<
            Exclude<T, bigint>,
            {
                $else: $ResolveBranch<$O, [$Then], Exclude<T, number | bigint>>;
                $then: IsNotNegative._Negative<T, number, $O>;
                distributive: $O["distributive"];
            },
        >
    : never

Is T a not a negative numeric type.

type R = IsNotNegative<1> // true
type R = IsNotNegative<0> // true
type R = IsNotNegative<1n> // true

type R = IsNotNegative<-1> // false

type R = IsNotNegative<number> // boolean
type R = IsNotNegative<bigint> // boolean
type R = IsNotNegative<any> // boolean

Type Parameters

T
$O extends IsNotNegative.$Options = {}

Type Alias IsNotNegative<T, $O>

Type Parameters

Settings