~/jendhub

def hosts.line.all

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

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

614def hosts.line.all(+name: String, xs: List<&2, String>) -> List<&2, String>:
615  match xs:
616    case Nil{}:
617      Nil{}
618    case Con{+addr, ns}:
619      Bool.pick(List<&2, String>, Bool.and(ip(addr), hosts.on_line(name, ns)), list.one(addr), Nil{})

Uses (7)

Used by (1)