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

The NNO's structure map \([Z, S] : 1 + N \to N\) as an arrow: zero, or the successor of the element given. std::optional<N> is \(1 + N\), the NNO's own functor \(F(X) = 1 + X\). More...

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

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

Detailed Description

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

The NNO's structure map \([Z, S] : 1 + N \to N\) as an arrow: zero, or the successor of the element given. std::optional<N> is \(1 + N\), the NNO's own functor \(F(X) = 1 + X\).

Template Parameters

N	the carrier.

Member Function Documentation

operator()()

template<HasNNOStep N>

N dedekind::category::In< N >::operator() ( const std::optional< N > & x ) const

inlineconstexpr

Parameters

x	nothing, or an element.

Returns

Z() or S(x).

---

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

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