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

#include <ikarus/utils/traits.hh>

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

Detailed Description

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

Template Parameters

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

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

traits.hh