dedekind::order::IsSuccessor Concept Reference

The algebraic S: T -> T mapping via the Unit element. More...

Concept definition

template<typename T>
concept dedekind::order::IsSuccessor =  IsPartialMagma<T, std::plus<T>> &&
                      IsPointed<T, std::multiplies<T>> && requires(const T x) {
                        
                        {
                          x + unit<T>(std::multiplies<T>{})
                        } -> std::same_as<T>;
                      }

Detailed Description

The algebraic S: T -> T mapping via the Unit element.