Concepts.hpp

Go to the documentation of this file.

//
//  CeresEngine - A game development framework
//
//  Created by Rogiel Sulzbach.
//  Copyright (c) 2018-2022 Rogiel Sulzbach. All rights reserved.
//
 
#pragma once
 
#include "Macros.hpp"
 
#include <utility>
 
namespace CeresEngine {
 
    template<typename T>
    concept CArithmetic = requires(T a, T b) {
        a + b;
        a - b;
        a* b;
        a / b;
    };
 
    template<typename T>
    concept CHashable = requires(T a) {
        std::is_convertible_v<decltype(std::hash<T>{}(a)), std::size_t>;
    };
 
    template<typename T, typename U = T>
    concept CEqualityComparable = requires(T lhs, U rhs) {
        {lhs == rhs};
        std::is_convertible_v<decltype(lhs == rhs), bool>;
    };
 
    template<typename T, typename... Args>
    concept CInvocable = requires(T func, Args... args) {
        func(args...);
    };
 
} // namespace CeresEngine