dedekind::category::Uncurried< T, Op > Struct Template Reference

\(T \times T \to U\): the curried operation, taken back. More...

Collaboration diagram for dedekind::category::Uncurried< T, Op >:

Public Types
using	Domain = std::pair<T, T>
using	Codomain = typename Section<T, Op>::Codomain

Public Member Functions
constexpr Codomain	operator() (const Domain &p) const
constexpr bool	operator== (const Uncurried &) const =default

Public Attributes
Op	op

Detailed Description

template<typename T, typename Op>
requires std::regular_invocable<const Op&, const T&, const T&>
struct dedekind::category::Uncurried< T, Op >

\(T \times T \to U\): the curried operation, taken back.

Member Function Documentation

operator()()

template<typename T, typename Op>

Codomain dedekind::category::Uncurried< T, Op >::operator() ( const Domain & p ) const

inlineconstexpr

Parameters

p	both arguments.

Returns

op(p.first, p.second).

---

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

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