Named-pair view via operator->. More...

Public Member Functions
constexpr ArrowView const *	operator-> () const

Public Attributes
T const &	_1
T const &	_2
T const &	fst
T const &	snd

Detailed Description

template<typename T>
struct dedekind::linear_algebra::Vec2V< T >::ArrowView

Named-pair view via operator->.

Returns a proxy whose members _1 / fst alias x and _2 / snd alias y. Mirrors the textbook left/right projection of the homogeneous pair T² and the Pierce-style first/second tuple destructors. Categorical reading: v->_1 reads as the comonadic extract on the canonical first projection (Wadler 1992).

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

src/main/modules/dedekind/linear_algebra/vec2.cppm

Public Member Functions

Public Attributes

Detailed Description