morley-upgradeable-0.3: Upgradeability infrastructure based on Morley.
Safe HaskellNone
LanguageHaskell2010

Lorentz.Contracts.UpgradeableUnsafeLedger.V1

Description

A buggy implementation of Unsafe ledger, returns balances multiplied by 2

Synopsis

Documentation

type Interface = ["transfer" ?: TransferParams, "getTotalSupply" ?: Void_ () Natural, "getBalance" ?: Void_ Address (Maybe Natural)] Source #

migrate :: '[UStore_] :-> '[UStore_] Source #

Like in UpgradeableCounter, this function populates the empty UStore_ with entries and initial values for each field. The result is expected to adhere to V1.UStoreTemplate

data UStoreTemplate Source #

Instances

Instances details
Eq UStoreTemplate Source # 
Instance details

Defined in Lorentz.Contracts.UpgradeableUnsafeLedger.V1

Generic UStoreTemplate Source # 
Instance details

Defined in Lorentz.Contracts.UpgradeableUnsafeLedger.V1

Associated Types

type Rep UStoreTemplate :: Type -> Type #

type Rep UStoreTemplate Source # 
Instance details

Defined in Lorentz.Contracts.UpgradeableUnsafeLedger.V1

type Rep UStoreTemplate = D1 ('MetaData "UStoreTemplate" "Lorentz.Contracts.UpgradeableUnsafeLedger.V1" "morley-upgradeable-0.3-inplace" 'False) (C1 ('MetaCons "UStoreTemplate" 'PrefixI 'True) (S1 ('MetaSel ('Just "ledger") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Address |~> Natural)) :*: S1 ('MetaSel ('Just "totalSupply") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (UStoreField Natural))))