def decoded.io.pick

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

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

4226def decoded.io.pick(m: Maybe<&1, Bytes.Bytes>, +status: U32, headers: Map<&2, List<&2, String>>) -> Result<&1, &1, Err, Res>:
4227  match m:
4228    case Some{b}:
4229      Done{Res{status, headers, b}}
4230    case None{}:
4231      Fail{ErrBad{}}

Uses (9)

Used by (1)