iterator_concepts.h File Reference

Go to the source code of this file.

Classes
struct	std::default_sentinel_t
struct	std::iterator_traits< _Iterator >

Namespaces
	std
	std::__detail

Typedefs
template<typename _Tp >
using	std::__indirect_value_t = typename __detail::__indirect_value< _Tp >::type
template<typename _Iter >
using	std::__detail::__iter_concept = typename __iter_concept_impl< _Iter >::type
template<typename _Tp >
using	std::__detail::__iter_diff_t = typename __iter_traits< _Tp, incrementable_traits< _Tp > >::difference_type
template<typename _Iter , typename _Tp = _Iter>
using	std::__detail::__iter_traits = typename __iter_traits_impl< _Iter, _Tp >::type
template<typename _Tp >
using	std::__detail::__iter_value_t = typename __iter_traits< _Tp, indirectly_readable_traits< _Tp > >::value_type
template<typename _Tp >
using	std::__detail::__range_iter_t = decltype(ranges::__access::__begin(std::declval< _Tp & >()))
template<typename _Tp >
using	std::__detail::__with_ref = _Tp &
using	std::indirect_result_t = invoke_result_t< _Fn, iter_reference_t< _Is >... >
template<indirectly_readable _Tp>
using	std::iter_common_reference_t = common_reference_t< iter_reference_t< _Tp >, __indirect_value_t< _Tp > >
template<typename _Tp >
using	std::iter_difference_t = __detail::__iter_diff_t< remove_cvref_t< _Tp > >
template<__detail::__dereferenceable _Tp>
using	std::iter_reference_t = decltype(*std::declval< _Tp & >())
template<__detail::__dereferenceable _Tp>
using	std::iter_rvalue_reference_t = ranges::__imove::_IterMove::__type< _Tp & >
template<typename _Tp >
using	std::iter_value_t = __detail::__iter_value_t< remove_cvref_t< _Tp > >
template<indirectly_readable _Iter, indirectly_regular_unary_invocable< _Iter > _Proj>
using	std::projected = typename __detail::__projected< _Iter, _Proj >::__type

Functions
template<typename _Tp >
requires is_array_v< _Tp > __member_begin< _Tp & > __adl_begin< _Tp & > constexpr auto	std::ranges::__access::__begin (_Tp &__t)
void	std::ranges::__access::begin ()=delete
template<typename _Tp >
	std::requires (!requires { typename _Tp::difference_type;} &&requires(const _Tp &__a, const _Tp &__b) { { __a - __b } -> integral;}) struct incrementable_traits< _Tp >
template<typename _Iter >
	std::__detail::requires (!requires { typename __iter_traits< _Iter >::iterator_concept;} &&requires { typename __iter_traits< _Iter >::iterator_category;}) struct __iter_concept_impl< _Iter >
template<typename _Iter >
	std::__detail::requires (!requires { typename __iter_traits< _Iter >::iterator_concept;} &&!requires { typename __iter_traits< _Iter >::iterator_category;} &&__primary_traits_iter< _Iter >) struct __iter_concept_impl< _Iter >
template<typename _Fn , typename... _Is>
	std::requires (indirectly_readable< _Is > &&...) &&invocable< _Fn

Variables
template<typename _Tp >
concept	std::ranges::__access::__adl_begin
template<typename _Tp >
concept	std::__detail::__can_reference
template<typename _Iter >
concept	std::__detail::__cpp17_bidi_iterator
template<typename _Iter >
concept	std::__detail::__cpp17_fwd_iterator
template<typename _Iter >
concept	std::__detail::__cpp17_input_iterator
template<typename _Iter >
concept	std::__detail::__cpp17_iterator
template<typename _Iter >
concept	std::__detail::__cpp17_randacc_iterator
template<typename _Tp >
concept	std::ranges::__detail::__cv_bool
template<typename _Tp >
concept	std::__detail::__dereferenceable
template<typename _Tp >
concept	std::__detail::__has_member_element_type
template<typename _Tp >
concept	std::__detail::__has_member_value_type
template<typename _In >
concept	std::__detail::__indirectly_readable_impl
template<typename _Tp >
concept	std::ranges::__detail::__integral_nonbool
template<typename _Tp >
concept	std::ranges::__detail::__is_integer_like
template<typename _Tp >
concept	std::ranges::__detail::__is_signed_integer_like
template<typename _Iter >
concept	std::__detail::__iter_with_nested_types
template<typename _Iter >
concept	std::__detail::__iter_without_category
template<typename _Iter >
concept	std::__detail::__iter_without_nested_types
template<typename _Tp >
concept	std::ranges::__access::__member_begin
template<typename _Iter >
concept	std::__detail::__primary_traits_iter
template<typename _Iter >
concept	std::bidirectional_iterator
template<typename _Iter >
concept	std::contiguous_iterator
constexpr default_sentinel_t	std::default_sentinel
template<typename _Sent , typename _Iter >
constexpr bool	std::disable_sized_sentinel_for
template<typename _Iter >
concept	std::forward_iterator
template<typename _Iter >
concept	std::incrementable
template<typename _Fn , typename _I1 , typename _I2 >
concept	std::indirect_binary_predicate
template<typename _Fn , typename _I1 , typename _I2 = _I1>
concept	std::indirect_equivalence_relation
template<typename _Fn , typename _I1 , typename _I2 = _I1>
concept	std::indirect_strict_weak_order
template<typename _Fn , typename _Iter >
concept	std::indirect_unary_predicate
template<typename _I1 , typename _I2 , typename _Rel , typename _P1 = identity, typename _P2 = identity>
concept	std::indirectly_comparable
template<typename _In , typename _Out >
concept	std::indirectly_copyable
template<typename _In , typename _Out >
concept	std::indirectly_copyable_storable
template<typename _In , typename _Out >
concept	std::indirectly_movable
template<typename _In , typename _Out >
concept	std::indirectly_movable_storable
template<typename _In >
concept	std::indirectly_readable
template<typename _Fn , typename _Iter >
concept	std::indirectly_regular_unary_invocable
template<typename _I1 , typename _I2 = _I1>
concept	std::indirectly_swappable
template<typename _Fn , typename _Iter >
concept	std::indirectly_unary_invocable
template<typename _Out , typename _Tp >
concept	std::indirectly_writable
template<typename _Iter >
concept	std::input_iterator
template<typename _Iter >
concept	std::input_or_output_iterator
constexpr __imove::_IterMove	std::ranges::_Cpo::iter_move
constexpr __iswap::_IterSwap	std::ranges::_Cpo::iter_swap
template<typename _Tp >
requires is_object_v< _Tp > struct	std::iterator_traits< _Tp * >
template<typename _I1 , typename _I2 , typename _Out , typename _Rel = ranges::less, typename _P1 = identity, typename _P2 = identity>
concept	std::mergeable
template<typename _Iter , typename _Tp >
concept	std::output_iterator
template<typename _Iter >
concept	std::permutable
template<typename _Iter >
concept	std::random_access_iterator
template<typename _Tp >
requires	std::requires
template<typename _Sent , typename _Iter >
concept	std::sentinel_for
template<typename _Sent , typename _Iter >
concept	std::sized_sentinel_for
template<typename _Iter , typename _Rel = ranges::less, typename _Proj = identity>
concept	std::sortable
constexpr unreachable_sentinel_t	std::unreachable_sentinel
template<typename _Iter >
concept	std::weakly_incrementable

Detailed Description

This is an internal header file, included by other library headers. Do not attempt to use it directly. Instead, include <iterator>.

Definition in file iterator_concepts.h.