Wire.wire.looked: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/wire.bend as Wire
Lines 241-249 of emerging-ezhttp@0.21.0.0/src/wire.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.21.0.0/src/wire.bend&start_line=241&end_line=249

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

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

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-kit-dns@0.7.0.0/dns.bend&name=lookup.split