Effection Logo

type alias Yielded

thefrontside/effection

type Yielded = T extends Operation<infer TYield> ? TYield : never

Unwrap the type of an Operation. Analogous to the built in Awaited type. Yielded<Operation<T>> === T

Type Parameters

T extends Operation<unknown>