def decide.target.sized

mylsm-lsm-store@0.6.0.1 · src/scan/ByteBlockBuilder.bend:70

import Base

70# Rejects a record above the hard cap, otherwise appends or starts the next block.
71def decide.target.sized(
72  +used_bytes: Nat,
73  +record_bytes: Nat,
74  record_fits: Bool,
75  append: Bool
76) -> Decision:
77  match record_fits:
78    case False{}: RecordTooLarge{}
79    case True{}: decide.target.placed(used_bytes, record_bytes, append)