use Tx instead of Reader

anoma · Jan 17, 2025 · c42ecb8 · c42ecb8
1 parent dd6b74e
commit c42ecb8
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/Applib/Helpers.juvix b/Applib/Helpers.juvix
@@ -109,13 +109,13 @@ emptyTx : BaseLayer.Transaction :=
 --- @return The transaction object.
 prepareStandardTransaction
   {M : Type -> Type}
-  {{Reader StandardInputs M}}
+  {{Tx M}}
   {{Monad M}}
   (consumed created : List Resource)
   {app-data : Nat := 0}
   : M BaseLayer.Transaction :=
   do {
-    si <- ask;
+    si <- getStandardInputs;
     pure
       mkTransactionHelper@{
         roots := [StandardInputs.currentRoot si];

diff --git a/Applib/Trait/Tx.juvix b/Applib/Trait/Tx.juvix
@@ -55,5 +55,6 @@ end;
 open Private using {StandardTx} public;
 
 --- Run the transaction builder
-runTx (seed : Nat) (si : StandardInputs) : StandardTx Transaction -> Transaction :=
+runTx
+  (seed : Nat) (si : StandardInputs) : StandardTx Transaction -> Transaction :=
   evalState (mkPrng seed) >> runReader si >> Mtl.run;