def name.indexed

bend-kit-http2@0.4.0.0 · hpack.bend:370

import Base

370def name.indexed(m: Maybe<&2, Field>, c: Cursor) -> Maybe<&1, Cursor & String>:
371  match m:
372    case None{}:
373      None{}
374    case Some{Field{name, value, mode}}:
375      Some{(c, name)}