dedekind::category::TupleMap< T, F > Struct Template Reference

f on the one element of a one-tuple: the one-tuple functor's action on an arrow. More...

Collaboration diagram for dedekind::category::TupleMap< T, F >:

Public Types
using	Domain = std::tuple<T>
using	Codomain

Public Member Functions
constexpr Codomain	operator() (const Domain &t) const

Public Attributes
F	f

Detailed Description

template<typename T, typename F>
requires std::invocable<const F&, const T&>
struct dedekind::category::TupleMap< T, F >

f on the one element of a one-tuple: the one-tuple functor's action on an arrow.

Template Parameters

T	the element.
F	the arrow.

Member Typedef Documentation

Codomain

template<typename T, typename F>

using dedekind::category::TupleMap< T, F >::Codomain

Initial value:

  
      std::tuple<std::remove_cvref_t<std::invoke_result_t<const F&, const T&>>>

---

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

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