Combines the values of multiple boolean type traits with a logical AND operation. More...

Inheritance diagram for arene::base::conjunction<... >:

Additional Inherited Members
Public Types inherited from std::integral_constant< bool, Value >< true >
using	type
	The type of this class.

using	type
	The type of this class.

using	value_type
	The type of the value.

using	value_type
	The type of the value.

Public Member Functions inherited from std::integral_constant< bool, Value >< true >
constexpr	operator value_type () const noexcept
	Implicit conversion to `Type`.

constexpr	operator value_type () const noexcept
	Implicit conversion to `Type`.

constexpr	operator value_type () const noexcept
	Implicit conversion to `Type`.

constexpr	operator value_type () const noexcept
	Implicit conversion to `Type`.

constexpr auto	operator() () const noexcept -> value_type
	Nullary function call operator.

constexpr auto	operator() () const noexcept -> value_type
	Nullary function call operator.

constexpr auto	operator() () const noexcept -> value_type
	Nullary function call operator.

constexpr auto	operator() () const noexcept -> value_type
	Nullary function call operator.

Static Public Attributes inherited from std::integral_constant< bool, Value >< true >
static constexpr value_type	value
	The constant.

static constexpr value_type	value
	The constant.

static constexpr value_type	value
	The constant.

static constexpr value_type	value
	The constant.

Detailed Description

template<typename...>
class arene::base::conjunction<... >

Combines the values of multiple boolean type traits with a logical AND operation.

Template Parameters

BoolTraits the traits to combine

Note: Evaluation short circuits: If bool(BoolTrait[N]::value) is false , then the remaining BoolTraits::value... are not evaluated. The resulting type inherits from either the first BoolTraits[N] whose value is false , or the final type in BoolTraits... if no such trait exists. If BoolTraits is empty, then the type is std::true_type .

The documentation for this class was generated from the following file:

Additional Inherited Members