def verify.complete.copied

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

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

283def verify.complete.copied(
284  pair: Bounds & Bounds,
285  reader: ByteBlockReader.Reader
286) -> IO(Result<&1, &1, U32 & String, Cursor>):
287  match pair:
288    case (retained, seek_bounds):
289      match seek_bounds:
290        case Bounds{lower, _, _}:
291          match lower:
292            case None{}:
293              IO.pure(Result<&1, &1, U32 & String, Cursor>,
294                Done{Active{ByteBlockReader.entry.open(reader), retained}})
295            case Some{key}:
296              verify.complete.routed(retained,
297                ByteBlockReader.seek_key_after_validation(reader, key))