mask_traits.h

// SPDX-FileCopyrightText: 2026 Edward Kmett <ekmett@gmail.com>
// SPDX-License-Identifier: BSD-2-Clause OR Apache-2.0
#pragma once
#include <array>
#include <cstddef>
#include <type_traits>
 
namespace native {
  template<class T> struct mask_traits {};

  template<class T> requires std::is_arithmetic_v<T>
  struct mask_traits<T> { using type = bool; };

  template<class T>
  using mask = typename mask_traits<std::remove_cvref_t<T>>::type;

  template<class T, std::size_t N> requires requires { typename mask<T>; }
  struct mask_traits<std::array<T, N>> { using type = std::array<mask<T>, N>; };
}