Mcro::Templates::CTypesConvertibleToDecayed Concept Reference

Is given type-list contains all types convertible to the types of another type-list. The number and order of types are significant. Qualifiers are not taken into account. More...

#include <Templates.h>

Concept definition

template<typename From, typename To, bool OnEmpty true>
concept Mcro::Templates::CTypesConvertibleToDecayed = 
        CTypeList<From>
        && CTypeList<To>
        && From::Count == To::Count
        && Detail::IsTypeListConvertibleToDecay<From, To>(
            OnEmpty,
            std::make_index_sequence<From::Count>()
        )

Detailed Description

Is given type-list contains all types convertible to the types of another type-list. The number and order of types are significant. Qualifiers are not taken into account.

Definition at line 367 of file Templates.h.