dedekind::category::OrderBy< Rank, Order > Struct Template Reference

order_by(rank), SQL's ORDER BY: the stage that sorts a query by rank under Order, a strict weak order on the ranks. Ties are SQL's: which of the tied elements a take keeps, and in which order, is the plan's (a law's rewrite reads them in the walk's order or its reversal, the fused pass in the walk's); a rank without ties orders alike under every plan. More...

Collaboration diagram for dedekind::category::OrderBy< Rank, Order >:

Public Attributes
Rank	rank
Order	order

Detailed Description

template<IsArrow Rank, typename Order>
requires std::strict_weak_order<const Order&, Cod<Rank>, Cod<Rank>>
struct dedekind::category::OrderBy< Rank, Order >

order_by(rank), SQL's ORDER BY: the stage that sorts a query by rank under Order, a strict weak order on the ranks. Ties are SQL's: which of the tied elements a take keeps, and in which order, is the plan's (a law's rewrite reads them in the walk's order or its reversal, the fused pass in the walk's); a rank without ties orders alike under every plan.

Template Parameters

Rank	the rank.
Order	the comparison.

---

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

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