def port.of

emerging-ezhttp@0.21.0.0 · src/url.bend:36

import Base

36# the port an authority asked for, or the one its scheme implies
37def port.of(ps: List<&2, String>, scheme: String) -> U32:
38  match ps:
39    case []:
40      dflt(scheme)
41    case h <> t:
42      port.tail(t, scheme)