Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
tuplet::sfinae::detail Namespace Reference

Functions

template<class T , class U , class = decltype(std::declval<T>() == std::declval<U>())>
constexpr bool _test_eq (int)
 
template<class T , class U >
constexpr bool _test_eq (long long)
 
template<class T , class U , class = decltype(std::declval<T>() < std::declval<U>())>
constexpr bool _test_less (int)
 
template<class T , class U >
constexpr bool _test_less (long long)
 
template<class Tup , class = typename Tup::base_list>
constexpr bool _has_base_list (int)
 
template<class Tup >
constexpr bool _has_base_list (long long)
 
template<bool... B>
constexpr bool _all_true ()
 
template<class... T, class... U>
constexpr bool _all_has_eq (type_list< T... >, type_list< U... >)
 
template<class... T, class... U>
constexpr bool _all_has_cmp (type_list< T... >, type_list< U... >)
 
constexpr bool _all_has_eq (type_list<>, type_list<>)
 
constexpr bool _all_has_cmp (type_list<>, type_list<>)
 
template<class A , class B , class = decltype(std::declval<A>().compare(std::declval<B>()))>
constexpr bool _test_m_compare (int)
 
template<class , class >
constexpr bool _test_m_compare (long long)
 

Variables

template<class T , class U >
constexpr bool _has_eq = _test_eq<T, U>(0)
 
template<class T , class U = T>
constexpr bool _has_cmp = _test_eq<T, U>(0) && _test_less<T, U>(0)
 

Function Documentation

◆ _all_has_cmp() [1/2]

template<class... T, class... U>
constexpr bool tuplet::sfinae::detail::_all_has_cmp ( type_list< T... >  ,
type_list< U... >   
)
constexpr

Definition at line 176 of file tuplet.hpp.

◆ _all_has_cmp() [2/2]

constexpr bool tuplet::sfinae::detail::_all_has_cmp ( type_list<>  ,
type_list<>   
)
constexpr

Definition at line 191 of file tuplet.hpp.

◆ _all_has_eq() [1/2]

template<class... T, class... U>
constexpr bool tuplet::sfinae::detail::_all_has_eq ( type_list< T... >  ,
type_list< U... >   
)
constexpr

Definition at line 166 of file tuplet.hpp.

◆ _all_has_eq() [2/2]

constexpr bool tuplet::sfinae::detail::_all_has_eq ( type_list<>  ,
type_list<>   
)
constexpr

Definition at line 187 of file tuplet.hpp.

◆ _all_true()

template<bool... B>
constexpr bool tuplet::sfinae::detail::_all_true ( )
constexpr

Definition at line 161 of file tuplet.hpp.

◆ _has_base_list() [1/2]

template<class Tup , class = typename Tup::base_list>
constexpr bool tuplet::sfinae::detail::_has_base_list ( int  )
constexpr

Definition at line 152 of file tuplet.hpp.

◆ _has_base_list() [2/2]

template<class Tup >
constexpr bool tuplet::sfinae::detail::_has_base_list ( long long  )
constexpr

Definition at line 156 of file tuplet.hpp.

◆ _test_eq() [1/2]

template<class T , class U , class = decltype(std::declval<T>() == std::declval<U>())>
constexpr bool tuplet::sfinae::detail::_test_eq ( int  )
constexpr

Definition at line 128 of file tuplet.hpp.

◆ _test_eq() [2/2]

template<class T , class U >
constexpr bool tuplet::sfinae::detail::_test_eq ( long long  )
constexpr

Definition at line 133 of file tuplet.hpp.

◆ _test_less() [1/2]

template<class T , class U , class = decltype(std::declval<T>() < std::declval<U>())>
constexpr bool tuplet::sfinae::detail::_test_less ( int  )
constexpr

Definition at line 138 of file tuplet.hpp.

◆ _test_less() [2/2]

template<class T , class U >
constexpr bool tuplet::sfinae::detail::_test_less ( long long  )
constexpr

Definition at line 143 of file tuplet.hpp.

◆ _test_m_compare() [1/2]

template<class A , class B , class = decltype(std::declval<A>().compare(std::declval<B>()))>
constexpr bool tuplet::sfinae::detail::_test_m_compare ( int  )
constexpr

Definition at line 197 of file tuplet.hpp.

◆ _test_m_compare() [2/2]

template<class , class >
constexpr bool tuplet::sfinae::detail::_test_m_compare ( long long  )
constexpr

Definition at line 202 of file tuplet.hpp.

Variable Documentation

◆ _has_cmp

template<class T , class U = T>
constexpr bool tuplet::sfinae::detail::_has_cmp = _test_eq<T, U>(0) && _test_less<T, U>(0)
constexpr

Definition at line 150 of file tuplet.hpp.

◆ _has_eq

template<class T , class U >
constexpr bool tuplet::sfinae::detail::_has_eq = _test_eq<T, U>(0)
constexpr

Definition at line 148 of file tuplet.hpp.