def seek.ready

mylsm-lsm-store@0.6.0.1 · src/scan/VisibleCursor.bend:99

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

99def seek.ready(
100  base: Maybe<&1, SstCursor.Cursor>,
101  delta: List<&1, ByteMemTable.Entry>,
102  bounds: RangeCursor.Bounds,
103  lowers: Maybe<&1, Bytes.Bytes> & Maybe<&1, Bytes.Bytes> & Maybe<&1, Bytes.Bytes>
104) -> Cursor:
105  match lowers:
106    case (base_lower, (delta_lower, bounds_lower)):
107      Active{base.seek(base, base_lower), None{}, RangeCursor.seek(delta, delta_lower),
108        VisibleSeekPolicy.seek.bounds(bounds, bounds_lower), None{}}