Scoped algebraic effects (a.k.a. resumable exceptions.) More...

Classes
struct	halcheck::lib::is_effect< T >
	Determines if a given type is an effect. More...

class	halcheck::lib::effect
	Provides operations for simulating scoped-algebraic effects (a.k.a. resumable exceptions.) More...

Typedefs
template<typename T >
using	halcheck::lib::effect_result_t = lib::invoke_result_t<decltype(lib::fallback), const T &>
	Evaluates to the result type of the given effect.

Functions
lib::effect_result_t< T >	halcheck::lib::fallback (T args)
	Invokes the fallback behaviour for an effect.

Detailed Description

Scoped algebraic effects (a.k.a. resumable exceptions.)

Classes