/llvm-project/libcxx/include/__iterator/ |
H A D | cpp17_iterator_concepts.h | 44 concept __cpp17_move_assignable = requires(_Tp __lhs, _Tp __rhs) { in requires() function 49 concept __cpp17_copy_assignable = __cpp17_move_assignable<_Tp> && requires(_Tp __lhs, _Tp __rhs) { in requires() function 55 concept __cpp17_destructible = requires(_Tp __v) { __v.~_Tp(); }; in requires() function 58 concept __cpp17_equality_comparable = requires(_Tp __lhs, _Tp __rhs) { in requires() function 71 … (is_signed_v<__iter_diff_t<_Iter>> || is_void_v<__iter_diff_t<_Iter>>) && requires(_Iter __iter) { in requires() function 78 …__cpp17_iterator<_Iter> && __cpp17_equality_comparable<_Iter> && requires(_Iter __lhs, _Iter __rhs… in requires() function 93 concept __cpp17_output_iterator = __cpp17_iterator<_Iter> && requires(_Iter __iter, _WriteTo __writ… in requires() function 102 … __cpp17_input_iterator<_Iter> && __cpp17_default_constructible<_Iter> && requires(_Iter __iter) { in requires() function 108 concept __cpp17_bidirectional_iterator = __cpp17_forward_iterator<_Iter> && requires(_Iter __iter) { in requires() function 116 __cpp17_bidirectional_iterator<_Iter> && requires(_Iter __iter, __iter_diff_t<_Iter> __n) { in requires() function
|
H A D | concepts.h | 147 requires(const _Ip& __i, const _Sp& __s) { in requires() function 54 requires(const _In __i) { requires() function 72 concept indirectly_writable = requires(_Out&& __o, _Tp&& __t) { requires() function 100 concept incrementable = regular<_Ip> && weakly_incrementable<_Ip> && requires(_Ip __i) { requires() function 106 concept input_or_output_iterator = requires(_Ip __i) { requires() function 134 input_or_output_iterator<_Ip> && indirectly_writable<_Ip, _Tp> && requires(_Ip __it, _Tp&& __t) { requires() function 156 requires(_Ip __i, const _Ip __j, const iter_difference_t<_Ip> __n) { requires() function 169 requires(const _Ip& __i) { requires() function [all...] |
H A D | iterator_traits.h | 54 concept __dereferenceable = requires(_Tp& __t) { requires() function 157 concept __cpp17_iterator = requires(_Ip __i) { requires() function 164 concept __cpp17_input_iterator = __cpp17_iterator<_Ip> && equality_comparable<_Ip> && requires(_Ip __i) { requires() function 176 requires(_Ip __i) { requires() function 182 concept __cpp17_bidirectional_iterator = __cpp17_forward_iterator<_Ip> && requires(_Ip __i) { requires() function 191 requires(_Ip __i, typename incrementable_traits<_Ip>::difference_type __n) { requires() function [all...] |
H A D | iter_move.h | 41 concept __unqualified_iter_move = __class_or_enum<remove_cvref_t<_Tp>> && requires(_Tp&& __t) { in requires() function 92 requires requires(_Tp& __t) { in requires() function
|
H A D | iter_swap.h | 45 …(__class_or_enum<remove_cvref_t<_T1>> || __class_or_enum<remove_cvref_t<_T2>>) && requires(_T1&& _… in requires() function 95 … indirectly_readable<_I1> && indirectly_readable<_I2> && requires(const _I1 __i1, const _I2 __i2) { in requires() function
|
/llvm-project/libcxx/test/std/utilities/function.objects/refwrap/refwrap.comparissons/ |
H A D | helper_concepts.h | 18 concept HasEqualityOperatorWithInt = requires(T t, int i) { in requires() function 28 concept BooleanTestable = BooleanTestableImpl<T> && requires(T&& t) { in requires() function 33 concept HasSpaceshipOperatorWithInt = requires(T t, int i) { in requires() function
|
/llvm-project/libcxx/test/libcxx/utilities/format/format.string/format.string.std/ |
H A D | concepts_precision.h | 12 concept has_precision = requires(T parser) { requires() function 17 concept has_precision_as_arg = requires(T parser) { requires() function
|
/llvm-project/libcxx/include/__concepts/ |
H A D | swappable.h | 50 requires(_Tp&& __t, _Up&& __u) { in requires() function 107 concept swappable = requires(_Tp& __a, _Tp& __b) { ranges::swap(__a, __b); }; in requires() function 110 concept swappable_with = common_reference_with<_Tp, _Up> && requires(_Tp&& __t, _Up&& __u) { in requires() function
|
/llvm-project/libcxx/include/__compare/ |
H A D | three_way_comparable.h | 36 requires(__make_const_lvalue_ref<_Tp> __a, __make_const_lvalue_ref<_Tp> __b) { in requires() function 46 requires(__make_const_lvalue_ref<_Tp> __t, __make_const_lvalue_ref<_Up> __u) { in requires() function
|
/llvm-project/libcxx/include/__ranges/ |
H A D | concepts.h | 47 concept range = requires(_Tp& __t) { in requires() function 81 concept sized_range = range<_Tp> && requires(_Tp& __t) { ranges::size(__t); }; in requires() function 115 …us_range = random_access_range<_Tp> && contiguous_iterator<iterator_t<_Tp>> && requires(_Tp& __t) { in requires() function
|
H A D | iota_view.h | 77 concept __decrementable = incrementable<_Iter> && requires(_Iter __i) { in requires() function 85 requires(_Iter __i, const _Iter __j, const _IotaDiffT<_Iter> __n) { in requires() function [all...] |
H A D | size.h | 50 concept __member_size = __size_enabled<_Tp> && requires(_Tp&& __t) { requires() function 116 requires requires(_Tp&& __t) { ranges::size(__t); } requires() function
|
H A D | view_interface.h | 77 requires requires(_D2& __t) { ranges::empty(__t); } in requires() function 84 requires requires(const _D2& __t) { ranges::empty(__t); } in requires() function
|
H A D | access.h | 44 concept __member_begin = __can_borrow<_Tp> && requires(_Tp&& __t) { in requires() function 106 concept __member_end = __can_borrow<_Tp> && requires(_Tp&& __t) { in requires() function [all...] |
/llvm-project/libcxx/test/support/ |
H A D | test_range.h | 95 concept CanBePiped = requires(View&& view, T&& t) { in requires() function 102 requires(const std::remove_reference_t<T>& t, const std::remove_reference_t<U>& u) { in requires() function
|
/llvm-project/libcxx/include/__format/ |
H A D | format_arg_store.h | 53 requires(same_as<typename _Context::char_type, wchar_t> && same_as<_CharT, char>) requires() function 112 requires(is_array_v<_Tp> && same_as<_Tp, typename _Context::char_type[extent_v<_Tp>]>) requires() function 119 requires(same_as<typename _Context::char_type, typename _Tp::value_type> && requires() function 127 requires( requires() function
|
/llvm-project/flang/test/Lower/OpenMP/ |
H A D | requires.f90 | 10 program requires program
|
H A D | requires-notarget.f90 | 12 program requires program
|
H A D | requires-force-usm.f90 | 11 program requires program
|
H A D | force-usm.f90 | 11 program requires program
|
/llvm-project/libcxx/include/__utility/ |
H A D | pair.h | 211 requires(is_constructible_v<first_type, decltype(std::get<0>(std::declval<_PairLike &&>()))> && requires() function 290 requires(is_assignable_v<const first_type&, const _U1&> && is_assignable_v<const second_type&, const _U2&>) requires() function 299 requires(is_assignable_v<const first_type&, _U1> && is_assignable_v<const second_type&, _U2>) requires() function 307 requires(__different_from<_PairLike, pair> && requires() function 317 requires(__different_from<_PairLike, pair> && requires() function [all...] |
/llvm-project/libcxx/test/std/containers/sequences/ |
H A D | from_range_sequence_containers.h | 29 concept HasSize = requires (const T& value) { value.size(); }; in requires() function 32 concept HasFromRangeCtr = requires (Range&& range) { in requires() function
|
/llvm-project/flang/test/Semantics/OpenMP/ |
H A D | requires-atomic02.f90 | 4 program requires program
|
H A D | requires-atomic01.f90 | 4 program requires program
|
/llvm-project/libcxx/test/std/input.output/string.streams/ |
H A D | helper_concepts.h | 13 concept is_valid_argument_for_str_member = requires(S s, const T& sv) { in requires() function
|