~/jendhub

def try.back

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

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

449def try.back(ns: String, id: U32, m: Socket & Result<&1, &1, U32 & String, String & U32 & (U32 & Array<U32>)>) -> IO(Socket & Try):
450  (s, r) = m
451  match r:
452    case Fail{e}:
453      try.pure(s, Again{})
454    case Done{hpd}:
455      try.from(s, ns, id, hpd)

Uses (11)

Used by (1)