import type { GenericObject, NestedPrimitiveKey } from '../object/types';
import type { AdvancedTypes, List, NormalPrimitive, Numeric } from '../types/index';
/** Options to initialize Paginator */
export interface PaginatorOptions {
    /** The total number of items. */
    totalItems: Numeric;
    /** Number of items per page. (Default is `10`). */
    itemsPerPage?: Numeric;
    /** Current active page. (Default is `1`). */
    currentPage?: Numeric;
}
/** Paginator metadata */
export interface PaginatorMeta {
    /** Total number of items in the dataset. */
    totalItems: number;
    /** The current page number in the pagination. */
    currentPage: number;
    /** The number of items per page in the pagination. */
    itemsPerPage: number;
    /** The total number of pages based on the totalItems and itemsPerPage. */
    totalPages: number;
    /** Whether the current page has a previous page. */
    hasPrev: boolean;
    /** Whether the current page has a next page. */
    hasNext: boolean;
    /** Whether the current page is the first page. */
    isFirst: boolean;
    /** Whether the current page is the last page. */
    isLast: boolean;
    /** The number of items to skip (the offset) for the current page. */
    offset: number;
}
/** Options for `fromMeta` method. */
export type FromMetaOptions = Pick<PaginatorMeta, 'totalItems' | 'itemsPerPage' | 'currentPage'>;
/** Options for pageList method. */
export interface PageListOptions {
    /** Number of edge pages to always show (default 1). */
    edgeCount?: number;
    /** Number of siblings pages to show around the current page (default 1). */
    siblingCount?: number;
}
/** * Options for converting a primitive array to string. */
export interface ArrayOfPrimitivesToStringOptions {
    /** Separator to join primitive values (default: `", "`). */
    separator?: string;
}
/** * Options for converting an object array to string using a nested key. */
export interface ArrayOfObjectsToStringOptions<T> {
    /** Dot-accessible key path to extract value from each object. */
    target: T extends GenericObject ? NestedPrimitiveKey<T> : never;
    /** Separator to join extracted values (default: `", "`). */
    separator?: string;
}
/** * Combined options for array-to-string conversion. */
export type ArrayToStringOptions<T> = ArrayOfPrimitivesToStringOptions | ArrayOfObjectsToStringOptions<T>;
/** Options that control how a method is defined on a prototype using `definePrototypeMethod` utility. */
export interface ProtoMethodOptions {
    /**
     * - Whether an existing method with the same name should be replaced.
     * - Defaults to `false`.
     */
    overwrite?: boolean;
    /**
     * - Whether the method should appear during property enumeration (e.g., in `for...in` or `Object.keys`).
     * - Defaults to `false`, matching native prototype method behavior.
     */
    enumerable?: boolean;
    /**
     * - Whether the method's property descriptor can be modified or deleted.
     * - Defaults to `false`.
     * - When `false`, the method cannot be removed or reconfigured, but its value may still be changed if `writable` is `true`.
     */
    configurable?: boolean;
    /**
     * - Whether the method's value may be reassigned after definition.
     * - Defaults to `true` to allow replacement of the function body unless explicitly locked down.
     */
    writable?: boolean;
}
/**
 * * Extracts the union of all property value types from a given object type.
 *
 * @example
 * type Colors = { primary: string; secondary: string; id: number; };
 * type ColorValues = ValueOf<Colors>; // string | number
 */
export type ValueOf<T> = T[keyof T];
/**
 * * Gets all keys from a union of object types.
 *
 * @example
 * type A = { a: string };
 * type B = { b: number };
 * type Union = A | B;
 * type Keys = KeysOfUnion<Union>; // "a" | "b"
 */
export type KeysOfUnion<T> = T extends T ? keyof T : never;
/**
 * * Recursively makes all potential standard js object properties optional.
 *
 * @remarks
 * - It excludes keys of complex types like `Array`, `Map`, `File`, `Date`, `Chronos` etc. from being recursively partial.
 * - Please, refer to {@link AdvancedTypes} to allow these complex types.
 * - Also refer to {@link $DeepPartial} for less strict version.
 *
 * @example
 * type Config = { a: string; nested: { b: number } };
 * type PartialConfig = DeepPartial<Config>;
 * // { a?: string; nested?: { b?: number } }
 */
