balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Use Tezos prefix in Tutorial.

Browse Source
This commit is contained in:
Sander Spies 2020-03-31 14:39:26 +02:00
parent 9cd750442a
commit 257821a764
2 changed files with 35 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
gitlab-pages/docs/tutorials/get-started/tezos-taco-shop-payout.ligo
View File

@ -34,13 +34,21 @@ function buy_taco (const taco_kind_index : nat; var taco_shop_storage : taco_sho
// Update the storage with the refreshed taco_kind // Update the storage with the refreshed taco_kind
taco_shop_storage[taco_kind_index] := taco_kind; taco_shop_storage[taco_kind_index] := taco_kind;
const receiver : contract (unit) = get_contract (ownerAddress); const receiver : contract (unit) =
const donationReceiver : contract (unit) = get_contract (donationAddress); case (Tezos.get_contract_opt (ownerAddress): option(contract (unit))) of
Some (contract) -> contract
| None -> (failwith ("Not a contract") : contract (unit))
end;
const donationReceiver : contract (unit) =
case (Tezos.get_contract_opt (donationAddress): option(contract (unit))) of
Some (contract) -> contract
| None -> (failwith ("Not a contract") : contract (unit))
end;
const donationAmount : tez = amount / 10n; const donationAmount : tez = amount / 10n;
const operations : list (operation) = list [ const operations : list (operation) = list [
transaction (unit, amount - donationAmount, receiver); Tezos.transaction (unit, amount - donationAmount, receiver);
transaction (unit, donationAmount, donationReceiver); Tezos.transaction (unit, donationAmount, donationReceiver);
] ]
} with (operations, taco_shop_storage) } with (operations, taco_shop_storage)

29
gitlab-pages/docs/tutorials/get-started/tezos-taco-shop-payout.md
View File

@ -105,7 +105,11 @@ contract with no parameters, or an implicit account.
```pascaligo group=ex1 ```pascaligo group=ex1
const ownerAddress : address = ("tz1TGu6TN5GSez2ndXXeDX6LgUDvLzPLqgYV" : address); const ownerAddress : address = ("tz1TGu6TN5GSez2ndXXeDX6LgUDvLzPLqgYV" : address);
const receiver : contract (unit) = get_contract (ownerAddress); const receiver : contract (unit) =
case (Tezos.get_contract_opt (ownerAddress): option(contract(unit))) of
Some (contract) -> contract
| None -> (failwith ("Not a contract") : (contract(unit)))
end;
``` ```
> Would you like to learn more about addresses, contracts and > Would you like to learn more about addresses, contracts and
@ -120,7 +124,7 @@ receiver)` within a list of operations returned at the end of our
contract. contract.
```pascaligo group=ex1 ```pascaligo group=ex1
const payoutOperation : operation = transaction (unit, amount, receiver) ; const payoutOperation : operation = Tezos.transaction (unit, amount, receiver) ;
const operations : list (operation) = list [payoutOperation]; const operations : list (operation) = list [payoutOperation];
``` ```
@ -166,8 +170,13 @@ function buy_taco (const taco_kind_index : nat ; var taco_shop_storage : taco_sh
// Update the storage with the refreshed taco_kind // Update the storage with the refreshed taco_kind
taco_shop_storage[taco_kind_index] := taco_kind; taco_shop_storage[taco_kind_index] := taco_kind;
const receiver : contract(unit) = get_contract (ownerAddress); const receiver : contract (unit) =
const payoutOperation : operation = transaction (unit, amount, receiver); case (Tezos.get_contract_opt (ownerAddress): option(contract(unit))) of
Some (contract) -> contract
| None -> (failwith ("Not a contract") : (contract(unit)))
end;
const payoutOperation : operation = Tezos.transaction (unit, amount, receiver);
const operations : list(operation) = list [payoutOperation] const operations : list(operation) = list [payoutOperation]
} with ((operations : list (operation)), taco_shop_storage) } with ((operations : list (operation)), taco_shop_storage)
``` ```
@ -214,8 +223,16 @@ sum from each taco purchase.
const ownerAddress : address = ("tz1TGu6TN5GSez2ndXXeDX6LgUDvLzPLqgYV" : address); const ownerAddress : address = ("tz1TGu6TN5GSez2ndXXeDX6LgUDvLzPLqgYV" : address);
const donationAddress : address = ("tz1KqTpEZ7Yob7QbPE4Hy4Wo8fHG8LhKxZSx" : address); const donationAddress : address = ("tz1KqTpEZ7Yob7QbPE4Hy4Wo8fHG8LhKxZSx" : address);
const receiver : contract (unit) = get_contract (ownerAddress); const receiver : contract (unit) =
const donationReceiver : contract(unit) = get_contract (donationAddress); case (Tezos.get_contract_opt (ownerAddress) : option(contract(unit))) of
Some (contract) -> contract
| None -> (failwith ("Not a contract") : contract (unit))
end;
const donationReceiver : contract (unit) =
case (Tezos.get_contract_opt (donationAddress) : option(contract(unit))) of
Some (contract) -> contract
| None -> (failwith ("Not a contract") : contract (unit))
end;
const donationAmount : tez = amount / 10n; const donationAmount : tez = amount / 10n;