def parse.size

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

import mylsm-lsm-store@0.6.0.1/src/Manifest.bend as Manifest

import Base
import mylsm-lsm-store@0.6.0.1/src/StorageBytes.bend as StorageBytes
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

601def parse.size(size_pair: Bytes.Bytes & U32) -> Maybe<&2, Manifest>:
602  match size_pair:
603    case (source, len):
604      parse.bounded(source, U32.is_le(len, StorageBytes.MAX_MANIFEST_BYTES()))

Uses (9)

Used by (1)

mylsm-lsm-store@0.6.0.1/src/Manifest:parse