def block.frame.length

mylsm-lsm-store@0.6.0.1 · src/transfer/Backup.bend:230

import mylsm-lsm-store@0.6.0.1/src/transfer/Backup.bend as Backup
import Base
import mylsm-lsm-store@0.6.0.1/src/StorageBytes.bend as StorageBytes
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

230def block.frame.length(
231  pair: Bytes.Bytes & U32,
232  +index: U32,
233  +count: U32
234) -> Result<&1, &1, Error, Bytes.Bytes>:
235  match pair:
236    case (frame, +length):
237      block.frame.bounded(frame, index, count,
238        U32.is_le(length, StorageBytes.MAX_BLOCK_BYTES()))

Uses (9)

Used by (1)