element_or_t

template<std::size_t I, typename T, typename U>

using kumi::function::element_or_t = std::remove_cvref_t<decltype(kumi::function::get_or<I>(std::declval<T>(), std::declval<U>()))>

#include <kumi/functional/monadic.hpp>

Computes the Ith element type of a kumi::product_type, or a fallback type U otherwise.

If T is a kumi::product_type and I is within its size, this alias resolves to element_t<I,T>, otherwise it resolves to U.

Template Parameters

I	Index of the element type to retrieve
T	Type to access
U	Fallback type

Helper type

namespace kumi
{
  template<std::size_t I, typename T, typename U> using element_or_t = typename element_or<I,T,U>::type;
}