Added is_same_m

Author: polytypic

provides/include/lax_v1/type_traits.hpp

@@ -16,6 +16,10 @@ struct lax_v1::is_array_m : lazify_v<bool, std::is_array, TypeExpr> {};
 template <class TypeExpr>
 struct lax_v1::is_pointer_m : lazify_v<bool, std::is_pointer, TypeExpr> {};
 
+template <class LhsTypeExpr, class RhsTypeExpr>
+struct lax_v1::is_same_m
+    : lazify_v<bool, std::is_same, LhsTypeExpr, RhsTypeExpr> {};
+
 template <class TypeExpr>
 struct lax_v1::remove_all_extents_m
     : lazify_t<std::remove_all_extents, TypeExpr> {};

provides/include/lax_v1/type_traits_synopsis.hpp

@@ -8,6 +8,8 @@ template <class TypeExpr> struct is_array_m;
 
 template <class TypeExpr> struct is_pointer_m;
 
+template <class LhsTypeExpr, class RhsTypeExpr> struct is_same_m;
+
 template <class TypeExpr> struct remove_all_extents_m;
 
 template <class TypeExpr> struct remove_pointer_m;