def header.pick

cswap-bend-cli@0.1.0.0 · http.bend:61

import Base

61# Header lookup, case-insensitive on the name. `name` must be lowercase and
62# end with `:`.
63def header.pick(hit: Bool, +name: String, +line: String) -> Maybe<&2, String>:
64  match hit:
65    case True{}:
66      Some{String.trim(String.drop(line, String.length(name)))}
67    case False{}:
68      None{}