package tezos-protocol-008-PtEdo2Zk

  1. Overview
  2. Docs
package tezos-protocol-008-PtEdo2Zk
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t = private
  1. | Unaccounted
  2. | Limited of {
    1. remaining : Arith.fp;
    }
val encoding : t Data_encoding.t
val pp : Stdlib.Format.formatter -> t -> unit
type cost
val cost_encoding : cost Data_encoding.t
val pp_cost : Stdlib.Format.formatter -> cost -> unit
type Tezos_protocol_environment_008_PtEdo2Zk__Environment.Error_monad.error +=
  1. | Block_quota_exceeded
type Tezos_protocol_environment_008_PtEdo2Zk__Environment.Error_monad.error +=
  1. | Operation_quota_exceeded
type Tezos_protocol_environment_008_PtEdo2Zk__Environment.Error_monad.error +=
  1. | Gas_limit_too_high
val free : cost
val atomic_step_cost : Z.t -> cost
val step_cost : Z.t -> cost
val alloc_cost : Z.t -> cost
val alloc_bytes_cost : int -> cost
val alloc_mbytes_cost : int -> cost
val read_bytes_cost : Z.t -> cost
val write_bytes_cost : Z.t -> cost
val (*@) : Z.t -> cost -> cost
val (+@) : cost -> cost -> cost
val check_limit : context -> 'a Arith.t -> (unit, Tezos_protocol_environment_008_PtEdo2Zk__Environment.Error_monad.error list) Stdlib.result
val set_limit : context -> 'a Arith.t -> context
val set_unlimited : context -> context
val consume : context -> cost -> (context, Tezos_protocol_environment_008_PtEdo2Zk__Environment.Error_monad.error list) Stdlib.result
val check_enough : context -> cost -> (unit, Tezos_protocol_environment_008_PtEdo2Zk__Environment.Error_monad.error list) Stdlib.result
val level : context -> t
val consumed : since:context -> until:context -> Arith.fp
val block_level : context -> Arith.fp
val cost_of_repr : Gas_limit_repr.cost -> cost
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct