Http.sh.of: def of bend-kit-http@0.38.2.0 Import: import bend-kit-http@0.38.2.0/http.bend as Http Lines 4889-4898 of bend-kit-http@0.38.2.0/http.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-http@0.38.2.0/http.bend&start_line=4889&end_line=4898 import Base def sh.of(hs: Hs) -> Sh: match hs: case HsWait{buf, k}: ShMore{buf, k} case HsBad{}: ShBad{None{}, False{}} case HsSeek{buf, from, k}: ShBad{None{}, False{}} case HsRes{res, rb, rest}: ShRes{res, rb, rest} Uses (4): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=Hs https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=Sh