1*06c3fb27SDimitry Andric //===----------------------------------------------------------------------===// 2*06c3fb27SDimitry Andric // 3*06c3fb27SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4*06c3fb27SDimitry Andric // See https://llvm.org/LICENSE.txt for license information. 5*06c3fb27SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6*06c3fb27SDimitry Andric // 7*06c3fb27SDimitry Andric //===----------------------------------------------------------------------===// 8*06c3fb27SDimitry Andric 9*06c3fb27SDimitry Andric #ifndef _LIBCPP___TUPLE_TUPLE_LIKE_H 10*06c3fb27SDimitry Andric #define _LIBCPP___TUPLE_TUPLE_LIKE_H 11*06c3fb27SDimitry Andric 12*06c3fb27SDimitry Andric #include <__config> 13*06c3fb27SDimitry Andric #include <__fwd/array.h> 14*06c3fb27SDimitry Andric #include <__fwd/pair.h> 15*06c3fb27SDimitry Andric #include <__fwd/subrange.h> 16*06c3fb27SDimitry Andric #include <__fwd/tuple.h> 17*06c3fb27SDimitry Andric #include <__type_traits/integral_constant.h> 18*06c3fb27SDimitry Andric #include <__type_traits/remove_cvref.h> 19*06c3fb27SDimitry Andric #include <cstddef> 20*06c3fb27SDimitry Andric 21*06c3fb27SDimitry Andric #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER) 22*06c3fb27SDimitry Andric # pragma GCC system_header 23*06c3fb27SDimitry Andric #endif 24*06c3fb27SDimitry Andric 25*06c3fb27SDimitry Andric _LIBCPP_BEGIN_NAMESPACE_STD 26*06c3fb27SDimitry Andric 27*06c3fb27SDimitry Andric #if _LIBCPP_STD_VER >= 20 28*06c3fb27SDimitry Andric 29*06c3fb27SDimitry Andric template <class _Tp> 30*06c3fb27SDimitry Andric struct __tuple_like_impl : false_type {}; 31*06c3fb27SDimitry Andric 32*06c3fb27SDimitry Andric template <class... _Tp> 33*06c3fb27SDimitry Andric struct __tuple_like_impl<tuple<_Tp...> > : true_type {}; 34*06c3fb27SDimitry Andric 35*06c3fb27SDimitry Andric template <class _T1, class _T2> 36*06c3fb27SDimitry Andric struct __tuple_like_impl<pair<_T1, _T2> > : true_type {}; 37*06c3fb27SDimitry Andric 38*06c3fb27SDimitry Andric template <class _Tp, size_t _Size> 39*06c3fb27SDimitry Andric struct __tuple_like_impl<array<_Tp, _Size> > : true_type {}; 40*06c3fb27SDimitry Andric 41*06c3fb27SDimitry Andric template <class _Ip, class _Sp, ranges::subrange_kind _Kp> 42*06c3fb27SDimitry Andric struct __tuple_like_impl<ranges::subrange<_Ip, _Sp, _Kp> > : true_type {}; 43*06c3fb27SDimitry Andric 44*06c3fb27SDimitry Andric template <class _Tp> 45*06c3fb27SDimitry Andric concept __tuple_like = __tuple_like_impl<remove_cvref_t<_Tp>>::value; 46*06c3fb27SDimitry Andric 47*06c3fb27SDimitry Andric #endif // _LIBCPP_STD_VER >= 20 48*06c3fb27SDimitry Andric 49*06c3fb27SDimitry Andric _LIBCPP_END_NAMESPACE_STD 50*06c3fb27SDimitry Andric 51*06c3fb27SDimitry Andric #endif // _LIBCPP___TUPLE_TUPLE_LIKE_H 52