Leftover<P>Extracts the leftover type from a Pull type.
When to use
Use to derive the completion leftover type from an existing Pull when
declaring reusable type aliases or helper signatures that preserve a pull's
done value.
Source effect/Pull.ts:962 lines
export type type Leftover<P> = P extends Effect<
infer _A,
infer _E,
infer _R
>
? _E extends Cause.Done<infer _L>
? _L
: never
: never
Extracts the leftover type from a Pull type.
When to use
Use to derive the completion leftover type from an existing Pull when
declaring reusable type aliases or helper signatures that preserve a pull's
done value.
Leftover<function (type parameter) P in type Leftover<P>P> = function (type parameter) P in type Leftover<P>P extends import EffectEffect<infer function (type parameter) _A_A, infer function (type parameter) _E_E, infer function (type parameter) _R_R> ? function (type parameter) _E_E extends import CauseCause.type Cause.Done = /*unresolved*/ anyDone<infer function (type parameter) _L_L> ? function (type parameter) _L_L : never
: never