def decoded.io.run

bend-kit-http@0.38.5.0 · http.bend:4237

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

4237def decoded.io.run(known: Bool, +status: U32, +headers: Map<&2, List<&2, String>>, body: Bytes.Bytes, cs: List<&2, String>) -> IO(Result<&1, &1, Err, Res>):
4238  match known:
4239    case True{}:
4240      do IO<Result<&1, &1, Err, Res>>:
4241        m : Maybe<&1, Bytes.Bytes> <- ce.io.go(cs, Some{body})
4242        return decoded.io.pick(m, status, headers)
4243    case False{}:
4244      IO.pure(Result<&1, &1, Err, Res>, Done{Res{status, headers, body}})