Concepts.hpp

Go to the documentation of this file.

//
// Created by Matthew McCall on 10/20/24.
//
 
#ifndef OASIS_CONCEPTS_HPP
#define OASIS_CONCEPTS_HPP
 
#include <expected>
 
namespace Oasis {
 
class Expression;
class Visitor;
enum class ExpressionType;
 
template <typename T>
concept IExpression = (requires(T, const Expression& other) {
    {
        T::GetStaticCategory()
    } -> std::same_as<uint32_t>;
    {
        T::GetStaticType()
    } -> std::same_as<ExpressionType>;
} && std::derived_from<T, Expression>) || std::is_same_v<T, Expression>;
 
template <template <IExpression, IExpression> class DerivedT, IExpression MostSigOpT, IExpression LeastSigOpT>
class BinaryExpression;
 
template <template <IExpression> class DerivedT, IExpression OpT>
class UnaryExpression;
 
template <typename T, typename... U>
concept IsAnyOf = (std::same_as<T, U> || ...);
 
template <typename Derived>
concept DerivedFromBinaryExpression = requires(Derived& d) {
    []<template <typename, typename> typename D, IExpression T, IExpression U>(BinaryExpression<D, T, U>&) { }(d);
};
 
template <typename Derived>
concept DerivedFromUnaryExpression = requires(Derived& d) {
    []<template <typename> typename D, IExpression T>(UnaryExpression<D, T>&) { }(d);
};
 
template <typename T>
concept IVisitor = requires {
    typename T::RetT; // Checks for the type alias
    requires std::is_base_of_v<Visitor, T>; // Ensures T derives from BaseClass
};
 
template <typename T>
concept ExpectedWithString = requires {
    typename T::unexpected_type;
    requires std::same_as<typename T::unexpected_type, std::unexpected<std::string>>;
};
 
}
 
#endif // OASIS_CONCEPTS_HPP