~/jendhub

def range.finish

mylsm-lsm-store@0.6.0.1 · src/coordinator/CursorOpenCodec.bend:253

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

253# Builds a range request only when its fields consume the entire frame.
254def range.finish(
255  parsed: RangeResult,
256  snapshot_id: U32,
257  total: U32
258) -> Decision:
259  match parsed:
260    case RangeMalformed{}: Malformed{}
261    case RangeParsed{lower, upper, next}:
262      range.finish.exact(U32.is_eq(next, total), snapshot_id, lower, upper)

Uses (5)

Used by (1)