dedekind::category::infer_morphism< F, Args > Struct Template Reference

Universal inference for any Morphism signature f: Args... -> Codomain. More...

Public Types
using	Domain = std::tuple_element_t<0, std::tuple<Args...>>
using	Codomain = std::invoke_result_t<F, Args...>

Detailed Description

template<typename F, typename... Args>
struct dedekind::category::infer_morphism< F, Args >

Universal inference for any Morphism signature f: Args... -> Codomain.

---

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

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