Merge pull request #26 from ProvableHQ/IGI-111/unified-fn-examples

Change examples to use unified fn syntax

Author: IGI-111

auction/build/abi.json

@@ -42,10 +42,10 @@
   ],
   "mappings": [],
   "storage_variables": [],
-  "transitions": [
+  "functions": [
     {
       "name": "place_bid",
-      "is_async": false,
+      "is_final": false,
       "inputs": [
         {
           "name": "bidder",
@@ -75,7 +75,7 @@
               "path": [
                 "Bid"
               ],
-              "program": "auction"
+              "program": "auction.aleo"
             }
           },
           "mode": "None"
@@ -84,7 +84,7 @@
     },
     {
       "name": "resolve",
-      "is_async": false,
+      "is_final": false,
       "inputs": [
         {
           "name": "first",
@@ -93,7 +93,7 @@
               "path": [
                 "Bid"
               ],
-              "program": "auction"
+              "program": "auction.aleo"
             }
           },
           "mode": "None"
@@ -105,7 +105,7 @@
               "path": [
                 "Bid"
               ],
-              "program": "auction"
+              "program": "auction.aleo"
             }
           },
           "mode": "None"
@@ -118,7 +118,7 @@
               "path": [
                 "Bid"
               ],
-              "program": "auction"
+              "program": "auction.aleo"
             }
           },
           "mode": "None"
@@ -127,7 +127,7 @@
     },
     {
       "name": "finish",
-      "is_async": false,
+      "is_final": false,
       "inputs": [
         {
           "name": "bid",
@@ -136,7 +136,7 @@
               "path": [
                 "Bid"
               ],
-              "program": "auction"
+              "program": "auction.aleo"
             }
           },
           "mode": "None"
@@ -149,7 +149,7 @@
               "path": [
                 "Bid"
               ],
-              "program": "auction"
+              "program": "auction.aleo"
             }
           },
           "mode": "None"

auction/src/main.leo

@@ -18,7 +18,7 @@ program auction.aleo {
     // Requires that `bidder` matches the function caller.
     // The owner of the record is set to the entity responsible for running the auction (auction runner).
     // The address of the auction runner is aleo1ashyu96tjwe63u0gtnnv8z5lhapdu4l5pjsl2kha7fv7hvz2eqxs5dz0rg.
-    transition place_bid(bidder: address, amount: u64) -> Bid {
+    fn place_bid(bidder: address, amount: u64) -> Bid {
         // Ensure the caller is the auction bidder.
         assert_eq(self.caller, bidder);
         // Return a new 'Bid' record for the auction bidder.
@@ -36,7 +36,7 @@ program auction.aleo {
     // Requires that the function caller is the auction runner.
     // Assumes that the function is invoked only after the bidding period has ended.
     // In the event of a tie, the first bid is selected.
-    transition resolve(first: Bid, second: Bid) -> Bid {
+    fn resolve(first: Bid, second: Bid) -> Bid {
         // Ensure the caller is the auctioneer.
         assert_eq(self.caller, aleo1ashyu96tjwe63u0gtnnv8z5lhapdu4l5pjsl2kha7fv7hvz2eqxs5dz0rg);
         // Resolve the winner of the auction.
@@ -51,7 +51,7 @@ program auction.aleo {
     // - `bid` : The winning bid.
     // Requires that the function caller is the auction runner.
     // Assumes that the function is invoked only after all bids have been resolved.
-    transition finish(bid: Bid) -> Bid {
+    fn finish(bid: Bid) -> Bid {
         // Ensure the caller is the auctioneer.
         assert_eq(self.caller, aleo1ashyu96tjwe63u0gtnnv8z5lhapdu4l5pjsl2kha7fv7hvz2eqxs5dz0rg);
         // Return 'is_winner' as 'true' in the winning 'Bid'.
@@ -65,6 +65,6 @@ program auction.aleo {
 
     // The constructor is configured to prevent upgrades.
     @noupgrade
-    async constructor() {}
+    constructor() {}
 }
 

basic_bank/build/abi.json

@@ -40,10 +40,10 @@
     }
   ],
   "storage_variables": [],
-  "transitions": [
+  "functions": [
     {
       "name": "issue",
-      "is_async": false,
+      "is_final": false,
       "inputs": [
         {
           "name": "owner",
@@ -73,7 +73,7 @@
               "path": [
                 "Token"
               ],
-              "program": "basic_bank"
+              "program": "basic_bank.aleo"
             }
           },
           "mode": "None"
@@ -82,7 +82,7 @@
     },
     {
       "name": "deposit",
-      "is_async": true,
+      "is_final": true,
       "inputs": [
         {
           "name": "token",
@@ -91,7 +91,7 @@
               "path": [
                 "Token"
               ],
-              "program": "basic_bank"
+              "program": "basic_bank.aleo"
             }
           },
           "mode": "None"
@@ -115,20 +115,20 @@
               "path": [
                 "Token"
               ],
-              "program": "basic_bank"
+              "program": "basic_bank.aleo"
             }
           },
           "mode": "None"
         },
         {
-          "ty": "Future",
+          "ty": "Final",
           "mode": "None"
         }
       ]
     },
     {
       "name": "withdraw",
-      "is_async": true,
+      "is_final": true,
       "inputs": [
         {
           "name": "recipient",
@@ -180,13 +180,13 @@
               "path": [
                 "Token"
               ],
-              "program": "basic_bank"
+              "program": "basic_bank.aleo"
             }
           },
           "mode": "None"
         },
         {
-          "ty": "Future",
+          "ty": "Final",
           "mode": "None"
         }
       ]