dedekind::category::MorphicBridge< T > Struct Template Reference

Detailed Description

template<typename T>
struct dedekind::category::MorphicBridge< T >

morphism__Lambda_Introspection

MorphicBridge synthesises Domain / Codomain for callable types that don't expose those nested aliases directly (lambdas, function pointers, std::function instances). This is picking- policy slot 3 of 3 — see the policy comment near Dom / Cod above. Use MorphicBridge<signature_extractor<F>::type>::Domain for typed-lambda contexts; for IsArrow-strict contexts use Dom<F>; for primitive-aware sites use element_of_t from :sets:boundaries.

---

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

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