dedekind::category::detail_chain::SliceStep< C, F > Struct Template Reference

The step of a chain restricted by value to [lo, hi): f of the element and its cover, while the element is below hi. More...

Collaboration diagram for dedekind::category::detail_chain::SliceStep< C, F >:

Public Member Functions
constexpr std::optional< std::pair< Cod< F >, std::optional< C > > >	operator() (const std::optional< C > &s) const

Public Attributes
C	hi {}
F	f {}

Detailed Description

template<HasNNOStep C, IsArrow F>
requires std::totally_ordered<C> && std::same_as<Dom<F>, C>
struct dedekind::category::detail_chain::SliceStep< C, F >

The step of a chain restricted by value to [lo, hi): f of the element and its cover, while the element is below hi.

---

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

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