export type DeepPartial<T> = Prettify<{
    [K in keyof T]?: T[K] extends AdvancedTypes ? T[K] : T[K] extends object ? DeepPartial<T[K]> : T[K];
}>;
/**
 * * Recursively makes all potential standard js object (also object in array) properties optional.
 *
 * @remarks
 * - It excludes keys of complex types like `Map`, `File`, `Date`, `Chronos` etc. from being recursively partial.
 * - Please, refer to {@link AdvancedTypes} to allow these complex types.
 * - Also refer to {@link DeepPartial} for more strict version.
 *
 * @example
 * type Config = { a: string; nested: { b: number }[] };
 * type PartialConfig = $DeepPartial<Config>;
 * // { a?: string; nested?: { b?: number; }[]; }
 */
export type $DeepPartial<T> = Prettify<{
    [K in keyof T]?: T[K] extends Array<infer El> ? Array<$DeepPartial<El>> : T[K] extends AdvancedTypes ? T[K] : $DeepPartial<T[K]>;
}>;
/**
 * * Recursively makes all properties in any object or array type optional.
 *
 * @example
 * type Config = { a: string; nested: { b: number } };
 * type PartialConfig = DeepPartialAll<Config>;
 * // { a?: string; nested?: { b?: number } }
 */
export type DeepPartialAll<T> = T extends Array<infer El> ? Array<DeepPartialAll<El>> : Prettify<{
    [K in keyof T]?: DeepPartialAll<T[K]>;
}>;
/**
 * * Removes `readonly` modifiers from all properties of an object type.
 *
 * @example
 * type ReadonlyObj = { readonly id: number };
 * type WritableObj = Mutable<ReadonlyObj>;
 * // { id: number }
 */
export type Mutable<T> = {
    -readonly [K in keyof T]: T[K];
};
/**
 * * Recursively adds `readonly` to all properties of an object type.
 *
 * @example
 * type State = { user: { id: number } };
 * type ReadonlyState = Immutable<State>;
 * // { readonly user: { readonly id: number } }
 */
export type Immutable<T> = {
    readonly [K in keyof T]: Immutable<T[K]>;
};
/**
 * * Combines two object types. In case of conflicts, keys from `U` override `T`.
 *
 * @example
 * type A = { id: number; name: string };
 * type B = { name: boolean; active: boolean };
 * type Merged = Merge<A, B>;
 * // { id: number; name: boolean; active: boolean }
 */
export type Merge<T, U> = {
    [K in keyof T | keyof U]: K extends keyof U ? U[K] : K extends keyof T ? T[K] : never;
};
/**
 * * Omits properties from an object type whose value types match `ValueType`.
 *
 * @example
 * type Model = { id: number; name: string; hidden: boolean };
 * type VisibleModel = OmitByValue<Model, boolean>;
 * // { id: number; name: string }
 */
export type OmitByValue<T, ValueType> = {
    [K in keyof T as T[K] extends ValueType ? never : K]: T[K];
};
/**
 * * Makes only the specified keys in a type required; others remain optional.
 *
 * @example
 * type User = { id?: number; name?: string };
 * type UserWithId = RequireOnly<User, 'id'>;
 * // { id: number; name?: string }
 */
export type RequireOnly<T, K extends keyof T> = Partial<T> & Required<Pick<T, K>>;
/**
 * * Forces TypeScript to simplify a complex or inferred type into a more readable flat object.
 *
 * *Useful when working with utility types like `Merge`, `Omit`, etc., that produce deeply nested or unresolved intersections.*
 *
 * @example
 * type A = { a: number };
 * type B = { b: string };
 * type Merged = A & B;
 * type Pretty = Prettify<Merged>;
 * // Type will now display as: { a: number; b: string }
 */
export type Prettify<T> = {
    [K in keyof T]: T[K];
} & {};
/**
 * * Broadens a literal union (typically `string` or `number`) to also accept any other value of the base type, without losing IntelliSense autocomplete for the provided literals.
 *
 * *This is especially useful in API design where you want to provide suggestions for common options but still allow flexibility for custom user-defined values.*
 *
 * @example
 * // ✅ String literal usage
 * type Variant = LooseLiteral<'primary' | 'secondary'>;
 * const v1: Variant = 'primary';  // suggested
 * const v2: Variant = 'custom';   // also valid
 *
 * // ✅ Number literal usage
 * type StatusCode = LooseLiteral<200 | 404 | 500>;
 * const s1: StatusCode = 200;     // suggested
 * const s2: StatusCode = 999;     // also valid
 *
 * // ✅ Mixed literal
 * type Mixed = LooseLiteral<'one' | 2>;
 * const m1: Mixed = 'one';        // ✅
 * const m2: Mixed = 2;            // ✅
 * const m3: Mixed = 'anything';   // ✅
 * const m4: Mixed = 123;          // ✅
 *
 * @note Technically, this uses intersection with primitive base types (`string & {}` or `number & {}`) to retain IntelliSense while avoiding type narrowing.
 */
