def parse.body.digest.checked

mylsm-lsm-store@0.6.0.1 · src/Manifest.bend:477

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

477def parse.body.digest.checked(
478  body_len: U32,
479  hash_source: Bytes.Bytes,
480  footer_source: Bytes.Bytes,
481  levels: List<&2, List<&2, String>>,
482  within_size: Bool
483) -> Maybe<&2, Manifest>:
484  match within_size:
485    case False{}:
486      None{}
487    case True{}:
488      parse.body.digest.footer(body_len, hash_source, levels, bytes.clone.split(footer_source))