concepts.hpp

Go to the documentation of this file.

#pragma once

#include <format>

#include "Mountain/core.hpp"


namespace Mountain
{
    class Resource;
    class Entry;
    class Component;
    class Entity;
    class Font;
    class Effect;
    struct Color;
    struct ColorHsva;

    namespace Concepts
    {
        template <class T>
        concept ResourceT = std::is_base_of_v<Resource, T>;

        template <class T>
        concept LoadableResourceT = std::is_base_of_v<Resource, T> && !std::is_same_v<T, Font>;

        template <class T>
        concept EntryT = std::is_base_of_v<Entry, T>;

        template <class T, class U>
        concept IsTSameAsU = std::is_same_v<T, U>;

        template <class T>
        concept ComponentT = std::is_base_of_v<Component, T>;

        template <class T>
        concept EntityT = std::is_base_of_v<Entity, T>;

        template<typename T>
        concept FormattableT = requires(T& v, std::format_context ctx)
        {
            std::formatter<std::remove_cvref_t<T>>().format(v, ctx);
        };

        template<typename T>
        concept ExceptionT = std::is_base_of_v<std::exception, T>;

        template <class T>
        concept FunctionT = std::is_function_v<T>;

        template <typename From, typename To>
        concept ConvertibleToT = std::convertible_to<From, To>;

        template <class T>
        concept ColorT = std::is_same_v<Color, T> || std::is_same_v<ColorHsva, T>;

        template <typename T>
        concept PointerT = std::is_pointer_v<T>;

        template <typename T>
        concept IntegralT = std::is_integral_v<T>;

        template <typename T>
        concept EnumT = std::is_enum_v<T>;

        template <class T>
        concept EffectT = std::is_base_of_v<Effect, T>;
    }
}