std::internal Namespace Reference

Function Documentation

partition_point()

template<class ForwardIterator, class UnaryPred, arene::base::constraints< std::enable_if_t< arene::base::is_forward_iterator_v< ForwardIterator > >, std::enable_if_t< arene::base::is_predicate_v< UnaryPred &, arene::base::algorithm_detail::iter_reference_t< ForwardIterator > > > > = nullptr>

auto std::internal::partition_point ( ForwardIterator first, ForwardIterator last, UnaryPred pred ) -> ForwardIterator

constexprnoexcept

locates the partition point of a range partitioned with respect to an unary predicate

Template Parameters

ForwardIterator	iterator type
UnaryPred	unary predicate type

Parameters

first	beginning of the partitioned range of elements
last	end of the partitioned range of elements
pred	predicate specifying the partition

Returns

iterator past the end of the first partition within [first, last) or last if all elements satisfy pred.

relative_find()

template<class ForwardIterator, class BinaryPredicate, arene::base::constraints< std::enable_if_t< arene::base::is_forward_iterator_v< ForwardIterator > >, std::enable_if_t< arene::base::is_predicate_v< BinaryPredicate &, arene::base::algorithm_detail::iter_reference_t< ForwardIterator >, arene::base::algorithm_detail::iter_reference_t< ForwardIterator > > > > = nullptr>

auto std::internal::relative_find ( ForwardIterator first, ForwardIterator last, BinaryPredicate pred ) -> ForwardIterator

constexprnoexcept

finds the element that best satisfies a relative metric

Template Parameters

ForwardIterator	iterator type
BinaryPredicate	binary predicate type

Parameters

first	beginning of the range of elements
last	end of the range of elements
pred	binary predicate type implementing the relative metric

Returns

iterator to the first element that best satisfies pred.

Variable Documentation

has_basic_forward_iterator_operations_v

template<typename ForwardIterator>

bool std::internal::has_basic_forward_iterator_operations_v {arene::base::is_forward_iterator_v<ForwardIterator>}

externconstexpr

Internal type trait to check if a type supports the necessary forward iterator operations. true if it does, false otherwise.

Template Parameters

ForwardIterator

The type to check

has_basic_input_iterator_operations_v

template<typename InputIterator>

bool std::internal::has_basic_input_iterator_operations_v {arene::base::is_input_iterator_v<InputIterator>}

externconstexpr

Internal type trait to check if a type supports the necessary input iterator operations. true if it does, false otherwise.

Template Parameters

InputIterator

The type to check

has_basic_output_iterator_operations_v

template<typename OutputIterator>

bool std::internal::has_basic_output_iterator_operations_v {arene::base::is_output_iterator_v<OutputIterator>}

externconstexpr

Internal type trait to check if a type supports the necessary output iterator operations. true if it does, false otherwise.

Template Parameters

OutputIterator

The type to check

has_nothrow_basic_bidirectional_iterator_operations_v

template<typename BidirIt, typename = arene::base::constraints<>>

bool std::internal::has_nothrow_basic_bidirectional_iterator_operations_v {false}

externconstexpr

Internal type trait to check if a type supports the necessary bidirectional iterator operations without throwing. true if it does, false otherwise.

Template Parameters

BidirIt

The type to check

has_nothrow_basic_bidirectional_iterator_operations_v< BidirIt, arene::base::constraints< enable_if_t< has_nothrow_basic_input_iterator_operations_v< BidirIt > > > >

template<typename BidirIt>

bool std::internal::has_nothrow_basic_bidirectional_iterator_operations_v< BidirIt, arene::base::constraints< enable_if_t< has_nothrow_basic_input_iterator_operations_v< BidirIt > > > >

externconstexpr

Initial value:

=
    noexcept(--declval<BidirIt&>())

Internal type trait to check if a type supports the necessary bidirectional iterator operations without throwing. true if it does, false otherwise.

Template Parameters

BidirIt

The type to check

has_nothrow_basic_forward_iterator_operations_v

template<typename ForwardIterator, typename = arene::base::constraints<>>

bool std::internal::has_nothrow_basic_forward_iterator_operations_v {false}

externconstexpr

Internal type trait to check if a type supports the necessary forward iterator operations. true if it does, false otherwise.

Template Parameters

ForwardIterator

The type to check

has_nothrow_basic_forward_iterator_operations_v< ForwardIterator, arene::base::constraints< enable_if_t< has_basic_forward_iterator_operations_v< ForwardIterator > > > >

template<typename ForwardIterator>

bool std::internal::has_nothrow_basic_forward_iterator_operations_v< ForwardIterator, arene::base::constraints< enable_if_t< has_basic_forward_iterator_operations_v< ForwardIterator > > > >

externconstexpr

Initial value:

=
    has_nothrow_basic_input_iterator_operations_v<ForwardIterator>&& noexcept(*declval<ForwardIterator&>()++) &&
    is_nothrow_default_constructible_v<ForwardIterator>

Internal type trait to check if a type supports the necessary forward iterator operations. true if it does, false otherwise.

