vcl::TypesSatisfyCondition< Pred, Args > Struct Template Reference

Its value is set to true if there is at least one type in the given pack Args... that satisfies the given condition. More...

#include <vclib/types/filter_types.h>

Static Public Attributes
static constexpr bool	value = NumberOfTypes<ResTypes>::value != 0

Private Types
using	ResTypes = FilterTypesByCondition< Pred, Args... >::type

Detailed Description

template<template< typename > typename Pred, typename... Args>
struct vcl::TypesSatisfyCondition< Pred, Args >

Its value is set to true if there is at least one type in the given pack Args... that satisfies the given condition.

Usage:

// there is a type (int) that is integral
static const bool res =
    TypesSatisfyCondition<std::is_integral, int, float, double>::value;
static_assert(res == true, "");
 
static const bool res2 =
    TypesSatisfyCondition<std::is_integral, float, double>::value;
static_assert(res2 != true, "");

---

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

• vclib/core/include/vclib/types/filter_types.h