Variable rdf4cpp::datatypes::NumericImpl

Variable Documentation

template<typename LiteralDatatypeImpl> concept rdf4cpp::datatypes::NumericImpl   = requires(typename LiteralDatatypeImpl::cpp_type const &lhs, typename LiteralDatatypeImpl::cpp_type const &rhs) {                           requires LiteralDatatypeOrUndefined<typename LiteralDatatypeImpl::add_result>;                           requires LiteralDatatypeOrUndefined<typename LiteralDatatypeImpl::sub_result>;                           requires LiteralDatatypeOrUndefined<typename LiteralDatatypeImpl::mul_result>;                           requires LiteralDatatypeOrUndefined<typename LiteralDatatypeImpl::div_result>;                           requires LiteralDatatypeOrUndefined<typename LiteralDatatypeImpl::pos_result>;                           requires LiteralDatatypeOrUndefined<typename LiteralDatatypeImpl::neg_result>;typename LiteralDatatypeImpl::add_result_cpp_type;typename LiteralDatatypeImpl::sub_result_cpp_type;typename LiteralDatatypeImpl::mul_result_cpp_type;typename LiteralDatatypeImpl::div_result_cpp_type;typename LiteralDatatypeImpl::pos_result_cpp_type;typename LiteralDatatypeImpl::neg_result_cpp_type;{ LiteralDatatypeImpl::zero_value() } -> std::convertible_to<typename LiteralDatatypeImpl::cpp_type>;{ LiteralDatatypeImpl::one_value() } -> std::convertible_to<typename LiteralDatatypeImpl::cpp_type>;{ LiteralDatatypeImpl::add(lhs, rhs) } -> std::convertible_to<nonstd::expected<typename LiteralDatatypeImpl::add_result_cpp_type,DynamicError>>;{ LiteralDatatypeImpl::sub(lhs, rhs) } -> std::convertible_to<nonstd::expected<typename LiteralDatatypeImpl::sub_result_cpp_type,DynamicError>>;{ LiteralDatatypeImpl::mul(lhs, rhs) } -> std::convertible_to<nonstd::expected<typename LiteralDatatypeImpl::mul_result_cpp_type,DynamicError>>;{ LiteralDatatypeImpl::div(lhs, rhs) } -> std::convertible_to<nonstd::expected<typename LiteralDatatypeImpl::div_result_cpp_type,DynamicError>>;{ LiteralDatatypeImpl::pos(lhs) } -> std::convertible_to<nonstd::expected<typename LiteralDatatypeImpl::pos_result_cpp_type,DynamicError>>;{ LiteralDatatypeImpl::neg(lhs) } -> std::convertible_to<nonstd::expected<typename LiteralDatatypeImpl::neg_result_cpp_type,DynamicError>>;}

A type that is not explicitly a LiteralDatatype but fulfills the requirements for being impl-numeric (see NumericStubLiteralDatatype)