def verify.complete.routed.result

mylsm-lsm-store@0.6.0.1 · src/scan/SstCursor.bend:264

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

264def verify.complete.routed.result(
265  bounds: Bounds,
266  result: Result<&1, &1, U32 & String, ByteBlockReader.Reader>
267) -> IO(Result<&1, &1, U32 & String, Cursor>):
268  match result:
269    case Fail{error}:
270      IO.pure(Result<&1, &1, U32 & String, Cursor>, Fail{error})
271    case Done{reader}:
272      IO.pure(Result<&1, &1, U32 & String, Cursor>,
273        Done{Active{ByteBlockReader.entry.open(reader), bounds}})