package tezos-protocol-015-PtLimaPt
Tezos/Protocol: economic-protocol definition
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-17.3.tar.gz
sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680
sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc
doc/tezos-protocol-015-PtLimaPt/Tezos_protocol_015_PtLimaPt/Protocol/index.html
Module Tezos_protocol_015_PtLimaPt.Protocol
Source
include module type of struct include Tezos_raw_protocol_015_PtLimaPt end
Source
module Constants_parametric_previous_repr =
Tezos_raw_protocol_015_PtLimaPt.Constants_parametric_previous_repr
Source
module Delegate_activation_storage =
Tezos_raw_protocol_015_PtLimaPt.Delegate_activation_storage
Source
module Delegate_missed_endorsements_storage =
Tezos_raw_protocol_015_PtLimaPt.Delegate_missed_endorsements_storage
Source
module Delegate_slashed_deposits_storage =
Tezos_raw_protocol_015_PtLimaPt.Delegate_slashed_deposits_storage
Source
module Liquidity_baking_migration =
Tezos_raw_protocol_015_PtLimaPt.Liquidity_baking_migration
Source
module Sc_rollup_commitment_storage =
Tezos_raw_protocol_015_PtLimaPt.Sc_rollup_commitment_storage
Source
module Sc_rollup_data_version_sig =
Tezos_raw_protocol_015_PtLimaPt.Sc_rollup_data_version_sig
Source
module Sc_rollup_inbox_message_repr =
Tezos_raw_protocol_015_PtLimaPt.Sc_rollup_inbox_message_repr
Source
module Sc_rollup_management_protocol =
Tezos_raw_protocol_015_PtLimaPt.Sc_rollup_management_protocol
Source
module Sc_rollup_outbox_message_repr =
Tezos_raw_protocol_015_PtLimaPt.Sc_rollup_outbox_message_repr
Source
module Sc_rollup_refutation_storage =
Tezos_raw_protocol_015_PtLimaPt.Sc_rollup_refutation_storage
Source
module Script_interpreter_logging =
Tezos_raw_protocol_015_PtLimaPt.Script_interpreter_logging
Source
module Script_ir_translator_config =
Tezos_raw_protocol_015_PtLimaPt.Script_ir_translator_config
Source
module Script_tc_errors_registration =
Tezos_raw_protocol_015_PtLimaPt.Script_tc_errors_registration
Source
module Script_typed_ir_size_costs =
Tezos_raw_protocol_015_PtLimaPt.Script_typed_ir_size_costs
Source
module Tx_rollup_commitment_storage =
Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_commitment_storage
Source
module Tx_rollup_message_hash_repr =
Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_message_hash_repr
Source
module Tx_rollup_message_result_hash_repr =
Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_message_result_hash_repr
Source
module Tx_rollup_message_result_repr =
Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_message_result_repr
Source
module Tx_rollup_withdraw_list_hash_repr =
Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_withdraw_list_hash_repr
include module type of struct include Tezos_raw_protocol_015_PtLimaPt.Main end
Source
type operation = Tezos_raw_protocol_015_PtLimaPt.Alpha_context.packed_operation =
{
shell : Tezos_protocol_environment_015_PtLimaPt.Operation.shell_header;
protocol_data : operation_data;
}
include Tezos_protocol_environment_015_PtLimaPt.Updater.PROTOCOL
with type block_header_data =
Tezos_raw_protocol_015_PtLimaPt.Alpha_context.Block_header.protocol_data
and type block_header_metadata =
Tezos_raw_protocol_015_PtLimaPt.Apply_results.block_metadata
and type block_header =
Tezos_raw_protocol_015_PtLimaPt.Alpha_context.Block_header.t
and type operation_data := operation_data
and type operation_receipt =
Tezos_raw_protocol_015_PtLimaPt.Apply_results.packed_operation_metadata
and type operation := operation
and type validation_state =
Tezos_raw_protocol_015_PtLimaPt.Validate.validation_state
and type application_state =
Tezos_raw_protocol_015_PtLimaPt.Apply.application_state
Source
type block_header_data =
Tezos_raw_protocol_015_PtLimaPt.Alpha_context.Block_header.protocol_data
Source
val block_header_data_encoding :
block_header_data Tezos_protocol_environment_015_PtLimaPt.Data_encoding.t
Source
type block_header =
Tezos_raw_protocol_015_PtLimaPt.Alpha_context.Block_header.t =
{
shell : Tezos_protocol_environment_015_PtLimaPt.Block_header.shell_header;
protocol_data : block_header_data;
}
Source
val block_header_metadata_encoding :
block_header_metadata Tezos_protocol_environment_015_PtLimaPt.Data_encoding.t
Source
type operation_receipt =
Tezos_raw_protocol_015_PtLimaPt.Apply_results.packed_operation_metadata
Source
val operation_data_encoding :
operation_data Tezos_protocol_environment_015_PtLimaPt.Data_encoding.t
Source
val operation_receipt_encoding :
operation_receipt Tezos_protocol_environment_015_PtLimaPt.Data_encoding.t
Source
val operation_data_and_receipt_encoding :
(operation_data * operation_receipt)
Tezos_protocol_environment_015_PtLimaPt.Data_encoding.t
Source
val compare_operations :
(Tezos_protocol_environment_015_PtLimaPt.Operation_hash.t * operation) ->
(Tezos_protocol_environment_015_PtLimaPt.Operation_hash.t * operation) ->
int
Source
type mode = Tezos_raw_protocol_015_PtLimaPt.Main.mode =
| Application of block_header
| Partial_validation of block_header
| Construction of {
predecessor_hash : Tezos_protocol_environment_015_PtLimaPt.Block_hash.t;
timestamp : Tezos_protocol_environment_015_PtLimaPt.Time.t;
block_header_data : block_header_data;
}
| Partial_construction of {
predecessor_hash : Tezos_protocol_environment_015_PtLimaPt.Block_hash.t;
timestamp : Tezos_protocol_environment_015_PtLimaPt.Time.t;
}
Source
val begin_validation :
Tezos_protocol_environment_015_PtLimaPt.Context.t ->
Tezos_protocol_environment_015_PtLimaPt.Chain_id.t ->
mode ->
predecessor:Tezos_protocol_environment_015_PtLimaPt.Block_header.shell_header ->
validation_state Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
Tezos_protocol_environment_015_PtLimaPt.Lwt.t
Source
val validate_operation :
?check_signature:bool ->
validation_state ->
Tezos_protocol_environment_015_PtLimaPt.Operation_hash.t ->
operation ->
validation_state Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
Tezos_protocol_environment_015_PtLimaPt.Lwt.t
Source
val finalize_validation :
validation_state ->
unit Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
Tezos_protocol_environment_015_PtLimaPt.Lwt.t
Source
val begin_application :
Tezos_protocol_environment_015_PtLimaPt.Context.t ->
Tezos_protocol_environment_015_PtLimaPt.Chain_id.t ->
mode ->
predecessor:Tezos_protocol_environment_015_PtLimaPt.Block_header.shell_header ->
application_state
Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
Tezos_protocol_environment_015_PtLimaPt.Lwt.t
Source
val finalize_application :
application_state ->
Tezos_protocol_environment_015_PtLimaPt.Block_header.shell_header option ->
(Tezos_protocol_environment_015_PtLimaPt.Updater.validation_result
* block_header_metadata)
Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
Tezos_protocol_environment_015_PtLimaPt.Lwt.t
Source
val init :
Tezos_protocol_environment_015_PtLimaPt.Chain_id.t ->
Tezos_protocol_environment_015_PtLimaPt.Context.t ->
Tezos_protocol_environment_015_PtLimaPt.Block_header.shell_header ->
Tezos_protocol_environment_015_PtLimaPt.Updater.validation_result
Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
Tezos_protocol_environment_015_PtLimaPt.Lwt.t
Source
val value_of_key :
chain_id:Tezos_protocol_environment_015_PtLimaPt.Chain_id.t ->
predecessor_context:Tezos_protocol_environment_015_PtLimaPt.Context.t ->
predecessor_timestamp:Tezos_protocol_environment_015_PtLimaPt.Time.t ->
predecessor_level:Tezos_protocol_environment_015_PtLimaPt.Int32.t ->
predecessor_fitness:Tezos_protocol_environment_015_PtLimaPt.Fitness.t ->
predecessor:Tezos_protocol_environment_015_PtLimaPt.Block_hash.t ->
timestamp:Tezos_protocol_environment_015_PtLimaPt.Time.t ->
(Tezos_protocol_environment_015_PtLimaPt.Context.Cache.key ->
Tezos_protocol_environment_015_PtLimaPt.Context.Cache.value
Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
Tezos_protocol_environment_015_PtLimaPt.Lwt.t)
Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
Tezos_protocol_environment_015_PtLimaPt.Lwt.t
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>