Source file Fun.ml

open StdlibShim

module Deep =
struct
  let finally k f =
    match f () with
    | x -> Effect.Deep.continue k x
    | exception e -> Effect.Deep.discontinue k e

  let reperform k e =
    finally k @@ fun () -> Effect.perform e
end

module Shallow =
struct
  let finally_with k f h =
    match f () with
    | x -> Effect.Shallow.continue_with k x h
    | exception e -> Effect.Shallow.discontinue_with k e h

  let reperform_with k e =
    finally_with k @@ fun () -> Effect.perform e
end