Commit 16ca4fbb authored by Igor Tkach's avatar Igor Tkach

Merge branch 'gromak/managed-ledger-storage-annotations' into 'master'

Add annotations to managed ledger storage

See merge request !33
parents cde85a71 95eb3cc4
# This contract was generated from
# https://gitlab.com/morley-framework/morley/tree/ce28076a79b93d48aa7745271e6a1395b8b9e50d/lorentz-contracts/src/Lorentz/Contracts/ManagedLedger.hs
# Storage annotations were added manually.
parameter (or (or (or (pair %transfer (address :from)
(pair (address :to)
......@@ -21,13 +22,13 @@ parameter (or (or (or (pair %transfer (address :from)
(nat :value))
(pair %burn (address :from)
(nat :value))))));
storage (pair (big_map address
(pair nat
(map address
nat)))
(pair address
(pair bool
nat)));
storage (pair (big_map %ledger (address :user)
(pair (nat :balance)
(map :approvals (address :spender)
(nat :value))))
(pair (address %admin)
(pair (bool %paused)
(nat %totalSupply))));
code { CAST (pair (or (or (or (pair address (pair address nat)) (pair address nat)) (or (pair (pair address address) (contract nat)) (or (pair address (contract nat)) (pair unit (contract nat))))) (or (or bool address) (or (pair unit (contract address)) (or (pair address nat) (pair address nat))))) (pair (big_map address (pair nat (map address nat))) (pair address (pair bool nat))));
DUP;
CAR;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment