Changeset 62d62db for libcfa/src/math.trait.hfa

Timestamp:

Jun 12, 2023, 6:06:26 PM (13 months ago)

Author:

caparsons <caparson@…>

Branches:

ast-experimental, master

Children:

e172f42

Parents:

24d6572 (diff), 38e266c (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' into ast-experimental

File:

• libcfa/src/math.trait.hfa (modified) (4 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 Jun  6 07:59:17 2023
+// Update Count     : 24
 // 
 
@@ -17 +17 @@
 
 forall( U )
-trait Not {
+trait not {
         void ?{}( U &, zero_t );
         int !?( U );
-}; // Not
+}; // not
 
-forall( T | Not( T ) )
-trait Equality {
+forall( T | not( T ) )
+trait equality {
         int ?==?( T, T );
         int ?!=?( T, T );
-}; // Equality
+}; // equality
 
-forall( U | Equality( U ) )
-trait Relational {
+forall( U | equality( U ) )
+trait relational {
         int ?<?( U, U );
         int ?<=?( U, U );
         int ?>?( U, U );
         int ?>=?( U, U );
-}; // Relational
+}; // relational
 
 forall ( T )
-trait Signed {
+trait Signed {  // must be capitalized, conflict with keyword signed
         T +?( T );
         T -?( T );
@@ -44 +44 @@
 
 forall( U | Signed( U ) )
-trait Additive {
+trait additive {
         U ?+?( U, U );
         U ?-?( U, U );
         U ?+=?( U &, U );
         U ?-=?( U &, U );
-}; // Additive
+}; // additive
 
-forall( T | Additive( T ) )
-trait Incdec {
+forall( T | additive( T ) )
+trait inc_dec {
         void ?{}( T &, one_t );
         // T ?++( T & );
@@ -58 +58 @@
         // T ?--( T & );
         // T --?( T & );
-}; // Incdec
+}; // inc_dec
 
-forall( U | Incdec( U ) )
-trait Multiplicative {
+forall( U | inc_dec( U ) )
+trait multiplicative {
         U ?*?( U, U );
         U ?/?( U, U );
         U ?%?( U, U );
         U ?/=?( U &, U );
-}; // Multiplicative
+}; // multiplicative
 
-forall( T | Relational( T ) | Multiplicative( T ) )
-trait Arithmetic {
-}; // Arithmetic
+forall( T | relational( T ) | multiplicative( T ) )
+trait arithmetic {
+}; // arithmetic
 
 // Local Variables: //