def read.bytes

mylsm-lsm-store@0.6.0.1 · src/coordinator/Io.bend:117

import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

117def read.bytes(
118  file: File,
119  max_bytes: U32
120) -> IO(
121  File & Result<&1, &1, U32 & String, Bytes.Bytes>
122):
123  do IO<File & Result<&1, &1, U32 & String, Bytes.Bytes>>:
124    pair : File & Result<&1, &1, U32 & String, U32 & Array<U32>> <-
125      read.words(file, max_bytes)
126    return read.pair(pair)