def execute.decoded

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

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

633def execute.decoded(~I: Type, ~S: Type, ~K: Data, ~E: Data,
634  ~handler: S -> K -> I -> IO(S & Result<&2, &1, Error<E>, Http.Res>),
635  outcome: Result<&2, &1, Error<E>, I>, state: S, config: K
636) -> IO(S & Result<&2, &1, Error<E>, Http.Res>):
637  match outcome:
638    case Fail{error}: IO.pure(S & Result<&2, &1, Error<E>, Http.Res>, (state, Fail{error}))
639    case Done{value}: handler(state, config, value)