US 7

Signed-off-by: Matthias Kretz <[email protected]>

Author: mattkretz

src/algorithms.tex

@@ -113,8 +113,8 @@
 }
 
 // Exposition only: Suppress template argument deduction.
-template<class T> struct no_deduce { using type = T; };
-template<class T> using no_deduce_t = typename no_deduce<T>::type;
+template<class T> struct type_identity { using type = T; };
+template<class T> using type_identity_t = typename type_identity<T>::type;
 
 // \ref{parallel.alg.reductions}, Support for reductions
 template<class T, class BinaryOperation>
@@ -142,18 +142,18 @@
 
 // \ref{parallel.alg.forloop}, For loop
 template<class I, class... Rest>
-  void for_loop(no_deduce_t<I> start, I finish, Rest&&... rest);
+  void for_loop(type_identity_t<I> start, I finish, Rest&&... rest);
 template<class ExecutionPolicy,
          class I, class... Rest>
   void for_loop(ExecutionPolicy&& exec,
-                no_deduce_t<I> start, I finish, Rest&&... rest);
+                type_identity_t<I> start, I finish, Rest&&... rest);
 template<class I, class S, class... Rest>
-  void for_loop_strided(no_deduce_t<I> start, I finish,
+  void for_loop_strided(type_identity_t<I> start, I finish,
                         S stride, Rest&&... rest);
 template<class ExecutionPolicy,
          class I, class S, class... Rest>
   void for_loop_strided(ExecutionPolicy&& exec,
-                        no_deduce_t<I> start, I finish,
+                        type_identity_t<I> start, I finish,
                         S stride, Rest&&... rest);
 template<class I, class Size, class... Rest>
   void for_loop_n(I start, Size n, Rest&&... rest);
@@ -305,14 +305,14 @@
 
 \begin{itemdecl}
 template<class I, class... Rest>
-  void for_loop(no_deduce_t<I> start, I finish, Rest&&... rest);
+  void for_loop(type_identity_t<I> start, I finish, Rest&&... rest);
 template<class ExecutionPolicy, class I, class... Rest>
-  void for_loop(ExecutionPolicy&& exec, no_deduce_t<I> start, I finish, Rest&&... rest);
+  void for_loop(ExecutionPolicy&& exec, type_identity_t<I> start, I finish, Rest&&... rest);
 
 template<class I, class S, class... Rest>
-  void for_loop_strided(no_deduce_t<I> start, I finish, S stride, Rest&&... rest);
+  void for_loop_strided(type_identity_t<I> start, I finish, S stride, Rest&&... rest);
 template<class ExecutionPolicy, class I, class S, class... Rest>
-  void for_loop_strided(ExecutionPolicy&& exec, no_deduce_t<I> start, I finish, S stride,
+  void for_loop_strided(ExecutionPolicy&& exec, type_identity_t<I> start, I finish, S stride,
                         Rest&&... rest);
 
 template<class I, class Size, class... Rest>

src/simd.tex

@@ -176,11 +176,11 @@
 
   template<class T, class Abi>
     where_expression<simd_mask<T, Abi>, simd_mask<T, Abi>>
-      where(const nodeduce_t<simd_mask<T, Abit>>&, simd_mask<T, Abi>&) noexcept;
+      where(const type_identity_t<simd_mask<T, Abit>>&, simd_mask<T, Abi>&) noexcept;
 
   template<class T, class Abi>
     const_where_expression<simd_mask<T, Abi>, simd_mask<T, Abi>>
-      where(const nodeduce_t<simd_mask<T, Abit>>&, const simd_mask<T, Abi>&) noexcept;
+      where(const type_identity_t<simd_mask<T, Abit>>&, const simd_mask<T, Abi>&) noexcept;
 
   template<class T>
     where_expression<bool, T>
@@ -2015,10 +2015,10 @@
   const_where_expression<simd_mask<T, Abi>, simd<T, Abi>> where(const typename simd<T, Abi>::mask_type& k,
                                                                 const simd<T, Abi>& v) noexcept;
 template<class T, class Abi>
-  where_expression<simd_mask<T, Abi>, simd_mask<T, Abi>> where(const nodeduce_t<simd_mask<T, Abi>>& k,
+  where_expression<simd_mask<T, Abi>, simd_mask<T, Abi>> where(const type_identity_t<simd_mask<T, Abi>>& k,
                                                                simd_mask<T, Abi>& v) noexcept;
 template<class T, class Abi>
-  const_where_expression<simd_mask<T, Abi>, simd_mask<T, Abi>> where(const nodeduce_t<simd_mask<T, Abi>>& k,
+  const_where_expression<simd_mask<T, Abi>, simd_mask<T, Abi>> where(const type_identity_t<simd_mask<T, Abi>>& k,
                                                                      const simd_mask<T, Abi>& v) noexcept;
 \end{itemdecl}