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

Lorentz.Contracts.UpgradeableCounter.V2

Documentation

type Interface = ["inc" ?: (), "dec" ?: (), "getCounterValue" ?: Void_ () Integer] Source #

type UStoreV2 = UStore UStoreTemplateV2 Source #

data CounterV2 :: VersionKind Source #

Instances

Instances details
KnownContractVersion CounterV2 Source # 
Instance details

Defined in Lorentz.Contracts.UpgradeableCounter.V2

Associated Types

type VerInterface CounterV2 :: [EntrypointKind] Source #

type VerUStoreTemplate CounterV2 Source #

type VerPermanent CounterV2 Source #

Methods

contractVersion :: Proxy CounterV2 -> Version Source #

type VerInterface CounterV2 Source # 
Instance details

Defined in Lorentz.Contracts.UpgradeableCounter.V2

type VerInterface CounterV2 = Interface
type VerUStoreTemplate CounterV2 Source # 
Instance details

Defined in Lorentz.Contracts.UpgradeableCounter.V2

type VerUStoreTemplate CounterV2
type VerPermanent CounterV2 Source # 
Instance details

Defined in Lorentz.Contracts.UpgradeableCounter.V2

type VerPermanent CounterV2 = Empty

migrate :: MigrationScript UStoreTemplateV1 UStoreTemplateV2 Source #

migrations :: [MigrationScript UStoreTemplateV1 UStoreTemplateV2] Source #

counterContract :: UContractRouter CounterV2 Source #

counterUpgradeParameters :: EpwUpgradeParameters [] CounterV1 CounterV2 Source #