Added auto_t

Author: polytypic

provides/include/lax_v1/comparison.hpp

@@ -4,17 +4,13 @@
 #include "lax_v1/value.hpp"
 
 template <class LhsExpr, class RhsExpr>
-struct lax_v1::gt_m
-    : value_t<bool, ((value_of_v<LhsExpr>) > (value_of_v<RhsExpr>))> {};
+struct lax_v1::gt_m : auto_t<(value_of_v<LhsExpr>> value_of_v<RhsExpr>)> {};
 
 template <class LhsExpr, class RhsExpr>
-struct lax_v1::gte_m
-    : value_t<bool, ((value_of_v<LhsExpr>) >= (value_of_v<RhsExpr>))> {};
+struct lax_v1::gte_m : auto_t<(value_of_v<LhsExpr> >= value_of_v<RhsExpr>)> {};
 
 template <class LhsExpr, class RhsExpr>
-struct lax_v1::lt_m
-    : value_t<bool, ((value_of_v<LhsExpr>) < (value_of_v<RhsExpr>))> {};
+struct lax_v1::lt_m : auto_t<(value_of_v<LhsExpr> < value_of_v<RhsExpr>)> {};
 
 template <class LhsExpr, class RhsExpr>
-struct lax_v1::lte_m
-    : value_t<bool, ((value_of_v<LhsExpr>) <= (value_of_v<RhsExpr>))> {};
+struct lax_v1::lte_m : auto_t<(value_of_v<LhsExpr> <= value_of_v<RhsExpr>)> {};

provides/include/lax_v1/logical.hpp

@@ -18,8 +18,7 @@ template <> struct lax_v1::and_m<> : true_t {};
 template <class Expr, class... Exprs>
 struct lax_v1::and_m<Expr, Exprs...> : if_m<Expr, and_m<Exprs...>, false_t> {};
 
-template <class Expr>
-struct lax_v1::not_m : value_t<bool, !value_of_v<Expr>> {};
+template <class Expr> struct lax_v1::not_m : auto_t<!value_of_v<Expr>> {};
 
 template <> struct lax_v1::or_m<> : false_t {};
 template <class Expr, class... Exprs>

provides/include/lax_v1/value_synopsis.hpp

@@ -11,7 +11,9 @@ template <class Expr> using value_type_of_t = typename Expr::value_type;
 template <class Expr>
 inline constexpr value_type_of_t<Expr> value_of_v = Expr::value;
 
-using true_t = value_t<bool, true>;
-using false_t = value_t<bool, false>;
+template <auto value> using auto_t = value_t<decltype(value), value>;
+
+using true_t = auto_t<true>;
+using false_t = auto_t<false>;
 
 } // namespace lax_v1