dedekind::category::detail_runs::Along< Pred, N, K > Struct Template Reference

One count of a sweep along a predicate: a step where its value changes, nothing where the steps outgrow their bound. More...

Collaboration diagram for dedekind::category::detail_runs::Along< Pred, N, K >:

Classes
struct	State

Public Member Functions
constexpr Maybe< State >	operator() (const State &s, N x) const

Public Attributes
Pred	holds

Detailed Description

template<typename Pred, IsCountWord N, std::size_t K>
struct dedekind::category::detail_runs::Along< Pred, N, K >

One count of a sweep along a predicate: a step where its value changes, nothing where the steps outgrow their bound.

---

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

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