~/jendhub

def resolve.all.hosts

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

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

713def resolve.all.hosts(+name: String, r: Result<&1, &1, U32 & String, File>) -> IO(List<&2, String>):
714  match r:
715    case Fail{e}:
716      resolve.all.dns(name)
717    case Done{f}:
718      do IO<List<&2, String>>:
719        m : File & Result<&1, &1, U32 & String, String> <- File.read(f, 65536)
720        resolve.all.opened(name, m)

Uses (11)

Used by (1)