Variable rdf4cpp::datatypes::PromotableLiteralDatatype

• Defined in File LiteralDatatype.hpp

Variable Documentation

template<typename LiteralDatatypeImpl> concept rdf4cpp::datatypes::PromotableLiteralDatatype   = LiteralDatatype<LiteralDatatypeImpl> && requires(typename LiteralDatatypeImpl::cpp_type const &value, typename LiteralDatatypeImpl::template promoted_cpp_type<0> const &promoted_value) {                                                                                 requires LiteralDatatype<typename LiteralDatatypeImpl::template promoted<0>>;typename LiteralDatatypeImpl::template promoted_cpp_type<0>;{ LiteralDatatypeImpl::promotion_rank } -> std::convertible_to<size_t>;{ LiteralDatatypeImpl::max_promotion_specialization_ix } -> std::convertible_to<size_t>;{ LiteralDatatypeImpl::template promote<0>(value) } -> std::convertible_to<typename LiteralDatatypeImpl::template promoted_cpp_type<0>>;{ LiteralDatatypeImpl::template demote<0>(promoted_value) } -> std::convertible_to<nonstd::expected<typename LiteralDatatypeImpl::cpp_type,DynamicError>>;}