dedekind::numbers::IsQuaternionScalar Concept Reference

Scalar type suitable as quaternion components. More...

Concept definition

template<typename R>
concept dedekind::numbers::IsQuaternionScalar = 
    requires(R a, R b) {
      R{};
      { a + b } -> std::same_as<R>;
      { a - b } -> std::same_as<R>;
      { a * b } -> std::same_as<R>;
      { -a } -> std::same_as<R>;
    } && std::equality_comparable<R> &&
    !std::floating_point<R>

Detailed Description

Scalar type suitable as quaternion components.