maomao90::Lazy Concept Reference

#include <standard_monoids.hpp>

Concept definition

template<typename L, typename T>
concept maomao90::Lazy =  requires(const L &lz, const T &x, const int len) {
  { lz.apply(x, len) } -> same_as<T>;
  requires Monoid<L>;
}