Template Parameters

ForwardIterator

The type to check

has_nothrow_basic_input_iterator_operations_v

template<typename InputIterator, typename = arene::base::constraints<>>

bool std::internal::has_nothrow_basic_input_iterator_operations_v {false}

externconstexpr

Internal type trait to check if a type supports the necessary input iterator operations without throwing. true if it does, false otherwise.

Template Parameters

InputIterator

The type to check

has_nothrow_basic_input_iterator_operations_v< InputIterator, arene::base::constraints< enable_if_t< has_basic_input_iterator_operations_v< InputIterator > > > >

template<typename InputIterator>

bool std::internal::has_nothrow_basic_input_iterator_operations_v< InputIterator, arene::base::constraints< enable_if_t< has_basic_input_iterator_operations_v< InputIterator > > > >

externconstexpr

Initial value:

=
    noexcept(++declval<InputIterator&>())&& noexcept(*declval<InputIterator&>()
    )&& noexcept(declval<InputIterator&>() != declval<InputIterator const&>()) &&
    is_nothrow_copy_constructible_v<InputIterator>

Internal type trait to check if a type supports the necessary input iterator operations without throwing. true if it does, false otherwise.

Template Parameters

InputIterator

The type to check

has_nothrow_basic_output_iterator_operations_v

template<typename OutputIterator, typename = arene::base::constraints<>>

bool std::internal::has_nothrow_basic_output_iterator_operations_v {false}

externconstexpr

Internal type trait to check if a type supports the necessary output iterator operations without throwing. true if it does, false otherwise.

Template Parameters

OutputIterator

The type to check

has_nothrow_basic_output_iterator_operations_v< OutputIterator, arene::base::constraints< enable_if_t< has_basic_output_iterator_operations_v< OutputIterator > > > >

template<typename OutputIterator>

bool std::internal::has_nothrow_basic_output_iterator_operations_v< OutputIterator, arene::base::constraints< enable_if_t< has_basic_output_iterator_operations_v< OutputIterator > > > >

externconstexpr

Initial value:

=
    noexcept(++declval<OutputIterator&>())&& noexcept(*declval<OutputIterator&>()) &&
    is_nothrow_copy_constructible_v<OutputIterator>

Internal type trait to check if a type supports the necessary output iterator operations without throwing. true if it does, false otherwise.

Template Parameters

OutputIterator

The type to check

is_function_type_without_cvref_v

template<typename Type>

bool std::internal::is_function_type_without_cvref_v = false

externconstexpr

Internal type trait to check if a type is a function type without a cv-qualifier or ref-qualifier.

Template Parameters

Type	The type to check

is_function_type_without_cvref_v< Result(Args...)>

template<typename Result, typename... Args>

bool std::internal::is_function_type_without_cvref_v< Result(Args...)> = true

externconstexpr

Internal type trait to check if a type is a function type without a cv-qualifier or ref-qualifier.

Template Parameters

Result	The result of the function type
Args	The arguments of the function type

is_indirectly_copy_assignable_v

template<typename SourceIterator, typename DestinationIterator, typename = arene::base::constraints<>>

bool std::internal::is_indirectly_copy_assignable_v {false}

externconstexpr

Internal type trait to check if the values from an input iterator can be copy-assigned to the destination iterator. true if possible, false otherwise.

Template Parameters

SourceIterator	The type of the source iterator
DestinationIterator	The type of the target iterator

is_indirectly_move_assignable_v

template<typename SourceIterator, typename DestinationIterator, typename = arene::base::constraints<>>

bool std::internal::is_indirectly_move_assignable_v {false}

externconstexpr

Internal type trait to check if the values from an input iterator can be move-assigned to the destination iterator. true if possible, false otherwise.

Template Parameters

SourceIterator	The type of the source iterator
DestinationIterator	The type of the target iterator

is_indirectly_nothrow_copy_assignable_v

template<typename SourceIterator, typename DestinationIterator, typename = arene::base::constraints<>>

bool std::internal::is_indirectly_nothrow_copy_assignable_v {false}

externconstexpr

Internal type trait to check if the values from an input iterator can be copy-assigned to the destination iterator without throwing. true if possible, false otherwise.

Template Parameters

SourceIterator	The type of the source iterator
DestinationIterator	The type of the target iterator

is_referenceable_v

template<typename Type>

bool std::internal::is_referenceable_v

externconstexpr

Initial value:

=
    is_object_v<Type> || is_reference_v<Type> || is_function_type_without_cvref_v<Type>

Internal type trait to check if a type is a referenceable type.

Template Parameters

Type	The type to check

iterator_move_assignable_v

template<typename SourceIterator, typename DestinationIterator, typename = arene::base::constraints<>>

bool std::internal::iterator_move_assignable_v {false}

externconstexpr

Internal type trait to check if the values from a source iterator can be move-assigned to the destination iterator. true if possible, false otherwise.

Template Parameters

SourceIterator	The type of the source iterator
DestinationIterator	The type of the target iterator