From 56040f3ff85e77311f0c864a89afd63fcf1bdb50 Mon Sep 17 00:00:00 2001 From: Kai Stevenson Date: Mon, 3 Nov 2025 23:40:02 -0800 Subject: add js-lang, refactor some ts-lang stuff --- src/ts-lang/util/number.ts | 37 +++++++++++++++++++++++++++++++++++++ 1 file changed, 37 insertions(+) create mode 100644 src/ts-lang/util/number.ts (limited to 'src/ts-lang/util/number.ts') diff --git a/src/ts-lang/util/number.ts b/src/ts-lang/util/number.ts new file mode 100644 index 0000000..6e4e360 --- /dev/null +++ b/src/ts-lang/util/number.ts @@ -0,0 +1,37 @@ +export type NumberToArray< + Number extends number, + Carry extends readonly any[] = [] +> = Number extends Carry["length"] + ? Carry + : NumberToArray; + +export type NumbersToArray< + Numbers extends readonly number[], + Carry extends readonly any[] = [] +> = Numbers extends [ + infer Head extends number, + ...infer Tail extends readonly number[] +] + ? NumbersToArray]> + : Carry; + +export type AddNumbers = + NumbersToArray 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> + : Carry; + +export type Multiply = MultiplyInner< + M, + NumberToArray +>; + +export type ExtractNumber = + T extends `${infer Inner extends number}` ? Inner : never; -- cgit v1.2.3-70-g09d2