Morley.Client.RPC.Getters

Some read-only actions (wrappers over RPC calls).

Documentation

data ValueDecodeFailure

Failed to decode received value to the given type.

Constructors

ValueDecodeFailure Text T

Instances

Exception ValueDecodeFailure

Defined in Morley.Client.RPC.Getters

Methods

toException :: ValueDecodeFailure -> SomeException

fromException :: SomeException -> Maybe ValueDecodeFailure

displayException :: ValueDecodeFailure -> String

Show ValueDecodeFailure

Defined in Morley.Client.RPC.Getters

Methods

showsPrec :: Int -> ValueDecodeFailure -> ShowS

show :: ValueDecodeFailure -> String

showList :: [ValueDecodeFailure] -> ShowS

Buildable ValueDecodeFailure

Defined in Morley.Client.RPC.Getters

Methods

build :: ValueDecodeFailure -> Builder

data ValueNotFound

Constructors

ValueNotFound

Instances

Exception ValueNotFound

Defined in Morley.Client.RPC.Getters

Methods

toException :: ValueNotFound -> SomeException

fromException :: SomeException -> Maybe ValueNotFound

displayException :: ValueNotFound -> String

Show ValueNotFound

Defined in Morley.Client.RPC.Getters

Methods

showsPrec :: Int -> ValueNotFound -> ShowS

show :: ValueNotFound -> String

showList :: [ValueNotFound] -> ShowS

Buildable ValueNotFound

Defined in Morley.Client.RPC.Getters

Methods

build :: ValueNotFound -> Builder

readAllBigMapValues :: forall v k m. (NiceUnpackedValue v, HasTezosRpc m) => BigMapId k v -> m [v]

Read all big_map values, given it's ID. If the values are not of the expected type, a ValueDecodeFailure will be thrown.

readAllBigMapValuesMaybe :: forall v k m. (NiceUnpackedValue v, HasTezosRpc m) => BigMapId k v -> m (Maybe [v])

Read all big_map values, given it's ID. If the values are not of the expected type, a ValueDecodeFailure will be thrown.

Returns Nothing if a big_map with the given ID does not exist.

readContractBigMapValue :: forall k v m. (PackedValScope k, HasTezosRpc m, SingI v) => ContractAddress -> Value k -> m (Value v)

Read big_map value of given contract by key.

If the contract contains several big_maps with given key type, only one of them will be considered.

readBigMapValueMaybe :: forall v k m. (NicePackedValue k, NiceUnpackedValue v, HasTezosRpc m) => BigMapId k v -> k -> m (Maybe v)

Read big_map value, given it's ID and a key. If the value is not of the expected type, a ValueDecodeFailure will be thrown.

Returns Nothing if a big_map with the given ID does not exist, or it does exist but does not contain the given key.

readBigMapValue :: forall v k m. (NicePackedValue k, NiceUnpackedValue v, HasTezosRpc m) => BigMapId k v -> k -> m v

Read big_map value, given it's ID and a key. If the value is not of the expected type, a ValueDecodeFailure will be thrown.

getContract :: HasTezosRpc m => ContractAddress -> m Contract

Get originated Contract for some address.

getImplicitContractCounter :: HasTezosRpc m => ImplicitAddress -> m TezosInt64

Get counter value for given implicit address.

getContractsParameterTypes :: HasTezosRpc m => [ContractAddress] -> m TcOriginatedContracts

Extract parameter types for all smart contracts' addresses and return mapping from their hashes to their parameter types

getContractStorage :: HasTezosRpc m => ContractAddress -> m Expression

getContractStorageAtBlock applied to the head block.

getScriptSize :: HasTezosRpc m => CalcSize -> m ScriptSize

getScriptSizeAtBlock applied to the head block.

getBigMapValue :: HasTezosRpc m => Natural -> Text -> m Expression

getBigMapValueAtBlock applied to the head block.

getBigMapValues :: HasTezosRpc m => Natural -> Maybe Natural -> Maybe Natural -> m Expression

getBigMapValuesAtBlock applied to the head block.

getHeadBlock :: HasTezosRpc m => m BlockHash

Get hash of the current head block, this head hash is used in other RPC calls.

getCounter :: HasTezosRpc m => ImplicitAddress -> m TezosInt64

getCounterAtBlock applied to the head block.

getProtocolParameters :: HasTezosRpc m => m ProtocolParameters

getProtocolParametersAtBlock applied to the head block.

runOperation :: HasTezosRpc m => RunOperation -> m RunOperationResult

runOperationAtBlock applied to the head block.

preApplyOperations :: HasTezosRpc m => [PreApplyOperation] -> m [RunOperationResult]

preApplyOperationsAtBlock applied to the head block.

forgeOperation :: HasTezosRpc m => ForgeOperation -> m HexJSONByteString

forgeOperationAtBlock applied to the head block.

getContractScript :: HasTezosRpc m => ContractAddress -> m OriginationScript

getContractScriptAtBlock applied to the head block.

getContractBigMap :: HasTezosRpc m => ContractAddress -> GetBigMap -> m GetBigMapResult

getContractBigMapAtBlock applied to the head block.

getBalance :: forall kind m. (HasTezosRpc m, L1AddressKind kind) => KindedAddress kind -> m Mutez

getBalanceAtBlock applied to the head block.

getDelegate :: HasTezosRpc m => ContractAddress -> m (Maybe KeyHash)

getDelegateAtBlock applied to the head block.

runCode :: HasTezosRpc m => RunCode -> m RunCodeResult

runCodeAtBlock applied to the head block.

getManagerKey :: HasTezosRpc m => ImplicitAddress -> m (Maybe PublicKey)