def measure_key_body_result
mylsm-lsm-store@0.6.0.1 · src/scan/ByteBlockReader.bend:964
import mylsm-lsm-store@0.6.0.1/src/scan/ByteBlockReader.bend as ByteBlockReader
import Base
import mylsm-lsm-store@0.6.0.1/src/ByteSstFile.bend as ByteSstFile
import mylsm-lsm-store@0.6.0.1/src/ByteWal.bend as ByteWal
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes
964
965def measure_key_body_result(
966 key: Bytes.Bytes,
967 pair: File & Result<&1, &1, U32 & String, Bytes.Bytes>
968) -> IO(Result<&1, &1, U32 & String, ByteWal.ValueMetadata>):
969 match pair:
970 case (file, Fail{error}):
971 do IO<Result<&1, &1, U32 & String, ByteWal.ValueMetadata>>:
972 _closed : Unit <- File.close(file)
973 return Fail{error}
974 case (file, Done{block}):
975 measure_key_closed(file, ByteSstFile.measure_block(block, key))