@ue-too/being / index / WidenedState

Type Alias: 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

Defined in: 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.

Type Parameters

E1

E1

C1

C1

S1

S1

O1

O1

E2

E2

C2

C2

S2

S2

O2

O2