~/jendhub

def seek.counted

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

import mylsm-lsm-store@0.6.0.1/src/scan/RangeCursor.bend as RangeCursor
import Base
import mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend as ByteMemTable
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

107def seek.counted(
108  entries: List<&1, ByteMemTable.Entry> & Nat,
109  lower: Maybe<&1, Bytes.Bytes>
110) -> List<&1, ByteMemTable.Entry>:
111  match entries:
112    case (source, count): seek.go(Nat.add(count, 1n), seek.first(source, lower))

Uses (10)

Used by (1)