morley-upgradeable-0.3: Upgradeability infrastructure based on Morley.

Index - G

genUStoreLorentz.UStore.Traversal
genUStoreFieldExtHedgehog.Gen.Lorentz.UStore
genUStoreSubMapHedgehog.Gen.Lorentz.UStore
GetBalance 
1 (Data Constructor)Lorentz.Contracts.UserUpgradeable.V1
2 (Data Constructor)Lorentz.Contracts.UserUpgradeable.V2
GetCounterLorentz.Contracts.UpgradeableCounterSdu
GetNothingLorentz.Contracts.UpgradeableCounterSdu
getTotalSupplyLorentz.Contracts.UpgradeableUnsafeLedger.V1
GetUStoreLorentz.UStore.Types
GetUStoreFieldLorentz.UStore.Types, Lorentz.UStore
GetUStoreFieldMarkerLorentz.UStore.Types, Lorentz.UStore
GetUStoreKeyLorentz.UStore.Types, Lorentz.UStore
GetUStoreValueLorentz.UStore.Types, Lorentz.UStore
GetVersionLorentz.Contracts.Upgradeable.Common.Contract, Lorentz.Contracts.Upgradeable.Common, Lorentz.Contracts.UpgradeableUnsafeLedger, Lorentz.Contracts.UpgradeableCounterSdu, Lorentz.Contracts.UpgradeableCounter
getVersionDocLorentz.Contracts.Upgradeable.Common.Doc, Lorentz.Contracts.Upgradeable.Common