~/jendhub

def parse.result.first.checked

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

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

659def parse.result.first.checked(
660  source: Bytes.Bytes,
661  pair: Bytes.Cursor & Maybe<&2, U32>,
662  valid: Bool
663) -> ParseResult:
664  match valid:
665    case False{}:
666      Malformed{}
667    case True{}:
668      parse.result.second.read(source, pair)

Uses (8)

Used by (1)