Commit 95eb3cc4 authored by Ivan Gromakovskii's avatar Ivan Gromakovskii

Add annotations to managed ledger storage

Problem: it's hard to understand what is _stored_ in the ManagedLedger
storage (which field means what) when you open it in block explorer
or vanilla Tezos CLI.

Solution: add some field and type annotations to make it clearer.
parent cde85a71
Pipeline #101259411 passed with stage
in 2 minutes and 33 seconds
# 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