def execute

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

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

641# An executor, not a second dispatcher: call from dispatch's run template, after
642# all applicable before hooks. Only validated typed input reaches business IO.
643def execute(~I: Type, ~S: Type, ~K: Data, ~E: Data, ~H: Data,
644  ~decoder: K -> Match<Policy<H>> -> Http.Req -> Result<&2, &1, Error<E>, I>,
645  ~handler: S -> K -> I -> IO(S & Result<&2, &1, Error<E>, Http.Res>),
646  state: S, +config: K, selected: Match<Policy<H>>, req: Http.Req
647) -> IO(S & Result<&2, &1, Error<E>, Http.Res>):
648  execute.decoded(~I, ~S, ~K, ~E, ~handler, decoder(config, selected, req), state, config)