Changes in libcfa/src/math.trait.hfa [8a97248:7d7ef6f]

File:

• libcfa/src/math.trait.hfa (modified) (6 diffs)

libcfa/src/math.trait.hfa

@@ -10 +10 @@
 // Created On       : Fri Jul 16 15:40:52 2021
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Feb  2 11:36:56 2023
-// Update Count     : 20
+// Last Modified On : Tue Jul 20 17:47:19 2021
+// Update Count     : 19
 // 
 
 #pragma once
 
-forall( U )
-trait Not {
+trait Not( U ) {
         void ?{}( U &, zero_t );
         int !?( U );
 }; // Not
 
-forall( T | Not( T ) )
-trait Equality {
+trait Equality( T | Not( T ) ) {
         int ?==?( T, T );
         int ?!=?( T, T );
 }; // Equality
 
-forall( U | Equality( U ) )
-trait Relational {
+trait Relational( U | Equality( U ) ) {
         int ?<?( U, U );
         int ?<=?( U, U );
@@ -36 +33 @@
 }; // Relational
 
-forall ( T )
-trait Signed {
+trait Signed( T ) {
         T +?( T );
         T -?( T );
@@ -43 +39 @@
 }; // Signed
 
-forall( U | Signed( U ) )
-trait Additive {
+trait Additive( U | Signed( U ) ) {
         U ?+?( U, U );
         U ?-?( U, U );
@@ -51 +46 @@
 }; // Additive
 
-forall( T | Additive( T ) )
-trait Incdec {
+trait Incdec( T | Additive( T ) ) {
         void ?{}( T &, one_t );
         // T ?++( T & );
@@ -60 +54 @@
 }; // Incdec
 
-forall( U | Incdec( U ) )
-trait Multiplicative {
+trait Multiplicative( U | Incdec( U ) ) {
         U ?*?( U, U );
         U ?/?( U, U );
@@ -68 +61 @@
 }; // Multiplicative
 
-forall( T | Relational( T ) | Multiplicative( T ) )
-trait Arithmetic {
+trait Arithmetic( T | Relational( T ) | Multiplicative( T ) ) {
 }; // Arithmetic