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

fix "entrypoints-contracts.md"

Browse Source
This commit is contained in:
Lesenechal Remi 2019-12-26 14:21:05 +01:00
parent aa35043414
commit 4556568c72
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
gitlab-pages/docs/advanced/entrypoints-contracts.md
View File

@ -20,7 +20,7 @@ This means that every smart contract needs at least one entrypoint function, her
<!--DOCUSAURUS_CODE_TABS--> <!--DOCUSAURUS_CODE_TABS-->
<!--Pascaligo--> <!--Pascaligo-->
``` ```pascaligo group=a
type parameter is unit; type parameter is unit;
type store is unit; type store is unit;
function main(const parameter: parameter; const store: store): (list(operation) * store) is function main(const parameter: parameter; const store: store): (list(operation) * store) is
@ -46,7 +46,7 @@ This example shows how `amount` and `failwith` can be used to decline a transact
<!--DOCUSAURUS_CODE_TABS--> <!--DOCUSAURUS_CODE_TABS-->
<!--Pascaligo--> <!--Pascaligo-->
``` ```pascaligo group=b
function main (const p : unit ; const s : unit) : (list(operation) * unit) is function main (const p : unit ; const s : unit) : (list(operation) * unit) is
block { block {
if amount > 0mutez then failwith("This contract does not accept tez") else skip if amount > 0mutez then failwith("This contract does not accept tez") else skip
@ -60,7 +60,7 @@ This example shows how `sender` or `source` can be used to deny access to an ent
<!--DOCUSAURUS_CODE_TABS--> <!--DOCUSAURUS_CODE_TABS-->
<!--Pascaligo--> <!--Pascaligo-->
``` ```pascaligo group=c
const owner: address = ("tz1KqTpEZ7Yob7QbPE4Hy4Wo8fHG8LhKxZSx": address); const owner: address = ("tz1KqTpEZ7Yob7QbPE4Hy4Wo8fHG8LhKxZSx": address);
function main (const p : unit ; const s : unit) : (list(operation) * unit) is function main (const p : unit ; const s : unit) : (list(operation) * unit) is
block { block {
@ -79,7 +79,7 @@ In our case, we have a `counter.ligo` contract that accepts a parameter of type
<!--DOCUSAURUS_CODE_TABS--> <!--DOCUSAURUS_CODE_TABS-->
<!--Pascaligo--> <!--Pascaligo-->
``` ```pascaligo group=dup
// counter.types.ligo // counter.types.ligo
type action is type action is
| Increment of int | Increment of int
@ -87,7 +87,7 @@ type action is
| Reset of unit | Reset of unit
``` ```
``` ```pascaligo group=d
// counter.ligo // counter.ligo
type action is type action is
| Increment of int | Increment of int
@ -95,7 +95,7 @@ type action is
| Reset of unit | Reset of unit
``` ```
``` ```pascaligo gorup=d
// proxy.ligo // proxy.ligo
#include "counter.types.ligo" #include "counter.types.ligo"