mundy::ValidVectorType Concept Reference

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

#include <Vector.hpp>

Concept definition

template<typename VectorType>
concept ValidVectorType =
    is_vector_v<std::decay_t<VectorType>> &&
    requires(std::decay_t<VectorType> vector, const std::decay_t<VectorType> const_vector, size_t i) {
      typename std::decay_t<VectorType>::value_type;
      { vector[i] } -> std::convertible_to<typename std::decay_t<VectorType>::value_type>;
      { vector(i) } -> std::convertible_to<typename std::decay_t<VectorType>::value_type>;
      { const_vector[i] } -> std::convertible_to<const typename std::decay_t<VectorType>::value_type>;
      { const_vector(i) } -> std::convertible_to<const typename std::decay_t<VectorType>::value_type>;
    }