~/jendhub

def tx.get.bound.decided

mylsm-lsm-store@0.6.0.1 · src/coordinator/TransportBudgetPolicy.bend:177

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

177def tx.get.bound.decided(
178  fits_payload: Bool,
179  +value_bytes: Nat,
180  +capacity: Nat
181) -> BoundDecision:
182  match fits_payload:
183    case False{}: TooLarge{}
184    case True{}:
185      tx.get.bound.peak(value_bytes,
186        tx.get.peak(value_bytes),
187        Nat.is_le(tx.get.peak(value_bytes), capacity))

Uses (6)

Used by (1)