carb::cpp17::conjunction

Defined in carb/cpp17/TypeTraits.h

Inheritance Relationships

Base Type

• public detail::conjunction_impl< B... >

template<typename ...B>
struct conjunction : public detail::conjunction_impl<B...>

A conjunction is the logical and of all B traits.

An empty list results in a true value. This meta-function is short-circuiting.

tparam B

The series of traits to evaluate the value member of. Each B must have a member constant value which is convertible to bool. Use of carb::cpp17::bool_constant is helpful here.