def resolve.pure

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

import Base

747def resolve.pure(+host: String) -> IO(Maybe<&2, String>):
748  do IO<Maybe<&2, String>>:
749    xs : List<&2, String> <- resolve.all.pure(host)
750    return list.first(xs)

Uses (8)

List
String
Maybe
IO
IO.bind
…

Used by (0)

No other definition uses this definition.