template_specialization.hpp

#pragma once
 
#include <map>
#include <type_traits>
 
namespace VIPRA::Util {
template <typename type_t, template <typename...> class ref_t>

// NOLINTNEXTLINE
struct is_specialization : std::false_type {};
 
template <template <typename...> class ref_t, typename... arg_ts>
struct is_specialization<ref_t<arg_ts...>, ref_t> : std::true_type {};
 
template <typename>
struct get_specialization_internal;

template <template <typename...> typename template_t, typename inner_t>
struct get_specialization_internal<template_t<inner_t>> {
  using type = inner_t;
};
 
template <typename>
struct get_map_specialization;

template <typename k_t, typename v_t>
struct get_map_specialization<std::map<k_t, v_t>> {
  using key_t = k_t;
  using value_t = v_t;
};
 
}  // namespace VIPRA::Util