dedekind::category::detail_comprehension::Progression< N > Struct Template Reference

The progression \(j \mapsto m j + r\), a residue class's members in order: a congruence filter on a chain read as a chain of its own. More...

Collaboration diagram for dedekind::category::detail_comprehension::Progression< N >:

Public Types
using	Domain = N
using	Codomain = N

Public Member Functions
constexpr N	operator() (N j) const

Public Attributes
N	step
N	first

Detailed Description

template<IsCountWord N>
struct dedekind::category::detail_comprehension::Progression< N >

The progression \(j \mapsto m j + r\), a residue class's members in order: a congruence filter on a chain read as a chain of its own.

---

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

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