|
351 | 351 | class lazy_split_view; // freestanding |
352 | 352 |
|
353 | 353 | // \ref{range.split}, split view |
354 | | - template<@\libconcept{forward_range}@ V, @\libconcept{forward_range}@ Pattern> |
355 | | - requires @\libconcept{view}@<V> && @\libconcept{view}@<Pattern> && |
356 | | - @\libconcept{indirectly_comparable}@<iterator_t<V>, iterator_t<Pattern>, ranges::equal_to> |
| 354 | + template<@\libconcept{forward_range}@ V, @\libconcept{forward_range}@ Pattern> |
| 355 | + requires @\libconcept{view}@<V> && @\libconcept{view}@<Pattern> && |
| 356 | + @\libconcept{indirectly_comparable}@<iterator_t<V>, iterator_t<Pattern>, ranges::equal_to> |
357 | 357 | class split_view; // freestanding |
358 | 358 |
|
359 | 359 | namespace views { |
|
3896 | 3896 | template<class Val, class CharT, class Traits> |
3897 | 3897 | concept @\defexposconceptnc{stream-extractable}@ = // \expos |
3898 | 3898 | requires(basic_istream<CharT, Traits>& is, Val& t) { |
3899 | | - is >> t; |
| 3899 | + is >> t; |
3900 | 3900 | }; |
3901 | 3901 |
|
3902 | 3902 | template<@\libconcept{movable}@ Val, class CharT, class Traits = char_traits<CharT>> |
|
7288 | 7288 | \tcode{\exposid{iterator}::difference_type} denotes the type: |
7289 | 7289 | \begin{codeblock} |
7290 | 7290 | common_type_t< |
7291 | | - iter_difference_t<@\exposid{OuterIter}@>, |
7292 | | - iter_difference_t<@\exposid{InnerIter}@>, |
7293 | | - iter_difference_t<@\exposid{PatternIter}@>> |
| 7291 | + iter_difference_t<@\exposid{OuterIter}@>, |
| 7292 | + iter_difference_t<@\exposid{InnerIter}@>, |
| 7293 | + iter_difference_t<@\exposid{PatternIter}@>> |
7294 | 7294 | \end{codeblock} |
7295 | 7295 |
|
7296 | 7296 | \begin{itemdecl} |
|
15798 | 15798 | \indexlibrarymember{operator==}{stride_view::\exposid{iterator}}% |
15799 | 15799 | \begin{itemdecl} |
15800 | 15800 | friend constexpr bool operator==(const @\exposid{iterator}@& x, const @\exposid{iterator}@& y) |
15801 | | - requires @\libconcept{equality_comparable}@<iterator_t<@\exposid{Base}@>>; |
| 15801 | + requires @\libconcept{equality_comparable}@<iterator_t<@\exposid{Base}@>>; |
15802 | 15802 | \end{itemdecl} |
15803 | 15803 |
|
15804 | 15804 | \begin{itemdescr} |
|
0 commit comments