Arene Base
Fundamental Utilities For Safety Critical C++
Loading...
Searching...
No Matches
std::logical_and< void > Class Reference

Function object for performing logical AND (logical conjunction), specialized for deduction of parameter and return type. More...

Public Types

using first_argument_type
 Type of the first value to logically AND (deprecated in C++17)(removed in C++20)
 
using is_transparent = void
 Denotes that this is a transparent function object type.
 
using result_type
 Result type of invoking this object (deprecated in C++17)(removed in C++20)
 
using second_argument_type
 Type of the second value to logically AND (deprecated in C++17)(removed in C++20)
 

Public Member Functions

 ARENE_IGNORE_ARMCLANG ("-Wnull-conversion", "The standard expects the conversions here")
 
 ARENE_IGNORE_ARMCLANG ("-Wnull-conversion", "The standard expects the conversions here")
 
 ARENE_IGNORE_END ()
 
 ARENE_IGNORE_END ()
 
 ARENE_IGNORE_START ()
 
 ARENE_IGNORE_START ()
 
template<class T, class U>
constexpr auto operator() (T &&lhs, U &&rhs) const noexcept(noexcept(std::forward< T >(std::declval< T && >()) &&std::forward< U >(std::declval< U && >()))) ->
 Returns the logical AND of lhs and rhs.
 
constexpr auto operator() (void const &lhs, void const &rhs) const noexcept(noexcept(std::declval< void const & >() &&std::declval< void const & >())) -> bool
 Returns the logical AND of lhs and rhs.
 

Detailed Description

Function object for performing logical AND (logical conjunction), specialized for deduction of parameter and return type.

Member Typedef Documentation

◆ first_argument_type

using std::logical_and< void >::first_argument_type

Type of the first value to logically AND (deprecated in C++17)(removed in C++20)

◆ is_transparent

using std::logical_and< void >::is_transparent = void

Denotes that this is a transparent function object type.

◆ result_type

using std::logical_and< void >::result_type

Result type of invoking this object (deprecated in C++17)(removed in C++20)

◆ second_argument_type

using std::logical_and< void >::second_argument_type

Type of the second value to logically AND (deprecated in C++17)(removed in C++20)

Member Function Documentation

◆ ARENE_IGNORE_ARMCLANG() [1/2]

std::logical_and< void >::ARENE_IGNORE_ARMCLANG ( "-Wnull-conversion" ,
"The standard expects the conversions here"  )

◆ ARENE_IGNORE_ARMCLANG() [2/2]

std::logical_and< void >::ARENE_IGNORE_ARMCLANG ( "-Wnull-conversion" ,
"The standard expects the conversions here"  )

◆ ARENE_IGNORE_END() [1/2]

std::logical_and< void >::ARENE_IGNORE_END ( )

◆ ARENE_IGNORE_END() [2/2]

std::logical_and< void >::ARENE_IGNORE_END ( )

◆ ARENE_IGNORE_START() [1/2]

std::logical_and< void >::ARENE_IGNORE_START ( )

◆ ARENE_IGNORE_START() [2/2]

std::logical_and< void >::ARENE_IGNORE_START ( )

◆ operator()() [1/2]

template<class T, class U>
auto std::logical_and< void >::operator() ( T && lhs,
U && rhs ) const ->
inlineconstexprnoexcept

Returns the logical AND of lhs and rhs.

Template Parameters
TThe type of lhs
UThe type of rhs
Parameters
lhsThe first value to compute logical AND of
rhsThe second value to compute logical AND of
Returns
Returns the result of invoking lhs && rhs.

◆ operator()() [2/2]

auto std::logical_and< void >::operator() ( void const & lhs,
void const & rhs ) const-> bool
inlineconstexprnoexcept

Returns the logical AND of lhs and rhs.

Template Parameters
UTemplate parameter to enable constraints.
Parameters
lhsThe first value to compute logical AND of
rhsThe second value to compute logical AND of
Returns
Returns the result of invoking lhs && rhs.

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