def failed

bend-kit-camber@0.15.0.1 · camber.bend:709

import Base
import bend-kit-http@0.38.1.1/http.bend as Http

709def failed(~S: Type, ~K: Data, ~E: Data, ~H: Data,
710  ~mapper: S -> K -> Error<E> -> IO(S & Result<&2, &1, Error<E>, Http.Res>),
711  mapped: Bool, state: S, config: K, error: Error<E>, entered: List<&2, Policy<H>>, stopped: Bool
712) -> IO(Completion<S, H>):
713  match mapped:
714    case True{}:
715      IO.pure(Completion<S, H>, Completed{state, minimal(), entered, True{}, True{}})
716    case False{}:
717      do IO<Completion<S, H>>:
718        result : S & Result<&2, &1, Error<E>, Http.Res> <- mapper(state, config, error)
719        return mapped.result(~S, ~E, ~H, entered, stopped, result)