From Jason Turner

[common.iter.cmp]

Diff to HTML by rtfpessoa

tmp/tmp1gpw9jbh/{from.md → to.md} RENAMED
@@ -1,11 +1,11 @@
1
  #### Comparisons <a id="common.iter.cmp">[[common.iter.cmp]]</a>
2
 
3
  ``` cpp
4
  template<class I2, sentinel_for<I> S2>
5
  requires sentinel_for<S, I2>
6
- friend bool operator==(
7
  const common_iterator& x, const common_iterator<I2, S2>& y);
8
  ```
9
 
10
  *Preconditions:* `x.v_.valueless_by_exception()` and
11
  `y.v_.valueless_by_exception()` are each `false`.
@@ -15,11 +15,11 @@ friend bool operator==(
15
  `y.v_.index()`.
16
 
17
  ``` cpp
18
  template<class I2, sentinel_for<I> S2>
19
  requires sentinel_for<S, I2> && equality_comparable_with<I, I2>
20
- friend bool operator==(
21
  const common_iterator& x, const common_iterator<I2, S2>& y);
22
  ```
23
 
24
  *Preconditions:* `x.v_.valueless_by_exception()` and
25
  `y.v_.valueless_by_exception()` are each `false`.
@@ -29,11 +29,11 @@ friend bool operator==(
29
  `y.v_.index()`.
30
 
31
  ``` cpp
32
  template<sized_sentinel_for<I> I2, sized_sentinel_for<I> S2>
33
  requires sized_sentinel_for<S, I2>
34
- friend iter_difference_t<I2> operator-(
35
  const common_iterator& x, const common_iterator<I2, S2>& y);
36
  ```
37
 
38
  *Preconditions:* `x.v_.valueless_by_exception()` and
39
  `y.v_.valueless_by_exception()` are each `false`.
 
1
  #### Comparisons <a id="common.iter.cmp">[[common.iter.cmp]]</a>
2
 
3
  ``` cpp
4
  template<class I2, sentinel_for<I> S2>
5
  requires sentinel_for<S, I2>
6
+ friend constexpr bool operator==(
7
  const common_iterator& x, const common_iterator<I2, S2>& y);
8
  ```
9
 
10
  *Preconditions:* `x.v_.valueless_by_exception()` and
11
  `y.v_.valueless_by_exception()` are each `false`.
 
15
  `y.v_.index()`.
16
 
17
  ``` cpp
18
  template<class I2, sentinel_for<I> S2>
19
  requires sentinel_for<S, I2> && equality_comparable_with<I, I2>
20
+ friend constexpr bool operator==(
21
  const common_iterator& x, const common_iterator<I2, S2>& y);
22
  ```
23
 
24
  *Preconditions:* `x.v_.valueless_by_exception()` and
25
  `y.v_.valueless_by_exception()` are each `false`.
 
29
  `y.v_.index()`.
30
 
31
  ``` cpp
32
  template<sized_sentinel_for<I> I2, sized_sentinel_for<I> S2>
33
  requires sized_sentinel_for<S, I2>
34
+ friend constexpr iter_difference_t<I2> operator-(
35
  const common_iterator& x, const common_iterator<I2, S2>& y);
36
  ```
37
 
38
  *Preconditions:* `x.v_.valueless_by_exception()` and
39
  `y.v_.valueless_by_exception()` are each `false`.