Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
16 changes: 8 additions & 8 deletions source/iterators.tex
Original file line number Diff line number Diff line change
Expand Up @@ -208,7 +208,7 @@

// \ref{alg.req.mergeable}, concept \libconcept{mergeable}
template<class I1, class I2, class Out,
class R = ranges::less, class P1 = identity, class P2 = identity>
class R = ranges::less, class P1 = identity, class P2 = identity>
concept mergeable = @\seebelow@; // freestanding

// \ref{alg.req.sortable}, concept \libconcept{sortable}
Expand Down Expand Up @@ -325,7 +325,7 @@
constexpr reverse_iterator<Iterator> make_reverse_iterator(Iterator i); // freestanding

template<class Iterator1, class Iterator2>
requires (!@\libconcept{sized_sentinel_for}@<Iterator1, Iterator2>)
requires (!@\libconcept{sized_sentinel_for}@<Iterator1, Iterator2>)
constexpr bool @\libspec{disable_sized_sentinel_for}{reverse_iterator}@<reverse_iterator<Iterator1>, // freestanding
reverse_iterator<Iterator2>> = true;

Expand Down Expand Up @@ -415,7 +415,7 @@
constexpr move_iterator<Iterator> make_move_iterator(Iterator i); // freestanding

template<class Iterator1, class Iterator2>
requires (!@\libconcept{sized_sentinel_for}@<Iterator1, Iterator2>)
requires (!@\libconcept{sized_sentinel_for}@<Iterator1, Iterator2>)
constexpr bool @\libspec{disable_sized_sentinel_for}{move_iterator}@<move_iterator<Iterator1>, // freestanding
move_iterator<Iterator2>> = true;

Expand Down Expand Up @@ -456,7 +456,7 @@
const istream_iterator<T,charT,traits,Distance>& y);

template<class T, class charT = char, class traits = char_traits<charT>>
class ostream_iterator;
class ostream_iterator;

template<class charT, class traits = char_traits<charT>>
class istreambuf_iterator;
Expand Down Expand Up @@ -4239,16 +4239,16 @@
template<@\libconcept{convertible_to}@<Iterator> U>
constexpr basic_const_iterator(basic_const_iterator<U> current);
template<@\exposconcept{different-from}@<basic_const_iterator> T>
requires @\libconcept{convertible_to}@<T, Iterator>
requires @\libconcept{convertible_to}@<T, Iterator>
constexpr basic_const_iterator(T&& current);

constexpr const Iterator& base() const & noexcept;
constexpr Iterator base() &&;

constexpr @\exposid{reference}@ operator*() const;
constexpr const auto* operator->() const
requires is_lvalue_reference_v<iter_reference_t<Iterator>> &&
@\libconcept{same_as}@<remove_cvref_t<iter_reference_t<Iterator>>, value_type>;
requires is_lvalue_reference_v<iter_reference_t<Iterator>> &&
@\libconcept{same_as}@<remove_cvref_t<iter_reference_t<Iterator>>, value_type>;

constexpr basic_const_iterator& operator++();
constexpr void operator++(int);
Expand Down Expand Up @@ -5276,7 +5276,7 @@
\indexlibraryglobal{make_move_iterator}%
\begin{itemdecl}
template<class Iterator>
constexpr move_iterator<Iterator> make_move_iterator(Iterator i);
constexpr move_iterator<Iterator> make_move_iterator(Iterator i);
\end{itemdecl}

\begin{itemdescr}
Expand Down