@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