sequoia::utilities::steppable Concept Reference

Concept definition

template<class I>
concept sequoia::utilities::steppable =  requires(I i, const I j, const std::iter_difference_t<I> n) {
    { i += n } -> std::same_as<I&>;
    { j + n }  -> std::convertible_to<I>;
    { n + j }  -> std::convertible_to<I>;
    { i -= n } -> std::same_as<I&>;
    { j - n }  -> std::convertible_to<I>;
  }