~/jendhub

def tries.end

bend-kit-dns@0.7.0.0 · dns.bend:486

import bend-kit-dns@0.7.0.0/dns.bend as Dns
import Base

486def tries.end(st: Socket & Try) -> IO(Maybe<&2, String>):
487  (s, t) = st
488  match t:
489    case Got{ip}:
490      try.close(s, ip)
491    case Again{}:
492      try.close(s, None{})

Uses (8)

Used by (1)