def seek.go

mylsm-lsm-store@0.6.0.1 · src/scan/RangeCursor.bend:95

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

95def seek.go(fuel: Nat, result: SeekStep) -> List<&1, ByteMemTable.Entry>:
96  match fuel:
97    case 0n:
98      match result:
99        case SeekSkip{entries, _}: entries
100        case SeekFound{found}: found
101    case 1n+rest:
102      match result:
103        case SeekSkip{entries, lower}:
104          seek.go(rest, seek.first(entries, Some{lower}))
105        case SeekFound{found}: found