dedekind::category::Lifted< Op > Struct Template Reference

A fold step lifted through Maybe: Maybe's eliminator with the cases \([\mathit{acc}, \mathit{op}(\mathit{acc}, \cdot)]\), a hole leaving the accumulator as it is. Written once, so the folds that end a query take their plain steps and none cases on a hole. More...

Collaboration diagram for dedekind::category::Lifted< Op >:

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

Public Attributes
Op	op

Detailed Description

template<std::semiregular Op>
struct dedekind::category::Lifted< Op >

A fold step lifted through Maybe: Maybe's eliminator with the cases \([\mathit{acc}, \mathit{op}(\mathit{acc}, \cdot)]\), a hole leaving the accumulator as it is. Written once, so the folds that end a query take their plain steps and none cases on a hole.

Template Parameters

Op

the step.

---

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

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