def decode.words.payload_length
mylsm-lsm-store@0.6.0.1 · src/coordinator/Protocol.bend:365
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
365def decode.words.payload_length(
366 pair: Bytes.Bytes & Maybe<&2, U32>,
367 +size: U32,
368 max_payload_bytes: Nat,
369 +version: U32,
370 +generation: U32,
371 +request_id: U32,
372 +operation: U32
373) -> FrameDecision:
374 match pair:
375 case (input, Some{payload_length}):
376 decode.words.payload_length.copies(input, size, version, generation,
377 request_id, operation, u32.duplicate.triple(payload_length),
378 max_payload_bytes)
379 case _: Malformed{}