def finish.checked

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

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

811def finish.checked(~S: Type, ~K: Data, ~E: Data, ~H: Data,
812  ~mapper: S -> K -> Error<E> -> IO(S & Result<&2, &1, Error<E>, Http.Res>),
813  state: S, config: K, entered: List<&2, Policy<H>>, mapped: Bool, stopped: Bool, checked: Result<&2, &1, ResponseError, Http.Res>
814) -> IO(Completion<S, H>):
815  match checked:
816    case Done{response}:
817      IO.pure(Completion<S, H>, Completed{state, response, entered, mapped, stopped})
818    case Fail{error}:
819      failed(~S, ~K, ~E, ~H, ~mapper, mapped, state, config, ResponseInvalid{}, entered, True{})