Type Alias IsPositive<T, $O>

IsPositive: IsBigint<
    T,
    {
        $else: NumberPlus.IsNumber<
            Exclude<T, bigint>,
            {
                $else: $ResolveBranch<$O, [$Else]>;
                $then: _Positive<T, number, $O>;
                distributive: $O["distributive"];
            },
        >;
        $then: _Positive<T, bigint, $O>;
        distributive: $O["distributive"];
    },
>

Is T a positive numeric type.

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

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

type R = IsPositive<-1> // false

Type Parameters