Fleet  0.0.9
Inference in the LOT
is_specialization< Test, Ref > Struct Template Reference

Check if a type is contained in parameter pack // *. More...

#include <Miscellaneous.h>

Inheritance diagram for is_specialization< Test, Ref >:
Inheritance graph
[legend]
Collaboration diagram for is_specialization< Test, Ref >:
Collaboration graph
[legend]

Detailed Description

template<typename Test, template< typename... > class Ref>
struct is_specialization< Test, Ref >

Check if a type is contained in parameter pack // *.

Check if variadic args contain a type
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ */
// * @return
// */
template<typename X, typename... Ts>
constexpr bool contains_type() {
return std::disjunction<std::is_same<X, Ts>...>::value;
}
/*

Check if a type is a specialization of another ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~


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