def decoded.io.pick

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

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

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

Uses (9)

Used by (1)