std::weakly_incrementable - Requirements on types that can be incremented with ++.
Contents
Concept Definition
template<typename _Iter>
concept std::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 ++.
Name
std::weakly_incrementable - Requirements on types that can be incremented with ++.
Synopsis
#include <iterator>
