def loopback.port

ezmcp@0.1.0.0 · src/web.bend:86

import Base

86# after the host: nothing, or a colon and a port's digits
87def loopback.port(rest: String) -> Bool:
88  match rest:
89    case SNil{}:
90      True{}
91    case SCon{head, tail}:
92      loopback.colon(tail, Char.is_eq(head, ':'))