1 | import type { Middleware } from 'redux'
|
2 | import type { MiddlewareArray } from './utils'
|
3 |
|
4 |
|
5 |
|
6 |
|
7 |
|
8 |
|
9 |
|
10 | export type IsAny<T, True, False = never> =
|
11 |
|
12 | true | false extends (T extends never ? true : false) ? True : False
|
13 |
|
14 |
|
15 |
|
16 |
|
17 |
|
18 |
|
19 |
|
20 | export type IsUnknown<T, True, False = never> = unknown extends T
|
21 | ? IsAny<T, False, True>
|
22 | : False
|
23 |
|
24 | export type FallbackIfUnknown<T, Fallback> = IsUnknown<T, Fallback, T>
|
25 |
|
26 |
|
27 |
|
28 |
|
29 | export type IfMaybeUndefined<P, True, False> = [undefined] extends [P]
|
30 | ? True
|
31 | : False
|
32 |
|
33 |
|
34 |
|
35 |
|
36 | export type IfVoid<P, True, False> = [void] extends [P] ? True : False
|
37 |
|
38 |
|
39 |
|
40 |
|
41 | export type IsEmptyObj<T, True, False = never> = T extends any
|
42 | ? keyof T extends never
|
43 | ? IsUnknown<T, False, IfMaybeUndefined<T, False, IfVoid<T, False, True>>>
|
44 | : False
|
45 | : never
|
46 |
|
47 |
|
48 |
|
49 |
|
50 |
|
51 |
|
52 |
|
53 |
|
54 |
|
55 | export type AtLeastTS35<True, False> = [True, False][IsUnknown<
|
56 | ReturnType<<T>() => T>,
|
57 | 0,
|
58 | 1
|
59 | >]
|
60 |
|
61 |
|
62 |
|
63 |
|
64 | export type IsUnknownOrNonInferrable<T, True, False> = AtLeastTS35<
|
65 | IsUnknown<T, True, False>,
|
66 | IsEmptyObj<T, True, IsUnknown<T, True, False>>
|
67 | >
|
68 |
|
69 |
|
70 | export type ExcludeFromTuple<T, E, Acc extends unknown[] = []> = T extends [
|
71 | infer Head,
|
72 | ...infer Tail
|
73 | ]
|
74 | ? ExcludeFromTuple<Tail, E, [...Acc, ...([Head] extends [E] ? [] : [Head])]>
|
75 | : Acc
|
76 |
|
77 | type ExtractDispatchFromMiddlewareTuple<
|
78 | MiddlewareTuple extends any[],
|
79 | Acc extends {}
|
80 | > = MiddlewareTuple extends [infer Head, ...infer Tail]
|
81 | ? ExtractDispatchFromMiddlewareTuple<
|
82 | Tail,
|
83 | Acc & (Head extends Middleware<infer D, any> ? IsAny<D, {}, D> : {})
|
84 | >
|
85 | : Acc
|
86 |
|
87 | export type ExtractDispatchExtensions<M> = M extends MiddlewareArray<
|
88 | infer MiddlewareTuple
|
89 | >
|
90 | ? ExtractDispatchFromMiddlewareTuple<MiddlewareTuple, {}>
|
91 | : M extends Middleware[]
|
92 | ? ExtractDispatchFromMiddlewareTuple<[...M], {}>
|
93 | : never
|
94 |
|
95 |
|
96 |
|
97 |
|
98 | export type UnionToIntersection<U> = (
|
99 | U extends any ? (k: U) => void : never
|
100 | ) extends (k: infer I) => void
|
101 | ? I
|
102 | : never
|
103 |
|
104 |
|
105 |
|
106 |
|
107 |
|
108 |
|
109 |
|
110 |
|
111 | export type NoInfer<T> = [T][T extends any ? 0 : never]
|
112 |
|
113 | export type Omit<T, K extends keyof any> = Pick<T, Exclude<keyof T, K>>
|
114 |
|
115 | export interface TypeGuard<T> {
|
116 | (value: any): value is T
|
117 | }
|
118 |
|
119 | export interface HasMatchFunction<T> {
|
120 | match: TypeGuard<T>
|
121 | }
|
122 |
|
123 | export const hasMatchFunction = <T>(
|
124 | v: Matcher<T>
|
125 | ): v is HasMatchFunction<T> => {
|
126 | return v && typeof (v as HasMatchFunction<T>).match === 'function'
|
127 | }
|
128 |
|
129 |
|
130 | export type Matcher<T> = HasMatchFunction<T> | TypeGuard<T>
|
131 |
|
132 |
|
133 | export type ActionFromMatcher<M extends Matcher<any>> = M extends Matcher<
|
134 | infer T
|
135 | >
|
136 | ? T
|
137 | : never
|