Determines whether the source type-lists contain the same elements in the same order. More...

Collaboration diagram for equal:

Classes
struct	sl::type_list::equal< First, Others >
	Primary template yields `false`. More...

struct	sl::type_list::equal< First >
	Specialization for single type-list. More...

struct	sl::type_list::equal< FirstContainer< Elements... >, SecondContainer< Elements... >, Others... >
	Specialization, determining whether the first two type-lists have equal template arguments. More...

Variables
template<concepts::type_list First, concepts::type_list... Others>
constexpr bool	sl::type_list::equal_v = equal<First, Others...>::value
	Convenience constant, exposing the `value` member of the equal trait.

Detailed Description

Determines whether the source type-lists contain the same elements in the same order.

Variable Documentation

template<concepts::type_list First, concepts::type_list... Others>

constexpr bool sl::type_list::equal_v = equal<First, Others...>::value

inlineconstexpr

Convenience constant, exposing the value member of the equal trait.

Template Parameters

First	The first type-list.
Others	Other type-lists to be compared to.