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

Lorentz.Contracts.UpgradeableCounterSdu.V2

Synopsis

Documentation

data CounterSduV (v :: Nat) :: VersionKind Source #

Version identifier for this contract.

It a bit differs from how we do in other contracts - this type is supposed to be used in all versions of the contract, but it has type parameter which is supposed to designate contract version.

Instances

Instances details
KnownContractVersion (CounterSduV 0) Source # 
Instance details

Defined in Lorentz.Contracts.UpgradeableCounterSdu

Associated Types

type VerInterface (CounterSduV 0) :: [EntrypointKind] Source #

type VerUStoreTemplate (CounterSduV 0) Source #

type VerPermanent (CounterSduV 0) Source #

Methods

contractVersion :: Proxy (CounterSduV 0) -> Version Source #

KnownContractVersion (CounterSduV 1) Source # 
Instance details

Defined in Lorentz.Contracts.UpgradeableCounterSdu.V1

Associated Types

type VerInterface (CounterSduV 1) :: [EntrypointKind] Source #

type VerUStoreTemplate (CounterSduV 1) Source #

type VerPermanent (CounterSduV 1) Source #

Methods

contractVersion :: Proxy (CounterSduV 1) -> Version Source #

KnownContractVersion (CounterSduV 2) Source # 
Instance details

Defined in Lorentz.Contracts.UpgradeableCounterSdu.V2

Associated Types

type VerInterface (CounterSduV 2) :: [EntrypointKind] Source #

type VerUStoreTemplate (CounterSduV 2) Source #

type VerPermanent (CounterSduV 2) Source #

Methods

contractVersion :: Proxy (CounterSduV 2) -> Version Source #

type VerInterface (CounterSduV 0) Source # 
Instance details

Defined in Lorentz.Contracts.UpgradeableCounterSdu

type VerInterface (CounterSduV 0) = VerInterface (EmptyContractVersion Permanent)
type VerInterface (CounterSduV 1) Source # 
Instance details

Defined in Lorentz.Contracts.UpgradeableCounterSdu.V1

type VerInterface (CounterSduV 1)
type VerInterface (CounterSduV 2) Source # 
Instance details

Defined in Lorentz.Contracts.UpgradeableCounterSdu.V2

type VerInterface (CounterSduV 2)
type VerUStoreTemplate (CounterSduV 0) Source # 
Instance details

Defined in Lorentz.Contracts.UpgradeableCounterSdu

type VerUStoreTemplate (CounterSduV 0) = VerUStoreTemplate (EmptyContractVersion Permanent)
type VerUStoreTemplate (CounterSduV 1) Source # 
Instance details

Defined in Lorentz.Contracts.UpgradeableCounterSdu.V1

type VerUStoreTemplate (CounterSduV 1)
type VerUStoreTemplate (CounterSduV 2) Source # 
Instance details

Defined in Lorentz.Contracts.UpgradeableCounterSdu.V2

type VerUStoreTemplate (CounterSduV 2)
type VerPermanent (CounterSduV 0) Source # 
Instance details

Defined in Lorentz.Contracts.UpgradeableCounterSdu

type VerPermanent (CounterSduV 0) = VerPermanent (EmptyContractVersion Permanent)
type VerPermanent (CounterSduV 1) Source # 
Instance details

Defined in Lorentz.Contracts.UpgradeableCounterSdu.V1

type VerPermanent (CounterSduV 1) = Permanent
type VerPermanent (CounterSduV 2) Source # 
Instance details

Defined in Lorentz.Contracts.UpgradeableCounterSdu.V2

type VerPermanent (CounterSduV 2) = Permanent

counterContract :: UContractRouter (CounterSduV 2) Source #

migration :: UStoreMigration (VerUStoreTemplate (CounterSduV 1)) UStoreTemplate Source #

counterUpgradeParameters :: EpwUpgradeParameters Identity (CounterSduV 1) (CounterSduV 2) Source #

counterUpgradeParametersFromV0 :: EpwUpgradeParameters Identity (CounterSduV 0) (CounterSduV 2) Source #

counterRollbackParameters :: EpwUpgradeParameters Identity (CounterSduV 2) (CounterSduV 1) Source #

Orphan instances