Safe Haskell	None
Language	Haskell2010

Lorentz.Contracts.UpgradeableCounterSdu.V1

Contents

Internals
Orphan instances

Synopsis

counterContract :: UContractRouter (CounterSduV 1)
migration :: UStoreMigration () UStoreTemplate
counterUpgradeParameters :: EpwUpgradeParameters Identity (CounterSduV 0) (CounterSduV 1)
counterDoc :: '[()] :-> '[()]
runGetCounterValue :: Entrypoint (Void_ () Natural) UStorage
runAdd :: Entrypoint Natural UStorage
permImpl :: PermanentImpl (CounterSduV 1)

Documentation

counterContract :: UContractRouter (CounterSduV 1) Source #

migration :: UStoreMigration () UStoreTemplate Source #

This function migrates the storage from an empty one to UStorage, i.e. it populates the empty BigMap with initial values for each field and entrypoints. The result is expected to adhere to V1.UStoreTemplate.

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

counterDoc :: '[()] :-> '[()] Source #

Internals

runGetCounterValue :: Entrypoint (Void_ () Natural) UStorage Source #

runAdd :: Entrypoint Natural UStorage Source #

permImpl :: PermanentImpl (CounterSduV 1) Source #

Orphan instances

KnownContractVersion (CounterSduV 1) Source #
Instance details 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 #