Loading...
Searching...
No Matches
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.