Skip to content

@ue-too/being / index / WidenedState

型別別名: WidenedState<E1, C1, S1, O1, E2, C2, S2, O2> ​

WidenedState<E1, C1, S1, O1, E2, C2, S2, O2> = [E2] extends [E1] ? [C2] extends [C1] ? [S1] extends [S2] ? [O2] extends [O1] ? State<E2, C2 & BaseContext, S2 & string, O2 & Partial<Record<keyof E2, unknown>>> : object : object : object : object

定義於: expansion.ts:19

Resolves to State<E2, C2, S2, O2> when the target generics are a superset of the original's, and to a descriptive error object otherwise so the mistake surfaces where the widened state is registered.

型別參數 ​

E1 ​

E1

C1 ​

C1

S1 ​

S1

O1 ​

O1

E2 ​

E2

C2 ​

C2

S2 ​

S2

O2 ​

O2