Range-v3
Range algorithms, views, and actions for the Standard Library
Numerics

Description

Numeric utilities.

Classes

struct  ranges::accumulate_fn
 
struct  ranges::adjacent_difference_fn
 
struct  ranges::inner_product_fn
 
struct  ranges::iota_fn
 
struct  ranges::partial_sum_fn
 

Typedefs

template<typename I , typename O >
using ranges::adjacent_difference_result = detail::in_out_result< I, O >
 
template<typename I , typename O >
using ranges::partial_sum_result = detail::in_out_result< I, O >
 

Variables

constexpr accumulate_fn ranges::accumulate {}
 
constexpr adjacent_difference_fn ranges::adjacent_difference {}
 
template<typename I , typename O , typename BOp = minus, typename P = identity>
concept ranges::differenceable
 
template<typename I , typename O , typename BOp , typename P >
concept ranges::differenceable_ = 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>>>>
 
template<typename I , typename BOp >
concept ranges::indirect_semigroup
 
template<typename I , typename BOp >
concept ranges::indirect_semigroup_ = copyable<iter_value_t<I>> && indirectly_regular_binary_invocable_< composed<coerce<iter_value_t<I>>, BOp>, iter_value_t<I>*, I>
 
constexpr inner_product_fn ranges::inner_product {}
 
template<typename I1 , typename I2 , typename T , typename BOp1 = plus, typename BOp2 = multiplies, typename P1 = identity, typename P2 = identity>
concept ranges::inner_product_constraints
 
template<typename I1 , typename I2 , typename T , typename BOp1 , typename BOp2 , typename P1 , typename P2 >
concept ranges::inner_product_constraints_ = invocable<P1&, iter_value_t<I1>> && invocable<P2&, iter_value_t<I2>> && invocable< BOp2&, invoke_result_t<P1&, iter_value_t<I1>>, invoke_result_t<P2&, iter_value_t<I2>>> && invocable< BOp1&, T, invoke_result_t< BOp2&, invoke_result_t<P1&, iter_value_t<I1>>, invoke_result_t<P2&, iter_value_t<I2>>>> && assignable_from< T&, invoke_result_t< BOp1&, T, invoke_result_t< BOp2&, invoke_result_t<P1&, iter_value_t<I1>>, invoke_result_t<P2&, iter_value_t<I2>>>>>
 
constexpr iota_fn ranges::iota {}
 
constexpr partial_sum_fn ranges::partial_sum {}
 
template<typename I , typename O , typename BOp = plus, typename P = identity>
concept ranges::partial_sum_constraints
 
template<typename I , typename O , typename BOp = plus, typename P = identity>
concept ranges::partial_sum_constraints_ = indirect_semigroup< projected<projected<I, detail::as_value_type_t<I>>, P>, BOp> && output_iterator< O, iter_value_t< projected<projected<I, detail::as_value_type_t<I>>, P>> const &>
 
template<typename Gen >
concept ranges::uniform_random_bit_generator
 
template<typename Gen >
concept ranges::uniform_random_bit_generator_ = unsigned_integral<invoke_result_t<Gen &>> && same_as<invoke_result_t<Gen &>, decltype(Gen::min())> && same_as<invoke_result_t<Gen &>, decltype(Gen::max())>
 

Variable Documentation

◆ differenceable

template<typename I , typename O , typename BOp = minus, typename P = identity>
concept ranges::differenceable

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

Initial value:
=
input_iterator<I> &&
ranges::differenceable_ < I, O, BOp, P >

◆ indirect_semigroup

template<typename I , typename BOp >
concept ranges::indirect_semigroup

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

Initial value:
=
readable<I> &&
ranges::indirect_semigroup_ < I, BOp >

◆ inner_product_constraints

template<typename I1 , typename I2 , typename T , typename BOp1 = plus, typename BOp2 = multiplies, typename P1 = identity, typename P2 = identity>
concept ranges::inner_product_constraints

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

Initial value:
=
input_iterator<I1> &&
input_iterator<I2> &&
ranges::inner_product_constraints_ < I1, I2, T, BOp1, BOp2, P1, P2 >

◆ partial_sum_constraints

template<typename I , typename O , typename BOp = plus, typename P = identity>
concept ranges::partial_sum_constraints

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

Initial value:
=
input_iterator<I> &&
ranges::partial_sum_constraints_ < I, O, BOp, P >

◆ uniform_random_bit_generator

template<typename Gen >
concept ranges::uniform_random_bit_generator

#include <range/v3/utility/random.hpp>

Initial value:
=
invocable<Gen &> &&
requires( int )
(
Gen ::min(),
Gen ::max()
) &&
ranges::uniform_random_bit_generator_ < Gen >
meta::requires
requires(sizeof...(Ts) > 0) using lambda
For creating anonymous Invocables.