uni20::StridedMdspecLike Concept Reference

An mdspec-like type whose mapping exposes multidimensional strides. More...

#include <concepts.hpp>

Concept definition

template<class S>
concept uni20::StridedMdspecLike =  MdspecLike<S> && detail::span_type_t<S>::is_always_strided() &&
                            requires(detail::span_type_t<S> const& span, std::size_t axis) {
                              { span.stride(axis) } -> std::convertible_to<typename detail::span_type_t<S>::index_type>;
                              {
                                span.mapping().stride(axis)
                              } -> std::convertible_to<typename detail::span_type_t<S>::index_type>;
                            }

Detailed Description

An mdspec-like type whose mapping exposes multidimensional strides.

Template Parameters

S	The mdspec-like type under test.