def prefix.finish

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

import Base

296# Builds a prefix request only when its field consumes the remaining frame.
297def prefix.finish(
298  parsed: BoundResult,
299  snapshot_id: U32,
300  total: U32
301) -> Decision:
302  match parsed:
303    case BoundMalformed{}: Malformed{}
304    case BoundParsed{_, Some{prefix}, next}:
305      prefix.finish.exact(U32.is_eq(next, total), snapshot_id, prefix)
306    case BoundParsed{_, None{}, _}: Malformed{}