Skip to content

Commit d4afc6a

Browse files
move exposition-only concepts to shareable place
1 parent 8819f70 commit d4afc6a

File tree

2 files changed

+9
-3
lines changed

2 files changed

+9
-3
lines changed

libcxx/include/__ranges/concat_view.h

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -88,9 +88,6 @@ struct __last_view<_View> {
8888
using type _LIBCPP_NODEBUG = _View;
8989
};
9090

91-
template <bool _Const, class... _Views>
92-
concept __all_forward = (forward_range<__maybe_const<_Const, _Views>> && ...);
93-
9491
template <bool _Const, class... _Tp>
9592
struct __apply_drop_first;
9693

libcxx/include/__ranges/concepts.h

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -180,6 +180,15 @@ concept __concatable = requires {
180180
typename __concat_rvalue_reference_t<_Rs...>;
181181
} && __concat_indirectly_readable<_Rs...>;
182182

183+
template <bool _Const, class... _Views>
184+
concept __all_random_access = (random_access_range<__maybe_const<_Const, _Views>> && ...);
185+
186+
template <bool _Const, class... _Views>
187+
concept __all_bidirectional = (bidirectional_range<__maybe_const<_Const, _Views>> && ...);
188+
189+
template <bool _Const, class... _Views>
190+
concept __all_forward = (forward_range<__maybe_const<_Const, _Views>> && ...);
191+
183192
# endif // _LIBCPP_STD_VER >= 23
184193

185194
} // namespace ranges

0 commit comments

Comments
 (0)