dedekind::category::detail_comprehension::ascends_by_position< F > Struct Template Reference

The trait behind AscendsByPosition: an arrow over the positions whose present elements rise with the position, so that a query read through it is sorted by construction. A struct, so that a family registers by one partial specialisation. More...

Inheritance diagram for dedekind::category::detail_comprehension::ascends_by_position< F >:

Collaboration diagram for dedekind::category::detail_comprehension::ascends_by_position< F >:

Detailed Description

template<typename F>
struct dedekind::category::detail_comprehension::ascends_by_position< F >

The trait behind AscendsByPosition: an arrow over the positions whose present elements rise with the position, so that a query read through it is sorted by construction. A struct, so that a family registers by one partial specialisation.

Template Parameters

F	the arrow.

---

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

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