MlbendHuggingface.why_of: def of mlbend-huggingface@0.1.1.0 Import: import mlbend-huggingface@0.1.1.0/main.bend as MlbendHuggingface Lines 48-68 of mlbend-huggingface@0.1.1.0/main.bend: https://jend.leeeet.dev/read.txt?path=mlbend-huggingface@0.1.1.0/main.bend&start_line=48&end_line=68 import Base import bend-kit-http@0.36.0.0/http.bend as Http # The HTTP kit's error, as ours. def why_of(e: Http.Err) -> Err: match e: case Http.ErrConnect{code, why}: ErrNet{code, why} case Http.ErrTls{code, why}: ErrNet{code, why} case Http.ErrRead{code, why}: ErrNet{code, why} case Http.ErrWrite{code, why}: ErrNet{code, why} case Http.ErrUrl{}: ErrNet{0, "a url bend cannot open"} case Http.ErrDns{}: ErrNet{0, "a name that does not resolve"} case Http.ErrTimeout{}: ErrNet{0, "the answer did not come in time"} case Http.ErrRedirect{}: ErrNet{0, "a redirect bend did not follow"} case Http.ErrBad{}: ErrNet{0, "a malformed answer"} Uses (2): https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.4.0/http.bend&name=Err https://jend.leeeet.dev/definition.txt?path=mlbend-huggingface@0.1.1.0/main.bend&name=Err