di::concepts::WeaklyIncrementable Concept Reference

#include <di/container/concepts/weakly_incrementable.h>

Concept definition

template<typename T>
concept di::concepts::WeaklyIncrementable =  Movable<T> && requires(T iter) {
    typename meta::IteratorSSizeType<T>;
    requires SignedInteger<meta::IteratorSSizeType<T>>;
    { ++iter } -> SameAs<T&>;
    iter++;
}