UNPKG

rivo

Version:

🤖 The ultimate library you need for composable type-level programming in TypeScript, powered by HKT.

github.com/Snowflyt/rivo

Snowflyt/rivo

39 lines (37 loc) • 1.14 kB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
import type { SDigit } from "../.."; import type { EQ, GT, LT } from "../../../typeclass/Ord"; /** * Compare two {@link SDigit}s. * * Sig: `(n: SDigit, m: SDigit) => Ordering` * @private */ export type _CompareSDigit<N extends SDigit, M extends SDigit> = N extends M ? EQ : N extends "0" ? LT : N extends "1" ? // prettier-ignore M extends "0" ? GT : LT : N extends "2" ? // prettier-ignore M extends "0" | "1" ? GT : LT : N extends "3" ? // prettier-ignore M extends "0" | "1" | "2" ? GT : LT : N extends "4" ? // prettier-ignore M extends "0" | "1" | "2" | "3" ? GT : LT : N extends "5" ? // prettier-ignore M extends "0" | "1" | "2" | "3" | "4" ? GT : LT : N extends "6" ? // prettier-ignore M extends "0" | "1" | "2" | "3" | "4" | "5" ? GT : LT : N extends "7" ? // prettier-ignore M extends "0" | "1" | "2" | "3" | "4" | "5" | "6" ? GT : LT : N extends "8" ? // prettier-ignore M extends "0" | "1" | "2" | "3" | "4" | "5" | "6" | "7" ? GT : LT : // prettier-ignore M extends "0" | "1" | "2" | "3" | "4" | "5" | "6" | "7" | "8" ? GT : LT;