dedekind::category::detail_comprehension::StepFrom< Op, R > Struct Template Reference

A fold step with its accumulator bound, \(a \mapsto \mathit{op}(\mathit{acc}, a)\): the present case of the eliminator. More...

Collaboration diagram for dedekind::category::detail_comprehension::StepFrom< Op, R >:

Public Member Functions
template<typename A> requires std::convertible_to< std::invoke_result_t<const Op&, const R&, const A&>, R>
constexpr R	operator() (const A &a) const

Public Attributes
Op	op
R	acc

Detailed Description

template<std::semiregular Op, std::semiregular R>
struct dedekind::category::detail_comprehension::StepFrom< Op, R >

A fold step with its accumulator bound, \(a \mapsto \mathit{op}(\mathit{acc}, a)\): the present case of the eliminator.

---

The documentation for this struct was generated from the following file:

• src/main/modules/dedekind/category/comprehension.cppm