def port.tail

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

import Base

28# the port named after the colon, when there is anything after it
29def port.tail(ps: List<&2, String>, scheme: String) -> U32:
30  match ps:
31    case []:
32      dflt(scheme)
33    case h <> t:
34      port.num(U32.read(h), scheme)