Safe Haskell	None
Language	Haskell2010

Lorentz.Contracts.UpgradeableCounter.V1

Synopsis

data CounterV1 :: VersionKind
migrate :: MigrationScript () UStoreTemplateV1
migrations :: [MigrationScript () UStoreTemplateV1]
counterContract :: UContractRouter CounterV1
counterUpgradeParameters :: EpwUpgradeParameters [] CounterV0 CounterV1
type UStoreV1 = UStore UStoreTemplateV1
data UStoreTemplateV1

Documentation

data CounterV1 :: VersionKind Source #

Instances

Instances details

KnownContractVersion CounterV1 Source #
Instance details Defined in Lorentz.Contracts.UpgradeableCounter.V1 Associated Types type VerInterface CounterV1 :: [EntrypointKind] Source # type VerUStoreTemplate CounterV1 Source # type VerPermanent CounterV1 Source # Methods contractVersion :: Proxy CounterV1 -> Version Source #
type VerInterface CounterV1 Source #
Instance details Defined in Lorentz.Contracts.UpgradeableCounter.V1 type VerInterface CounterV1
type VerUStoreTemplate CounterV1 Source #
Instance details Defined in Lorentz.Contracts.UpgradeableCounter.V1 type VerUStoreTemplate CounterV1 = UStoreTemplateV1
type VerPermanent CounterV1 Source #
Instance details Defined in Lorentz.Contracts.UpgradeableCounter.V1 type VerPermanent CounterV1 = Empty

migrate :: MigrationScript () UStoreTemplateV1 Source #

migrations :: [MigrationScript () UStoreTemplateV1] Source #

Migrations represent entrypoint-wise upgrades. Each migration puts an implementation of a method to UStore. The contract code itself (epwServe) does not do anything special except for taking these lambdas out of the big map.

counterContract :: UContractRouter CounterV1 Source #

counterUpgradeParameters :: EpwUpgradeParameters [] CounterV0 CounterV1 Source #

type UStoreV1 = UStore UStoreTemplateV1 Source #

data UStoreTemplateV1 Source #

Instances

Instances details

Eq UStoreTemplateV1 Source #
Instance details Defined in Lorentz.Contracts.UpgradeableCounter.V1 Methods (==) :: UStoreTemplateV1 -> UStoreTemplateV1 -> Bool # (/=) :: UStoreTemplateV1 -> UStoreTemplateV1 -> Bool #
Generic UStoreTemplateV1 Source #
Instance details Defined in Lorentz.Contracts.UpgradeableCounter.V1 Associated Types type Rep UStoreTemplateV1 :: Type -> Type # Methods from :: UStoreTemplateV1 -> Rep UStoreTemplateV1 x # to :: Rep UStoreTemplateV1 x -> UStoreTemplateV1 #
type Rep UStoreTemplateV1 Source #
Instance details Defined in Lorentz.Contracts.UpgradeableCounter.V1 type Rep UStoreTemplateV1 = D1 ('MetaData "UStoreTemplateV1" "Lorentz.Contracts.UpgradeableCounter.V1" "morley-upgradeable-0.3-inplace" 'False) (C1 ('MetaCons "UStoreTemplateV1" 'PrefixI 'True) (S1 ('MetaSel ('Just "counterValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (UStoreField Natural)) :: (S1 ('MetaSel ('Just "code") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (MText \|~> EntrypointImpl UStoreTemplateV1)) :: S1 ('MetaSel ('Just "fallback") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (UStoreField $ EpwFallback UStoreTemplateV1)))))