dedekind::category::detail::DrillDown Struct Reference

The opt-in operator-> drill-down policy: the projector the projected-object concepts take, by name rather than as a lambda. More...

Public Member Functions
template<typename Whole> requires requires(const Whole& w) { arrow_drill_down(w); }
constexpr auto	operator() (const Whole &whole) const

Detailed Description

The opt-in operator-> drill-down policy: the projector the projected-object concepts take, by name rather than as a lambda.

---

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

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