export type LooseLiteral<T extends string | number> = T | (T extends string ? string & {} : number & {});
/**
 * * Extracts an object type containing only the optional keys from `T`.
 *
 * @typeParam T - The original object type
 * @returns A new object type with only optional keys from `T`
 * @example
 * type Example = { a: string; b?: number; c?: boolean };
 * type OptionalPart = ExtractOptional<Example>;
 * // { b?: number; c?: boolean }
 */
export type ExtractOptional<T> = {
    [K in keyof T as {} extends Pick<T, K> ? K : never]?: T[K];
};
/**
 * * Extracts an object type containing only the required keys from `T`.
 *
 * @typeParam T - The original object type
 * @returns A new object type with only required keys from `T`
 * @example
 * type Example = { a: string; b?: number; c: boolean };
 * type RequiredPart = ExtractRequired<Example>;
 * // { a: string; c: boolean }
 */
export type ExtractRequired<T> = {
    [K in keyof T as {} extends Pick<T, K> ? never : K]: T[K];
};
/**
 * * Converts a readonly tuple to a union of its element types.
 *
 * @typeParam T - A tuple type (must be readonly if using `as const`)
 * @example
 * const roles = ['admin', 'user', 'guest'] as const;
 * type Role = TupleToUnion<typeof roles>; // "admin" | "user" | "guest"
 */
export type TupleToUnion<T extends readonly unknown[]> = T[number];
/** Internal helper type to build a tuple of length N. */
type $TupleOf<T, N extends number, R extends unknown[] = []> = R['length'] extends N ? R : $TupleOf<T, N, [...R, T]>;
/**
 * * Creates a tuple type of a given length with elements of type T
 *
 * 📝 **Notes**:
 * - This works recursively to build a tuple of exact length N.
 *
 * - N must be a literal number, not just number. You can’t pass a general number type because recursion can't compute unbounded lengths
 * - You can use as const or mapped types when initializing values with this shape
 *
 * @example
 * type FiveStrings = TupleOf<string, 5>; // [string, string, string, string, string]
 * type EmptyTuple = TupleOf<boolean, 0>; // []
 */
export type TupleOf<T, N extends number> = $TupleOf<T, N>;
/** * Build a tuple of given length (helper for type-level arithmetic). */
export type $BuildTuple<L extends number, T extends unknown[] = []> = T['length'] extends L ? T : $BuildTuple<L, [...T, unknown]>;
/** * Produce a union of numbers `From | From+1 | ... | To`. */
export type $Range<From extends number, To extends number, Arr extends unknown[] = $BuildTuple<From>, Result = never> = Arr['length'] extends To ? Result | To : $Range<From, To, [...Arr, unknown], Result | Arr['length']>;
/**
 * * Creates a tuple with length between `Min` and `Max` (inclusive).
 *
 * @example
 * type Ranged = RangeTuple<string, 2, 4>;
 * // Ranged -> [string, string] | [string, string, string] | [string, string, string, string]
 */
export type RangeTuple<T, Min extends number, Max extends number> = $Range<Min, Max> extends infer N ? (N extends number ? TupleOf<T, N> : never) : never;
/**
 * * Makes selected or all properties of an object type optional (only the values, not the keys).
 *
 * If `K` is provided, only those properties' values become optional (keys remain required).
 * If `K` is omitted, all property values become optional.
 *
 * @typeParam O - The original object type.
 * @typeParam K - Optional union of keys in `O` whose values should become optional.
 *
 * @example
 * type A = { name: string; age: number };
 * type B = ValueOptional<A, 'name'>;
 * // Equivalent to: { name: string | undefined; age: number }
 *
 * @example
 * type C = ValueOptional<A>;
 * // Equivalent to: { name: string | undefined; age: number | undefined }
 */
