di::concepts::Iterator Concept Reference

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

Concept definition

template<typename Iter>
concept di::concepts::Iterator =  Movable<Iter> && requires(meta::RemoveCVRef<Iter> it) {
    typename meta::IteratorCategory<Iter>;
    typename meta::IteratorValue<Iter>;
    typename meta::IteratorReference<Iter>;
    typename meta::IteratorSSizeType<Iter>;
    typename meta::IteratorSizeType<Iter>;
    { ++it } -> SameAs<meta::RemoveCVRef<Iter>&>;
    it++;
    { *util::as_const(it) } -> SameAs<meta::IteratorReference<Iter>>;
}