dedekind::category::antimonotone_trait< F, Op > Struct Template Reference

User-declared anti-monotonicity witness for an arrow type F with respect to the ambient order relation Op. More...

Inheritance diagram for dedekind::category::antimonotone_trait< F, Op >:

Collaboration diagram for dedekind::category::antimonotone_trait< F, Op >:

Detailed Description

template<typename F, typename Op>
struct dedekind::category::antimonotone_trait< F, Op >

User-declared anti-monotonicity witness for an arrow type F with respect to the ambient order relation Op.

∀ x, y: Op(x, y) ⇒ Op(F(y), F(x)) (order reversed). Mirrors is_monotone_v; same opt-in trait pattern. Composition rule (audit-trail property): IsAntiMonotone ∘ IsAntiMonotone = IsMonotone (two flips cancel).

The trait behind is_antimonotone_v; a struct, as monotone_trait, for the family-wide facts stated downstream.

---

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

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