handle handle handle owning_scope scope

handle() [1/3] template<typename Self , typename... Effects> scope halcheck::lib::effect::handler< Self, Effects >::handle ( ) & inline Overrides the behaviour of a set of effects. Returns A value whose lifetime determines how long the set of effect handlers are overriden. Postcondition While the return value is in scope, for all effects T and args of type T, effect::invoke(args) == (*this)(args) if T is an element of Effects, and effect::invoke(args) behaves as if it were called before calling this function otherwise.