dedekind::linear_algebra::Vec2< T, x, y > Struct Template Reference

Structural 2-tuple with coordinates at the type level. More...

Public Types
using	Domain = T

Public Member Functions
template<T x2, T y2>
constexpr bool	operator== (Vec2< T, x2, y2 >) const

Static Public Attributes
static constexpr T	first = x
static constexpr T	second = y

Detailed Description

template<typename T, T x, T y>
requires std::equality_comparable<T>
struct dedekind::linear_algebra::Vec2< T, x, y >

Structural 2-tuple with coordinates at the type level.

— entries pinned at the type level.

Vec2<T, x, y> carries the module element (x, y) ∈ T² as NTTPs. The type is the element; Vec2<T, 1, 2> and Vec2<T, 3, 4> are distinct types. Used as the target of the NTTP Invertible2x2's left action in :matrix.

---

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

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