uni20::ReadMdspanLease Concept Reference

Move-only lease exposing a resolved read-only mdspan. More...

#include <access.hpp>

Concept definition

template<class Lease>
concept uni20::ReadMdspanLease = 
    std::move_constructible<Lease> && (!std::copy_constructible<Lease>) && requires(Lease& lease) {
      requires MdspanLike<decltype(lease.mdspan())>;
      requires std::is_const_v<typename std::remove_cvref_t<decltype(lease.mdspan())>::element_type>;
      { lease.release() } noexcept;
    }

Detailed Description

Move-only lease exposing a resolved read-only mdspan.