~/jendhub

def validate_frame_bytes

mylsm-lsm-store@0.6.0.1 · src/DurableBatchPolicy.bend:54

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

54# Decides whether one encoded frame is within its selected byte ceiling.
55def validate_frame_bytes(
56  count: Nat,
57  encoded_bytes: Nat,
58  batch_limit: Nat,
59  single_limit: Nat
60) -> Validation:
61  Bool.pick(Validation,
62    Nat.is_le(encoded_bytes, frame_byte_limit(count, batch_limit, single_limit)),
63    ValidBatch{}, BatchBytesExceeded{})

Uses (5)

Used by (1)