~/jendhub

def parse.result.first.read

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

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

670def parse.result.first.read(
671  source: Bytes.Bytes,
672  pair: Bytes.Cursor & Maybe<&2, U32>
673) -> ParseResult:
674  match pair:
675    case (_, None{}):
676      Malformed{}
677    case (cursor, Some{word}):
678      parse.result.first.checked(source, Bytes.Cursor.u32be(cursor), U32.is_eq(word, 1297697875))

Uses (10)

Used by (1)