etl::weakly_incrementable Concept Reference

#include <weakly_incrementable.hpp>

Concept definition

template<typename Iter>
concept etl::weakly_incrementable =  etl::movable<Iter> and requires(Iter i) {
    typename etl::iter_difference_t<Iter>;
    requires etl::signed_integral<etl::iter_difference_t<Iter>>;
    { ++i } -> etl::same_as<Iter&>;
    i++;
}