def read.exact.state

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

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

119def read.exact.state(
120  pair: File & Result<&1, &1, U32 & String, ExactResult>
121) -> File & Result<&1, &1, U32 & String, Bytes.Bytes>:
122  match pair:
123    case (file, Fail{error}):
124      (file, Fail{error})
125    case (file, Done{ExactResult{bytes, complete}}):
126      (file, read.exact.complete(bytes, complete))