sparrow::mpl::T_matches_qualifier_if_Y_is Concept Reference

Concept for matching qualifier requirements. More...

#include <mp_utils.hpp>

Concept definition

template<typename T, typename Y, template< typename > typename Qualifier>
concept sparrow::mpl::T_matches_qualifier_if_Y_is =  Qualifier<T>::value || !Qualifier<Y>::value

Detailed Description

Concept for matching qualifier requirements.

This concept ensures that if type Y has a certain qualifier, then type T must also have that qualifier.

Template Parameters

T	First type to check
Y	Second type to check
Qualifier	Template predicate for the qualifier

Postcondition

True if T has qualifier when Y has qualifier

Definition at line 1018 of file mp_utils.hpp.