def head.pick

emerging-ezhttp@0.21.0.0 · src/http.bend:385

import Base

385# this line's value when it is the header asked for
386def head.pick(hit: Bool, h: String, name: String, rest: String) -> String:
387  match hit:
388    case True{}:
389      String.trim(String.drop(h, Nat.add(String.length(name), 1n)))
390    case False{}:
391      rest