uni20::MutableMdspecLike Concept Reference

MdspecLike types whose eventual storage supports writes. More...

#include <concepts.hpp>

Concept definition

template<class S>
concept uni20::MutableMdspecLike = 
    MdspecLike<S> && (!std::is_const_v<typename detail::span_type_t<S>::element_type>) &&
    (MutableMdspanLike<S> || detail::AccessorReferenceAssignable<typename detail::span_type_t<S>::accessor_type>)

Detailed Description

MdspecLike types whose eventual storage supports writes.

Immediate spans use MutableMdspanLike. Deferred spans use the same accessor-reference assignment that will govern the resolved span.

Template Parameters

S	The mdspec-like type being evaluated.