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

The zero element \(Z : 1 \to N\), the nullary IsNNO witness: the carrier's default value, which is the NNO's zero for the integrals and for Cardinality. Nullary, so not an IsArrow (that concept asks for a Domain); a composable \(1 \to N\) arrow is not needed here. More...

Public Types
using	Codomain = N

Public Member Functions
constexpr N	operator() () const noexcept(std::is_nothrow_default_constructible_v< N >)

Detailed Description

template<std::default_initializable N>
struct dedekind::category::ZeroElement< N >

The zero element \(Z : 1 \to N\), the nullary IsNNO witness: the carrier's default value, which is the NNO's zero for the integrals and for Cardinality. Nullary, so not an IsArrow (that concept asks for a Domain); a composable \(1 \to N\) arrow is not needed here.

Template Parameters

N	the carrier.

Member Function Documentation

operator()()

template<std::default_initializable N>

N dedekind::category::ZeroElement< N >::operator() ( ) const

inlineconstexprnoexcept

Returns

the carrier's zero.

---

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

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