def read_at.start
mylsm-lsm-store@0.6.0.1 · src/Fs.bend:339
import mylsm-lsm-store@0.6.0.1/src/Fs.bend as Fs
import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as StorageBytes
339def read_at.start(
340 file: File,
341 offsets: Nat & Nat,
342 maxima: Nat & Nat & Nat
343) -> IO(File & Result<&1, &1, U32 & String, StorageBytes.Bytes>):
344 match offsets:
345 case (offset, checked_offset):
346 match maxima:
347 case (for_validation, for_fuel, for_remaining):
348 read_at.start.validated(file, offset, (for_fuel, for_remaining),
349 read_at.range.valid(checked_offset, for_validation))