mundy::ValidMatrixType Concept Reference

A temporary concept to check if a type is a valid AMatrix type TODO(palmerb4): Extend this concept to contain all shared setters and getters for our quaternions.

#include <Matrix.hpp>

Concept definition

template<typename MatrixType>
concept ValidMatrixType =
    is_matrix_v<std::decay_t<MatrixType>> &&
    requires(std::decay_t<MatrixType> matrix, const std::decay_t<MatrixType> const_matrix, size_t i) {
      typename std::decay_t<MatrixType>::value_type;
      { matrix[i] } -> std::convertible_to<typename std::decay_t<MatrixType>::value_type>;
      { matrix(i) } -> std::convertible_to<typename std::decay_t<MatrixType>::value_type>;
      { matrix(i, i) } -> std::convertible_to<typename std::decay_t<MatrixType>::value_type>;
      { const_matrix[i] } -> std::convertible_to<const typename std::decay_t<MatrixType>::value_type>;
      { const_matrix(i) } -> std::convertible_to<const typename std::decay_t<MatrixType>::value_type>;
      { const_matrix(i, i) } -> std::convertible_to<const typename std::decay_t<MatrixType>::value_type>;
    }