[specialized.algorithms,iterator.concept.readable] Replace \placeholdernc with \exposconcept

for exposition-only concepts

Author: hewillk

source/algorithms.tex

@@ -10383,7 +10383,7 @@
 
 \begin{itemdescr}
 \pnum
-A type \tcode{I} models \tcode{\placeholder{nothrow-input-iterator}} only if
+A type \tcode{I} models \exposconcept{nothrow-input-iterator} only if
 no exceptions are thrown from increment,
 copy construction, move construction,
 copy assignment, move assignment,
@@ -10403,7 +10403,7 @@
 
 \begin{itemdescr}
 \pnum
-Types \tcode{S} and \tcode{I} model \tcode{\placeholder{nothrow-sentinel-for}}
+Types \tcode{S} and \tcode{I} model \exposconcept{nothrow-sentinel-for}
 only if no exceptions are thrown from copy construction, move construction,
 copy assignment, move assignment, or comparisons between
 valid values of type \tcode{I} and \tcode{S}.
@@ -10419,23 +10419,23 @@
 template<class R>
 concept @\defexposconcept{nothrow-input-range}@ = // \expos
   range<R> &&
-  @\placeholder{nothrow-input-iterator}@<iterator_t<R>> &&
-  @\placeholder{nothrow-sentinel-for}@<sentinel_t<R>, iterator_t<R>>;
+  @\exposconcept{nothrow-input-iterator}@<iterator_t<R>> &&
+  @\exposconcept{nothrow-sentinel-for}@<sentinel_t<R>, iterator_t<R>>;
 \end{itemdecl}
 
 \begin{itemdescr}
 \pnum
-A type \tcode{R} models \tcode{\placeholder{nothrow-input-range}} only if
+A type \tcode{R} models \exposconcept{nothrow-input-range} only if
 no exceptions are thrown from calls to \tcode{ranges::begin} and
 \tcode{ranges::end} on an object of type \tcode{R}.
 \end{itemdescr}
 
 \begin{itemdecl}
 template<class I>
 concept @\defexposconcept{nothrow-forward-iterator}@ = // \expos
-  @\placeholder{nothrow-input-iterator}@<I> &&
+  @\exposconcept{nothrow-input-iterator}@<I> &&
   @\libconcept{forward_iterator}@<I> &&
-  @\placeholder{nothrow-sentinel-for}@<I, I>;
+  @\exposconcept{nothrow-sentinel-for}@<I, I>;
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -10449,8 +10449,8 @@
 \begin{itemdecl}
 template<class R>
 concept @\defexposconcept{nothrow-forward-range}@ = // \expos
-  @\placeholder{nothrow-input-range}@<R> &&
-  @\placeholder{nothrow-forward-iterator}@<iterator_t<R>>;
+  @\exposconcept{nothrow-input-range}@<R> &&
+  @\exposconcept{nothrow-forward-iterator}@<iterator_t<R>>;
 \end{itemdecl}
 
 \rSec2[uninitialized.construct.default]{\tcode{uninitialized_default_construct}}
@@ -10475,10 +10475,10 @@
 \indexlibraryglobal{uninitialized_default_construct}%
 \begin{itemdecl}
 namespace ranges {
-  template<@\placeholdernc{nothrow-forward-iterator}@ I, @\placeholder{nothrow-sentinel-for}@<I> S>
+  template<@\exposconcept{nothrow-forward-iterator}@ I, @\exposconcept{nothrow-sentinel-for}@<I> S>
     requires @\libconcept{default_initializable}@<iter_value_t<I>>
     I uninitialized_default_construct(I first, S last);
-  template<@\placeholdernc{nothrow-forward-range}@ R>
+  template<@\exposconcept{nothrow-forward-range}@ R>
     requires @\libconcept{default_initializable}@<range_value_t<R>>
     borrowed_iterator_t<R> uninitialized_default_construct(R&& r);
 }
@@ -10516,7 +10516,7 @@
 \indexlibraryglobal{uninitialized_default_construct_n}%
 \begin{itemdecl}
 namespace ranges {
-  template<@\placeholdernc{nothrow-forward-iterator}@ I>
+  template<@\exposconcept{nothrow-forward-iterator}@ I>
     requires @\libconcept{default_initializable}@<iter_value_t<I>>
     I uninitialized_default_construct_n(I first, iter_difference_t<I> n);
 }
