halcheck::lib::is_effect< T > Struct Template Reference

Determines if a given type is an effect. More...

#include <effect.hpp>

Inheritance diagram for halcheck::lib::is_effect< T >:

Detailed Description

template<typename T>
struct halcheck::lib::is_effect< T >

Determines if a given type is an effect.

Template Parameters

T	The type to query.

The type T is an effect if and only if one of the following conditions hold:

• The expression std::declval<const T &>().fallback() is valid.
• The expression fallback(std::declval<const T &>()) is valid, where fallback can be found via argument-dependent lookup.

---

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

• include/halcheck/lib/effect.hpp