dedekind::order::detail_runs::MapValue< F, L2 > Struct Template Reference

A step with its value mapped into the species L2. More...

Collaboration diagram for dedekind::order::detail_runs::MapValue< F, L2 >:

Public Member Functions
template<typename V, typename L> requires std::invocable<const F&, typename L::Ω>
constexpr Step< V, L2 >	operator() (const Step< V, L > &s) const

Public Attributes
F	f

Detailed Description

template<typename F, typename L2>
struct dedekind::order::detail_runs::MapValue< F, L2 >

A step with its value mapped into the species L2.

---

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

• src/main/modules/dedekind/order/runs.cppm