package tezos-protocol-alpha

You can search for identifiers within the package.

in-package search v0.2.0

Tezos/Protocol: economic-protocol definition

Install

Dune Dependency

www.tezos.com Readme Edit opam file Versions (8)

Authors

T

Tezos devteam

Maintainers

C

contact@tezos.com

Sources

tezos-16.1.tar.gz

sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7

sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f

doc/tezos-protocol-alpha.raw/Tezos_raw_protocol_alpha/Gas_input_size/index.html

Module `Tezos_raw_protocol_alpha.Gas_input_size`Source

Gas_input_size includes the definitions for the different sizes used in the gas models of the protocol. They do not always represent memory sizes, but rather they can be seen as an information size. They are tailored to the models that use them, and should not be used for anything other than gas computation.

include module type of Gas_comparable_input_size

Sourcetype t = int

Sourcetype micheline_size = {

traversal : t;
int_bytes : t;
string_bytes : t;

}

Sourceval encoding : t Tezos_protocol_environment_alpha.Data_encoding.encoding

Source

val micheline_size_encoding : 
  micheline_size Tezos_protocol_environment_alpha.Data_encoding.encoding

Sourceval zero : t

Sourceval add : t -> t -> t

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

Source

val pp_micheline_size : 
  Tezos_protocol_environment_alpha.Format.formatter ->
  micheline_size ->
  unit

Sourceval to_int : t -> int

Sourceval of_int : int -> t

Sourceval integer : 'a Script_int.num -> t

Sourceval string : string -> t

Sourceval script_string : Script_string.t -> t

Sourceval bytes : Tezos_protocol_environment_alpha.Bytes.t -> t

Sourceval mutez : Alpha_context.Tez.tez -> t

Sourceval timestamp : Script_timestamp.t -> t

Sourceval size_of_comparable_value : 'a Script_typed_ir.comparable_ty -> 'a -> t

Sourceval list : 'a Script_list.t -> t

Sourceval set : 'a Script_typed_ir.set -> t

Sourceval map : ('a, 'b) Script_typed_ir.map -> t

Source

val of_micheline : 
  ('a, 'b) Tezos_protocol_environment_alpha.Micheline.node ->
  micheline_size

Sourceval sapling_transaction_inputs : Alpha_context.Sapling.transaction -> t

Sourceval sapling_transaction_outputs : Alpha_context.Sapling.transaction -> t

Sourceval sapling_transaction_bound_data : Alpha_context.Sapling.transaction -> t

package tezos-protocol-alpha

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-alpha.raw/Tezos_raw_protocol_alpha/Gas_input_size/index.html

Module Tezos_raw_protocol_alpha.Gas_input_sizeSource

Module `Tezos_raw_protocol_alpha.Gas_input_size`Source