def entered.step

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

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

782def entered.step(~S: Type, ~K: Data, ~E: Data, ~H: Data,
783  ~mapper: S -> K -> Error<E> -> IO(S & Result<&2, &1, Error<E>, Http.Res>),
784  config: K, entered: List<&2, Policy<H>>, body: Http.Body, step: Step<S, E>, next: S -> List<&2, Policy<H>> -> Http.Body -> IO(Completion<S, H>)
785) -> IO(Completion<S, H>):
786  match step:
787    case Continue{state}:
788      next(state, entered, body)
789    case Early{state, response}:
790      IO.pure(Completion<S, H>, Completed{state, response, entered, False{}, False{}})
791    case Reject{state, error}:
792      failed(~S, ~K, ~E, ~H, ~mapper, False{}, state, config, error, entered, False{})