dedekind::category::detail_kleisli::Extending< Step > Struct Template Reference

A fold step on \(T(A)\): the step at the element, by κ. More...

Collaboration diagram for dedekind::category::detail_kleisli::Extending< Step >:

Public Member Functions
template<typename TA, typename X>
constexpr TA	operator() (const TA &ta, const X &x) const

Public Attributes
Step	step

Detailed Description

template<typename Step>
struct dedekind::category::detail_kleisli::Extending< Step >

A fold step on \(T(A)\): the step at the element, by κ.

---

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

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