std::weakly_incrementable3

Requirements on types that can be incremented with ++.

Usage

#include <iterator>

Concept definition

    template<typename _Iter>
    concept weakly_incrementable = movable<_Iter>
      && requires(_Iter __i)
      {
        typename iter_difference_t<_Iter>;
        requires __detail::__is_signed_integer_like<iter_difference_t<_Iter>>;
        { ++__i } -> same_as<_Iter&>;
        __i++;
      }

Detailed Description

Requirements on types that can be incremented with ++.