traits.hpp

Go to the documentation of this file.

 
#pragma once
 
#include "irsol/types.hpp"
 
#include <type_traits>
#include <variant>
 
namespace irsol {
 
namespace traits {
 
template<typename T>
struct always_false : std::false_type
{};
 
template<typename T, typename VariantT>
struct is_type_in_variant;
 
template<typename T, typename... VariantClassesT>
struct is_type_in_variant<T, std::variant<VariantClassesT...>>
  : std::disjunction<std::is_same<std::decay_t<T>, VariantClassesT>...>
{};
 
template<typename T, typename VariantT>
constexpr bool is_type_in_variant_v = is_type_in_variant<T, VariantT>::value;
 
}  // namespace traits
}  // namespace irsol