| inner_product | 2 | Arg | Value | A, bT | plus, multiplies | Fwd. | | 10 |
| adjacent_reduce | 1s | Arg | Value | A, bT | | Fwd. | inner_product | 10 |
| transform_reduce | 1,2 | Arg | Value | acR, uT/bT | plus, multiplies | ∥ | | 20 |
| transform_inclusive_scan | 1 | First, Arg | Range | aR, uT | | ∥ | | 20 |
| transform_exclusive_scan | 1 | Arg | Range | aR, uT | | ∥ | | 20 |
| partial_sum | 1 | First | Range | A | plus | Fwd. | | 30 |
| inclusive_scan | 1 | First, Arg | Range | aR | plus | ∥ | | 30 |
| exclusive_scan | 1 | Arg | Range | aR | plus | ∥ | | 30 |
| adjacent_difference | 1s | Quasi | Range | fD | minus | Fwd.∥ | adjacent_transform | 40 |
| adjacent_transform | 1s | Quasi | Range | D | | Fwd.∥ | adjacent_difference | 40 |
| adjacent_inclusive_scan | 1s | First | Range | A, D | | Fwd. | | 50 |
| transform | 1,2 | | Range | uT / bT | | Fwd. | | 60 |
| copy | 1 | | Range | | | Fwd. | transform | 60 |
| copy_backward | 1 | | Range | | | Rev. | | 60 |
| move | 1 | | Range | | | Fwd. | transform | 60 |
| move_backward | 1 | | Range | | | Rev. | shift_right | 60 |
| replace_copy | 1+Value | Arg | Range | | equal_to | Fwd. | transform | 60 |
| replace_copy_if | 1 | Arg | Range | uP | | Fwd. | transform | 60 |
| reverse_copy | 1 | | Range | | | ∥ | transform | 60 |
| rotate_copy | 1d | | Range | | | ∥ | | 60 |
| sample | 1 | Arg | Range | | | / Fwd. | | 60 |
| partial_sort_copy | 1 | | Range | bP | less | ∥ | | 60 |
| merge | 2 | | Range | bP | less | Fwd.∥ | | 60 |
| transform_if | 1 | | Range | uP, uT | | Fwd. | | 65 |
| copy_if | 1 | | Range | uP | | Fwd. | transform_if | 65 |
| remove_copy | 1+Value | | Range | | equal_to | Fwd. | transform_if | 65 |
| remove_copy_if | 1 | | Range | uP | | Fwd. | transform_if | 65 |
| unique_copy | 1 | First | Range | bP | equal_to | Fwd. | | 65 |
| set_difference | 2 | | Range | bP | less | Fwd.∥ | | 65 |
| set_intersection | 2 | | Range | bP | less | Fwd.∥ | | 65 |
| set_symmetric_difference | 2 | | Range | bP | less | Fwd.∥ | | 65 |
| set_union | 2 | | Range | bP | less | Fwd.∥ | | 65 |
| partition_copy | 1 | | 2 Ranges | uP | | Y/N | | 67 |
| find | 1+Value | | Position | | equal_to | S/C∥ | | 70 |
| find_if | 1 | | Position | uP | | S/C∥ | | 70 |
| find_if_not | 1 | | Position | uP | | S/C∥ | find_if | 70 |
| find_first_of | 2 | | Position | bP | equal_to | S/C∥ | find_if | 70 |
| max_element | 1 | First | Position | bP | less, max | Fwd. | | 72 |
| min_element | 1 | First | Position | bP | less, min | Fwd. | | 72 |
| minmax_element | 1 | First | 2 Positions | bP | less, minmax | Fwd. | | 72 |
| lower_bound | 1+Value | | Position | bP | less | B/S | | 75 |
| upper_bound | 1+Value | | Position | bP | less | B/S | | 75 |
| equal_range | 1+Value | | 2 Positions | bP | less | B/S | | 75 |
| search | 2 | | Position | bP | equal_to | ∥ | | 80 |
| search_n | 2 | | Position | bP | equal_to | ∥ | | 80 |
| find_end | 2 | | Position | bP | equal_to | ∥ | search | 80 |
| starts_with | 2 | | bool | bP | equal_to | Fwd. | | 80 |
| ends_with | 2 | | bool | bP | equal_to | | | 80 |
| ranges::starts_withΔ | 2 | | bool | bP, uT, uT | equal_to, identity, identity | | | 80 |
| ranges::ends_withΔ | 2 | | bool | bP, uT, uT | equal_to, identity, identity | | | 80 |
| search (C++17) | 1 | | Position | Searcher | | | | 85 |
| adjacent_find | 1s | | Position | bP | equal_to | S/C∥ | ? | 90 |
| iota | 0 | Arg | Range | | ++ | Fwd. | generate | 100 |
| iota | 0 | Arg | Range | uT | ++ | Fwd. | generate | 100 |
| generate | 0 | | Range | G | | Fwd.∥ | | 100 |
| generate_n | 0 | | Range | G | | Fwd.∥ | | 100 |
| fill | 0 | Arg | Range | | | Fwd.∥ | generate | 100 |
| fill_n | 0 | Arg | Range | | | Fwd.∥ | generate_n | 100 |
| accumulate | 1 | Arg | Value | A | plus | Fwd. | | 110 |
| sum | 1 | First | Value | A | plus | Fwd. | accumulate | 110 |
| reduce | 1 | Arg | Value | acR | plus | ∥ | | 110 |
| any_of | 1 | false | bool | uP | | S/C∥ | | 110 |
| all_of | 1 | true | bool | uP | | S/C∥ | | 110 |
| none_of | 1 | true | bool | uP | | S/C∥ | | 110 |
| contains | 1+Value | false | bool | | equal_to | S/C | any_of | 110 |
| count | 1+Value | 0 | size_t | | equal_to | Fwd.∥ | accumulate | 110 |
| count_if | 1 | 0 | size_t | uP | | Fwd.∥ | accumulate | 110 |
| binary_search | 1+Value | | bool | bP | less | B/S | | 110 |
| is_partitioned | 1 | | bool | uP | | Fwd.∥ | | 120 |
| is_sorted | 1 | | bool | bP | less | Fwd.∥ | | 120 |
| is_heap | 1 | | bool | bP | less | ∥ | | 120 |
| is_permutation | 2 | | bool | bP | equal_to | | | 120 |
| includes | 2 | | bool | bP | less | Fwd.∥ | | 120 |
| equal | 2 | | bool | bP | equal_to | Fwd.∥ | ? | 120 |
| lexicographical_compare | 2 | | bool | bP | less | Fwd.∥ | ? | 120 |
| lexicographical_compare_three_way | 2 | | ordering | CompareΔ | compare_three_way | Fwd. | ? | 120 |
| mismatch | 2 | | Position | bP | equal_to | Fwd.∥ | ? | 130 |
| partition_point | 1 | | Position | uP | | B/S | | 130 |
| is_sorted_until | 1 | | Position | bP | less | Fwd.∥ | | 130 |
| is_heap_until | 1 | | Position | bP | less | ∥ | | 130 |
| for_each | 1 | | op | muT | | Fwd.∥ | | 140 |
| for_each_n | 1 | | op | muT | | Fwd.∥ | | 140 |
| for_each | 1,2 | | op | muT/mbT | | Fwd. | | 140 |
| for_each_n | 1,2 | | op | muT/mbT | | Fwd. | | 140 |
| swap_ranges | 2 | | Position | | swap | Fwd.∥ | for_each | 140 |
| remove | 1+Value | | Position | | equal_to | Fwd.∥ | | 150 |
| remove_if | 1 | | Position | uP | | Fwd.∥ | | 150 |
| unique | 1 | | Position | bP | equal_to | Fwd.∥ | | 150 |
| replace | 1+Value | | void | | equal_to | Fwd.∥ | transform | 160 |
| replace_if | 1 | | void | uP | | Fwd.∥ | transform | 160 |
| reverse | 1 | | void | | | Yes∥ | swap_ranges | 170 |
| rotate | 1d | | Position | | | Yes∥ | | 170 |
| shift_left | 1d | | Position | | | Fwd.∥ | move | 170 |
| shift_right | 1d | | Position | | | Yes∥ | move_backward | 170 |
| shuffle | 1 | Arg | void | | | | | 170 |
| next_permutation | 1 | | bool | | | | | 170 |
| prev_permutation | 1 | | bool | | | | | 170 |
| partition | 1 | | Position | uP | | ∥ | | 170 |
| stable_partition | 1 | | Position | uP | | ∥ | | 170 |
| sort | 1 | | void | bP | less | ∥ | | 170 |
| partial_sort | 1 | | void | bP | less | ∥ | | 170 |
| stable_sort | 1 | | void | bP | less | ∥ | | 170 |
| nth_element | 1 | | void | bP | less | ∥ | | 170 |
| inplace_merge | 1d | | void | bP | less | ∥ | | 170 |
| make_heap | 1 | | void | bP | less | | | 170 |
| push_heap | 1 | | void | bP | less | | | 170 |
| pop_heap | 1 | | void | bP | less | | | 170 |
| sort_heap | 1 | | void | bP | less | | | 170 |