dedekind::category::Prior< N > Struct Template Reference

The destructor \(\langle \text{is}\;Z?,\, P\rangle : N \to 1 + N\): nothing at zero, else the predecessor. More...

Public Types
using	Domain = N
using	Codomain = std::optional<N>

Public Member Functions
constexpr std::optional< N >	operator() (const N &n) const

Detailed Description

template<HasNNOStep N>
requires std::equality_comparable<N> && std::default_initializable<N>
struct dedekind::category::Prior< N >

The destructor \(\langle \text{is}\;Z?,\, P\rangle : N \to 1 + N\): nothing at zero, else the predecessor.

Template Parameters

N	the carrier.

Member Function Documentation

operator()()

template<HasNNOStep N>

std::optional< N > dedekind::category::Prior< N >::operator() ( const N & n ) const

inlineconstexpr

Parameters

n	an element.

Returns

nothing at Z, else P(n).

---

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

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