dedekind::category::detail_morphism::image_of< F, T > Struct Template Reference

The carrier a map on T lands in: an arrow's declared codomain, a bare callable's result. More...

Public Types
using	type = std::remove_cvref_t<std::invoke_result_t<const F&, const T&>>

Detailed Description

template<typename F, typename T>
struct dedekind::category::detail_morphism::image_of< F, T >

The carrier a map on T lands in: an arrow's declared codomain, a bare callable's result.

Template Parameters

F	the map.
T	its carrier.

---

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

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