dedekind::category::Projection< K > Struct Template Reference

The projection π_k: the k-th component of a product. More...

Public Member Functions
template<typename P> requires requires(const P& p) { component(p, At<K>{}); }
constexpr auto	operator() (const P &p) const
	The component, as a value: one overload for lvalues and temporaries alike, and no reference into a product that may die.

Detailed Description

template<std::size_t K>
struct dedekind::category::Projection< K >

The projection π_k: the k-th component of a product.

Template Parameters

K	the slot, from 1.

---

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

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