Template.hpp

#pragma once
#include <type_traits>
 
namespace qip {
 
 
template <typename T, typename U = T>
class Comparison {
  friend bool operator!=(const T &lhs, const U &rhs) { return !(lhs == rhs); }
  friend bool operator>(const T &lhs, const U &rhs) { return rhs < lhs; }
  friend bool operator<=(const T &lhs, const U &rhs) { return !(lhs > rhs); }
  friend bool operator>=(const T &lhs, const U &rhs) { return !(lhs < rhs); }
};
 
template <typename T>
class Arithmetic {
  friend T operator+(T lhs, const T &rhs) { return lhs += rhs; }
  friend T operator-(T lhs, const T &rhs) { return lhs -= rhs; }
  friend T operator*(T lhs, const T &rhs) { return lhs *= rhs; }
  friend T operator/(T lhs, const T &rhs) { return lhs /= rhs; }
};
 
template <typename T, typename U>
class Arithmetic2 {
  friend T operator+(T lhs, const U &rhs) { return lhs += rhs; }
  friend T operator-(T lhs, const U &rhs) { return lhs -= rhs; }
  friend T operator*(T lhs, const U &rhs) { return lhs *= rhs; }
  friend T operator/(T lhs, const U &rhs) { return lhs /= rhs; }
  // Also define these symmetric ones
  friend T operator+(const U &lhs, T rhs) { return rhs += lhs; }
  friend T operator*(const U &lhs, T rhs) { return rhs *= lhs; }
};
 
} // namespace qip