def stream.result.sliced

mylsm-lsm-store@0.6.0.1 · src/hub_sha/sha256.bend:285

import Base
import mylsm-lsm-store@0.6.0.1/src/hub_sha/state.bend as S
import bend-kit-bytes@0.3.2.0/bytes.bend as Packed

285def stream.result.sliced(
286  +compressed: S.State,
287  pair: Packed.Bytes & Packed.Bytes,
288  full_length: Nat,
289  remainder: Nat,
290  total: Nat
291) -> Result<&1, &1, StreamError, Stream>:
292  match pair:
293    case (retained, complete):
294      stream.tail.result(compressed, retained, complete, full_length,
295        remainder, total)