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

The successor \(S : N \to N\) as an arrow, over any carrier with the NNO step: the one spelling of the Peano successor where an IsArrow is needed (image, graph, the NNO witness), in place of a struct per site. More...

Public Types
using	Domain = N
using	Codomain = N

Public Member Functions
constexpr N	operator() (const N &n) const noexcept(noexcept(successor(n)))

Detailed Description

template<HasNNOStep N>
struct dedekind::category::Successor< N >

The successor \(S : N \to N\) as an arrow, over any carrier with the NNO step: the one spelling of the Peano successor where an IsArrow is needed (image, graph, the NNO witness), in place of a struct per site.

Template Parameters

N	the carrier, with successor / predecessor.

Member Function Documentation

operator()()

template<HasNNOStep N>

N dedekind::category::Successor< N >::operator() ( const N & n ) const

inlineconstexprnoexcept

Parameters

n	an element of the carrier.

Returns

its successor, by the carrier's own successor; nothrow when that is.

---

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

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