Echo.pair.cut: def of emerging-ezhttp@0.21.0.0 Import: import emerging-ezhttp@0.21.0.0/src/echo.bend as Echo Lines 44-53 of emerging-ezhttp@0.21.0.0/src/echo.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.21.0.0/src/echo.bend&start_line=44&end_line=53 import Base import emerging-ezhttp@0.21.0.0/src/qs.bend as Qs # the name-value-pair cut at its first `=`: none without one (ยง5.2 step 2), # else the name before it and the value after it, each without leading and # trailing WSP (steps 3, 4) def pair.cut(m: Maybe<&2, Qs.Kv()>) -> Maybe<&2, Qs.Kv()>: match m: case None{}: None{} case Some{(before, after)}: +name = wsp.trim(before) pair.named(name, wsp.trim(after), String.is_empty(name)) Uses (6): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_empty https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/echo.bend&name=pair.named https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/echo.bend&name=wsp.trim https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/qs.bend&name=Kv