~/jendhub

def resolve.all.dns.one

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

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

680def resolve.all.dns.one(m: Maybe<&2, String>) -> IO(List<&2, String>):
681  match m:
682    case Some{ip}:
683      IO.pure(List<&2, String>, list.one(ip))
684    case None{}:
685      IO.pure(List<&2, String>, Nil{})

Uses (6)

Used by (1)