Type trait to check if a class is a specialization of a template with a non-type parameter and types. More...

#include <ikarus/utils/traits.hh>

Inheritance diagram for Ikarus::traits::isSpecializationNonTypeAndTypes< Type, Type< T, N... > >:

Detailed Description

template<template< auto, typename... > class Type, auto T, typename... N>
struct Ikarus::traits::isSpecializationNonTypeAndTypes< Type, Type< T, N... > >

Template Parameters

Type	Template class with a non-type parameter and types.
T	Non-type parameter.
N	Types used to instantiate the template.

The documentation for this struct was generated from the following file:

traits.hh