~/jendhub

def Bytes.scan_next.owned.checked

mylsm-lsm-store@0.6.0.1 · mylsm.bend:1655

import mylsm-lsm-store@0.6.0.1/mylsm.bend as Mylsm
import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as PackedBytes
import mylsm-lsm-store@0.6.0.1/src/scan/RangeCursor.bend as ByteRangeCursor

1655def Bytes.scan_next.owned.checked(
1656  snapshot: Bytes.Snapshot,
1657  inner: Bytes.Cursor,
1658  keys: PackedBytes.Bytes & PackedBytes.Bytes & PackedBytes.Bytes,
1659  value: PackedBytes.Bytes,
1660  copies: ByteRangeCursor.Bounds & ByteRangeCursor.Bounds
1661) -> Bytes.StreamStep:
1662  match keys:
1663    case (key, (range_key, prefix_key)):
1664      match copies:
1665        case (checked, retained):
1666          Bytes.scan_next.owned.item(snapshot, inner, key, value, retained,
1667            ByteRangeCursor.matches.key((range_key, prefix_key), checked))

Uses (9)

Used by (1)