def stream.tail.result
mylsm-lsm-store@0.6.0.1 · src/hub_sha/sha256.bend:274
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
274def stream.tail.result(
275 +compressed: S.State,
276 joined: Packed.Bytes,
277 complete: Packed.Bytes,
278 full_length: Nat,
279 remainder: Nat,
280 total: Nat
281) -> Result<&1, &1, StreamError, Stream>:
282 stream.tail.result.sliced(compressed, complete,
283 Packed.slice(joined, U32.from_nat(full_length), U32.from_nat(remainder)),
284 total)