Interface EffectedDraft

src/effected.ts:2249–2429

}

export interface EffectedDraft<
  out P extends Effect = Effect,
  out E extends Effect = Effect,
  out R = unknown,
> extends Iterable<E, R, unknown> {
  handle<Name extends ExtractEffect<E>["name"], T = R, F extends Effect = never>(
    effect: Name,
    handler: ExtractEffect<E> extends infer E ?
      Extract<E, Effect<Name>> extends Unresumable<Effect> ?
        (
          {
            effect,
            terminate,
          }: { effect: Extract<E, Effect<Name>>; terminate: (value: T) => void },
          ...payloads: Extract<E, Effect<Name>>["payloads"]
        ) => void | Generator<F, void, unknown> | Effected<F, void>
      : (
          {
            effect,
            resume,
            terminate,
          }: {
            effect: Extract<E, Effect<Name>>;
            resume: (value: Extract<E, Effect<Name>>["__returnType"]) => void;
            terminate: (value: T) => void;
          },
          ...payloads: Extract<E, Effect<Name>>["payloads"]
        ) => void | Generator<F, void, unknown> | Effected<F, void>
    : never,
  ): EffectedDraft<P, ExcludeEffect<E, Effect<Name>> | F, R | T>;
  handle<Name extends string | symbol, T = R, F extends Effect = never>(
    effect: (name: ExtractEffect<E>["name"]) => name is Name,
    handler: ExtractEffect<E> extends infer E ?
      Extract<E, Effect<Name>> extends Unresumable<Effect> ?
        (
          {
            effect,
            terminate,
          }: { effect: Extract<E, Effect<Name>>; terminate: (value: T) => void },
          ...payloads: Extract<E, Effect<Name>>["payloads"]
        ) => void | Generator<F, void, unknown> | Effected<F, void>
      : (
          {
            effect,
            resume,
            terminate,
          }: {
            effect: Extract<E, Effect<Name>>;
            resume: (value: Extract<E, Effect<Name>>["__returnType"]) => void;
            terminate: (value: T) => void;
          },
          ...payloads: Extract<E, Effect<Name>>["payloads"]
        ) => void | Generator<F, void, unknown> | Effected<F, void>
    : never,
  ): EffectedDraft<P, ExcludeEffect<E, Effect<Name>> | F, R | T>;

  resume<Name extends Exclude<E, Unresumable<Effect>>["name"], F extends Effect = never>(
    effect: Name,