halcheck::lib::effect Class Reference

Provides operations for simulating scoped-algebraic effects (a.k.a. resumable exceptions.) More...

#include <effect.hpp>

Classes
class	handler
	An effect handler defines the behaviour of a set of effects. More...
class	state
	A state determines the behaviour of all effects. More...

Static Public Member Functions
template<typename T >
static lib::effect_result_t< T >	invoke (T args)
	Invokes an effect.
template<typename T , typename... Args>
static lib::effect_result_t< T >	invoke (Args &&...args)
	Invokes an effect.
static state	save ()
	Copies the current set of effect handlers.

Detailed Description

Provides operations for simulating scoped-algebraic effects (a.k.a. resumable exceptions.)

---

The documentation for this class was generated from the following file:

• include/halcheck/lib/effect.hpp