dedekind::algebra::_has_carrier_witness::algebra_view< T > Struct Template Reference

Thin algebra-view wrapper used as the pilot for the HasCarrier concept (#573) on a primitive carrier. More...

Public Member Functions
constexpr bool	operator() (const T &part) const noexcept
constexpr const T *	operator-> () const noexcept

Public Attributes
T	value

Friends
constexpr bool	operator== (const algebra_view &, const algebra_view &)=default

Detailed Description

template<typename T>
struct dedekind::algebra::_has_carrier_witness::algebra_view< T >

Thin algebra-view wrapper used as the pilot for the HasCarrier concept (#573) on a primitive carrier.

Wraps a single T value and exposes both mereology arms the HasCarrier concept asks for: a predicate-style part-whole relation (whole(part) returns true iff the part equals the wrapped value) and an operator->()-based projector that lets arrow_drill_down recover the wrapped carrier value.

Used here to certify that HasCarrier fires end-to-end on F_2 = (𝔹, ⊕, ∧) — the canonical Galois field over bool. Production named-carrier types (Rational, Complex, vector / matrix carriers) will get their own per-carrier registrations under follow-up issues.

---

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

• src/main/modules/dedekind/algebra/universal.cppm