dedekind::category::detail_comprehension::ReversedByTheWalk Concept Reference

The walk's order is Order's reversed: order_by is the query re-rooted on the ascending slice, read upwards. More...

Concept definition

template<typename Rank, typename Order>
concept dedekind::category::detail_comprehension::ReversedByTheWalk = 
    ((IsAntiMonotone<Rank> && std::same_as<Order, descending>) ||
     (IsMonotone<Rank> && std::same_as<Order, ascending>)) &&
    !KeptByTheWalk<Rank, Order>

Detailed Description

The walk's order is Order's reversed: order_by is the query re-rooted on the ascending slice, read upwards.