def read_bytes

bend-kit-files@0.3.1.0 · files.bend:202

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

202# The existing Bytes layout, without an octet List or String.
203def read_bytes(file: File, max: U32) ->
204  IO(File & Result<&1, &1, U32 & String, Bytes.Bytes>):
205  do IO<File & Result<&1, &1, U32 & String, Bytes.Bytes>>:
206    pair : File & Result<&1, &1, U32 & String, U32 & Array<U32>> <- read.words(file, max)
207    return read_bytes.pair(pair)