dedekind::category::Morphisms< T, Op > Struct Template Reference

Public Types
using	Domain = T
using	Codomain = T
using	Pointer = Morphism<T, T, T (*)(T)>
	A morphism over a function pointer: one storage class.

Public Member Functions
constexpr	Morphisms (Sections< T, Op > s)
constexpr	Morphisms (Identity< T > i)
constexpr	Morphisms (Section< T, Op > s)
constexpr	Morphisms (Pointer p)
template<IsArrow F> requires std::same_as<Dom<F>, T> && std::same_as<Cod<F>, T> && std::is_empty_v<F> && (!std::same_as<F, Identity<T>>)
constexpr	Morphisms (F)
	Any stateless arrow on T, by its type: called through call<F{}, T>.
constexpr T	operator() (const T &x) const
constexpr bool	operator== (const Morphisms &) const =default

Static Public Member Functions
static constexpr Morphisms	inl (const Sections< T, Op > &s)
	The injections ι₁, ι₂, named.
static constexpr Morphisms	inr (const Pointer &p)

Public Attributes
std::variant< Sections< T, Op >, Pointer >	v

---

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

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