def stream.update.checked

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

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

342def stream.update.checked(
343  +compressed: S.State,
344  tail: Packed.Bytes,
345  incoming: Packed.Bytes,
346  input_length: U32,
347  total: Nat,
348  valid: Bool
349) -> Result<&1, &1, StreamError, Stream>:
350  match valid:
351    case False{}: Fail{ResourceLimit{}}
352    case True{}:
353      stream.joined(compressed, tail, incoming, input_length, total)