def parse.header.level.checked

mylsm-lsm-store@0.6.0.1 · src/SstFile.bend:1596

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

1596def parse.header.level.checked(
1597  cursor: Bytes.Cursor,
1598  +level: U32,
1599  valid: Bool
1600) -> Bytes.Cursor & Result<&1, &1, Error, SstHeader>:
1601  match valid:
1602    case False{}:
1603      (cursor, Fail{InvalidLevel{}})
1604    case True{}:
1605      parse.header.total(Bytes.Cursor.u32be(cursor), level)