dedekind::category::Below< C > Struct Template Reference

The coalgebra of the bounded chain [lo, hi]: over the state \(1 + C\), since past hi is no element, and the cover of a saturating top is nothing. More...

Collaboration diagram for dedekind::category::Below< C >:

Public Member Functions
constexpr std::optional< std::pair< C, std::optional< C > > >	operator() (const std::optional< C > &s) const
constexpr bool	operator== (const Below &) const =default

Public Attributes
C	hi {}

Detailed Description

template<HasNNOStep C>
requires std::totally_ordered<C>
struct dedekind::category::Below< C >

The coalgebra of the bounded chain [lo, hi]: over the state \(1 + C\), since past hi is no element, and the cover of a saturating top is nothing.

Template Parameters

C	the chain.

Member Function Documentation

operator()()

template<HasNNOStep C>

std::optional< std::pair< C, std::optional< C > > > dedekind::category::Below< C >::operator() ( const std::optional< C > & s ) const

inlineconstexpr

Parameters

s	nothing, or an element.

Returns

the element and its cover, while the element is at most hi.

---

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

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