dedekind::category::SpeciesTraits< T, Args > Struct Template Reference

Detailed Description

template<typename T, typename... Args>
struct dedekind::category::SpeciesTraits< T, Args >

Template Parameters

T	The type (Species) or the Function Object (Arrow).
Args	Optional Domain for inference.

---

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

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