import type { ToString, Digit, DigitNumber, ToDigitNumber, Sign, Num } from "./utils";
import { Equal as _Equal } from "../../helpers";
export type CompareLength<T extends any[], U extends any[]> = T["length"] extends U["length"] ? 1 : 0;
export type DigitCompareTable = [
    [
        0,
        -1,
        -1,
        -1,
        -1,
        -1,
        -1,
        -1,
        -1,
        -1
    ],
    [
        1,
        0,
        -1,
        -1,
        -1,
        -1,
        -1,
        -1,
        -1,
        -1
    ],
    [
        1,
        1,
        0,
        -1,
        -1,
        -1,
        -1,
        -1,
        -1,
        -1
    ],
    [
        1,
        1,
        1,
        0,
        -1,
        -1,
        -1,
        -1,
        -1,
        -1
    ],
    [
        1,
        1,
        1,
        1,
        0,
        -1,
        -1,
        -1,
        -1,
        -1
    ],
    [
        1,
        1,
        1,
        1,
        1,
        0,
        -1,
        -1,
        -1,
        -1
    ],
    [
        1,
        1,
        1,
        1,
        1,
        1,
        0,
        -1,
        -1,
        -1
    ],
    [
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        0,
        -1,
        -1
    ],
    [
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        0,
        -1
    ],
    [
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        0
    ]
];
export type DigitCompare<D1 extends Digit, D2 extends Digit> = DigitCompareTable[D1][D2];
export type CompareDigitsWithEqualLength<T extends Digit[], U extends Digit[]> = [T, U] extends [
    [
        infer N1 extends Digit,
        ...infer R1 extends Digit[]
    ],
    [
        infer N2 extends Digit,
        ...infer R2 extends Digit[]
    ]
] ? DigitCompare<N1, N2> extends 0 ? CompareDigitsWithEqualLength<R1, R2> : DigitCompare<N1, N2> : 0;
export type CompareDigits<T extends Digit[], U extends Digit[]> = CompareLength<T, U> extends 1 ? CompareDigitsWithEqualLength<T, U> : keyof U extends keyof T ? 1 : -1;
export type CompareDigitNumbers<T extends DigitNumber, U extends DigitNumber> = Sign<T> extends Sign<U> ? Sign<T> extends "" ? CompareDigits<Num<T>, Num<U>> : CompareDigits<Num<U>, Num<T>> : Sign<T> extends "-" ? -1 : 1;
/**
 * Compare two numbers
 * @param T - First number
 * @param U - Second number
 * @returns 0 if T = U, 1 if T > U, -1 if T < U
 */
export type Compare<T extends number | bigint, U extends number | bigint> = _Equal<T, U> extends true ? 0 : CompareDigitNumbers<ToDigitNumber<ToString<T>>, ToDigitNumber<ToString<U>>>;
export type LessThan<T extends number | bigint, U extends number | bigint> = Compare<T, U> extends -1 ? true : false;
export type GreaterThan<T extends number | bigint, U extends number | bigint> = Compare<T, U> extends 1 ? true : false;
export type Equal<T extends number | bigint, U extends number | bigint> = _Equal<T, U>;
export type NotEqual<T extends number | bigint, U extends number | bigint> = _Equal<T, U> extends true ? false : true;
export type LessThanOrEqual<T extends number | bigint, U extends number | bigint> = Compare<T, U> extends -1 | 0 ? true : false;
export type GreaterThanOrEqual<T extends number | bigint, U extends number | bigint> = Compare<T, U> extends 1 | 0 ? true : false;
export type Max<T extends number | bigint, U extends number | bigint> = Compare<T, U> extends 1 | 0 ? T : U;
export type Min<T extends number | bigint, U extends number | bigint> = Compare<T, U> extends 1 | 0 ? U : T;