def cors.names.step

emerging-ezhttp@0.21.0.0 · src/cors.bend:100

import Base

100# every requested header name is allowed. Empty means none were requested.
101def cors.names.step(ok: Bool, rest: Unit -> Bool) -> Bool:
102  match ok:
103    case True{}:
104      rest(Unit{})
105    case False{}:
106      False{}