package tezos-protocol-015-PtLimaPt
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
Tezos/Protocol: economic-protocol definition
Install
dune-project
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.ProtocolSource
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_reprSource
module Delegate_activation_storage =
Tezos_raw_protocol_015_PtLimaPt.Delegate_activation_storageSource
module Delegate_missed_endorsements_storage =
Tezos_raw_protocol_015_PtLimaPt.Delegate_missed_endorsements_storageSource
module Delegate_slashed_deposits_storage =
Tezos_raw_protocol_015_PtLimaPt.Delegate_slashed_deposits_storageSource
module Liquidity_baking_migration =
Tezos_raw_protocol_015_PtLimaPt.Liquidity_baking_migrationSource
module Sc_rollup_commitment_storage =
Tezos_raw_protocol_015_PtLimaPt.Sc_rollup_commitment_storageSource
module Sc_rollup_data_version_sig =
Tezos_raw_protocol_015_PtLimaPt.Sc_rollup_data_version_sigSource
module Sc_rollup_inbox_message_repr =
Tezos_raw_protocol_015_PtLimaPt.Sc_rollup_inbox_message_reprSource
module Sc_rollup_management_protocol =
Tezos_raw_protocol_015_PtLimaPt.Sc_rollup_management_protocolSource
module Sc_rollup_outbox_message_repr =
Tezos_raw_protocol_015_PtLimaPt.Sc_rollup_outbox_message_reprSource
module Sc_rollup_refutation_storage =
Tezos_raw_protocol_015_PtLimaPt.Sc_rollup_refutation_storageSource
module Script_interpreter_logging =
Tezos_raw_protocol_015_PtLimaPt.Script_interpreter_loggingSource
module Script_ir_translator_config =
Tezos_raw_protocol_015_PtLimaPt.Script_ir_translator_configSource
module Script_tc_errors_registration =
Tezos_raw_protocol_015_PtLimaPt.Script_tc_errors_registrationSource
module Script_typed_ir_size_costs =
Tezos_raw_protocol_015_PtLimaPt.Script_typed_ir_size_costsSource
module Tx_rollup_commitment_storage =
Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_commitment_storageSource
module Tx_rollup_message_hash_repr =
Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_message_hash_reprSource
module Tx_rollup_message_result_hash_repr =
Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_message_result_hash_reprSource
module Tx_rollup_message_result_repr =
Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_message_result_reprSource
module Tx_rollup_withdraw_list_hash_repr =
Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_withdraw_list_hash_reprinclude 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_dataSource
val block_header_data_encoding :
block_header_data Tezos_protocol_environment_015_PtLimaPt.Data_encoding.tSource
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.tSource
type operation_receipt =
Tezos_raw_protocol_015_PtLimaPt.Apply_results.packed_operation_metadataSource
val operation_data_encoding :
operation_data Tezos_protocol_environment_015_PtLimaPt.Data_encoding.tSource
val operation_receipt_encoding :
operation_receipt Tezos_protocol_environment_015_PtLimaPt.Data_encoding.tSource
val operation_data_and_receipt_encoding :
(operation_data * operation_receipt)
Tezos_protocol_environment_015_PtLimaPt.Data_encoding.tSource
val compare_operations :
(Tezos_protocol_environment_015_PtLimaPt.Operation_hash.t * operation) ->
(Tezos_protocol_environment_015_PtLimaPt.Operation_hash.t * operation) ->
intSource
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.tSource
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.tSource
val finalize_validation :
validation_state ->
unit Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
Tezos_protocol_environment_015_PtLimaPt.Lwt.tSource
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.tSource
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.tSource
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.tSource
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)"
>