EnableIf.hpp

Go to the documentation of this file.

 
//~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~//
// Copyright (c) Lawrence Livermore National Security, LLC and other
// RAJA Project Developers. See top-level LICENSE and COPYRIGHT
// files for dates and other details. No copyright assignment is required
// to contribute to RAJA.
//
// SPDX-License-Identifier: (BSD-3-Clause)
//~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~//
 
#ifndef RAJA_util_EnableIf_HPP
#define RAJA_util_EnableIf_HPP
 
#include "RAJA/config.hpp"
 
#include <type_traits>
 
#include "camp/list.hpp"
#include "camp/type_traits.hpp"
 
#include "RAJA/util/concepts.hpp"
 
namespace RAJA
{
namespace util
{
 
 
template<typename T, typename TypeList>
struct is_any_of;
 
template<typename T, typename... Types>
struct is_any_of<T, ::camp::list<Types...>>
    : ::RAJA::concepts::any_of<::camp::is_same<T, Types>...>
{};
 
template<typename T, typename TypeList>
using enable_if_is_any_of = std::enable_if_t<is_any_of<T, TypeList>::value, T>;
 
template<typename T, typename TypeList>
using enable_if_is_none_of =
    std::enable_if_t<::RAJA::concepts::negate<is_any_of<T, TypeList>>::value,
                     T>;
 
 
}  // namespace util
}  // namespace RAJA
 
#endif  // closing endif for header file include guard