instance_of.h

#pragma once
 
#include <type_traits>
 
namespace cgv {
    namespace type {
        namespace traits {
            template<class T, template<class...> class Template>
            /*inline*/ constexpr bool is_instance_of_v = std::false_type{};
 
            template<template<class...> class T, class ...TemplateArgs>
            /*inline*/ constexpr bool is_instance_of_v<T<TemplateArgs...>, T> = std::true_type{};
 
            template<class T, template<class...> class Template>
            struct is_instance_of : std::bool_constant<is_instance_of_v<T, Template>> {};
        }
    }
}