michelson 0.0.1 → 0.1.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- checksums.yaml +4 -4
- data/README.md +95 -1
- data/lib/michelson.rb +1 -1
- data/lib/michelson/version.rb +2 -2
- metadata +1 -1
checksums.yaml
CHANGED
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
---
|
|
2
2
|
SHA1:
|
|
3
|
-
metadata.gz:
|
|
4
|
-
data.tar.gz:
|
|
3
|
+
metadata.gz: ed3b5fbe9328e38ec213aa5d36c106711cdd5e1e
|
|
4
|
+
data.tar.gz: 0e5d7cd932220b76b7951a1db682c266cd3242c3
|
|
5
5
|
SHA512:
|
|
6
|
-
metadata.gz:
|
|
7
|
-
data.tar.gz:
|
|
6
|
+
metadata.gz: 22d4c310be5fd21d7caa94fa87ab9f3b50c7a4c1a208c2f35682173d2894be1fca582e9c6eddab10ea81b5f6ffbf46c5e52c96696976b8b8cc7d86e7ef148601
|
|
7
|
+
data.tar.gz: a0e72f64c2dbd6a8e47cf9c9a009204c8e967411834c9119462113f88e3d335685b444f6371e9a72b9cb5faa080a7c05c98aabd1757c243158e71b2e1c1356d6
|
data/README.md
CHANGED
|
@@ -9,9 +9,103 @@ michelson gem / library - test simulator / runtime for type-safe 'n' functional
|
|
|
9
9
|
* rdoc :: [rubydoc.info/gems/michelson](http://rubydoc.info/gems/michelson)
|
|
10
10
|
|
|
11
11
|
|
|
12
|
+
|
|
12
13
|
## Usage
|
|
13
14
|
|
|
14
|
-
|
|
15
|
+
**What's Michelson? What's Liquidity?**
|
|
16
|
+
|
|
17
|
+
The Liquidity language lets you program contracts with (higher-level type-safe functional) OCaml or ReasonML syntax (see <http://www.liquidity-lang.org>)
|
|
18
|
+
compiling to (lower-level) Michelson stack machine bytecode (see <https://www.michelson-lang.com>).
|
|
19
|
+
|
|
20
|
+
Using the michelson test simulator / runtime for type-safe 'n' functional (crypto) contracts you can now use a "Yes, It's Just Ruby" syntax.
|
|
21
|
+
|
|
22
|
+
|
|
23
|
+
### By Example
|
|
24
|
+
|
|
25
|
+
**Let's Count - 0, 1, 2, 3**
|
|
26
|
+
|
|
27
|
+
``` ruby
|
|
28
|
+
type :Storage, Integer
|
|
29
|
+
|
|
30
|
+
init [],
|
|
31
|
+
def storage()
|
|
32
|
+
0
|
|
33
|
+
end
|
|
34
|
+
|
|
35
|
+
entry [Integer],
|
|
36
|
+
def inc( by, storage )
|
|
37
|
+
[[], storage + by]
|
|
38
|
+
end
|
|
39
|
+
```
|
|
40
|
+
|
|
41
|
+
And for (local) testing you can run the "Yes, It's Just Ruby" version with the michelson testnet "simulator" library. Try:
|
|
42
|
+
|
|
43
|
+
``` ruby
|
|
44
|
+
storage = storage()
|
|
45
|
+
# => calling storage()...
|
|
46
|
+
# => returning:
|
|
47
|
+
# => 0
|
|
48
|
+
_, storage = inc( 2, storage )
|
|
49
|
+
# => calling inc( 2, 0 )...
|
|
50
|
+
# => returning:
|
|
51
|
+
# => [[], 2]
|
|
52
|
+
_, storage = inc( 1, storage )
|
|
53
|
+
# => calling inc( 1, 2 )...
|
|
54
|
+
# => returning:
|
|
55
|
+
# => [[], 3]
|
|
56
|
+
```
|
|
57
|
+
|
|
58
|
+
|
|
59
|
+
**Let's Vote**
|
|
60
|
+
|
|
61
|
+
``` ruby
|
|
62
|
+
type :Storage, Map‹String→Integer›
|
|
63
|
+
|
|
64
|
+
init [],
|
|
65
|
+
def storage()
|
|
66
|
+
{"ocaml" => 0, "reason" => 0, "ruby" => 0}
|
|
67
|
+
end
|
|
68
|
+
|
|
69
|
+
entry [String],
|
|
70
|
+
def vote( choice, votes )
|
|
71
|
+
amount = Current.amount
|
|
72
|
+
if amount < 5.tz
|
|
73
|
+
failwith( "Not enough money, at least 5tz to vote" )
|
|
74
|
+
else
|
|
75
|
+
match Map.find(choice, votes), {
|
|
76
|
+
None: ->() { failwith( "Bad vote" ) },
|
|
77
|
+
Some: ->(x) { votes = Map.add(choice, x + 1, votes); [[], votes] }}
|
|
78
|
+
end
|
|
79
|
+
end
|
|
80
|
+
```
|
|
81
|
+
|
|
82
|
+
And again for (local) testing you can run the "Yes, It's Just Ruby" version with the michelson testnet "simulator" library. Try:
|
|
83
|
+
|
|
84
|
+
``` ruby
|
|
85
|
+
storage = storage()
|
|
86
|
+
#=> calling storage()...
|
|
87
|
+
#=> returning:
|
|
88
|
+
#=> {"ocaml"=>0, "reason"=>0, "ruby"=>0}
|
|
89
|
+
_, storage = vote( "ruby", storage )
|
|
90
|
+
#=> calling vote( "ruby", {"ocaml"=>0, "reason"=>0, "ruby"=>0} )...
|
|
91
|
+
#=> !! RuntimeError: failwith - Not enough money, at least 5tz to vote
|
|
92
|
+
|
|
93
|
+
Current.amount = 10.tz
|
|
94
|
+
|
|
95
|
+
_, storage = vote( "ruby", storage )
|
|
96
|
+
#=> calling vote( "ruby", {"ocaml"=>0, "reason"=>0, "ruby"=>0} )...
|
|
97
|
+
#=> returning:
|
|
98
|
+
#=> [[], {"ocaml"=>0, "reason"=>0, "ruby"=>1}]
|
|
99
|
+
_, storage = vote( "reason", storage )
|
|
100
|
+
#=> calling vote( "reason", {"ocaml"=>0, "reason"=>0, "ruby"=>1} )...
|
|
101
|
+
#=> returning:
|
|
102
|
+
#=> [[], {"ocaml"=>0, "reason"=>1, "ruby"=>1}]
|
|
103
|
+
_, storage = vote( "python", storage )
|
|
104
|
+
#=> calling vote( "python", {"ocaml"=>0, "reason"=>1, "ruby"=>1} )...
|
|
105
|
+
#=> !! RuntimeError: failwith - Bad vote
|
|
106
|
+
```
|
|
107
|
+
|
|
108
|
+
And so on and so forth.
|
|
15
109
|
|
|
16
110
|
|
|
17
111
|
## License
|
data/lib/michelson.rb
CHANGED
data/lib/michelson/version.rb
CHANGED