def decoded.io.run

bend-kit-http@0.38.2.0 · http.bend:4233

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

4233def 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>):
4234  match known:
4235    case True{}:
4236      do IO<Result<&1, &1, Err, Res>>:
4237        m : Maybe<&1, Bytes.Bytes> <- ce.io.go(cs, Some{body})
4238        return decoded.io.pick(m, status, headers)
4239    case False{}:
4240      IO.pure(Result<&1, &1, Err, Res>, Done{Res{status, headers, body}})

Uses (15)

Used by (1)