dedekind::category::IsCopies Concept Reference

A range of n copies of one value, Bird's replicate n x, whose fold under a monoid is the power \(x^n\); n and the value known without walking it: copies_count(r) and copies_value(r), which each model supplies, declared above so that ordinary lookup finds them for models outside this namespace, the standard's among them. More...

Concept definition

template<typename R>
concept dedekind::category::IsCopies =  std::ranges::input_range<R> && requires(const R& r) {
  { copies_count(r) } -> IsCountWord;
  { copies_value(r) } -> std::convertible_to<std::ranges::range_value_t<R>>;
}

Detailed Description

A range of n copies of one value, Bird's replicate n x, whose fold under a monoid is the power \(x^n\); n and the value known without walking it: copies_count(r) and copies_value(r), which each model supplies, declared above so that ordinary lookup finds them for models outside this namespace, the standard's among them.

Template Parameters

R	the range.