Range-v3
Range algorithms, views, and actions for the Standard Library
ranges::differenceable_ Concept Reference
Numerics

The differenceable_ concept. More...

#include <range/v3/numeric/adjacent_difference.hpp>

Concept definition

template<typename I, typename O, typename BOp, typename P>
concept ranges::differenceable_ = ) , concept_ ) = invocable<P&, iter_value_t<I>> &&
copy_constructible<uncvref_t<invoke_result_t<P&, iter_value_t<I>>>> &&
movable<uncvref_t<invoke_result_t<P&, iter_value_t<I>>>> &&
output_iterator<O, invoke_result_t<P&, iter_value_t<I>>> &&
invocable<
BOp&,
invoke_result_t<
P&,
iter_value_t<I>>,
invoke_result_t<P&, iter_value_t<I>>> &&
output_iterator<
O,
invoke_result_t<
BOp&,
invoke_result_t<P&, iter_value_t<I>>,
invoke_result_t<P&, iter_value_t<I>>>>
ranges::differenceable_
The differenceable_ concept.
Definition: adjacent_difference.hpp:44
ranges::invocable
The invocable concept.
Definition: concepts.hpp:48
ranges::output_iterator
The output_iterator concept.
Definition: concepts.hpp:337

Detailed Description

The differenceable_ concept.