Req.http.err: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/usage/req.bend as Req
Lines 54-57 of cswap-bend-cli@0.1.0.0/usage/req.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/usage/req.bend&start_line=54&end_line=57

import Base
import cswap-bend-cli@0.1.0.0/http.bend as Http

def http.err(+r: Http.Reply) -> Err:
  match r:
    case Http.Reply{st, head, body}:
      Err{"http-" ++ U32.show(st), retry_after(head), body}

Uses (5):
  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.show
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/http.bend&name=Reply
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/usage/req.bend&name=Err
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/usage/req.bend&name=retry_after