dedekind::category::unit_period< F > Struct Template Reference

The trait behind HasUnitPeriod: a sequence whose period is 1 by its type, not only by its value, so that the sum along it needs no fold. A struct, as is_adjoint, so that a downstream partition registers a family by one partial specialisation. More...

Inheritance diagram for dedekind::category::unit_period< F >:

Collaboration diagram for dedekind::category::unit_period< F >:

Detailed Description

template<typename F>
struct dedekind::category::unit_period< F >

The trait behind HasUnitPeriod: a sequence whose period is 1 by its type, not only by its value, so that the sum along it needs no fold. A struct, as is_adjoint, so that a downstream partition registers a family by one partial specialisation.

Template Parameters

F	the sequence.

---

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

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