Naming

Author: polytypic

provides/include/lax_v1/lazify.hpp

@@ -4,13 +4,9 @@
 #include "lax_v1/type.hpp"
 #include "lax_v1/value.hpp"
 
-template <template <class... Parameters> class Function, class... Arguments>
-struct lax_v1::lazify_t : type_t<type_of_t<Function<type_of_t<Arguments>...>>> {
-};
+template <template <class... Formals> class Trait, class... Actuals>
+struct lax_v1::lazify_t : type_t<type_of_t<Trait<type_of_t<Actuals>...>>> {};
 
-template <class Type,
-          template <class... Parameters>
-          class Function,
-          class... Arguments>
+template <class Type, template <class... Formals> class Trait, class... Actuals>
 struct lax_v1::lazify_v
-    : value_t<Type, value_of_v<Function<type_of_t<Arguments>...>>> {};
+    : value_t<Type, value_of_v<Trait<type_of_t<Actuals>...>>> {};

provides/include/lax_v1/synopsis.hpp

@@ -55,13 +55,10 @@ template <class Expr> using force_t = typename Expr::eval;
 
 // lazify.hpp ==================================================================
 
-template <template <class... Parameters> class Function, class... Arguments>
+template <template <class... Formals> class Trait, class... Actuals>
 struct lazify_t;
 
-template <class Type,
-          template <class... Parameters>
-          class Function,
-          class... Arguments>
+template <class Type, template <class... Formals> class Trait, class... Actuals>
 struct lazify_v;
 
 // type_traits.hpp =============================================================