Wirespec.wire.why: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/wirespec.bend as Wirespec
Lines 61-67 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=61&end_line=67

import Base

# a failed exchange's status and reason as the reason the client reports
def wire.why(code: Maybe<&2, U32>, why: String) -> String:
  match code:
    case None{}:
      why
    case Some{n}:
      wire.why.of(why, U32.is_eq(n, wire.late()))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  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=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/wirespec.bend&name=wire.late
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/wirespec.bend&name=wire.why.of