12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364 |
- type RemoveFromTuple<
- Tuple extends readonly unknown[],
- RemoveCount extends number,
- Index extends 1[] = []
- > = Index["length"] extends RemoveCount
- ? Tuple
- : Tuple extends [infer First, ...infer Rest]
- ? RemoveFromTuple<Rest, RemoveCount, [...Index, 1]>
- : Tuple;
- type ConcatTuples<
- Prefix extends readonly unknown[],
- Suffix extends readonly unknown[]
- > = [...Prefix, ...Suffix];
- type ExtractFunctionParams<T> = T extends (this: infer TThis, ...args: infer P extends readonly unknown[]) => infer R
- ? { thisArg: TThis; params: P; returnType: R }
- : never;
- type BindFunction<
- T extends (this: any, ...args: any[]) => any,
- TThis,
- TBoundArgs extends readonly unknown[],
- ReceiverBound extends boolean
- > = ExtractFunctionParams<T> extends {
- thisArg: infer OrigThis;
- params: infer P extends readonly unknown[];
- returnType: infer R;
- }
- ? ReceiverBound extends true
- ? (...args: RemoveFromTuple<P, Extract<TBoundArgs["length"], number>>) => R extends [OrigThis, ...infer Rest]
- ? [TThis, ...Rest] // Replace `this` with `thisArg`
- : R
- : <U, RemainingArgs extends RemoveFromTuple<P, Extract<TBoundArgs["length"], number>>>(
- thisArg: U,
- ...args: RemainingArgs
- ) => R extends [OrigThis, ...infer Rest]
- ? [U, ...ConcatTuples<TBoundArgs, Rest>] // Preserve bound args in return type
- : R
- : never;
- declare function callBind<
- const T extends (this: any, ...args: any[]) => any,
- Extracted extends ExtractFunctionParams<T>,
- const TBoundArgs extends Partial<Extracted["params"]> & readonly unknown[],
- const TThis extends Extracted["thisArg"]
- >(
- args: [fn: T, thisArg: TThis, ...boundArgs: TBoundArgs]
- ): BindFunction<T, TThis, TBoundArgs, true>;
- declare function callBind<
- const T extends (this: any, ...args: any[]) => any,
- Extracted extends ExtractFunctionParams<T>,
- const TBoundArgs extends Partial<Extracted["params"]> & readonly unknown[]
- >(
- args: [fn: T, ...boundArgs: TBoundArgs]
- ): BindFunction<T, Extracted["thisArg"], TBoundArgs, false>;
- declare function callBind<const TArgs extends readonly unknown[]>(
- args: [fn: Exclude<TArgs[0], Function>, ...rest: TArgs]
- ): never;
- // export as namespace callBind;
- export = callBind;
|