dedekind::linear_algebra::identity_rule< T > Struct Template Reference

Identity rule: i ↦ T{1}. IsArrow witness for the constant unit. More...

Public Types
using	Domain = std::size_t
using	Codomain = T

Public Member Functions
constexpr T	operator() (std::size_t) const

Detailed Description

template<typename T>
struct dedekind::linear_algebra::identity_rule< T >

Identity rule: i ↦ T{1}. IsArrow witness for the constant unit.

---

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

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