package tezos-protocol-001-PtCJ7pwo
Tezos/Protocol: 001_PtCJ7pwo (economic-protocol definition, functor version)
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-16.1.tar.gz
sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7
sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f
doc/tezos-protocol-001-PtCJ7pwo.raw/Tezos_raw_protocol_001_PtCJ7pwo/Apply/index.html
Module Tezos_raw_protocol_001_PtCJ7pwo.ApplySource
Tezos Protocol Implementation - Main Entry Points
Source
type Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.error += | Wrong_voting_period of Alpha_context.Voting_period.t * Alpha_context.Voting_period.t
Source
type Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.error += | Wrong_endorsement_predecessor of Tezos_protocol_environment_001_PtCJ7pwo.Block_hash.t * Tezos_protocol_environment_001_PtCJ7pwo.Block_hash.t
Source
type Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.error += | Duplicate_endorsement of Tezos_protocol_environment_001_PtCJ7pwo.Signature.Public_key_hash.t
Source
type Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.error += | Internal_operation_replay of Alpha_context.packed_internal_operation
Source
type Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.error += | Inconsistent_double_endorsement_evidence of {delegate1 : Tezos_protocol_environment_001_PtCJ7pwo.Signature.Public_key_hash.t;delegate2 : Tezos_protocol_environment_001_PtCJ7pwo.Signature.Public_key_hash.t;
}
Source
type Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.error += | Too_early_double_endorsement_evidence of {level : Alpha_context.Raw_level.t;current : Alpha_context.Raw_level.t;
}
Source
type Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.error += | Outdated_double_endorsement_evidence of {level : Alpha_context.Raw_level.t;last : Alpha_context.Raw_level.t;
}
Source
type Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.error += | Invalid_double_baking_evidence of {hash1 : Tezos_protocol_environment_001_PtCJ7pwo.Block_hash.t;level1 : Tezos_protocol_environment_001_PtCJ7pwo.Int32.t;hash2 : Tezos_protocol_environment_001_PtCJ7pwo.Block_hash.t;level2 : Tezos_protocol_environment_001_PtCJ7pwo.Int32.t;
}
Source
type Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.error += | Inconsistent_double_baking_evidence of {delegate1 : Tezos_protocol_environment_001_PtCJ7pwo.Signature.Public_key_hash.t;delegate2 : Tezos_protocol_environment_001_PtCJ7pwo.Signature.Public_key_hash.t;
}
Source
type Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.error += | Too_early_double_baking_evidence of {level : Alpha_context.Raw_level.t;current : Alpha_context.Raw_level.t;
}
Source
type Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.error += | Outdated_double_baking_evidence of {level : Alpha_context.Raw_level.t;last : Alpha_context.Raw_level.t;
}
Source
val apply_manager_operation_content :
'kind. Alpha_context.t ->
Script_ir_translator.unparsing_mode ->
payer:Alpha_context.Contract.t ->
source:Alpha_context.Contract.t ->
internal:bool ->
'kind Alpha_context.manager_operation ->
(Alpha_context.context
* 'kind Apply_results.successful_manager_operation_result
* Alpha_context.packed_internal_operation list)
Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.tzresult
Tezos_protocol_environment_001_PtCJ7pwo.Lwt.tSource
val apply_internal_manager_operations :
Alpha_context.context ->
Script_ir_translator.unparsing_mode ->
payer:Alpha_context.Contract.t ->
Alpha_context.packed_internal_operation list ->
([> `Failure | `Success of Alpha_context.context ]
* Apply_results.packed_internal_operation_result list)
Tezos_protocol_environment_001_PtCJ7pwo.Lwt.tSource
val precheck_manager_contents :
Tezos_raw_protocol_001_PtCJ7pwo__Alpha_context.t ->
Tezos_protocol_environment_001_PtCJ7pwo.Chain_id.t ->
'a Tezos_raw_protocol_001_PtCJ7pwo__Alpha_context.operation ->
'kind Alpha_context.Kind.manager Alpha_context.contents ->
Alpha_context.context
Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.tzresult
Tezos_protocol_environment_001_PtCJ7pwo.Lwt.tSource
val apply_manager_contents :
Tezos_raw_protocol_001_PtCJ7pwo__Alpha_context.t ->
Script_ir_translator.unparsing_mode ->
'kind Alpha_context.Kind.manager Alpha_context.contents ->
([ `Failure | `Success of Alpha_context.context ]
* 'kind Apply_results.manager_operation_result
* Apply_results.packed_internal_operation_result list)
Tezos_protocol_environment_001_PtCJ7pwo.Lwt.tSource
val mark_skipped :
'kind. baker:
Tezos_protocol_environment_001_PtCJ7pwo.Signature.Public_key_hash.t ->
Alpha_context.Level.t ->
'kind Alpha_context.Kind.manager Alpha_context.contents_list ->
'kind Alpha_context.Kind.manager Apply_results.contents_result_listSource
val precheck_manager_contents_list :
'kind. Alpha_context.t ->
Tezos_protocol_environment_001_PtCJ7pwo.Chain_id.t ->
'a Alpha_context.Operation.t ->
'kind Alpha_context.Kind.manager Alpha_context.contents_list ->
Alpha_context.context
Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.tzresult
Tezos_protocol_environment_001_PtCJ7pwo.Lwt.tSource
val apply_manager_contents_list_rec :
'kind. Alpha_context.t ->
Script_ir_translator.unparsing_mode ->
Alpha_context.public_key_hash ->
'kind Alpha_context.Kind.manager Alpha_context.contents_list ->
([ `Failure | `Success of Alpha_context.context ]
* 'kind Alpha_context.Kind.manager Apply_results.contents_result_list)
Tezos_protocol_environment_001_PtCJ7pwo.Lwt.tSource
val mark_backtracked :
'a Alpha_context.Kind.manager Apply_results.contents_result_list ->
'a Alpha_context.Kind.manager Apply_results.contents_result_listSource
val apply_manager_contents_list :
Alpha_context.t ->
Script_ir_translator.unparsing_mode ->
Alpha_context.public_key_hash ->
'a Alpha_context.Kind.manager Alpha_context.contents_list ->
(Alpha_context.t
* 'a Alpha_context.Kind.manager Apply_results.contents_result_list)
Tezos_protocol_environment_001_PtCJ7pwo.Lwt.tSource
val apply_contents_list :
Tezos_raw_protocol_001_PtCJ7pwo__Alpha_context.t ->
Tezos_protocol_environment_001_PtCJ7pwo.Chain_id.t ->
Script_ir_translator.unparsing_mode ->
Tezos_protocol_environment_001_PtCJ7pwo.Block_hash.t ->
Tezos_protocol_environment_001_PtCJ7pwo.Signature.Public_key_hash.t ->
'kind Alpha_context.operation ->
'kind Alpha_context.contents_list ->
(Alpha_context.context * 'kind Apply_results.contents_result_list)
Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.tzresult
Tezos_protocol_environment_001_PtCJ7pwo.Lwt.tSource
val apply_operation :
Tezos_raw_protocol_001_PtCJ7pwo__Alpha_context.t ->
Tezos_protocol_environment_001_PtCJ7pwo.Chain_id.t ->
Script_ir_translator.unparsing_mode ->
Tezos_protocol_environment_001_PtCJ7pwo.Block_hash.t ->
Tezos_protocol_environment_001_PtCJ7pwo.Signature.Public_key_hash.t ->
Tezos_protocol_environment_001_PtCJ7pwo.Operation_hash.t ->
'a Alpha_context.operation ->
(Tezos_raw_protocol_001_PtCJ7pwo__Alpha_context.t
* 'a Apply_results.operation_metadata)
Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.tzresult
Tezos_protocol_environment_001_PtCJ7pwo.Lwt.tSource
val may_snapshot_roll :
Tezos_raw_protocol_001_PtCJ7pwo__Alpha_context.t ->
Tezos_raw_protocol_001_PtCJ7pwo__Alpha_context.t
Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.tzresult
Tezos_protocol_environment_001_PtCJ7pwo.Lwt.tSource
val may_start_new_cycle :
Alpha_context.context ->
(Alpha_context.context
* Alpha_context.Delegate.balance_updates
* Tezos_protocol_environment_001_PtCJ7pwo.Signature.Public_key_hash.t list)
Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.tzresult
Tezos_protocol_environment_001_PtCJ7pwo.Lwt.tSource
val begin_full_construction :
Alpha_context.context ->
Tezos_protocol_environment_001_PtCJ7pwo.Time.t ->
Alpha_context.Block_header.contents ->
(Alpha_context.context
* Alpha_context.Block_header.contents
* Alpha_context.public_key)
Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.tzresult
Tezos_protocol_environment_001_PtCJ7pwo.Lwt.tSource
val begin_partial_construction :
Tezos_raw_protocol_001_PtCJ7pwo__Alpha_context.t ->
Alpha_context.context
Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.tzresult
Tezos_protocol_environment_001_PtCJ7pwo.Lwt.tSource
val begin_application :
Tezos_raw_protocol_001_PtCJ7pwo__Alpha_context.t ->
Tezos_protocol_environment_001_PtCJ7pwo.Chain_id.t ->
Alpha_context.Block_header.t ->
Tezos_protocol_environment_001_PtCJ7pwo.Time.t ->
(Alpha_context.context * Alpha_context.public_key)
Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.tzresult
Tezos_protocol_environment_001_PtCJ7pwo.Lwt.tSource
val finalize_application :
Tezos_raw_protocol_001_PtCJ7pwo__Alpha_context.t ->
Alpha_context.Block_header.contents ->
Tezos_protocol_environment_001_PtCJ7pwo.Signature.Public_key_hash.t ->
(Alpha_context.context * Apply_results.block_metadata)
Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.tzresult
Tezos_protocol_environment_001_PtCJ7pwo.Lwt.t