concept.h

#ifndef OE_UTIL_CONCEPT_H
#define OE_UTIL_CONCEPT_H
 
#include <concepts>
#include <glm/vec3.hpp>
#include <glm/gtx/quaternion.hpp>
 
namespace oe::scene
{
    template<class V>
    concept Vector3Type = requires(V v)
    {
        {v.x} -> std::convertible_to<float>;
        {v.y} -> std::convertible_to<float>;
        {v.z} -> std::convertible_to<float>;
    };
 
    template<class V>
    concept Vector4Type = requires(V v)
    {
        {v.x} -> std::convertible_to<float>;
        {v.y} -> std::convertible_to<float>;
        {v.z} -> std::convertible_to<float>;
        {v.w} -> std::convertible_to<float>;
    };
 
    template<class T>
    struct IsPosition : std::false_type {};
 
    template<class S>
    struct IsScale : std::false_type {};
 
    template<class R>
    struct IsRotation : std::false_type {};
 
    // Abstract compile time concepts to allow generic types to be used in Transform
    template<class T>
    concept TranslationType = IsPosition<T>::value == true && Vector3Type<T>;
 
    template<class R>
    concept RotationType = IsRotation<R>::value == true && Vector4Type<R>;
 
    template<class S>
    concept ScaleType = IsScale<S>::value == true && Vector3Type<S>;
 
    // Default specializations to allow glm types
    template<>struct IsPosition<glm::vec3> : std::true_type {};
    template<>struct IsRotation<glm::quat> : std::true_type {};
    template<>struct IsScale<glm::vec3> : std::true_type {};
}
 
 
#endif