layout_mapping_alike.hpp

Go to the documentation of this file.

// SPDX-License-Identifier: BSL-1.0
// SPDX-FileCopyrightText: Copyright (C) 2023 Tobias Hienzsch
 
#ifndef TETL_MDSPAN_LAYOUT_MAPPING_ALIKE_HPP
#define TETL_MDSPAN_LAYOUT_MAPPING_ALIKE_HPP
 
#include <etl/_concepts/same_as.hpp>
#include <etl/_mdspan/is_extents.hpp>
#include <etl/_type_traits/bool_constant.hpp>
 
namespace etl::detail {
 
template <typename M>
concept layout_mapping_alike = requires {
    requires detail::is_extents<typename M::extents_type>;
    { M::is_always_strided() } -> same_as<bool>;
    { M::is_always_exhaustive() } -> same_as<bool>;
    { M::is_always_unique() } -> same_as<bool>;
    etl::bool_constant<M::is_always_strided()>::value;
    etl::bool_constant<M::is_always_exhaustive()>::value;
    etl::bool_constant<M::is_always_unique()>::value;
};
 
} // namespace etl::detail
 
#endif // TETL_MDSPAN_LAYOUT_MAPPING_ALIKE_HPP