~/jendhub

def wire.looked

emerging-ezhttp@0.21.0.0 · src/wire.bend:241

import emerging-ezhttp@0.21.0.0/src/wire.bend as Wire
import Base
import bend-kit-dns@0.6.0.2/dns.bend as Dns

241# the OS resolver's addresses, NUL-separated, as a list
242def wire.looked(r: Result<&1, &1, U32 & String, String>)
243  -> IO(Result<&1, &1, U32 & String, List<&2, String>>):
244  match r:
245    case Fail{e}:
246      IO.pure(Result<&1, &1, U32 & String, List<&2, String>>, Fail{e})
247    case Done{text}:
248      IO.pure(Result<&1, &1, U32 & String, List<&2, String>>,
249        Done{Dns.lookup.split(text)})

Uses (8)

Used by (1)