i/resource

Final functions (§9.5).

ensureCopy Anchor Link

Runs with after body, whether body ends normally, ends with an error, or is unwound.

ensure : <A, E, N>(() <- (Fail(E), ..N) -> A, () <- N -> Nil) <- (

acquireCopy Anchor Link

After open is done, runs release when use ends or is unwound.

acquire = <R, E, N, A>(