def with_taken

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

import bend-kit-http2@0.4.0.0/hpack.bend as Hpack

import Base

163def with_taken(-R: Type, m: Maybe<&1, Cursor & U32>, k: Cursor -> U32 -> Maybe<&1, R>) -> Maybe<&1, R>:
164  match m:
165    case None{}:
166      None{}
167    case Some{pair}:
168      with_pair(Maybe<&1, R>, pair, k)

Uses (5)

Used by (6)