type ReadAtState

mylsm-lsm-store@0.6.0.1 · src/Fs.bend:245

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

245# Retains the file and bounded positional-read progress between host calls.
246type ReadAtState is Type:
247  ReadAtNeed{file: File, offset: Nat, remaining: Nat,
248    chunks: List<&1, StorageBytes.Bytes>}
249  ReadAtRead{pair: File & Result<&1, &1, U32 & String, List<&2, U32>>,
250    offset: Nat, remaining: Nat,
251    chunks: List<&1, StorageBytes.Bytes>}
252  ReadAtPacked{file: File, offset: Nat, remaining: Nat,
253    chunks: List<&1, StorageBytes.Bytes>, buffer: StorageBytes.Bytes}