Module `Alpha_context.Gas`Source

Source

module Arith : 
  Fixed_point_repr.Safe
    with type 'a t = Saturation_repr.may_saturate Saturation_repr.t

Sourcetype t = private

| Unaccounted
| Limited of {
1. remaining : Arith.fp;
}

Sourceval encoding : t Tezos_protocol_environment_010_PtGRANAD.Data_encoding.encoding

Sourceval pp : Tezos_protocol_environment_010_PtGRANAD.Format.formatter -> t -> unit

Sourcetype cost = Saturation_repr.may_saturate Saturation_repr.t

Source

val cost_encoding : 
  cost Tezos_protocol_environment_010_PtGRANAD.Data_encoding.encoding

Source

val pp_cost : 
  Tezos_protocol_environment_010_PtGRANAD.Format.formatter ->
  cost ->
  unit

Sourcetype Tezos_protocol_environment_010_PtGRANAD.Error_monad.error +=

| Block_quota_exceeded

Sourcetype Tezos_protocol_environment_010_PtGRANAD.Error_monad.error +=

| Operation_quota_exceeded

Sourcetype Tezos_protocol_environment_010_PtGRANAD.Error_monad.error +=

| Gas_limit_too_high

Sourceval free : cost

Sourceval atomic_step_cost : 'a Saturation_repr.t -> cost

Sourceval step_cost : 'a Saturation_repr.t -> cost

Sourceval alloc_cost : 'a Saturation_repr.t -> cost

Sourceval alloc_bytes_cost : int -> cost

Sourceval alloc_mbytes_cost : int -> cost

Sourceval read_bytes_cost : int -> cost

Sourceval write_bytes_cost : int -> cost

Sourceval (*@) : 'a Saturation_repr.t -> cost -> cost

Sourceval (+@) : cost -> cost -> cost

Source

val check_limit_is_valid : 
  context ->
  'a Arith.t ->
  unit Tezos_protocol_environment_010_PtGRANAD.Error_monad.tzresult

Checks that the given gas limit does not exceed the hard gas limit per operation

Source

val consume_limit_in_block : 
  context ->
  'a Arith.t ->
  context Tezos_protocol_environment_010_PtGRANAD.Error_monad.tzresult

Consumes gas equal to the given operation gas limit in the current block gas level of the context. May fail if not enough gas remains in the block

Sourceval set_limit : context -> 'a Arith.t -> context

Sets a limit to the consumable operation gas

Sourceval set_unlimited : context -> context

Allows unlimited gas consumption

Source

val consume : 
  context ->
  cost ->
  context Tezos_protocol_environment_010_PtGRANAD.Error_monad.tzresult

Consumes operation gas. May fail if not enough gas remains for the operation

Sourceval remaining_operation_gas : context -> Arith.fp

Returns the current gas counter.

Sourceval update_remaining_operation_gas : context -> Arith.fp -> context

Update gas counter in the context.

Source

val gas_exhausted_error : 
  context ->
  'a Tezos_protocol_environment_010_PtGRANAD.Error_monad.tzresult

Triggers an error in case of gas exhaustion.

Sourceval level : context -> t

Returns operation gas level

Sourceval consumed : since:context -> until:context -> Arith.fp

Returns the operation gas level difference between two contexts. Returns Arith.zero if any of the contexts are set to unlimited gas

Sourceval block_level : context -> Arith.fp

Returns block gas level

Sourceval cost_of_repr : Gas_limit_repr.cost -> cost

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-010-PtGRANAD.raw/Tezos_raw_protocol_010_PtGRANAD/Alpha_context/Gas/index.html

Module `Alpha_context.Gas`Source

package tezos-protocol-010-PtGRANAD

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-010-PtGRANAD.raw/Tezos_raw_protocol_010_PtGRANAD/Alpha_context/Gas/index.html

Module Alpha_context.GasSource

Module `Alpha_context.Gas`Source