import { TypesMap, Generic } from 'free-types-core';
import { Next } from 'free-types-core/dist/utils.js';
import { Fn } from './types.js';
export { Next, Prev, Subtract, Last, Init, IsAny, IsUnknown } from 'free-types-core/dist/utils.js';
export { MapOver as MapOverTuple } from 'free-types/essential/Tuple/MapOver.js';
export { _ } from 'free-types/essential/_partial.js';
export { _$Optional } from 'free-types/essential/adapters/$Optional.js';
export type IsArray<T> = any[] extends T ? true : never[] extends T ? true : false;
export type IsOpenEnded<T> = T extends readonly unknown[] ? IsArray<T> extends true ? false : number extends T['length'] ? true : false : false;
export type HeadLength<T extends readonly unknown[], R extends unknown[] = []> = number extends T['length'] ? T extends readonly [unknown, ...infer Rest] ? HeadLength<Rest, [...R, unknown]> : R['length'] : never;
export type RestElement<T extends readonly unknown[]> = T extends readonly [unknown, ...infer Rest] ? RestElement<Rest> : T[number];
export type GetOrElse<T, U, E> = T extends U ? T : E;
export type GenericFree = Exclude<Generic<TypesMap[keyof TypesMap]>, Fn | readonly unknown[] | Record<PropertyKey, unknown>>;
export type SequenceTo<N extends number, I extends number = 0, R = never> = I extends N ? R | I : SequenceTo<N, Next<I>, R | I>;
export type ToNumber<T> = T extends `${infer I extends number}` ? I : never;
export type Parameters<F, P = F extends {
    (...args: infer A): any;
    (...args: infer B): any;
    (...args: infer C): any;
    (...args: infer D): any;
    (...args: infer E): any;
    (...args: infer F): any;
} ? A | B | C | D | E | F : F extends {
    (...args: infer A): any;
    (...args: infer B): any;
    (...args: infer C): any;
    (...args: infer D): any;
    (...args: infer E): any;
} ? A | B | C | D | E : F extends {
    (...args: infer A): any;
    (...args: infer B): any;
    (...args: infer C): any;
    (...args: infer D): any;
} ? A | B | C | D : F extends {
    (...args: infer A): any;
    (...args: infer B): any;
    (...args: infer C): any;
} ? A | B | C : F extends {
    (...args: infer A): any;
    (...args: infer B): any;
} ? A | B : F extends {
    (...args: infer A): any;
} ? A : never> = P extends any ? unknown[] extends P ? never : P : never;
export type PickUnionMember<T, HOFs = T extends any ? (a: () => T) => void : never, Overloads = [HOFs] extends [(a: infer I) => any] ? I : never> = Overloads extends () => (infer R) ? R : never;
export type Union2Tuple<U, T = PickUnionMember<U>> = [
    U
] extends [never] ? [] : [...Union2Tuple<Exclude<U, T>>, T];