~/jendhub

def port.num

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

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

20# a port that parsed, or the scheme's own when the digits were not digits
21def port.num(got: Maybe<&2, U32>, scheme: String) -> U32:
22  match got:
23    case None{}:
24      dflt(scheme)
25    case Some{n}:
26      n

Uses (4)

Used by (1)