def checked

bend-kit-http2@0.4.0.0 · http2.bend:149

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

149def checked(m: Maybe<&2, Error>, +kind: U32, +flags: U32, +stream: U32, b: Bytes.Bytes) -> Checked:
150  match m:
151    case Some{e}:
152      Invalid{e}
153    case None{}:
154      Valid{Frame{kind, flags, stream, b}}