def dflt

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

import emerging-ezhttp@0.21.0.0/src/url.bend as Url

import Base

15# the port a scheme implies when the authority names none (RFC 3986 §3.2.3;
16# HTTPS default 443 is the well-known TLS port, not re-specified here)
17def dflt(scheme: String) -> U32:
18  Bool.pick(U32, String.eq(scheme, "https"), 443, 80)

Uses (4)

Used by (3)