~/jendhub

def decode.words.payload_length.copies

mylsm-lsm-store@0.6.0.1 · src/coordinator/Protocol.bend:349

import mylsm-lsm-store@0.6.0.1/src/coordinator/Protocol.bend as Protocol
import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

349def decode.words.payload_length.copies(
350  input: Bytes.Bytes,
351  +size: U32,
352  +version: U32,
353  +generation: U32,
354  +request_id: U32,
355  +operation: U32,
356  copies: U32 & U32 & U32,
357  max_payload_bytes: Nat
358) -> FrameDecision:
359  match copies:
360    case (frame_length, exact_length, bounded_length):
361      decode.words.payload_length.admitted(input, size, version, generation,
362        request_id, operation, frame_length, exact_length,
363        U32.is_le(bounded_length, U32.from_nat(max_payload_bytes)))

Uses (9)

Used by (1)