invoke invoke save

invoke() [2/2] template<typename T > static lib::effect_result_t< T > halcheck::lib::effect::invoke ( T args ) inlinestatic Invokes an effect. Template Parameters T The type of effect to invoke. Parameters args The arguments to the effect. Returns The result of invoking the effect. Postcondition If called before any handler has been installed, lib::effect::invoke(args) == lib::fallback(args).