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

Public Types
using	Domain = T
using	Codomain = T
using	Composite = Compose<Morphisms<T, Op>, Morphisms<T, Op>>

Public Member Functions
constexpr	Arrows (Morphisms< T, Op > m)
constexpr	Arrows (Composite c)
template<typename F> requires std::constructible_from<Morphisms<T, Op>, F> && (!std::same_as<std::remove_cvref_t<F>, Morphisms<T, Op>>) && (!std::same_as<std::remove_cvref_t<F>, Composite>) && (!std::same_as<std::remove_cvref_t<F>, Arrows>)
constexpr	Arrows (F f)
	Anything a Morphisms is made from.
constexpr T	operator() (const T &x) const
constexpr bool	operator== (const Arrows &) const =default

Static Public Member Functions
static constexpr Arrows	inl (const Morphisms< T, Op > &m)
	The injections ι₁, ι₂, named.
static constexpr Arrows	inr (const Composite &k)

Public Attributes
std::variant< Morphisms< T, Op >, Composite >	v

---

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

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