|
| 1 | +import type { |
| 2 | + NotWrappable, |
| 3 | + Part, |
| 4 | + PickMutable, |
| 5 | + StoreSetter, |
| 6 | +} from 'solid-js/store/types/store'; |
| 7 | + |
| 8 | +type W<T> = Exclude<T, NotWrappable>; |
| 9 | +type KeyOf<T> = number extends keyof T |
| 10 | + ? 0 extends 1 & T |
| 11 | + ? keyof T |
| 12 | + : [T] extends [never] |
| 13 | + ? never |
| 14 | + : [T] extends [readonly unknown[]] |
| 15 | + ? number |
| 16 | + : keyof T |
| 17 | + : keyof T; |
| 18 | +type MutableKeyOf<T> = KeyOf<T> & keyof PickMutable<T>; |
| 19 | + |
| 20 | +export interface SetStoreFunction<T> { |
| 21 | + < |
| 22 | + K1 extends KeyOf<W<T>>, |
| 23 | + K2 extends KeyOf<W<W<T>[K1]>>, |
| 24 | + K3 extends KeyOf<W<W<W<T>[K1]>[K2]>>, |
| 25 | + K4 extends KeyOf<W<W<W<W<T>[K1]>[K2]>[K3]>>, |
| 26 | + K5 extends KeyOf<W<W<W<W<W<T>[K1]>[K2]>[K3]>[K4]>>, |
| 27 | + K6 extends KeyOf<W<W<W<W<W<W<T>[K1]>[K2]>[K3]>[K4]>[K5]>>, |
| 28 | + K7 extends MutableKeyOf<W<W<W<W<W<W<W<T>[K1]>[K2]>[K3]>[K4]>[K5]>[K6]>>, |
| 29 | + >( |
| 30 | + k1: Part<W<T>, K1>, |
| 31 | + k2: Part<W<W<T>[K1]>, K2>, |
| 32 | + k3: Part<W<W<W<T>[K1]>[K2]>, K3>, |
| 33 | + k4: Part<W<W<W<W<T>[K1]>[K2]>[K3]>, K4>, |
| 34 | + k5: Part<W<W<W<W<W<T>[K1]>[K2]>[K3]>[K4]>, K5>, |
| 35 | + k6: Part<W<W<W<W<W<W<T>[K1]>[K2]>[K3]>[K4]>[K5]>, K6>, |
| 36 | + k7: Part<W<W<W<W<W<W<W<T>[K1]>[K2]>[K3]>[K4]>[K5]>[K6]>, K7>, |
| 37 | + setter: StoreSetter< |
| 38 | + W<W<W<W<W<W<W<T>[K1]>[K2]>[K3]>[K4]>[K5]>[K6]>[K7], |
| 39 | + [K7, K6, K5, K4, K3, K2, K1] |
| 40 | + >, |
| 41 | + ): void; |
| 42 | + |
| 43 | + < |
| 44 | + K1 extends KeyOf<W<T>>, |
| 45 | + K2 extends KeyOf<W<W<T>[K1]>>, |
| 46 | + K3 extends KeyOf<W<W<W<T>[K1]>[K2]>>, |
| 47 | + K4 extends KeyOf<W<W<W<W<T>[K1]>[K2]>[K3]>>, |
| 48 | + K5 extends KeyOf<W<W<W<W<W<T>[K1]>[K2]>[K3]>[K4]>>, |
| 49 | + K6 extends MutableKeyOf<W<W<W<W<W<W<T>[K1]>[K2]>[K3]>[K4]>[K5]>>, |
| 50 | + >( |
| 51 | + k1: Part<W<T>, K1>, |
| 52 | + k2: Part<W<W<T>[K1]>, K2>, |
| 53 | + k3: Part<W<W<W<T>[K1]>[K2]>, K3>, |
| 54 | + k4: Part<W<W<W<W<T>[K1]>[K2]>[K3]>, K4>, |
| 55 | + k5: Part<W<W<W<W<W<T>[K1]>[K2]>[K3]>[K4]>, K5>, |
| 56 | + k6: Part<W<W<W<W<W<W<T>[K1]>[K2]>[K3]>[K4]>[K5]>, K6>, |
| 57 | + setter: StoreSetter< |
| 58 | + W<W<W<W<W<W<T>[K1]>[K2]>[K3]>[K4]>[K5]>[K6], |
| 59 | + [K6, K5, K4, K3, K2, K1] |
| 60 | + >, |
| 61 | + ): void; |
| 62 | + |
| 63 | + < |
| 64 | + K1 extends KeyOf<W<T>>, |
| 65 | + K2 extends KeyOf<W<W<T>[K1]>>, |
| 66 | + K3 extends KeyOf<W<W<W<T>[K1]>[K2]>>, |
| 67 | + K4 extends KeyOf<W<W<W<W<T>[K1]>[K2]>[K3]>>, |
| 68 | + K5 extends MutableKeyOf<W<W<W<W<W<T>[K1]>[K2]>[K3]>[K4]>>, |
| 69 | + >( |
| 70 | + k1: Part<W<T>, K1>, |
| 71 | + k2: Part<W<W<T>[K1]>, K2>, |
| 72 | + k3: Part<W<W<W<T>[K1]>[K2]>, K3>, |
| 73 | + k4: Part<W<W<W<W<T>[K1]>[K2]>[K3]>, K4>, |
| 74 | + k5: Part<W<W<W<W<W<T>[K1]>[K2]>[K3]>[K4]>, K5>, |
| 75 | + setter: StoreSetter< |
| 76 | + W<W<W<W<W<T>[K1]>[K2]>[K3]>[K4]>[K5], |
| 77 | + [K5, K4, K3, K2, K1] |
| 78 | + >, |
| 79 | + ): void; |
| 80 | + |
| 81 | + < |
| 82 | + K1 extends KeyOf<W<T>>, |
| 83 | + K2 extends KeyOf<W<W<T>[K1]>>, |
| 84 | + K3 extends KeyOf<W<W<W<T>[K1]>[K2]>>, |
| 85 | + K4 extends MutableKeyOf<W<W<W<W<T>[K1]>[K2]>[K3]>>, |
| 86 | + >( |
| 87 | + k1: Part<W<T>, K1>, |
| 88 | + k2: Part<W<W<T>[K1]>, K2>, |
| 89 | + k3: Part<W<W<W<T>[K1]>[K2]>, K3>, |
| 90 | + k4: Part<W<W<W<W<T>[K1]>[K2]>[K3]>, K4>, |
| 91 | + setter: StoreSetter<W<W<W<W<T>[K1]>[K2]>[K3]>[K4], [K4, K3, K2, K1]>, |
| 92 | + ): void; |
| 93 | + |
| 94 | + < |
| 95 | + K1 extends KeyOf<W<T>>, |
| 96 | + K2 extends KeyOf<W<W<T>[K1]>>, |
| 97 | + K3 extends MutableKeyOf<W<W<W<T>[K1]>[K2]>>, |
| 98 | + >( |
| 99 | + k1: Part<W<T>, K1>, |
| 100 | + k2: Part<W<W<T>[K1]>, K2>, |
| 101 | + k3: Part<W<W<W<T>[K1]>[K2]>, K3>, |
| 102 | + setter: StoreSetter<W<W<W<T>[K1]>[K2]>[K3], [K3, K2, K1]>, |
| 103 | + ): void; |
| 104 | + |
| 105 | + <K1 extends KeyOf<W<T>>, K2 extends MutableKeyOf<W<W<T>[K1]>>>( |
| 106 | + k1: Part<W<T>, K1>, |
| 107 | + k2: Part<W<W<T>[K1]>, K2>, |
| 108 | + setter: StoreSetter<W<W<T>[K1]>[K2], [K2, K1]>, |
| 109 | + ): void; |
| 110 | + |
| 111 | + <K1 extends MutableKeyOf<W<T>>>( |
| 112 | + k1: Part<W<T>, K1>, |
| 113 | + setter: StoreSetter<W<T>[K1], [K1]>, |
| 114 | + ): void; |
| 115 | + |
| 116 | + (setter: StoreSetter<T, []>): void; |
| 117 | + |
| 118 | + // < |
| 119 | + // K1 extends KeyOf<W<T>>, |
| 120 | + // K2 extends KeyOf<W<W<T>[K1]>>, |
| 121 | + // K3 extends KeyOf<W<W<W<T>[K1]>[K2]>>, |
| 122 | + // K4 extends KeyOf<W<W<W<W<T>[K1]>[K2]>[K3]>>, |
| 123 | + // K5 extends KeyOf<W<W<W<W<W<T>[K1]>[K2]>[K3]>[K4]>>, |
| 124 | + // K6 extends KeyOf<W<W<W<W<W<W<T>[K1]>[K2]>[K3]>[K4]>[K5]>>, |
| 125 | + // K7 extends KeyOf<W<W<W<W<W<W<W<T>[K1]>[K2]>[K3]>[K4]>[K5]>[K6]>>, |
| 126 | + // >( |
| 127 | + // k1: Part<W<T>, K1>, |
| 128 | + // k2: Part<W<W<T>[K1]>, K2>, |
| 129 | + // k3: Part<W<W<W<T>[K1]>[K2]>, K3>, |
| 130 | + // k4: Part<W<W<W<W<T>[K1]>[K2]>[K3]>, K4>, |
| 131 | + // k5: Part<W<W<W<W<W<T>[K1]>[K2]>[K3]>[K4]>, K5>, |
| 132 | + // k6: Part<W<W<W<W<W<W<T>[K1]>[K2]>[K3]>[K4]>[K5]>, K6>, |
| 133 | + // k7: Part<W<W<W<W<W<W<W<T>[K1]>[K2]>[K3]>[K4]>[K5]>[K6]>, K7>, |
| 134 | + // // ...rest: Rest<W<W<W<W<W<W<W<T>[K1]>[K2]>[K3]>[K4]>[K5]>[K6]>[K7], [K7, K6, K5, K4, K3, K2, K1]> |
| 135 | + // ): void; |
| 136 | +} |
0 commit comments