custom_concepts.hpp

Go to the documentation of this file.

#ifndef FLIPPY_CUSTOM_CONCEPTS_HPP
#define FLIPPY_CUSTOM_CONCEPTS_HPP
#include <concepts>
namespace fp{
    template<class T> concept floating_point_number = std::is_floating_point_v<T>;
 
    template<class T> concept indexing_number = std::is_unsigned_v<T> && std::is_integral_v<T>;
    using Index = unsigned int;
    using Real = double;
 
 
    namespace implementation {
        template<typename C> concept Beginable= requires(C c) { std::begin(c); };
        template<typename C> concept Endable= requires(C c) { std::end(c); };
        template<typename C> concept NeqableBeginAndEnd = requires(C c) {{ std::begin(c) != std::end(c) } -> std::same_as<bool>; };
        template<typename C> concept BeginIncrementable = requires(C c) { std::begin(c)++; };
        template<typename C> concept BeginDerefable = requires(C c) { *std::begin(c); };
        template<typename C> concept BeginDerefToVoid = requires(C c) {{ *std::begin(c) } -> std::same_as<void>; };
        template<typename C> concept BeginAndEndCopyConstructibleAndDestructible = requires(C c) {
            requires std::destructible<decltype(std::begin(c))> &&
                     std::destructible<decltype(std::end(c))> &&
                     std::copy_constructible<decltype(std::begin(c))> &&
                     std::copy_constructible<decltype(std::end(c))>;
        };
 
 
 
    }
    template<typename C> concept Container =
        implementation::Beginable<C> &&
        implementation::Endable<C> &&
        implementation::NeqableBeginAndEnd<C> &&
        implementation::BeginIncrementable<C> &&
        implementation::BeginDerefable<C> &&
       !implementation::BeginDerefToVoid<C> &&
        implementation::BeginAndEndCopyConstructibleAndDestructible<C>;
 
 
    static Real operator"" _r(long double value) {
        return static_cast<Real>(value);
    }
    static Real operator"" _r(unsigned long long value) {
        return static_cast<Real>(value);
    }
 
    static constexpr auto PI = static_cast<Real>(3.14159265358979323846264338327950288);
}
 
 
 
#endif //FLIPPY_CUSTOM_CONCEPTS_HPP