export type ValueOptional<O, K extends keyof O = keyof O> = {
    [P in keyof O]: P extends K ? O[P] | undefined : O[P];
};
/**
 * Makes selected properties optional while keeping the rest required
 * @remarks By default all properties are optional, same as {@link Partial<T>}
 *
 * @example
 * type A = { name: string; age: number };
 * type B = PropertyOptional<A, 'name'>;
 * // Equivalent to: { name?: string | undefined; age: number }
 *
 * @example
 * type C = PropertyOptional<A>;
 * // Equivalent to: { name?: string | undefined; age?: number | undefined }
 */
export type PropertyOptional<O, K extends keyof O = keyof O> = Prettify<Omit<O, K> & Partial<Pick<O, K>>>;
/**
 * Makes selected properties required while keeping the rest unchanged
 * @remarks By default all properties are required, same as {@link Required<T>}
 *
 * @example
 * type A = { name?: string; age: number };
 * type B = PropertyRequired<A, 'name'>;
 * // Equivalent to: { name: string; age: number | undefined }
 *
 * @example
 * type C = PropertyRequired<A>;
 * // Equivalent to: { name: string; age: number }
 */
export type PropertyRequired<O, K extends keyof O = keyof O> = Prettify<Omit<O, K> & Required<Pick<O, K>>>;
export type $Without<T, U> = {
    [P in Exclude<keyof T, keyof U>]?: never;
};
/**
 * * Creates a type that is either `T` or `U`, but not both at the same time.
 * * This is useful for defining types that can be one of two options, but not both.
 * @typeParam T - First type option.
 * @typeParam U - Second type option.
 * @example
 * type A = { a: string };
 * type B = { b: number };
 * type Exclusive = OneOf<A, B>;
 * // Equivalent to: { a: string } | { b: number }
 */
export type OneOf<T, U> = (T & $Without<U, T>) | (U & $Without<T, U>);
/**
 * * Checks whether a type is a strict object (excluding functions).
 *
 * @typeParam T - The type to test.
 *
 * @example
 * type A = IsStrictObject<{}>;          // false
 * type B = IsStrictObject<() => void>;  // false
 * type C = IsStrictObject<string>;      // false
 * type D = IsStrictObject<{name: string}>; // true
 */
export type IsStrictObject<T> = T extends object ? T extends AdvancedTypes ? false : T extends Array<unknown> ? false : true : false;
/**
 * * Returns the keyof `T` only if `T` is a non-function object, otherwise `null`.
 * * Prevents extracting keys from primitives or functions.
 *
 * @typeParam T - The input type.
 *
 * @example
 * type A = Keyof<{ x: number }>; // "x"
 * type B = Keyof<number>;        // null
 */
export type Keyof<T> = IsStrictObject<T> extends true ? keyof T : null;
/**
 * * Recursively generates dot-separated keys from a nested object.
 *
 * @typeParam T - The input nested object type.
 *
 * @example
 * type Obj = { user: { name: string; meta: { id: number } } };
 * type Keys = DeepKeyof<Obj>;
 * // "user" | "user.name" | "user.meta" | "user.meta.id"
 */
export type DeepKeyof<T> = IsStrictObject<T> extends true ? {
    [K in keyof T]: K extends string ? IsStrictObject<T[K]> extends true ? K | `${K}.${DeepKeyof<T[K]>}` : K : never;
}[keyof T] : never;
/**
 * * Creates a new type by picking properties from `T` whose values extend type `V`.
 *
 * @typeParam T - The object type.
 * @typeParam V - The value type to filter by.
 *
 * @example
 * type T = { name: string; age: number; active: boolean };
 * type StringsOnly = PickByValue<T, string>; // { name: string }
 */
export type PickByValue<T, V> = {
    [K in keyof T as T[K] extends V ? K : never]: T[K];
};
/**
 * * Maps all values of object `T` to a fixed type `R`, keeping original keys.
 *
 * @typeParam T - The source object type.
 * @typeParam R - The replacement value type.
 *
 * @example
 * type T = { name: string; age: number };
 * type BooleanMapped = MapObjectValues<T, boolean>; // { name: boolean; age: boolean }
 */
export type MapObjectValues<T, R> = {
    [K in keyof T]: R;
};
/**
 * * Removes properties from object `T` whose type is `never`.
 * * Typically useful after conditional filtering.
 *
 * @typeParam T - The input object type.
 *
 * @example
 * type T = { a: string; b: never; c: number };
 * type Cleaned = RemoveNever<T>; // { a: string; c: number }
 */
