def stream.joined
mylsm-lsm-store@0.6.0.1 · src/hub_sha/sha256.bend:332
import mylsm-lsm-store@0.6.0.1/src/hub_sha/sha256.bend as Sha256
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
332def stream.joined(
333 +compressed: S.State,
334 tail: Packed.Bytes,
335 incoming: Packed.Bytes,
336 input_length: U32,
337 total: Nat
338) -> Result<&1, &1, StreamError, Stream>:
339 stream.joined.measured(compressed,
340 Packed.length(Packed.concat([tail, incoming])), input_length, total)