@@ -10554,10 +10554,10 @@
 \indexlibraryglobal{uninitialized_value_construct}%
 \begin{itemdecl}
 namespace ranges {
-  template<@\placeholdernc{nothrow-forward-iterator}@ I, @\placeholder{nothrow-sentinel-for}@<I> S>
+  template<@\exposconcept{nothrow-forward-iterator}@ I, @\exposconcept{nothrow-sentinel-for}@<I> S>
     requires @\libconcept{default_initializable}@<iter_value_t<I>>
     I uninitialized_value_construct(I first, S last);
-  template<@\placeholdernc{nothrow-forward-range}@ R>
+  template<@\exposconcept{nothrow-forward-range}@ R>
     requires @\libconcept{default_initializable}@<range_value_t<R>>
     borrowed_iterator_t<R> uninitialized_value_construct(R&& r);
 }
@@ -10595,7 +10595,7 @@
 \indexlibraryglobal{uninitialized_value_construct_n}%
 \begin{itemdecl}
 namespace ranges {
-  template<@\placeholdernc{nothrow-forward-iterator}@ I>
+  template<@\exposconcept{nothrow-forward-iterator}@ I>
     requires @\libconcept{default_initializable}@<iter_value_t<I>>
     I uninitialized_value_construct_n(I first, iter_difference_t<I> n);
 }
