#include <IRAdaptor.hpp>

Concept definition

template<typename T, typename Value>
concept tpde::IRIter =  requires(T i, T i2) {
  { *i } -> std::convertible_to<Value>;
  { ++i } -> std::convertible_to<T>;
  { i != i2 } -> std::convertible_to<bool>;
}

Detailed Description

Concept describing an iterator over some range

It is purposefully kept simple (and probably wrong)

Definition at line 33 of file IRAdaptor.hpp.