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

\(T \to T^T\): the operation, one argument at a time. More...

Public Types
using	Domain = T
using	Codomain = Section<T, Op>

Public Member Functions
constexpr Codomain	operator() (const T &a) const
constexpr bool	operator== (const Curried &) 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::Curried< T, Op >

\(T \to T^T\): the operation, one argument at a time.

Member Function Documentation

operator()()

template<typename T, typename Op>

Codomain dedekind::category::Curried< T, Op >::operator() ( const T & a ) const

inlineconstexpr

Parameters

a	the first argument.

Returns

the section at a.

---

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

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