Variable rdf4cpp::datatypes::SubtypedLiteralDatatype

• Defined in File LiteralDatatype.hpp

Variable Documentation

template<typename LiteralDatatypeImpl> concept rdf4cpp::datatypes::SubtypedLiteralDatatype   = LiteralDatatype<LiteralDatatypeImpl> && requires(typename LiteralDatatypeImpl::cpp_type const &value, typename LiteralDatatypeImpl::template super_cpp_type<0> const &super_value) {                                                                               requires LiteralDatatype<typename LiteralDatatypeImpl::template supertype<0>>;typename LiteralDatatypeImpl::template super_cpp_type<0>;{ LiteralDatatypeImpl::subtype_rank } -> std::convertible_to<size_t>;{ LiteralDatatypeImpl::max_supertype_specialization_ix } -> std::convertible_to<size_t>;{ LiteralDatatypeImpl::template into_supertype<0>(value) } -> std::convertible_to<typename LiteralDatatypeImpl::template super_cpp_type<0>>;{ LiteralDatatypeImpl::template from_supertype<0>(super_value) } -> std::convertible_to<nonstd::expected<typename LiteralDatatypeImpl::cpp_type,DynamicError>>;}