dedekind::category::signature_extractor< F > Struct Template Reference

Public Types
using	type = decltype(resolve<F>(0))

Static Public Member Functions
template<IsArrow U>
static auto	resolve (int) -> U
template<typename U>
static auto	resolve (int) -> decltype(&std::remove_cvref_t< U >::operator())
template<typename U>
static auto	resolve (...) -> std::remove_cvref_t< U >

Detailed Description

template<typename F>
struct dedekind::category::signature_extractor< F >

morphism__Morphic_Resolution

---

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

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