handle handle handle state state

handle() [3/3] template<typename F , typename... Args> lib::invoke_result_t< F, Args... > halcheck::lib::effect::state::handle ( F func, Args &&... args ) inline Invokes a function, handling any effects using this state. Template Parameters F The type of function to execute. Args The type of arguments to pass to the function. Parameters func The function to execute. args The arguments to pass to the function. Returns The result of invoking the function. This overload participates in overload resolution only if lib::is_invocable<F, Args...>() holds, and lib::is_effect<T>() holds for all types T in Effects. Postcondition this->handle(func, args...) == { auto _ = this->handle(); lib::invoke(func, args...); }