Home
last modified time | relevance | path

Searched defs:requires (Results 1 – 25 of 60) sorted by relevance

123

/llvm-project/libcxx/include/__iterator/
H A Dcpp17_iterator_concepts.h44 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 Dconcepts.h147 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 Diterator_traits.h54 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 Diter_move.h41 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 Diter_swap.h45 …(__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 Dhelper_concepts.h18 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 Dconcepts_precision.h12 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 Dswappable.h50 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 Dthree_way_comparable.h36 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 Dconcepts.h47 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 Diota_view.h77 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 Dsize.h50 concept __member_size = __size_enabled<_Tp> && requires(_Tp&& __t) { requires() function
116 requires requires(_Tp&& __t) { ranges::size(__t); } requires() function
H A Dview_interface.h77 requires requires(_D2& __t) { ranges::empty(__t); } in requires() function
84 requires requires(const _D2& __t) { ranges::empty(__t); } in requires() function
H A Daccess.h44 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 Dtest_range.h95 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 Dformat_arg_store.h53 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 Drequires.f9010 program requires program
H A Drequires-notarget.f9012 program requires program
H A Drequires-force-usm.f9011 program requires program
H A Dforce-usm.f9011 program requires program
/llvm-project/libcxx/include/__utility/
H A Dpair.h211 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 Dfrom_range_sequence_containers.h29 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 Drequires-atomic02.f904 program requires program
H A Drequires-atomic01.f904 program requires program
/llvm-project/libcxx/test/std/input.output/string.streams/
H A Dhelper_concepts.h13 concept is_valid_argument_for_str_member = requires(S s, const T& sv) { in requires() function

123