feat: add ord instance

.github/workflows/tests.yaml

@@ -16,7 +16,6 @@ jobs:
         uses: jaxxstorm/[email protected]
         with:
           repo: anoma/juvix-nightly-builds
-
           cache: enable
       - name: Clean & Update Dependencies
         run: juvix clean --global && juvix clean && juvix dependencies update

Anoma/Transaction/Object.juvix

@@ -2,6 +2,7 @@ module Anoma.Transaction.Object;
 
 import Stdlib.Prelude open;
 import Stdlib.Data.Set as Set open using {Set};
+import Stdlib.Trait.Ord.Eq open using {fromOrdToEq};
 import Anoma.Resource.Types as Resource;
 import Anoma.State.CommitmentTree as CommitmentTree;
 import Anoma.Transaction.Action open using {Action};
@@ -30,3 +31,19 @@ commitmentSet (transaction : Transaction) : Set Resource.Commitment := MISSING_A
 
 --- Returns the ;Resource.Nullifier; ;Set; of a ;Transaction;.
 nullifierSet (transaction : Transaction) : Set Resource.Nullifier := MISSING_ANOMA_BUILTIN;
+
+module TransactionInternal;
+  --- Compares two ;Transaction; objects.
+  compare (lhs rhs : Transaction) : Ordering :=
+    let
+      prod (tx : Transaction) : _ := Transaction.roots tx, Transaction.actions tx;
+    in Ord.cmp (prod lhs) (prod rhs);
+
+  --- Implements the ;Ord; trait for ;Transaction;.
+  instance
+  Transaction-Ord : Ord Transaction := mkOrd compare;
+
+  --- Implements the ;Eq; trait for ;Transaction;.
+  instance
+  Transaction-Eq : Eq Transaction := fromOrdToEq;
+end;