Wirespec.wire.fail.resolve: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/wirespec.bend as Wirespec
Lines 334-341 of emerging-ezhttp@0.21.0.0/src/wirespec.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.21.0.0/src/wirespec.bend&start_line=334&end_line=341

import Base

# a resolve's failure: bend-kit-dns reports a name with no address as
# ENOENT, whose name would read as a missing file, so only the host is named
def wire.fail.resolve(host: String, +n: U32, none: Bool) -> String:
  match none:
    case True{}:
      "6\ncould not resolve " ++ host
    case False{}:
      "6\ncould not resolve " ++ host ++ ": " ++ wire.cause(n)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/wirespec.bend&name=wire.cause