def reject

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

import Base

26def reject(bad: Bool, +code: U32, +connection: Bool, +stream: U32) -> Maybe<&2, Error>:
27  match bad:
28    case True{}:
29      fail(code, connection, stream)
30    case False{}:
31      None{}