@@ -10643,11 +10643,11 @@
 \begin{itemdecl}
 namespace ranges {
   template<@\libconcept{input_iterator}@ I, @\libconcept{sentinel_for}@<I> S1,
-           @\placeholdernc{nothrow-forward-iterator}@ O, @\placeholder{nothrow-sentinel-for}@<O> S2>
+           @\exposconcept{nothrow-forward-iterator}@ O, @\exposconcept{nothrow-sentinel-for}@<O> S2>
     requires @\libconcept{constructible_from}@<iter_value_t<O>, iter_reference_t<I>>
     uninitialized_copy_result<I, O>
       uninitialized_copy(I ifirst, S1 ilast, O ofirst, S2 olast);
-  template<@\libconcept{input_range}@ IR, @\placeholdernc{nothrow-forward-range}@ OR>
+  template<@\libconcept{input_range}@ IR, @\exposconcept{nothrow-forward-range}@ OR>
     requires @\libconcept{constructible_from}@<range_value_t<OR>, range_reference_t<IR>>
     uninitialized_copy_result<borrowed_iterator_t<IR>, borrowed_iterator_t<OR>>
       uninitialized_copy(IR&& in_range, OR&& out_range);
@@ -10698,7 +10698,7 @@
 \indexlibraryglobal{uninitialized_copy_n}%
 \begin{itemdecl}
 namespace ranges {
-  template<@\libconcept{input_iterator}@ I, @\placeholdernc{nothrow-forward-iterator}@ O, @\placeholder{nothrow-sentinel-for}@<O> S>
+  template<@\libconcept{input_iterator}@ I, @\exposconcept{nothrow-forward-iterator}@ O, @\exposconcept{nothrow-sentinel-for}@<O> S>
     requires @\libconcept{constructible_from}@<iter_value_t<O>, iter_reference_t<I>>
     uninitialized_copy_n_result<I, O>
       uninitialized_copy_n(I ifirst, iter_difference_t<I> n, O ofirst, S olast);
@@ -10750,11 +10750,11 @@
 \begin{itemdecl}
 namespace ranges {
   template<@\libconcept{input_iterator}@ I, @\libconcept{sentinel_for}@<I> S1,
-           @\placeholdernc{nothrow-forward-iterator}@ O, @\placeholder{nothrow-sentinel-for}@<O> S2>
+           @\exposconcept{nothrow-forward-iterator}@ O, @\exposconcept{nothrow-sentinel-for}@<O> S2>
     requires @\libconcept{constructible_from}@<iter_value_t<O>, iter_rvalue_reference_t<I>>
     uninitialized_move_result<I, O>
       uninitialized_move(I ifirst, S1 ilast, O ofirst, S2 olast);
-  template<@\libconcept{input_range}@ IR, @\placeholdernc{nothrow-forward-range}@ OR>
+  template<@\libconcept{input_range}@ IR, @\exposconcept{nothrow-forward-range}@ OR>
     requires @\libconcept{constructible_from}@<range_value_t<OR>, range_rvalue_reference_t<IR>>
     uninitialized_move_result<borrowed_iterator_t<IR>, borrowed_iterator_t<OR>>
       uninitialized_move(IR&& in_range, OR&& out_range);
@@ -10809,7 +10809,7 @@
 \indexlibraryglobal{uninitialized_move_n}%
 \begin{itemdecl}
 namespace ranges {
-  template<@\libconcept{input_iterator}@ I, @\placeholdernc{nothrow-forward-iterator}@ O, @\placeholder{nothrow-sentinel-for}@<O> S>
+  template<@\libconcept{input_iterator}@ I, @\exposconcept{nothrow-forward-iterator}@ O, @\exposconcept{nothrow-sentinel-for}@<O> S>
     requires @\libconcept{constructible_from}@<iter_value_t<O>, iter_rvalue_reference_t<I>>
     uninitialized_move_n_result<I, O>
       uninitialized_move_n(I ifirst, iter_difference_t<I> n, O ofirst, S olast);
@@ -10860,10 +10860,10 @@
 \indexlibraryglobal{uninitialized_fill}%
 \begin{itemdecl}
 namespace ranges {
-  template<@\placeholdernc{nothrow-forward-iterator}@ I, @\placeholder{nothrow-sentinel-for}@<I> S, class T>
+  template<@\exposconcept{nothrow-forward-iterator}@ I, @\exposconcept{nothrow-sentinel-for}@<I> S, class T>
     requires @\libconcept{constructible_from}@<iter_value_t<I>, const T&>
     I uninitialized_fill(I first, S last, const T& x);
-  template<@\placeholdernc{nothrow-forward-range}@ R, class T>
+  template<@\exposconcept{nothrow-forward-range}@ R, class T>
     requires @\libconcept{constructible_from}@<range_value_t<R>, const T&>
     borrowed_iterator_t<R> uninitialized_fill(R&& r, const T& x);
 }
@@ -10901,7 +10901,7 @@
 \indexlibraryglobal{uninitialized_fill_n}%
 \begin{itemdecl}
 namespace ranges {
-  template<@\placeholdernc{nothrow-forward-iterator}@ I, class T>
+  template<@\exposconcept{nothrow-forward-iterator}@ I, class T>
     requires @\libconcept{constructible_from}@<iter_value_t<I>, const T&>
     I uninitialized_fill_n(I first, iter_difference_t<I> n, const T& x);
 }
@@ -10985,10 +10985,10 @@
 \indexlibraryglobal{destroy}%
 \begin{itemdecl}
 namespace ranges {
-  template<@\placeholdernc{nothrow-input-iterator}@ I, @\placeholder{nothrow-sentinel-for}@<I> S>
+  template<@\exposconcept{nothrow-input-iterator}@ I, @\exposconcept{nothrow-sentinel-for}@<I> S>
     requires @\libconcept{destructible}@<iter_value_t<I>>
     constexpr I destroy(I first, S last) noexcept;
-  template<@\placeholdernc{nothrow-input-range}@ R>
+  template<@\exposconcept{nothrow-input-range}@ R>
     requires @\libconcept{destructible}@<range_value_t<R>>
     constexpr borrowed_iterator_t<R> destroy(R&& r) noexcept;
 }
@@ -11025,7 +11025,7 @@
 \indexlibraryglobal{destroy_n}%
 \begin{itemdecl}
 namespace ranges {
-  template<@\placeholdernc{nothrow-input-iterator}@ I>
+  template<@\exposconcept{nothrow-input-iterator}@ I>
     requires @\libconcept{destructible}@<iter_value_t<I>>
     constexpr I destroy_n(I first, iter_difference_t<I> n) noexcept;
 }

source/iterators.tex

@@ -1242,7 +1242,7 @@
 \begin{codeblock}
 template<class In>
   concept @\deflibconcept{indirectly_readable}@ =
-    @\placeholdernc{indirectly-readable-impl}@<remove_cvref_t<In>>;
+    @\exposconcept{indirectly-readable-impl}@<remove_cvref_t<In>>;
 \end{codeblock}
 
 \pnum