export type RemoveNever<T> = {
    [K in keyof T as T[K] extends never ? never : K]: T[K];
};
/**
 * * Renames the keys of `T` using the mapping `R`.
 *
 * @typeParam T - Original object type.
 * @typeParam R - Mapping from original keys to new key names.
 *
 * @example
 * type Original = { first: string; last: string };
 * type Mapped = RenameKeys<Original, { first: "firstName"; last: "lastName" }>;
 * // Result: { firstName: string; lastName: string }
 */
export type RenameKeys<T, R extends Partial<Record<keyof T, string>>> = {
    [K in keyof T as K extends keyof R ? Extract<R[K], string | number | symbol> : K]: T[K];
};
/** * Subtracts `B` from `A` (helper for type-level arithmetic). */
export type $Subtract<A extends number, B extends number> = [...$BuildTuple<A>] extends [
    ...$BuildTuple<B>,
    ...infer R
] ? R['length'] : never;
/** * Forbids all properties not in `K`. */
export type $Forbid<T, K extends keyof T> = {
    [P in Exclude<keyof T, K>]?: never;
};
/**
 * * Enforces that at least `N` properties of type `T` are required.
 *
 * @typeParam T - The base object type.
 * @typeParam N - The minimum number of required properties.
 *
 * @example
 * interface User {
 *   id: string;
 *   name: string;
 *   email: string;
 * }
 *
 * // Require at least 1 property
 * type OneRequired = RequireAtLeast<User, 1>;
 *
 * const u1: OneRequired = { id: "123" };        // ✅ valid
 * const u2: OneRequired = { name: "Alice" };    // ✅ valid
 * const u3: OneRequired = {};                   // ❌ Error
 *
 * // Require at least 2 properties
 * type TwoRequired = RequireAtLeast<User, 2>;
 *
 * const u4: TwoRequired = { id: "123", name: "A" };  // ✅ valid
 * const u5: TwoRequired = { id: "123" };             // ❌ Error
 */
export type RequireAtLeast<T extends GenericObject, N extends number, Keys extends keyof T = keyof T> = N extends 1 ? {
    [K in Keys]-?: Required<Pick<T, K>> & Partial<Omit<T, K>>;
}[Keys] : {
    [K in Keys]-?: Required<Pick<T, K>> & RequireAtLeast<Omit<T, K>, $Subtract<N, 1>>;
}[Keys];
/**
 * * Enforces that exactly `N` properties of type `T` are required.
 * * All other properties remain forbidden.
 *
 * @typeParam T - The base object type.
 * @typeParam N - The exact number of required properties.
 *
 * @example
 * interface Config {
 *   host: string;
 *   port: number;
 *   secure: boolean;
 * }
 *
 * // Exactly 1 property
 * type OneExact = RequireExactly<Config, 1>;
 *
 * const c1: OneExact = { host: "localhost" };   // ✅ valid
 * const c2: OneExact = { port: 3000 };          // ✅ valid
 * const c3: OneExact = { host: "a", port: 1 };  // ❌ Error
 *
 * // Exactly 2 properties
 * type TwoExact = RequireExactly<Config, 2>;
 *
 * const c4: TwoExact = { host: "a", port: 1 };      			// ✅ valid
 * const c5: TwoExact = { host: "a" };               			// ❌ Error
 * const c6: TwoExact = { host: "a", port: 1, secure: true }; 	// ❌ Error
 */
export type RequireExactly<T extends GenericObject, N extends number> = {
    [K in keyof T]: Required<Pick<T, K>> & (N extends 1 ? $Forbid<T, K> : RequireExactly<Omit<T, K>, $Subtract<N, 1>>);
}[keyof T];
/**
 * * Enforces that between `Min` and `Max` properties of type `T` are required.
 *
 * @typeParam T - The base object type.
 * @typeParam Min - The minimum number of required properties.
 * @typeParam Max - The maximum number of required properties.
 *
 * @example
 * interface Settings {
 *   theme: string;
 *   lang: string;
 *   debug: boolean;
 * }
 *
 * type OneOrTwo = RequireBetween<Settings, 1, 2>;
 *
 * const s1: OneOrTwo = { theme: "dark" };                  		// ✅ (1 key)
 * const s2: OneOrTwo = { theme: "dark", lang: "en" };     	 		// ✅ (2 keys)
 * const s3: OneOrTwo = { theme: "dark", lang: "en", debug: true }; // ❌ (3 keys)
 * const s4: OneOrTwo = {};                                 		// ❌ (0 keys)
 */
