Concept definition

template<class Tuple>
concept sl::concepts::tuple =  type_list<Tuple>
                    && detail::tuple_indices_v<Tuple>

Detailed Description

Determines whether a type can be used as a tuple-like.

Requires the type-traits std::tuple_size to be defined for the given type and its member value denoting the the correct tuple size. The std::tuple_element trait and the get function must to be defined for each index in the interval [0, N), where N is the tuple size of the given type.

See also: https://en.cppreference.com/w/cpp/utility/tuple_element; https://en.cppreference.com/w/cpp/utility/tuple_size

Template Parameters

Tuple Type to check.