def open.judge

bend-kit-llm@0.13.0.1 · llm.bend:427

import Base
import bend-kit-hairpin@0.13.0.1/hairpin.bend as Hairpin
import bend-kit-http@0.38.1.1/http.bend as Http

427def open.judge(r: Result<&1, &1, Http.Err, Http.Stream>) -> Result<&1, &1, Http.Err, Http.Stream> & Hairpin.Verdict:
428  match r:
429    case Fail{+e}:
430      (Fail{e}, verdict(again.err(e), Hairpin.VerdictTarget{}))
431    case Done{st}:
432      open.res(Http.stream.res(st))