package tezos-protocol-alpha

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Cannot_pay_storage_fee
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Operation_quota_exceeded
type Tezos_protocol_environment_alpha__Environment.Error_monad.error +=
  1. | Storage_limit_too_high
val record_global_constant_storage_space : Raw_context.t -> Z.t -> Raw_context.t * Z.t

record_global_constant_storage_space ctxt size records paid storage space for registering a new global constant. Cost is <size> in bytes + 65 additional bytes for the key hash of the expression. Returns new context and the cost.

val record_paid_storage_space : Raw_context.t -> Contract_repr.t -> (Raw_context.t * Z.t * Z.t, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) result Lwt.t

record_paid_storage_space ctxt contract updates the amount of storage consumed by the contract and considered as accounted for as far as future payment is concerned. Returns a new context, the total space consumed by the contract, and the additional (and unpaid) space consumed since the last call of this function on this contract.

val check_storage_limit : Raw_context.t -> storage_limit:Z.t -> (unit, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) result

check_storage_limit ctxt ~storage_limit raises the Storage_limit_too_high error iff storage_limit is negative or greater the constant hard_storage_limit_per_operation.

val burn_storage_fees : ?origin:Receipt_repr.update_origin -> Raw_context.t -> storage_limit:Z.t -> payer:Token.source -> Z.t -> (Raw_context.t * Z.t * Receipt_repr.balance_updates, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) result Lwt.t

burn_storage_fees ctxt ~storage_limit ~payer consumed takes funds from the payer to pay the cost of the consumed storage. This function has an optional parameter ~origin that allows to set the origin of returned balance updates (by default the parameter is set to Block_application). Returns an updated context, an updated storage limit equal to storage_limit - consumed, and the relevant balance updates. Raises the Operation_quota_exceeded error if storage_limit < consumed. Raises the Cannot_pay_storage_fee error if the funds from the payer are not sufficient to pay the storage fees.

val burn_origination_fees : ?origin:Receipt_repr.update_origin -> Raw_context.t -> storage_limit:Z.t -> payer:Token.source -> (Raw_context.t * Z.t * Receipt_repr.balance_updates, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) result Lwt.t

Calls burn_storage_fees with the parameter consumed mapped to the constant origination_size.

val burn_tx_rollup_origination_fees : ?origin:Receipt_repr.update_origin -> Raw_context.t -> storage_limit:Z.t -> payer:Token.source -> (Raw_context.t * Z.t * Receipt_repr.balance_updates, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) result Lwt.t

Calls burn_storage_fees with the parameter consumed mapped to the constant tx_rollup_origination_size.

OCaml

Innovation. Community. Security.