def port.dflt

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

import Base

656# the port a scheme implies: 443 for a secure one, 80 otherwise (RFC 9110
657# §4.2.1, §4.2.2)
658def port.dflt(secure: Bool) -> U32:
659  match secure:
660    case True{}:
661      443
662    case False{}:
663      80