~/jendhub

def advance

mylsm-lsm-store@0.6.0.1 · src/scan/BlockRoutePolicy.bend:47

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

47# Advances the interval and candidate after one separator comparison.
48def advance(state: Search, direction: Move, mid: Nat) -> Search:
49  match direction:
50    case SearchLower{}: advance.lower(state, mid)
51    case SearchUpper{}: advance.upper(state, mid)

Uses (5)

Used by (1)