def opened

mylsm-lsm-store@0.6.0.1 · src/DbLock.bend:90

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

90# Locks the opened file or classifies its open error.
91def opened(
92  result: Result<&1, &1, U32 & String, File>,
93  operation: String,
94  path: String
95) -> IO(Result<&1, &1, DurableError.Error, Lock>):
96  match result:
97    case Fail{error}:
98      open_failed(error, operation, path)
99    case Done{file}:
100      lock_file(file, operation, path)