dedekind::category::ConstantMorphism< A, B > Struct Template Reference

The Constant Morphism f: A -> B. More...

Public Types
using	Domain = A
using	Codomain = B

Public Member Functions
constexpr B	operator() (const A &) const noexcept

Public Attributes
B	value

Detailed Description

template<typename A, typename B>
struct dedekind::category::ConstantMorphism< A, B >

The Constant Morphism f: A -> B.

Maps every element of A to a fixed element c in B.

---

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

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