codekingpro/portable-devtools

1//===----------------------------------------------------------------------===//2//3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.4// See https://llvm.org/LICENSE.txt for license information.5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception6// SPDX-FileCopyrightText: Copyright (c) 2023 NVIDIA CORPORATION & AFFILIATES.7//8//===----------------------------------------------------------------------===//9 10#ifndef _LIBCUDACXX___CONCEPTS_TOTALLY_ORDERED_H11#define _LIBCUDACXX___CONCEPTS_TOTALLY_ORDERED_H12 13#ifndef __cuda_std__14#include <__config>15#endif //__cuda_std__16 17#include "../__concepts/__concept_macros.h"18#include "../__concepts/boolean_testable.h"19#include "../__concepts/equality_comparable.h"20#include "../__type_traits/common_reference.h"21#include "../__type_traits/make_const_lvalue_ref.h"22 23#if defined(_CCCL_IMPLICIT_SYSTEM_HEADER_GCC)24#  pragma GCC system_header25#elif defined(_CCCL_IMPLICIT_SYSTEM_HEADER_CLANG)26#  pragma clang system_header27#elif defined(_CCCL_IMPLICIT_SYSTEM_HEADER_MSVC)28#  pragma system_header29#endif // no system header30 31_LIBCUDACXX_BEGIN_NAMESPACE_STD32 33#if _LIBCUDACXX_STD_VER > 1734 35// [concept.totallyordered]36 37template<class _Tp, class _Up>38concept __partially_ordered_with =39  requires(__make_const_lvalue_ref<_Tp> __t, __make_const_lvalue_ref<_Up> __u) {40    { __t <  __u } -> __boolean_testable;41    { __t >  __u } -> __boolean_testable;42    { __t <= __u } -> __boolean_testable;43    { __t >= __u } -> __boolean_testable;44    { __u <  __t } -> __boolean_testable;45    { __u >  __t } -> __boolean_testable;46    { __u <= __t } -> __boolean_testable;47    { __u >= __t } -> __boolean_testable;48  };49 50template<class _Tp>51concept totally_ordered = equality_comparable<_Tp> && __partially_ordered_with<_Tp, _Tp>;52 53template<class _Tp, class _Up>54concept totally_ordered_with =55  totally_ordered<_Tp> && totally_ordered<_Up> &&56  equality_comparable_with<_Tp, _Up> &&57  totally_ordered<58    common_reference_t<59      __make_const_lvalue_ref<_Tp>,60      __make_const_lvalue_ref<_Up>>> &&61  __partially_ordered_with<_Tp, _Up>;62 63#elif _LIBCUDACXX_STD_VER > 1164 65template<class _Tp, class _Up>66_LIBCUDACXX_CONCEPT_FRAGMENT(67  __partially_ordered_with_,68  requires(__make_const_lvalue_ref<_Tp> __t, __make_const_lvalue_ref<_Up> __u)(69    requires(__boolean_testable<decltype(__t <  __u)>),70    requires(__boolean_testable<decltype(__t >  __u)>),71    requires(__boolean_testable<decltype(__t <= __u)>),72    requires(__boolean_testable<decltype(__t >= __u)>),73    requires(__boolean_testable<decltype(__u <  __t)>),74    requires(__boolean_testable<decltype(__u >  __t)>),75    requires(__boolean_testable<decltype(__u <= __t)>),76    requires(__boolean_testable<decltype(__u >= __t)>)77  ));78 79template<class _Tp, class _Up>80_LIBCUDACXX_CONCEPT __partially_ordered_with = _LIBCUDACXX_FRAGMENT(__partially_ordered_with_, _Tp, _Up);81 82template<class _Tp>83_LIBCUDACXX_CONCEPT_FRAGMENT(84  __totally_ordered_,85  requires()(86    requires(equality_comparable<_Tp>),87    requires(__partially_ordered_with<_Tp, _Tp>)88  ));89 90template<class _Tp>91_LIBCUDACXX_CONCEPT totally_ordered = _LIBCUDACXX_FRAGMENT(__totally_ordered_, _Tp);92 93template<class _Tp, class _Up>94_LIBCUDACXX_CONCEPT_FRAGMENT(95  __totally_ordered_with_,96  requires()(97    requires(totally_ordered<_Tp>),98    requires(totally_ordered<_Up>),99    requires(equality_comparable_with<_Tp, _Up>),100    requires(totally_ordered<101    common_reference_t<102      __make_const_lvalue_ref<_Tp>,103      __make_const_lvalue_ref<_Up>>>),104    requires(__partially_ordered_with<_Tp, _Up>)));105 106template<class _Tp, class _Up>107_LIBCUDACXX_CONCEPT totally_ordered_with = _LIBCUDACXX_FRAGMENT(__totally_ordered_with_, _Tp, _Up);;108 109#endif // _LIBCUDACXX_STD_VER > 11110 111_LIBCUDACXX_END_NAMESPACE_STD112 113#endif // _LIBCUDACXX___CONCEPTS_TOTALLY_ORDERED_H114