def close

mylsm-lsm-store@0.6.0.1 · src/ByteDurableDb.bend:3107

import Base
import mylsm-lsm-store@0.6.0.1/src/DbLock.bend as DbLock
import mylsm-lsm-store@0.6.0.1/src/DurableError.bend as DurableError

3107# Releases database ownership and consumes the handle.
3108def close(handle: Handle) -> IO(Result<&1, &1, Error, Unit>):
3109  match handle:
3110    case Handle{path, lock, _, _, _}:
3111      do IO<Result<&1, &1, Error, Unit>>:
3112        result : Result<&1, &1, DurableError.Error, Unit> <-
3113          DbLock.release(lock, "close", path)
3114        return close.released(result)