dedekind::order::MergeSteps< A, B, F > Struct Template Reference

Two sources merged along the chain under a pointwise operation: the steps of both, each read as f of the two values there. More...

Collaboration diagram for dedekind::order::MergeSteps< A, B, F >:

Public Types
using	Domain = typename A::Domain
using	logic_species = typename A::logic_species

Public Member Functions
constexpr logic_species::Ω	first () const
constexpr auto	steps () const

Public Attributes
A	a
B	b
F	f

Detailed Description

template<IsStepSource A, IsStepSource B, typename F>
struct dedekind::order::MergeSteps< A, B, F >

Two sources merged along the chain under a pointwise operation: the steps of both, each read as f of the two values there.

Template Parameters

A,B	the sources.
F	the operation.

---

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

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