Aleph::functional_detail Namespace Reference

Classes
struct	Dyn_Set_Lhash_Available< T, Eq, std::void_t< decltype(sizeof(DynSetLhash< T, Eq >))> >
	Trait: false if DynSetLhash<T,Eq> is not yet complete. More...

Typedefs
template<class C >
using	get_it_t = std::decay_t< decltype(std::declval< const C & >().get_it())>
	Type of auto it = c.get_it() for a const C &c.
template<class C >
using	get_curr_t = decltype(std::declval< get_it_t< C > & >().get_curr())
	Type of it.get_curr() on a get_it_t<C> lvalue.
template<class C >
using	get_curr_cref_t = const std::remove_reference_t< get_curr_t< C > > &
	Type of const auto &item = it.get_curr().

Functions
template<AlephSequentialIterableContainer Container, class Equal >
bool	pairwise_all_unique (const Container &container, Equal &eq)
bool	all_unique_hash_path (const Container &container, Hash &hash, Equal &eq)

Variables
template<typename T , class Eq >
constexpr bool	dyn_set_lhash_available = Dyn_Set_Lhash_Available<T, Eq>::value
template<AlephSequentialIterableContainer Container, class Hash , class Equal >
	and

Typedef Documentation

get_curr_cref_t

template<class C >

using Aleph::functional_detail::get_curr_cref_t = typedef const std::remove_reference_t<get_curr_t<C> > &

Type of const auto &item = it.get_curr().

Template Parameters

C	container type.

Definition at line 183 of file ahFunctional.H.

get_curr_t

template<class C >

using Aleph::functional_detail::get_curr_t = typedef decltype(std::declval<get_it_t<C> &>().get_curr())

Type of it.get_curr() on a get_it_t<C> lvalue.

Template Parameters

C	container type.

Definition at line 177 of file ahFunctional.H.

get_it_t

template<class C >

using Aleph::functional_detail::get_it_t = typedef std::decay_t<decltype(std::declval<const C &>().get_it())>

Type of auto it = c.get_it() for a const C &c.

Template Parameters

C	container type.

Definition at line 171 of file ahFunctional.H.

Function Documentation

all_unique_hash_path()

bool Aleph::functional_detail::all_unique_hash_path ( const Container &  container, Hash &  hash, Equal &  eq  )

inline

Definition at line 221 of file ahFunctional.H.

References all_unique_hash_path(), Aleph::eq(), Aleph::hash_default_lower_alpha, Aleph::hash_default_upper_alpha, pairwise_all_unique(), and value.

Referenced by Aleph::all_unique(), Aleph::all_unique(), and all_unique_hash_path().

pairwise_all_unique()

template<AlephSequentialIterableContainer Container, class Equal >

bool Aleph::functional_detail::pairwise_all_unique ( const Container &  container, Equal &  eq  )

inline

Definition at line 202 of file ahFunctional.H.

References Aleph::eq(), and pairwise_all_unique().

Referenced by Aleph::all_unique(), all_unique_hash_path(), and pairwise_all_unique().

Variable Documentation

and

template<AlephSequentialIterableContainer Container, class Hash , class Equal >

Aleph::functional_detail::and

Initial value:

{
             { h(v) } -> std::convertible_to<size_t>

Definition at line 217 of file ahFunctional.H.

dyn_set_lhash_available

template<typename T , class Eq >

constexpr bool Aleph::functional_detail::dyn_set_lhash_available = Dyn_Set_Lhash_Available<T, Eq>::value

inlineconstexpr

Definition at line 199 of file ahFunctional.H.