dedekind::category::SafeAddTransform< T > Struct Template Reference

Addition with overflow check (Classical Logic). More...

Public Types
using	Domain = std::pair<T, T>
using	Codomain = std::optional<T>
using	logic_species = Boole

Public Member Functions
constexpr std::optional< T >	operator() (std::pair< T, T > p) const noexcept

Detailed Description

template<std::integral T>
struct dedekind::category::SafeAddTransform< T >

Addition with overflow check (Classical Logic).

partial__Honest_Generic_Arithmetic_Transforms

---

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

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