Struct fuel_vm::prelude::PredicateStorage

pub struct PredicateStorage;

No-op storage used for predicate operations.

The storage implementations are expected to provide KV-like operations for contract operations. However, predicates, as defined in the protocol, cannot execute contract opcodes. This means its storage backend for predicate execution shouldn’t provide any functionality.

Trait Implementations

impl Clone for PredicateStorage

fn clone(&self) -> PredicateStorage

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for PredicateStorage

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for PredicateStorage

fn default() -> PredicateStorage

Returns the “default value” for a type.

impl InterpreterStorage for PredicateStorage

type DataError = InterpreterError

Error implementation for reasons unspecified in the protocol.

fn block_height(&self) -> Result<u32, InterpreterError>

Provide the current block height in which the transactions should be executed.

fn timestamp(&self, _height: u32) -> Result<Word, Self::DataError>

Return the timestamp of a given block

fn block_hash(&self, _block_height: u32) -> Result<Bytes32, InterpreterError>

Provide the block hash from a given height.

fn coinbase(&self) -> Result<Address, InterpreterError>

Provide the coinbase address for the VM instructions implementation.

fn storage_contract(
    &self,
    id: &ContractId
) -> Result<Option<Cow<'_, Contract>>, Self::DataError>

Fetch a previously inserted contract code from the chain state for a given contract.

fn storage_contract_insert(
    &mut self,
    id: &ContractId,
    contract: &Contract
) -> Result<Option<Contract>, Self::DataError>

Append a contract to the chain, provided its identifier.

fn storage_contract_exists(
    &self,
    id: &ContractId
) -> Result<bool, Self::DataError>

Check if a provided contract exists in the chain.

fn storage_contract_root(
    &self,
    id: &ContractId
) -> Result<Option<Cow<'_, (Salt, Bytes32)>>, Self::DataError>

Fetch a previously inserted salt+root tuple from the chain state for a given contract.

fn storage_contract_root_insert(
    &mut self,
    id: &ContractId,
    salt: &Salt,
    root: &Bytes32
) -> Result<Option<(Salt, Bytes32)>, Self::DataError>

Append the salt+root of a contract that was appended to the chain.

fn merkle_contract_state(
    &self,
    id: &ContractId,
    key: &Bytes32
) -> Result<Option<Cow<'_, Bytes32>>, Self::DataError>

Fetch the value form a key-value mapping in a contract storage.

fn merkle_contract_state_insert(
    &mut self,
    contract: &ContractId,
    key: &Bytes32,
    value: &Bytes32
) -> Result<Option<Bytes32>, Self::DataError>

Insert a key-value mapping in a contract storage.

fn merkle_contract_asset_id_balance(
    &self,
    id: &ContractId,
    asset_id: &AssetId
) -> Result<Option<Word>, Self::DataError>

Fetch the balance of an asset ID in a contract storage.

fn merkle_contract_asset_id_balance_insert(
    &mut self,
    contract: &ContractId,
    asset_id: &AssetId,
    value: Word
) -> Result<Option<Word>, Self::DataError>

Update the balance of an asset ID in a contract storage.

impl MerkleStorage<ContractId, AssetId, u64> for PredicateStorage

type Error = InterpreterError

Error implementation of the merkle storage functions

fn insert(
    &mut self,
    _parent: &ContractId,
    _key: &AssetId,
    _value: &Word
) -> Result<Option<Word>, InterpreterError>

Append P->K->V mapping to the storage.

fn get(
    &self,
    _parent: &ContractId,
    _key: &AssetId
) -> Result<Option<Cow<'_, Word>>, InterpreterError>

Retrieve Cow<V> such as P->K->V.

fn remove(
    &mut self,
    _parent: &ContractId,
    _key: &AssetId
) -> Result<Option<Word>, InterpreterError>

Remove P->K->V mapping from the storage.

fn contains_key(
    &self,
    _parent: &ContractId,
    _key: &AssetId
) -> Result<bool, InterpreterError>

Return true if there is a P->K mapping to a value in the storage.

fn root(&mut self, _parent: &ContractId) -> Result<MerkleRoot, InterpreterError>

Return the merkle root of the domain of P.

impl MerkleStorage<ContractId, Bytes32, Bytes32> for PredicateStorage

type Error = InterpreterError

Error implementation of the merkle storage functions

fn insert(
    &mut self,
    _parent: &ContractId,
    _key: &Bytes32,
    _value: &Bytes32
) -> Result<Option<Bytes32>, InterpreterError>

Append P->K->V mapping to the storage.

fn get(
    &self,
    _parent: &ContractId,
    _key: &Bytes32
) -> Result<Option<Cow<'_, Bytes32>>, InterpreterError>

Retrieve Cow<V> such as P->K->V.

fn remove(
    &mut self,
    _parent: &ContractId,
    _key: &Bytes32
) -> Result<Option<Bytes32>, InterpreterError>

Remove P->K->V mapping from the storage.

fn contains_key(
    &self,
    _parent: &ContractId,
    _key: &Bytes32
) -> Result<bool, InterpreterError>

Return true if there is a P->K mapping to a value in the storage.

fn root(&mut self, _parent: &ContractId) -> Result<MerkleRoot, InterpreterError>

Return the merkle root of the domain of P.

impl Storage<ContractId, (Salt, Bytes32)> for PredicateStorage

type Error = InterpreterError

Error implementation of the storage functions

fn insert(
    &mut self,
    _key: &ContractId,
    _value: &(Salt, Bytes32)
) -> Result<Option<(Salt, Bytes32)>, InterpreterError>

Append K->V mapping to the storage.

fn remove(
    &mut self,
    _key: &ContractId
) -> Result<Option<(Salt, Bytes32)>, InterpreterError>

Remove K->V mapping from the storage.

fn get(
    &self,
    _key: &ContractId
) -> Result<Option<Cow<'_, (Salt, Bytes32)>>, InterpreterError>

Retrieve Cow<V> such as K->V.

fn contains_key(&self, _key: &ContractId) -> Result<bool, InterpreterError>

Return true if there is a K mapping to a value in the storage.

impl Storage<ContractId, Contract> for PredicateStorage

type Error = InterpreterError

Error implementation of the storage functions

fn insert(
    &mut self,
    _key: &ContractId,
    _value: &Contract
) -> Result<Option<Contract>, InterpreterError>

Append K->V mapping to the storage.

fn remove(
    &mut self,
    _key: &ContractId
) -> Result<Option<Contract>, InterpreterError>

Remove K->V mapping from the storage.

fn get(
    &self,
    _key: &ContractId
) -> Result<Option<Cow<'_, Contract>>, InterpreterError>

Retrieve Cow<V> such as K->V.

fn contains_key(&self, _key: &ContractId) -> Result<bool, InterpreterError>

Return true if there is a K mapping to a value in the storage.

impl Copy for PredicateStorage