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

Public Types
using	Σ_cat = dedekind::category::CanonicalSetCCC<T>
using	Τ_cat = dedekind::category::CanonicalSetCCC<Covec2V<T>>
using	Domain = Σ_cat
using	Codomain = Τ_cat
template<typename U>
using	Shape = Covec2V<U>

Public Member Functions
template<typename 𝗳> requires dedekind::category::IsArrow<std::remove_cvref_t<𝗳>>
constexpr Covec2Map< T, std::remove_cvref_t< 𝗳 > >	operator() (𝗳 &&f) const
constexpr Τ_cat	operator() (const Σ_cat &) const noexcept

---

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

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