Refactor (#80)

* refactor

* CI

* formatting

.github/workflows/tests.yaml

@@ -19,7 +19,7 @@ jobs:
           repo: anoma/juvix-nightly-builds
           cache: enable
       - name: Clean
-        run: juvix clean --global && juvix dependencies update 
+        run: juvix clean --global && juvix dependencies update
       - name: Type Check
         run: juvix typecheck
       - name: Format Check

Anoma/Builtin/ByteArray.juvix

@@ -29,9 +29,4 @@ ByteArray-Ord : Ord ByteArray :=
 instance
 ByteArray-Eq : Eq ByteArray := fromOrdToEq;
 
-zero (length : Nat) : ByteArray :=
-  mkByteArray
-    replicate@{
-      resultLength := length;
-      value := 0x0;
-    };
+zero (length : Nat) : ByteArray := mkByteArray (replicate length 0x0);

Anoma/Random.juvix

@@ -58,11 +58,7 @@ pseudoRandomNumberGeneratorNextNBytes
   let
     update (acc : Pair (List ByteArray) PRNG) : Pair (List ByteArray) PRNG :=
       let
-        next :=
-          prngNextBytes@{
-            bytesSize;
-            generator := snd acc;
-          };
+        next := prngNextBytes bytesSize (snd acc);
       in fst next :: fst acc, snd next;
   in iterate n update ([], generator);
 
@@ -91,10 +87,7 @@ generateNextNonces (n : Nat) (generator : PRNG) : Pair (List Nonce) PRNG :=
 --- @param randSeed The randomness seed for the PRNG.
 --- @return The nonce.
 generateNonce (randSeed : RandSeed) : Nonce :=
-  fst
-    generateNextNonce@{
-      generator := prngInit randSeed;
-    };
+  fst (generateNextNonce (prngInit randSeed));
 
 --- Generates a pair of pseudo-random nonces from a randomness seed.
 --- @param randSeed The randomness seed for the PRNG.
@@ -111,14 +104,7 @@ generateNoncePair (randSeed : RandSeed) : Pair Nonce Nonce :=
 --- @param randSeed The randomness seed for the PRNG.
 --- @return The list of nonces.
 generateNonces (n : Nat) (randSeed : RandSeed) : List Nonce :=
-  fst
-    generateNextNonces@{
-      n;
-      generator := prngInit randSeed;
-    };
+  fst (generateNextNonces n (prngInit randSeed));
 
 UnusedRandSeed : RandSeed :=
-  mkRandSeed
-    ByteArray.zero@{
-      length := FixedSize.byteSize {RandSeed};
-    };
+  mkRandSeed (ByteArray.zero (FixedSize.byteSize {RandSeed}));

Applib/Authorization/Message.juvix

@@ -55,11 +55,7 @@ mkResourceRelationshipAppDataEntry
         mustBeConsumed;
         mustBeCreated;
       };
-    signature : Signature :=
-      sign@{
-        message;
-        signer;
-      };
+    signature : Signature := sign message signer;
   in case origin of
        | Created commitment :=
          toAppDataEntry@{

Applib/Helpers.juvix

@@ -58,10 +58,7 @@ isNullifierPresent
   Set.isMember nullifier nullifierSet;
 
 lookupResource {A} (key : A) (customInputs : CustomInputs) : Maybe Resource :=
-  lookupCustomInputs@{
-    key;
-    customInputs;
-  };
+  lookupCustomInputs key customInputs;
 
 toAppDataEntry
   {Key Data : Type}
@@ -106,10 +103,10 @@ type TagsAndCustomInputs :=
   };
 
 tagsToPair (tags : List Tag) : Pair (List Nullifier) (List Commitment) :=
-  for (nfs, cms := [], []) (tag in tags) {
+  rfor (nfs, cms := [], []) (tag in tags) {
     case tag of
-      | Consumed nf := nfs ++ [nf], cms
-      | Created cm := nfs, cms ++ [cm]
+      | Consumed nf := nf :: nfs, cms
+      | Created cm := nfs, cm :: cms
   };
 
 pairtoTags

Applib/Projection/TotalQuantity.juvix

@@ -7,5 +7,5 @@ import Applib.Resource.Traits.Quantity open;
 
 totalQuantity {T} {{HasQuantity T}} (resources : List T) : Quantity :=
   for (sum := mkQuantity 0) (r in resources) {
-    sum + HasQuantity.get {T} r
+    sum + HasQuantity.get r
   };

Applib/Resource/Standards/Ownership.juvix

@@ -7,8 +7,4 @@ import Applib.Resource.Standards.ValueMap open;
 ownershipStandardKey : ValueMapKey := toValueMapKey "owner";
 
 ownershipValueMapEntry (owner : ExternalIdentity) : ValueMap :=
-  Map.insert@{
-    key := ownershipStandardKey;
-    elem := toValueMapValue owner;
-    map := Map.empty;
-  };
+  Map.insert ownershipStandardKey (toValueMapValue owner) Map.empty;

juvix.lock.yaml

@@ -1,8 +1,8 @@
-# This file was autogenerated by Juvix version 0.6.8.
+# This file was autogenerated by Juvix version 0.6.9.
 # Do not edit this file manually.
 
 version: 2
 checksum: e9d510f29d070badc15f3b0009e471b4c9f433d8bc0f82324c011d00b5d21d11
 dependencies:
-- path: .juvix-build/0.6.8/stdlib/
+- path: .juvix-build/0.6.9/stdlib/
   dependencies: []