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

Classes

struct  _forward_as
 
struct  _forward_as< Tup &&, B >
 
struct  _forward_as< Tup &, B >
 
struct  _forward_as< Tup const &&, B >
 
struct  _forward_as< Tup const &, B >
 
struct  _get_tuple_base
 
struct  _get_tuple_base< std::index_sequence< I... >, T... >
 

Functions

template<class T , class U >
TUPLET_INLINE constexpr bool _partial_cmp (T const &a, U const &b, bool &less)
 
template<class Tup , class... B1>
TUPLET_INLINE constexpr bool _equals (Tup const &t1, Tup const &t2, type_list< B1... >)
 
template<class Tup , class... B1>
TUPLET_INLINE constexpr bool _less (Tup const &t1, Tup const &t2, type_list< B1... >)
 
template<class Tup , class... B1>
TUPLET_INLINE constexpr bool _less_eq (Tup const &t1, Tup const &t2, type_list< B1... >)
 
template<class Tup1 , class Tup2 , class... B1, class... B2>
TUPLET_INLINE constexpr bool _equals (Tup1 const &t1, Tup2 const &t2, type_list< B1... >, type_list< B2... >)
 
template<class Tup1 , class Tup2 , class... B1, class... B2>
TUPLET_INLINE constexpr bool _less (Tup1 const &t1, Tup2 const &t2, type_list< B1... >, type_list< B2... >)
 
template<class Tup1 , class Tup2 , class... B1, class... B2>
TUPLET_INLINE constexpr bool _less_eq (Tup1 const &t1, Tup2 const &t2, type_list< B1... >, type_list< B2... >)
 
template<class Tup , class F , class... B>
TUPLET_INLINE constexpr void _for_each (Tup &&tup, F &&func, type_list< B... >)
 
template<class Tup , class F , class... B>
TUPLET_INLINE constexpr bool _any (Tup &&tup, F &&func, type_list< B... >)
 
template<class Tup , class F , class... B>
TUPLET_INLINE constexpr bool _all (Tup &&tup, F &&func, type_list< B... >)
 
template<class Tup , class F , class... B>
TUPLET_INLINE constexpr auto _map (Tup &&tup, F &&func, type_list< B... >) -> tuple< decltype(func(TUPLET_FWD_M(Tup, B, tup, value)))... >
 
template<class Tup , class F , class... B>
TUPLET_INLINE constexpr decltype(auto) _apply (Tup &&t, F &&f, type_list< B... >)
 
template<class U , class Tup , class... B>
TUPLET_INLINE constexpr U _convert (Tup &&t, type_list< B... >)
 
template<class T , class... Q>
TUPLET_INLINE constexpr auto _repeat_type (type_list< Q... >)
 
template<class... Outer>
TUPLET_INLINE constexpr auto _get_outer_bases (type_list< Outer... >)
 
template<class... Outer>
TUPLET_INLINE constexpr auto _get_inner_bases (type_list< Outer... >)
 
template<class T , class... Outer, class... Inner>
TUPLET_INLINE constexpr auto _tuple_cat (T tup, type_list< Outer... >, type_list< Inner... >) -> tuple< type_t< Inner >... >
 

Function Documentation

◆ _all()

template<class Tup , class F , class... B>
TUPLET_INLINE constexpr bool tuplet::detail::_all ( Tup &&  tup,
F &&  func,
type_list< B... >   
)
constexpr

Definition at line 576 of file tuplet.hpp.

◆ _any()

template<class Tup , class F , class... B>
TUPLET_INLINE constexpr bool tuplet::detail::_any ( Tup &&  tup,
F &&  func,
type_list< B... >   
)
constexpr

Definition at line 565 of file tuplet.hpp.

◆ _apply()

template<class Tup , class F , class... B>
TUPLET_INLINE constexpr decltype(auto) tuplet::detail::_apply ( Tup &&  t,
F &&  f,
type_list< B... >   
)
constexpr

Definition at line 594 of file tuplet.hpp.

◆ _convert()

