theluyuan/vue3-yuanma
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

types: use recursion for unwrapping refs (#137)

Browse Source
This commit is contained in:
Andrew / Kana 2019-10-07 03:11:52 +03:00 committed by Evan You
parent 4fc2174dce
commit c6b7afcc23
1 changed files with 11 additions and 76 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

87
packages/reactivity/src/ref.ts
View File

@ -68,80 +68,15 @@ type BailTypes =
| WeakSet<any> | WeakSet<any>
// Recursively unwraps nested value bindings. // Recursively unwraps nested value bindings.
// Unfortunately TS cannot do recursive types, but this should be enough for export type UnwrapRef<T> = {
// practical use cases... ref: T extends Ref<infer V> ? UnwrapRef<V> : T
export type UnwrapRef<T> = T extends Ref<infer V> array: T extends Array<infer V> ? Array<UnwrapRef<V>> : T
? UnwrapRef2<V> object: { [K in keyof T]: UnwrapRef<T[K]> }
: T extends Array<infer V> stop: T
? Array<UnwrapRef2<V>> }[T extends Ref<any>
? 'ref'
: T extends Array<any>
? 'array'
: T extends BailTypes : T extends BailTypes
? T // bail out on types that shouldn't be unwrapped ? 'stop' // bail out on types that shouldn't be unwrapped
: T extends object ? { [K in keyof T]: UnwrapRef2<T[K]> } : T : T extends object ? 'object' : 'stop']
type UnwrapRef2<T> = T extends Ref<infer V>
? UnwrapRef3<V>
: T extends Array<infer V>
? Array<UnwrapRef3<V>>
: T extends BailTypes
? T
: T extends object ? { [K in keyof T]: UnwrapRef3<T[K]> } : T
type UnwrapRef3<T> = T extends Ref<infer V>
? UnwrapRef4<V>
: T extends Array<infer V>
? Array<UnwrapRef4<V>>
: T extends BailTypes
? T
: T extends object ? { [K in keyof T]: UnwrapRef4<T[K]> } : T
type UnwrapRef4<T> = T extends Ref<infer V>
? UnwrapRef5<V>
: T extends Array<infer V>
? Array<UnwrapRef5<V>>
: T extends BailTypes
? T
: T extends object ? { [K in keyof T]: UnwrapRef5<T[K]> } : T
type UnwrapRef5<T> = T extends Ref<infer V>
? UnwrapRef6<V>
: T extends Array<infer V>
? Array<UnwrapRef6<V>>
: T extends BailTypes
? T
: T extends object ? { [K in keyof T]: UnwrapRef6<T[K]> } : T
type UnwrapRef6<T> = T extends Ref<infer V>
? UnwrapRef7<V>
: T extends Array<infer V>
? Array<UnwrapRef7<V>>
: T extends BailTypes
? T
: T extends object ? { [K in keyof T]: UnwrapRef7<T[K]> } : T
type UnwrapRef7<T> = T extends Ref<infer V>
? UnwrapRef8<V>
: T extends Array<infer V>
? Array<UnwrapRef8<V>>
: T extends BailTypes
? T
: T extends object ? { [K in keyof T]: UnwrapRef8<T[K]> } : T
type UnwrapRef8<T> = T extends Ref<infer V>
? UnwrapRef9<V>
: T extends Array<infer V>
? Array<UnwrapRef9<V>>
: T extends BailTypes
? T
: T extends object ? { [K in keyof T]: UnwrapRef9<T[K]> } : T
type UnwrapRef9<T> = T extends Ref<infer V>
? UnwrapRef10<V>
: T extends Array<infer V>
? Array<UnwrapRef10<V>>
: T extends BailTypes
? T
: T extends object ? { [K in keyof T]: UnwrapRef10<T[K]> } : T
type UnwrapRef10<T> = T extends Ref<infer V>
? V // stop recursion
: T