is_invocable.hpp File Reference

#include <type_traits>
#include "vccc/__type_traits/core/INVOKE.hpp"
#include "vccc/__type_traits/bool_constant.hpp"
#include "vccc/__type_traits/conjunction.hpp"
#include "vccc/__type_traits/disjunction.hpp"
#include "vccc/__type_traits/empty.hpp"
#include "vccc/__type_traits/is_complete.hpp"
#include "vccc/__type_traits/is_unbounded_array.hpp"
#include "vccc/__type_traits/negation.hpp"
#include "vccc/__type_traits/type_identity.hpp"

Go to the source code of this file.

Classes
struct	invoke_result< F, Args >
	deduces the result type of invoking a callable object with a set of arguments More...
struct	is_invocable< F, Args >
	Determines whether INVOKE(std::declval<Fn>(), std::declval<ArgTypes>()...) is well formed when treated as anunevaluated operand. More...
struct	is_invocable_r< R, F, Args >
	Determines whether INVOKE<R>(std::declval<Fn>(), std::declval<ArgTypes>()...) is well formed when treated as an unevaluated operand. More...
struct	is_nothrow_invocable< F, Args >
	Determines whether INVOKE(std::declval<Fn>(), std::declval<ArgTypes>()...) is well formed when treated as an unevaluated operand, and is known not to throw any exceptions. More...
struct	is_nothrow_invocable_r< R, F, Args >
	Determines whether INVOKE<R>(std::declval<Fn>(), std::declval<ArgTypes>()...) is well formed when treated as an unevaluated operand, and is known not to throw any exceptions. More...

Namespaces
	vccc

Typedefs
template<typename F , typename ... Args>
using	invoke_result_t = typename invoke_result< F, Args... >::type