template<class U , class Tup , class... B>
TUPLET_INLINE constexpr U tuplet::detail::_convert ( Tup &&  t,
type_list< B... >   
)
constexpr

Definition at line 599 of file tuplet.hpp.

◆ _equals() [1/2]

template<class Tup , class... B1>
TUPLET_INLINE constexpr bool tuplet::detail::_equals ( Tup const &  t1,
Tup const &  t2,
type_list< B1... >   
)
constexpr

Definition at line 372 of file tuplet.hpp.

◆ _equals() [2/2]

template<class Tup1 , class Tup2 , class... B1, class... B2>
TUPLET_INLINE constexpr bool tuplet::detail::_equals ( Tup1 const &  t1,
Tup2 const &  t2,
type_list< B1... >  ,
type_list< B2... >   
)
constexpr

Definition at line 412 of file tuplet.hpp.

◆ _for_each()

template<class Tup , class F , class... B>
TUPLET_INLINE constexpr void tuplet::detail::_for_each ( Tup &&  tup,
F &&  func,
type_list< B... >   
)
constexpr

Definition at line 560 of file tuplet.hpp.

◆ _get_inner_bases()

template<class... Outer>
TUPLET_INLINE constexpr auto tuplet::detail::_get_inner_bases ( type_list< Outer... >  )
constexpr

Definition at line 1086 of file tuplet.hpp.

◆ _get_outer_bases()

template<class... Outer>
TUPLET_INLINE constexpr auto tuplet::detail::_get_outer_bases ( type_list< Outer... >  )
constexpr

Definition at line 1082 of file tuplet.hpp.

◆ _less() [1/2]

template<class Tup , class... B1>
TUPLET_INLINE constexpr bool tuplet::detail::_less ( Tup const &  t1,
Tup const &  t2,
type_list< B1... >   
)
constexpr

Definition at line 383 of file tuplet.hpp.

◆ _less() [2/2]

template<class Tup1 , class Tup2 , class... B1, class... B2>
TUPLET_INLINE constexpr bool tuplet::detail::_less ( Tup1 const &  t1,
Tup2 const &  t2,
type_list< B1... >  ,
type_list< B2... >   
)
constexpr

Definition at line 424 of file tuplet.hpp.

◆ _less_eq() [1/2]

template<class Tup , class... B1>
TUPLET_INLINE constexpr bool tuplet::detail::_less_eq ( Tup const &  t1,
Tup const &  t2,
type_list< B1... >   
)
constexpr

Definition at line 397 of file tuplet.hpp.

◆ _less_eq() [2/2]

template<class Tup1 , class Tup2 , class... B1, class... B2>
TUPLET_INLINE constexpr bool tuplet::detail::_less_eq ( Tup1 const &  t1,
Tup2 const &  t2,
type_list< B1... >  ,
type_list< B2... >   
)
constexpr

Definition at line 439 of file tuplet.hpp.

◆ _map()

template<class Tup , class F , class... B>
TUPLET_INLINE constexpr auto tuplet::detail::_map ( Tup &&  tup,
F &&  func,
type_list< B... >   
) -> tuple<decltype(func(TUPLET_FWD_M(Tup, B, tup, value)))...>
constexpr

Definition at line 588 of file tuplet.hpp.

◆ _partial_cmp()

template<class T , class U >
TUPLET_INLINE constexpr bool tuplet::detail::_partial_cmp ( T const &  a,
U const &  b,
bool &  less 
)
constexpr

Computes a partial comparison. Returns true iff a == b. Otherwise, sets less to true if a < b

Definition at line 335 of file tuplet.hpp.

◆ _repeat_type()

template<class T , class... Q>
TUPLET_INLINE constexpr auto tuplet::detail::_repeat_type ( type_list< Q... >  )
constexpr

Definition at line 1078 of file tuplet.hpp.

◆ _tuple_cat()

template<class T , class... Outer, class... Inner>
TUPLET_INLINE constexpr auto tuplet::detail::_tuple_cat ( T  tup,
type_list< Outer... >  ,
type_list< Inner... >   
) -> tuple<type_t<Inner>...>
constexpr

Definition at line 1094 of file tuplet.hpp.