def parse.stream.header.rules

mylsm-lsm-store@0.6.0.1 · src/ByteSstFile.bend:1501

import Base

1501def parse.stream.header.rules(
1502  header: MultiHeader,
1503  valid_magic: Bool,
1504  valid_fields: Bool
1505) -> Result<&1, &1, Error, MultiHeader>:
1506  match valid_magic:
1507    case False{}: Fail{Malformed{}}
1508    case True{}:
1509      match valid_fields:
1510        case False{}: Fail{Malformed{}}
1511        case True{}: Done{header}