package tezos-protocol-alpha

  1. Overview
  2. Docs
package tezos-protocol-alpha
Legend:
Library
Module
Module type
Parameter
Class
Class type
val name : string
include module type of struct include Tezos_raw_protocol_alpha end
module Blinded_public_key_hash = Tezos_raw_protocol_alpha.Blinded_public_key_hash
module Liquidity_baking_cpmm = Tezos_raw_protocol_alpha.Liquidity_baking_cpmm
module Liquidity_baking_lqt = Tezos_raw_protocol_alpha.Liquidity_baking_lqt
module Liquidity_baking_migration = Tezos_raw_protocol_alpha.Liquidity_baking_migration
module Liquidity_baking_repr = Tezos_raw_protocol_alpha.Liquidity_baking_repr
module Michelson_v1_primitives = Tezos_raw_protocol_alpha.Michelson_v1_primitives
module Script_interpreter_defs = Tezos_raw_protocol_alpha.Script_interpreter_defs
module Script_ir_translator = Tezos_raw_protocol_alpha.Script_ir_translator
module Script_tc_errors_registration = Tezos_raw_protocol_alpha.Script_tc_errors_registration
module Script_timestamp_repr = Tezos_raw_protocol_alpha.Script_timestamp_repr
module Services_registration = Tezos_raw_protocol_alpha.Services_registration
module Voting_period_storage = Tezos_raw_protocol_alpha.Voting_period_storage
include module type of struct include Tezos_raw_protocol_alpha.Main end
val max_block_length : int
val max_operation_data_length : int
val validation_passes : Environment_context.quota list
val block_header_data_encoding : block_header_data Data_encoding.t
val block_header_metadata_encoding : block_header_metadata Data_encoding.t
val operation_data_encoding : operation_data Data_encoding.t
val operation_receipt_encoding : operation_receipt Data_encoding.t
val operation_data_and_receipt_encoding : (operation_data * operation_receipt) Data_encoding.t
val acceptable_passes : operation -> int list
val compare_operations : operation -> operation -> int
val current_context : validation_state -> (Environment_context.Context.t, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) result Lwt.t
val begin_partial_application : chain_id:Tezos_crypto.Chain_id.t -> ancestor_context:Environment_context.Context.t -> predecessor_timestamp:Tezos_base.Time.Protocol.t -> predecessor_fitness:bytes list -> block_header -> (validation_state, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) result Lwt.t
val begin_application : chain_id:Tezos_crypto.Chain_id.t -> predecessor_context:Environment_context.Context.t -> predecessor_timestamp:Tezos_base.Time.Protocol.t -> predecessor_fitness:bytes list -> block_header -> (validation_state, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) result Lwt.t
val begin_construction : chain_id:Tezos_crypto.Chain_id.t -> predecessor_context:Environment_context.Context.t -> predecessor_timestamp:Tezos_base.Time.Protocol.t -> predecessor_level:int32 -> predecessor_fitness:bytes list -> predecessor:Tezos_crypto.Block_hash.t -> timestamp:Tezos_base.Time.Protocol.t -> ?protocol_data:block_header_data -> unit -> (validation_state, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) result Lwt.t
val apply_operation : validation_state -> operation -> (validation_state * operation_receipt, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) result Lwt.t
val finalize_block : validation_state -> (Environment_context.validation_result * block_header_metadata, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) result Lwt.t
val init : Environment_context.Context.t -> Tezos_base.Block_header.shell_header -> (Environment_context.validation_result, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) result Lwt.t