di::container::detail::IotaAdvancable Concept Reference

#include <di/container/view/iota_view.h>

Concept definition

template<typename T>
concept di::container::detail::IotaAdvancable =  IotaDecrementable<T> && concepts::TotallyOrdered<T> &&
                             requires(T i, T const ci, meta::IteratorSSizeType<T> const n) {
                                 { i += n } -> concepts::SameAs<T&>;
                                 { i -= n } -> concepts::SameAs<T&>;
                                 T(ci + n);
                                 T(n + ci);
                                 T(ci - n);
                                 T(n - ci);
                                 { ci - ci } -> concepts::ConvertibleTo<meta::IteratorSSizeType<T>>;
                             }