Pretty Good Sum Type
1.0.0
|
The purpose of this type is to walk a recursive_union<>
and return the value field of the I
th union in the chain.
More...
#include <recursive_union.hpp>
Static Public Member Functions | |
static constexpr auto | ref (recursive_union< T, Ts... > &u) -> decltype(recursive_union_dereference< is_recursive_wrapper< T >::value, T, Ts... >::ref(u)) |
Dereference the value field to produce a non-const reference. | |
static constexpr auto | ref (recursive_union< T, Ts... > const &u) -> decltype(recursive_union_dereference< is_recursive_wrapper< T >::value, T, Ts... >::ref(u)) |
Dereference the value field to produce a const reference. | |
static constexpr auto | ptr (recursive_union< T, Ts... > &u) -> decltype((recursive_union_dereference< is_recursive_wrapper< T >::value, T, Ts... >::ptr(u))) |
Dereference the value field to produce a non-const pointer. | |
static constexpr auto | ptr (recursive_union< T, Ts... > const &u) -> decltype(recursive_union_dereference< is_recursive_wrapper< T >::value, T, Ts... >::ptr(u)) |
Dereference the value field to produce a const pointer. | |
The purpose of this type is to walk a recursive_union<>
and return the value field of the I
th union in the chain.