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
|
export type NumberToArray<
Number extends number,
Carry extends readonly any[] = []
> = Number extends Carry["length"]
? Carry
: NumberToArray<Number, [...Carry, any]>;
export type NumbersToArray<
Numbers extends readonly number[],
Carry extends readonly any[] = []
> = Numbers extends [
infer Head extends number,
...infer Tail extends readonly number[]
]
? NumbersToArray<Tail, [...Carry, ...NumberToArray<Head>]>
: Carry;
export type AddNumbers<Numbers extends readonly number[]> =
NumbersToArray<Numbers> extends infer T extends readonly any[]
? T["length"]
: never;
export type MultiplyInner<
N extends number,
MS extends readonly any[],
Carry extends number = 0
> = MS extends [infer Head extends number, ...infer Tail extends readonly any[]]
? MultiplyInner<N, Tail, AddNumbers<[Carry, N]>>
: Carry;
export type Multiply<M extends number, N extends number> = MultiplyInner<
M,
NumberToArray<N>
>;
|
