import { Length } from '../../array/Length';
import { Push } from '../../array/Push';
import { Extends } from '../../commonness/Extends';
import { If } from '../../commonness/If';
import { GreaterThan } from '../../number/GreaterThan';
import { Tuple } from '../../primitive/Tuple';
import { ToNumber } from '../../string/ToNumber';
type IsZeroOrNegative<T extends number> = If<Extends<T, 0>, 0, If<Extends<T, number>, ToNumber<`-${T}`>, never>>;
type PositiveRange<L extends number, H extends number, T extends Tuple = [], Flag extends boolean = false, Result = never> = Length<T> extends H ? Result | Length<T> : Length<T> extends L ? PositiveRange<L, H, Push<T, unknown>, true, Length<T>> : Flag extends true ? PositiveRange<L, H, Push<T, unknown>, Flag, Result | Length<T>> : PositiveRange<L, H, Push<T, unknown>, Flag, Result>;
type NegativeRange<L extends number, H extends number, T extends Tuple = [], Flag extends boolean = false, Result = never> = Length<T> extends H ? Result | IsZeroOrNegative<Length<T>> : Length<T> extends L ? NegativeRange<L, H, Push<T, unknown>, true, IsZeroOrNegative<Length<T>>> : Flag extends true ? NegativeRange<L, H, Push<T, unknown>, Flag, Result | IsZeroOrNegative<Length<T>>> : NegativeRange<L, H, Push<T, unknown>, Flag, Result>;
/**
 *
 * Create a union of numbers in a given range
 *
 * 주어진 범위의 숫자 유니온을 생성
 *
 * @param L Start of the range / 범위의 시작
 *
 * @param H End of the range / 범위의 끝
 *
 * @param Result Result to return / 반환할 결과
 *
 * @example
 * type cases = [
 *   Expect<Equal<Range<2, 9>, 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9>>,
 *   Expect<Equal<Range<0, 2>, 0 | 1 | 2>>,
 *   Expect<Equal<Range<0, 0>, 0>>,
 *   Expect<Equal<Range<-5, 0>, -5 | -4 | -3 | -2 | -1 | 0>>,
 *   Expect<Equal<Range<5, 2>, never>>,
 *   Expect<Equal<Range<-2, 5>, -2 | -1 | 0 | 1 | 2 | 3 | 4 | 5>>,
 *   Expect<Equal<Range<-5, -10>, never>>,
 * ];
 *
 * @link https://www.utilscript.site/docs/usage-union/range
 *
 */
export type Range<L extends number, H extends number> = If<Extends<L, H>, H, `${L}` extends `-${infer R extends number}` ? `${H}` extends `-${infer S extends number}` ? If<GreaterThan<R, S>, NegativeRange<S, R>, never> : NegativeRange<0, R> | PositiveRange<1, H> : If<Extends<`${H}`, `-${number}`>, never, If<GreaterThan<L, H>, never, PositiveRange<L, H>>>>;
export {};