Hairpin.close.last: def of bend-kit-hairpin@0.13.0.1
Import: import bend-kit-hairpin@0.13.0.1/hairpin.bend as Hairpin
Lines 343-352 of bend-kit-hairpin@0.13.0.1/hairpin.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-hairpin@0.13.0.1/hairpin.bend&start_line=343&end_line=352

import Base

def close.last(~R: Type, ~close: R -> IO(Unit), last: Maybe<&1, Result<&1, &1, Err, R>>) -> IO(Unit):
  match last:
    case None{}:
      IO.pure(Unit, Unit{})
    case Some{r}:
      match r:
        case Fail{e}:
          IO.pure(Unit, Unit{})
        case Done{x}:
          close(x)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=bend-kit-hairpin@0.13.0.1/hairpin.bend&name=Err