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

A type-erased Morphism A -> B between Species. More...

Public Types
using	Domain = A
using	Codomain = B

Public Member Functions
constexpr B	operator() (const A &x) const
	The Morphic Application (The Arrow's Action).

Public Attributes
std::function< B(const A &)>	apply

Detailed Description

template<IsSpecies A, IsSpecies B>
struct dedekind::category::Rule< A, B >

A type-erased Morphism A -> B between Species.

This wrapper reifies a functional rule into a formal Categorical Arrow, preventing C-style pointer decay.

Template Parameters

A	The Domain Species (The Source).
B	The Codomain Species (The Target).

---

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

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