rambdax/_ts-toolbelt/src/Number/Lower.ts

Extended version of Rambda - a lightweight, faster alternative to Ramda

import {_Greater} from './Greater'
import {IterationOf} from '../Iteration/IterationOf'
import {Iteration} from '../Iteration/Iteration'
import {Number} from './Number'
import {NumberMap} from '../Iteration/Maps/Number'
import {Map} from '../Iteration/Map'

/**
@hidden
*/
export type _Lower<N1 extends Iteration, N2 extends Iteration, IMap extends Map> =
    _Greater<N2, N1, IMap>

/**
Check if a [[Number]] is lower than another one
@param N1 to compare
@param N2 to compare to
@param IMap to operate with another set of numbers
@returns [[Boolean]]
@example
```ts
import {N} from 'ts-toolbelt'

type test0 = N.Lower<'7', '5'> // False
type test1 = N.Lower<'5', '5'> // False
type test2 = N.Lower<'5', '7'> // True
```
*/
export type Lower<N1 extends Number, N2 extends Number, IMap extends Map = NumberMap> =
    N1 extends unknown
    ? N2 extends unknown
      ? _Lower<IterationOf<N1, IMap>, IterationOf<N2, IMap>, IMap>
      : never
    : never