limes::algorithms::concepts::Field Concept Reference

#include <concepts.hpp>

Concept definition

template<typename T>
concept limes::algorithms::concepts::Field =  requires(T a, T b) {
    { a + b } -> std::convertible_to<T>;
    { a - b } -> std::convertible_to<T>;
    { a * b } -> std::convertible_to<T>;
    { a / b } -> std::convertible_to<T>;
    { -a } -> std::convertible_to<T>;
    { T(0) };
    { T(1) };
}

Detailed Description

Definition at line 10 of file concepts.hpp.