import {_Minus} from './Minus'
import {_IsPositive} from './IsPositive'
import {IterationOf} from '../Iteration/IterationOf'
import {Iteration} from '../Iteration/Iteration'
import {Number} from './Number'

export type _Greater<N1 extends Iteration, N2 extends Iteration> =
    _IsPositive<_Minus<N1, N2>>

/** Check if a **`Number`** is bigger than another one
 * @param N1 to compare
 * @param N2 to compare to
 * @returns **`Boolean`**
 * @example
 * ```ts
 * import {N} from 'ts-toolbelt'
 *
 * type test0 = N.Greater<'7', '5'> // True
 * type test1 = N.Greater<'5', '5'> // False
 * type test2 = N.Greater<'5', '7'> // False
 * ```
 */
export type Greater<N1 extends Number, N2 extends Number> =
    _Greater<IterationOf<N1>, IterationOf<N2>>