dedekind::category::detail_kleisli::StepAt< Step, A, X, TA > Struct Template Reference

The step at one element, a Kleisli arrow \(A \to T(A)\). More...

Collaboration diagram for dedekind::category::detail_kleisli::StepAt< Step, A, X, TA >:

Public Types
using	Domain = A
using	Codomain = TA

Public Member Functions
constexpr TA	operator() (const A &a) const

Public Attributes
Step	step
X	x

Detailed Description

template<typename Step, typename A, typename X, typename TA>
struct dedekind::category::detail_kleisli::StepAt< Step, A, X, TA >

The step at one element, a Kleisli arrow \(A \to T(A)\).

---

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

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