pgs::recursive_union_visitor< void, T, Ts... > Struct Template Reference

Partial specialization for void return type. More...

#include <recursive_union.hpp>

Public Types
using	result_type = void
	return type of visit

Static Public Member Functions
template<class O , class F , class... Fs, class = pgs::enable_if_t<is_callable<F, T>::value, void>>
static result_type	visit (overload_tag< O >, T const &t, F &&f, Fs &&...)
	f is callable on t (of type T const&)
template<class F , class O , class... Fs, class = pgs::enable_if_t<!is_callable<F, T>::value, void>>
static result_type	visit (overload_tag< O > o, T const &t, F &&, Fs &&...fs)
	f is not callable on t (of type T const&), recurse
template<class O , class F , class... Fs, class = pgs::enable_if_t<is_callable<F, T>::value, void>>
static result_type	visit (overload_tag< O >, T &t, F &&f, Fs &&...)
	f is callable on t (of type T&)
template<class F , class O , class... Fs, class = pgs::enable_if_t<!is_callable<F, T>::value, void>>
static result_type	visit (overload_tag< O > o, T &t, F &&, Fs &&...fs)
	f is not callable on t (of type T&)

Detailed Description

template<class T, class... Ts>
struct pgs::recursive_union_visitor< void, T, Ts... >

Partial specialization for void return type.

If the f (of type F) under consideration can be applied to t (that is, applied to a T) do so, else continue searching by stripping f off the head of the parameter pack and recurively invoking visit.

---

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

• pgs/recursive_union.hpp