effect-io-ai

Package: effect
Module: Pull

Pull.Leftover

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.

See

• Success for extracting the pulled value type instead
• Error for extracting the ordinary failure type, excluding Cause.Done
• Services for extracting the required services type instead

Signature

type Leftover<P> = P extends Effect<infer _A, infer _E, infer _R> ? _E extends Cause.Done<infer _L> ? _L : never
  : never

Source

Since v4.0.0