Module submission helpers (#95)

- Adds the `moduleSubmissionTransaction` function which creates a
transaction for submitting modules.

Author: lukaszcz

Applib/Helpers.juvix

@@ -106,3 +106,14 @@ fromResult
   case result of
     | ok data := data
     | error err := failwith (Show.show err);
+
+modulesAppData (modules : List Nat) : AppData :=
+  Map.fromList [RawTag.fromNat 0, map (AnomaAtom.fromNat) modules]
+    |> AppData.fromMap;
+
+moduleSubmissionTransaction
+  {M : Type -> Type}
+  {{Tx M}}
+  {{Monad M}}
+  (modules : List Nat)
+  : M Transaction := prepareStandardTransaction [] [] (modulesAppData modules);

juvix.lock.yaml

@@ -2,7 +2,7 @@
 # Do not edit this file manually.
 
 version: 2
-checksum: fdae04b8525adca1be7ebefbdfd1c08a8e4e855df1059cfbcae37f731c88a1d1
+checksum: 2404b847a6ab80e90e31ffa933a0abdd98d3b35458f523ec157a7c6d15ffa6f9
 dependencies:
 - git:
     name: anoma_juvix-stdlib