export type RequireBetween<T extends GenericObject, Min extends number, Max extends number, C extends unknown[] = $BuildTuple<Max>, Acc extends unknown[] = $BuildTuple<Min>> = RequireExactly<T, Acc['length']> | (Acc['length'] extends Max ? never : RequireBetween<T, Min, Max, C, [...Acc, unknown]>);
/**
 * * Cast one type to another while preserving compatibility.
 *
 * @remarks
 * - Ensures that `A1` extends `A2`. If not, falls back to `A2`.
 * - Useful for enforcing constraints on generics or parameters.
 *
 * @param A1 - Type to check.
 * @param A2 - Type to cast to.
 * @returns `A1` if it extends `A2`, otherwise `A2`.
 *
 * @example
 * type T0 = Cast<'42', string>; // '42'
 * type T1 = Cast<'42', number>; // number
 * type T2 = Cast<42, number>;   // 42
 */
export type Cast<A1, A2> = A1 extends A2 ? A1 : A2;
/**
 * * Remove the last element of a list (array).
 *
 * @remarks Produces a new tuple/list type with the last element removed.
 *
 * @example
 * type T0 = Pop<[1, 2, 3]>;    // [1, 2]
 * type T1 = Pop<[]>;           // []
 * type T2 = Pop<['a']>;        // []
 */
export type Pop<L extends List> = L extends readonly [...infer El, any] | readonly [...infer El, any?] ? El : L;
type _Split<S extends string, D extends string, T extends string[] = []> = S extends `${infer BS}${D}${infer AS}` ? _Split<AS, D, [...T, BS]> : [...T, S];
type $Split<S extends string, D extends string = ''> = D extends '' ? Pop<_Split<S, D>> : _Split<S, D>;
/**
 * ✂️ Split a string literal by a given delimiter into a list of strings.
 *
 * @remarks
 * Produces a tuple of substrings by splitting `S` at each occurrence of `D`.
 *
 * @param S - String literal to split.
 * @param D - Delimiter to split on (default: empty string, i.e., character split).
 * @returns A list of string literals.
 *
 * @example
 * type T0 = Split<'a,b,c', ','>; // ['a', 'b', 'c']
 * type T1 = Split<'hello', ''>;  // ['h', 'e', 'l', 'l', 'o']
 * type T2 = Split<'foo-bar', '-'>; // ['foo', 'bar']
 */
export type Split<S extends string, D extends string = ''> = $Split<S, D> extends infer X ? Cast<X, string[]> : never;
type $Join<T extends List, D extends string> = T extends [] ? '' : T extends [NormalPrimitive] ? `${T[0]}` : T extends [NormalPrimitive, ...infer R] ? `${T[0]}${D}${$Join<R, D>}` : string;
/**
 * * Join a list of string/number/boolean literals into a single string.
 *
 * @remarks
 * Concatenates elements of `T` into a single string, separated by delimiter `D`.
 *
 * @param T - List of string/number/boolean literals.
 * @param D - Delimiter to insert between elements (default: space `" "`).
 * @returns A concatenated string literal.
 *
 * @example
 * type T0 = Join<['a', 'b', 'c'], ','>; // "a,b,c"
 * type T1 = Join<['2025', '09', '18'], '-'>; // "2025-09-18"
 * type T2 = Join<['hello', 'world']>; // "hello world"
 */
export type Join<T extends List<NormalPrimitive>, D extends string = ' '> = $Join<T, D> extends infer X ? Cast<X, string> : never;
/** Turns a union into an intersection */
export type $UnionToIntersection<U> = (U extends any ? (arg: U) => void : never) extends (arg: infer I) => void ? I : never;
/** Gets the "last" item of a union */
type $LastOf<T> = $UnionToIntersection<T extends any ? () => T : never> extends () => infer R ? R : never;
/** Converts a union to a tuple */
type $UnionToTuple<T, L = $LastOf<T>> = [T] extends [never] ? [] : [...$UnionToTuple<Exclude<T, L>>, L];
/**
 * * Converts an array type containing a union of literals into a tuple of those literals.
 *
 * @remarks
 * - Takes an array type `T` (e.g. `("foo" | "bar")[]`) and produces a tuple type (e.g. `["foo", "bar"]`).
 * - Useful when you want to preserve all possible union members as a tuple literal instead of an array.
 * - For converting any type to tuple use {@link Tuple}.
 *
 * @param T - An array type whose element type is a union.
 * @returns A tuple type containing each member of the union in order.
 *
 * @example
 * type T0 = ArrayToTuple<("foo" | "bar")[]>; // ["foo", "bar"]
 * type T1 = ArrayToTuple<(1 | 2 | 3)[]>; // [1, 2, 3]
 * type T2 = ArrayToTuple<never[]>; // []
 */
