mirror of
https://github.com/idanoo/GoScrobble.git
synced 2024-11-24 09:25:15 +00:00
68 lines
2.9 KiB
TypeScript
68 lines
2.9 KiB
TypeScript
|
import type { Middleware } from 'redux';
|
||
|
/**
|
||
|
* return True if T is `any`, otherwise return False
|
||
|
* taken from https://github.com/joonhocho/tsdef
|
||
|
*
|
||
|
* @internal
|
||
|
*/
|
||
|
export declare type IsAny<T, True, False = never> = true | false extends (T extends never ? true : false) ? True : False;
|
||
|
/**
|
||
|
* return True if T is `unknown`, otherwise return False
|
||
|
* taken from https://github.com/joonhocho/tsdef
|
||
|
*
|
||
|
* @internal
|
||
|
*/
|
||
|
export declare type IsUnknown<T, True, False = never> = unknown extends T ? IsAny<T, False, True> : False;
|
||
|
export declare type FallbackIfUnknown<T, Fallback> = IsUnknown<T, Fallback, T>;
|
||
|
/**
|
||
|
* @internal
|
||
|
*/
|
||
|
export declare type IfMaybeUndefined<P, True, False> = [undefined] extends [P] ? True : False;
|
||
|
/**
|
||
|
* @internal
|
||
|
*/
|
||
|
export declare type IfVoid<P, True, False> = [void] extends [P] ? True : False;
|
||
|
/**
|
||
|
* @internal
|
||
|
*/
|
||
|
export declare type IsEmptyObj<T, True, False = never> = T extends any ? keyof T extends never ? IsUnknown<T, False, IfMaybeUndefined<T, False, IfVoid<T, False, True>>> : False : never;
|
||
|
/**
|
||
|
* returns True if TS version is above 3.5, False if below.
|
||
|
* uses feature detection to detect TS version >= 3.5
|
||
|
* * versions below 3.5 will return `{}` for unresolvable interference
|
||
|
* * versions above will return `unknown`
|
||
|
*
|
||
|
* @internal
|
||
|
*/
|
||
|
export declare type AtLeastTS35<True, False> = [True, False][IsUnknown<ReturnType<(<T>() => T)>, 0, 1>];
|
||
|
/**
|
||
|
* @internal
|
||
|
*/
|
||
|
export declare type IsUnknownOrNonInferrable<T, True, False> = AtLeastTS35<IsUnknown<T, True, False>, IsEmptyObj<T, True, IsUnknown<T, True, False>>>;
|
||
|
/**
|
||
|
* Combines all dispatch signatures of all middlewares in the array `M` into
|
||
|
* one intersected dispatch signature.
|
||
|
*/
|
||
|
export declare type DispatchForMiddlewares<M> = M extends ReadonlyArray<any> ? UnionToIntersection<M[number] extends infer MiddlewareValues ? MiddlewareValues extends Middleware<infer DispatchExt, any, any> ? DispatchExt extends Function ? IsAny<DispatchExt, never, DispatchExt> : never : never : never> : never;
|
||
|
/**
|
||
|
* Convert a Union type `(A|B)` to an intersection type `(A&B)`
|
||
|
*/
|
||
|
export declare type UnionToIntersection<U> = (U extends any ? (k: U) => void : never) extends (k: infer I) => void ? I : never;
|
||
|
/**
|
||
|
* Helper type. Passes T out again, but boxes it in a way that it cannot
|
||
|
* "widen" the type by accident if it is a generic that should be inferred
|
||
|
* from elsewhere.
|
||
|
*
|
||
|
* @internal
|
||
|
*/
|
||
|
export declare type NoInfer<T> = [T][T extends any ? 0 : never];
|
||
|
export declare type Omit<T, K extends keyof any> = Pick<T, Exclude<keyof T, K>>;
|
||
|
export interface HasMatchFunction<T> {
|
||
|
match: (v: any) => v is T;
|
||
|
}
|
||
|
export declare const hasMatchFunction: <T>(v: Matcher<T>) => v is HasMatchFunction<T>;
|
||
|
/** @public */
|
||
|
export declare type Matcher<T> = HasMatchFunction<T> | ((v: any) => v is T);
|
||
|
/** @public */
|
||
|
export declare type ActionFromMatcher<M extends Matcher<any>> = M extends Matcher<infer T> ? T : never;
|