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

add an ID Contract example

Browse Source
This commit is contained in:
technomad21c 2020-05-21 19:04:17 -07:00 committed by Pierre-Emmanuel Wulfman
parent fa1185c20e
commit 5b398b47c2
1 changed files with 33 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

34
src/test/examples/pascaligo/id.ligo
View File

@ -4,12 +4,44 @@
compile: compile:
entrypoint: main entrypoint: main
dryRun: dryRun:
entrypoint: main
parameters: |
Buy (
record [
profile=0x0501000000026869;
initial_controller=Some(("tz1KqTpEZ7Yob7QbPE4Hy4Wo8fHG8LhKxZSx": address))
]
)
storage: |
record [
identities=big_map[1->record [owner=("tz1KqTpEZ7Yob7QbPE4Hy4Wo8fHG8LhKxZSx" : address);
controller=("tz1gjaF81ZRRvdzjobyfVNsAeSC6PScjfQwN" : address); profile=0x0501000000026869]];
next_id=2;
name_price=0tez;
skip_price=50mutez;
]
deploy: deploy:
entrypoint: main entrypoint: main
storage: 0 storage:
evaluateValue: evaluateValue:
entrypoint: "" entrypoint: ""
evaluateFunction: evaluateFunction:
entrypoint: buy
parameters: |
(
record [
profile=0x0501000000026869;
initial_controller=Some(("tz1KqTpEZ7Yob7QbPE4Hy4Wo8fHG8LhKxZSx": address))
],
record [ identities=big_map[1->record [owner=("tz1KqTpEZ7Yob7QbPE4Hy4Wo8fHG8LhKxZSx" : address);
controller=("tz1gjaF81ZRRvdzjobyfVNsAeSC6PScjfQwN" : address);
profile=0x0501000000026869]];
next_id=2;
name_price=0tez;
skip_price=333mutez;
]
)
*_*) *_*)
type id is int type id is int