lucid::Iterable Concept Reference

Check if the type T is an iterable type. More...

#include <concept.h>

Concept definition

template<class T>
concept lucid::Iterable =  requires(T t) {
  { t.begin() } -> std::convertible_to<typename T::iterator>;
  { t.end() } -> std::convertible_to<typename T::iterator>;
}

Detailed Description

Check if the type T is an iterable type.

template <Iterable T>
void foo(T t); // T can be any iterable type

Template Parameters

T	type to check