folly::pushmi::concepts::detail::And< T, U > Struct Template Reference

#include <concept_def.h>

Public Member Functions
constexpr	operator bool () const noexcept
template<class This = And, bool B, int(*) _pushmi_concept_unique___LINE__ = nullptr, std::enable_if_t< _pushmi_concept_unique___LINE__||bool(B==(bool) This{}), int > = 0>
constexpr	operator std::integral_constant< bool, B > () const noexcept
constexpr auto	operator! () const noexcept
template<class That >
constexpr auto	operator&& (That) const noexcept
template<class That >
constexpr auto	operator|| (That) const noexcept

Detailed Description

template<class T, class U>
struct folly::pushmi::concepts::detail::And< T, U >

Definition at line 455 of file concept_def.h.

Member Function Documentation

template<class T , class U >

constexpr folly::pushmi::concepts::detail::And< T, U >::operator bool ( ) const

inlineexplicitnoexcept

Definition at line 483 of file concept_def.h.

References folly::pushmi::__adl::noexcept(), and folly::T.

           {
  explicit constexpr operator bool() const noexcept {
    return (bool)std::conditional_t<(bool)T{}, U, std::false_type>{};

template<class T , class U >

template<class This = And, bool B, int(*) _pushmi_concept_unique___LINE__ = nullptr, std::enable_if_t< _pushmi_concept_unique___LINE__||bool(B==(bool) This{}), int > = 0>

constexpr folly::pushmi::concepts::detail::And< T, U >::operator std::integral_constant< bool, B > ( ) const

inlinenoexcept

Definition at line 487 of file concept_def.h.

References folly::pushmi::__adl::noexcept().

                           {}) constexpr
  operator std::integral_constant<bool, B>() const noexcept {

template<class T , class U >

constexpr auto folly::pushmi::concepts::detail::And< T, U >::operator! ( ) const

inlinenoexcept

Definition at line 490 of file concept_def.h.

References folly::pushmi::__adl::noexcept(), and folly::pushmi::concepts::detail::Not< T >::operator!().

           {};
  }
  constexpr auto operator!() const noexcept {

template<class T , class U >

template<class That >

constexpr auto folly::pushmi::concepts::detail::And< T, U >::operator&& ( That  ) const

inlinenoexcept

Definition at line 494 of file concept_def.h.

                                                 {

template<class T , class U >

template<class That >

constexpr auto folly::pushmi::concepts::detail::And< T, U >::operator|| ( That  ) const

inlinenoexcept

Definition at line 498 of file concept_def.h.

                                                 {

---

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

• proxygen/folly/folly/experimental/pushmi/detail/concept_def.h