~/jendhub

def with_text

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

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

363def with_text(-R: Type, m: Maybe<&1, Cursor & String>, k: Cursor -> String -> Maybe<&1, R>) -> Maybe<&1, R>:
364  match m:
365    case None{}:
366      None{}
367    case Some{pair}:
368      with_text.pair(Maybe<&1, R>, pair, k)

Uses (5)

Used by (1)