dedekind::category::detail_arrows::At< T > Struct Template Reference

The visitor that applies the active arrow to x. More...

Collaboration diagram for dedekind::category::detail_arrows::At< T >:

Public Member Functions
template<IsArrow F>
constexpr T	operator() (const F &f) const

Public Attributes
T	x

Detailed Description

template<typename T>
struct dedekind::category::detail_arrows::At< T >

The visitor that applies the active arrow to x.

---

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

• src/main/modules/dedekind/category/cartesian.cppm