Mcro::Templates::CTypesConvertibleTo 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. More...

#include <Templates.h>

Concept definition

template<typename From, typename To, bool OnEmpty true>
concept Mcro::Templates::CTypesConvertibleTo = 
        CTypeList<From>
        && CTypeList<To>
        && From::Count == To::Count
        && Detail::IsTypeListConvertibleTo<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.

Definition at line 351 of file Templates.h.