def authority.of

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

import emerging-ezhttp@0.21.0.0/src/http.bend as Http

import Base

665# the Host field value once it is known whether the port is the default
666def authority.of(host: String, +port: U32, dflt: Bool) -> String:
667  match dflt:
668    case True{}:
669      host
670    case False{}:
671      host ++ ":" ++ U32.show(port)

Uses (5)

Used by (1)

emerging-ezhttp@0.21.0.0/src/http:authority