Function safeDivide

test/README.example.proof.ts:416–420

(a: number, b: number)

    const raise: EffectFactory<Raise> = effect("raise", { resumable: false });

    const safeDivide = (a: number, b: number) =>
      effected(function* () {
        if (b === 0) return yield* raise("Division by zero");
        return a / b;
      });

    expect(safeDivide).to(equal<(a: number, b: number) => Effected<Raise, number>>);