Function safeDivide

test/koka-samples.spec.ts:58–61

(x: number, y: number)

const raise: EffectFactory<Raise> = effect("raise");

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

type Maybe<T> = { _tag: "Just"; value: T } | { _tag: "Nothing" };
const just = <T>(value: T): Maybe<T> => ({ _tag: "Just", value });