~/jendhub

def read.block.header.copy

mylsm-lsm-store@0.6.0.1 · src/SstStreamIo.bend:207

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

207def read.block.header.copy(
208  file: File,
209  +size: Nat,
210  +used: Nat,
211  parser: SstFile.StreamState,
212  header: Bytes.Bytes
213) -> StreamReadState:
214  read.block.header.copied(file, size, used, parser,
215    read.block.header.inspected(SstFile.bytes.clone.split(header)))

Uses (8)

Used by (1)