uni20/operation__scalar_8hpp_source.html

#pragma once


#include <uni20/core/runtime_precision.hpp>

#if UNI20_HAS_MPREAL

#include <uni20/core/exact_rational.hpp>

#endif


#include <concepts>


namespace uni20::linalg

{

template <class Value, class Scalar>

concept OperationScalar =

    std::convertible_to<Value, Scalar>

#if UNI20_HAS_MPREAL

    || (has_runtime_precision_v<Scalar> && ExactRationalSource<Value> && std::constructible_from<Scalar, Value>)

#endif

    ;

} // namespace uni20::linalg

uni20::ExactRationalSource
Exact numeric sources accepted without an approximation precision.
Definition exact_rational.hpp:364

uni20::linalg::OperationScalar
Numeric argument that an operation can convert to its scalar type.
Definition operation_scalar.hpp:22

exact_rational.hpp

uni20::linalg
Definition linalg/async.hpp:28

runtime_precision.hpp