Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
ext::Included Concept Reference

Concept to test whether type T is in a types pack. The trait provides field value set to true if the type T is in pack of types Ts ..., false othervise. More...

#include <concepts.hpp>

Concept definition

template<typename T, typename ... Ts>
concept ext::Included = ext::is_in < T, Ts ... >::value
Concept to test whether type T is in a types pack. The trait provides field value set to true if the ...
Definition: concepts.hpp:40
std::integral_constant< bool,(std::is_same< T, Ts >::value||...) > is_in
Trait to test whether type T is in a types pack. The trait provides field value set to true if the ty...
Definition: type_traits.hpp:99

Detailed Description

Concept to test whether type T is in a types pack. The trait provides field value set to true if the type T is in pack of types Ts ..., false othervise.

Template Parameters
Tthe type to look for
Ts... the types pack to look in