export type ArrayToTuple<T extends readonly unknown[]> = T[number] extends infer U ? $UnionToTuple<U> : never;
/**
 * * Converts a type into a tuple form.
 *
 * @remarks
 * - If `T` is a union, it produces a tuple containing each member of the union.
 * - If `T` is a single type, it produces a one-element tuple `[T]`.
 * - If `T` is `never`, it produces an empty tuple `[]`.
 *
 * @param T - The type to convert into a tuple.
 * @returns A tuple type containing the elements of `T`.
 *
 * @example
 * type T0 = Tuple<"foo" | "bar">; // ["foo", "bar"]
 * type T1 = Tuple<number>; // [number]
 * type T2 = Tuple<1 | 2 | 3>; // [1, 2, 3]
 * type T3 = Tuple<never>; // []
 */
export type Tuple<T> = [T] extends [never] ? [] : $UnionToTuple<T>;
/** Helper to make type hovers expand nicely. */
export type $Expand<T> = T extends infer O ? {
    [K in keyof O]: O[K];
} : T;
/**
 * Recursively join the string S for each element in the tuple A.
 * Returns an empty string for an empty tuple.
 */
export type $JoinRepeat<S extends string, A extends unknown[]> = A extends [
    unknown,
    ...infer Rest
] ? `${S}${$JoinRepeat<S, Rest>}` : '';
/**
 * * Repeat string `S`, `N` times.
 *
 * @example
 * type L10 = Repeat<'l', 10>; // "llllllllll"
 *
 * type AB3 = Repeat<'a' | 'b', 3>; // "aab" | "aaa" | "aba" | "abb" | "bab" | "baa" | "bba" | "bbb"
 *
 * @remarks **Limitations:**
 * - `N` must be a literal number.
 * - If `S` is a union (e.g. 'a' | 'b'), the resulting union grows exponentially with `N`.
 */
export type Repeat<S extends string, N extends number> = $JoinRepeat<S, $BuildTuple<N>>;
/**
 * * Replace all occurrences of substring `Search` in `Str` with `With`.
 *
 * @example
 * type Dash = Replace<'hello world', ' ', '-'>; // "hello-world"
 *
 * type Underscore = Replace<'a-b-c', '-', '_'>; // "a_b_c"
 *
 * type NoSpaces = Replace<' spaced out ', ' ', ''>; // "spacedout"
 *
 * @remarks **Notes:**
 * - Works recursively to replace **all** occurrences of `Search`.
 * - If `Search` does not exist in `Str`, returns `Str` unchanged.
 * - `Str`, `Search` (Default is space `" "`) and `With` (Default is `"-"`) must be literal string types.
 */
export type Replace<Str extends string, Search extends string = ' ', With extends string = '-'> = Str extends `${infer First}${Search}${infer Rest}` ? Replace<Rest, Search, With> extends infer Refined ? Refined extends string ? `${First}${With}${Refined}` : never : never : Str;
/**
 * * Replace the **first occurrence** of substring `Search` in `Str` with `With`.
 *
 * @example
 * type Dash = ReplaceFirst<'hello world wide web', ' ', '-'>;
 * // "hello-world wide web"
 *
 * type Underscore = ReplaceFirst<'a-b-c', '-', '_'>;
 * // "a_b-c"
 *
 * type NoSpaces = ReplaceFirst<' spaced out', ' ', ''>;
 * // "spaced out"
 *
 * @remarks **Notes:**
 * - Replaces **only the first** occurrence of `Search`.
 * - If `Search` does not exist in `Str`, returns `Str` unchanged.
 * - `Str`, `Search` (Default is space `" "`) and `With` (Default is `"-"`) must be literal string types.
 */
export type ReplaceFirst<Str extends string, Search extends string = ' ', With extends string = '-'> = Str extends `${infer Before}${Search}${infer After}` ? `${Before}${With}${After}` : Str;
export {};