| 1 | import { _Sub } from './Sub';
|
| 2 | import { _IsPositive } from './IsPositive';
|
| 3 | import { IterationOf } from '../Iteration/IterationOf';
|
| 4 | import { Iteration } from '../Iteration/Iteration';
|
| 5 | /**
|
| 6 | * @hidden
|
| 7 | */
|
| 8 | export declare type _Greater<N1 extends Iteration, N2 extends Iteration> = _IsPositive<_Sub<N1, N2>>;
|
| 9 | /**
|
| 10 | * Check if a [[Number]] is bigger than another one
|
| 11 | * @param N1 to compare
|
| 12 | * @param N2 to compare to
|
| 13 | * @returns [[Boolean]]
|
| 14 | * @example
|
| 15 | * ```ts
|
| 16 | * import {N} from 'ts-toolbelt'
|
| 17 | *
|
| 18 | * type test0 = N.Greater<'7', '5'> // True
|
| 19 | * type test1 = N.Greater<'5', '5'> // False
|
| 20 | * type test2 = N.Greater<'5', '7'> // False
|
| 21 | * ```
|
| 22 | */
|
| 23 | export declare type Greater<N1 extends number, N2 extends number> = N1 extends unknown ? N2 extends unknown ? _Greater<IterationOf<N1>, IterationOf<N2>> : never : never;
|