def resolve.all.pure.pick

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

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

737def resolve.all.pure.pick(+host: String, +xs: List<&2, String>) -> IO(List<&2, String>):
738  match xs:
739    case Nil{}:
740      resolve.all.ask(String.to_lower(host))
741    case Con{+_, +t}:
742      IO.pure(List<&2, String>, xs)

Uses (6)

Used by (1)