Safe Haskell	None
Language	Haskell2010

Lorentz.Contracts.Upgradeable.Client

Description

Operations related to upgradeable contracts.

Synopsis

data UStoreValueUnpackFailed = UStoreValueUnpackFailed ByteString Text
data UStoreElemRef
- = UrField MText
- | UrSubmap MText (SomeConstrainedValue PackedValScope')
readContractUStore :: forall v m. (UnpackedValScope v, HasTezosRpc m) => Address -> UStoreElemRef -> m (Value v)
readContractUStoreEntrypoint :: HasTezosRpc m => Address -> MText -> m [ExpandedOp]

Documentation

data UStoreValueUnpackFailed Source #

Failed to code UStore value to given type.

Constructors

UStoreValueUnpackFailed ByteString Text

Instances

Instances details

Show UStoreValueUnpackFailed Source #
Instance details Defined in Lorentz.Contracts.Upgradeable.Client Methods showsPrec :: Int -> UStoreValueUnpackFailed -> ShowS # show :: UStoreValueUnpackFailed -> String # showList :: [UStoreValueUnpackFailed] -> ShowS #
Exception UStoreValueUnpackFailed Source #
Instance details Defined in Lorentz.Contracts.Upgradeable.Client Methods toException :: UStoreValueUnpackFailed -> SomeException # fromException :: SomeException -> Maybe UStoreValueUnpackFailed # displayException :: UStoreValueUnpackFailed -> String #
Buildable UStoreValueUnpackFailed Source #
Instance details Defined in Lorentz.Contracts.Upgradeable.Client Methods build :: UStoreValueUnpackFailed -> Builder #

data UStoreElemRef Source #

Constructors

UrField MText
UrSubmap MText (SomeConstrainedValue PackedValScope')

readContractUStore :: forall v m. (UnpackedValScope v, HasTezosRpc m) => Address -> UStoreElemRef -> m (Value v) Source #

Read UStore value of given contract.

This essentially requires contract having only one big_map bytes bytes in storage.

readContractUStoreEntrypoint :: HasTezosRpc m => Address -> MText -> m [ExpandedOp] Source #

Read an UStore entrypoint. For contracts which are filled with storage-driven approach.

Unlike readContractUStore, here we don't need to know exact type of value (lambda) in order to unpack it, thus returning code in untyped representation.