dedekind::order::detail_runs::FoldPieces< Op, L > Struct Template Reference

The species' fold of the values over the carrier's own pieces: a step before every element sets the first value, one after every element ends the fold. More...

Collaboration diagram for dedekind::order::detail_runs::FoldPieces< Op, L >:

Classes
struct	State
	The value of the piece being read, and the fold of the pieces before it, none before the first piece inside the carrier. More...

Public Member Functions
template<typename V>
constexpr State	operator() (const State &s, const Step< V, L > &st) const
	A step below every element sets the first piece's value; any other ends a piece, folding its value in.
constexpr L::Ω	close (const State &s) const

Public Attributes
Op	op

Detailed Description

template<typename Op, typename L>
requires std::invocable<const Op&, typename L::Ω, typename L::Ω>
struct dedekind::order::detail_runs::FoldPieces< Op, L >

The species' fold of the values over the carrier's own pieces: a step before every element sets the first value, one after every element ends the fold.

Template Parameters

Op

the fold.

---

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

• src/main/modules/dedekind/order/runs.cppm