package tezos-protocol-007-PsDELPH1
Tezos/Protocol: economic-protocol definition
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-17.3.tar.gz
sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680
sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc
doc/tezos-protocol-007-PsDELPH1.raw/Tezos_raw_protocol_007_PsDELPH1/Apply/index.html
Module Tezos_raw_protocol_007_PsDELPH1.ApplySource
Tezos Protocol Implementation - Main Entry Points
Source
type Tezos_protocol_environment_007_PsDELPH1.Error_monad.error += | Wrong_voting_period of Alpha_context.Voting_period.t * Alpha_context.Voting_period.t
Source
type Tezos_protocol_environment_007_PsDELPH1.Error_monad.error += | Wrong_endorsement_predecessor of Tezos_protocol_environment_007_PsDELPH1.Block_hash.t * Tezos_protocol_environment_007_PsDELPH1.Block_hash.t
Source
type Tezos_protocol_environment_007_PsDELPH1.Error_monad.error += | Duplicate_endorsement of Tezos_protocol_environment_007_PsDELPH1.Signature.Public_key_hash.t
Source
type Tezos_protocol_environment_007_PsDELPH1.Error_monad.error += | Internal_operation_replay of Alpha_context.packed_internal_operation
Source
type Tezos_protocol_environment_007_PsDELPH1.Error_monad.error += | Inconsistent_double_endorsement_evidence of {delegate1 : Tezos_protocol_environment_007_PsDELPH1.Signature.Public_key_hash.t;delegate2 : Tezos_protocol_environment_007_PsDELPH1.Signature.Public_key_hash.t;
}
Source
type Tezos_protocol_environment_007_PsDELPH1.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_007_PsDELPH1.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_007_PsDELPH1.Error_monad.error += | Invalid_double_baking_evidence of {hash1 : Tezos_protocol_environment_007_PsDELPH1.Block_hash.t;level1 : Tezos_protocol_environment_007_PsDELPH1.Int32.t;hash2 : Tezos_protocol_environment_007_PsDELPH1.Block_hash.t;level2 : Tezos_protocol_environment_007_PsDELPH1.Int32.t;
}
Source
type Tezos_protocol_environment_007_PsDELPH1.Error_monad.error += | Inconsistent_double_baking_evidence of {delegate1 : Tezos_protocol_environment_007_PsDELPH1.Signature.Public_key_hash.t;delegate2 : Tezos_protocol_environment_007_PsDELPH1.Signature.Public_key_hash.t;
}
Source
type Tezos_protocol_environment_007_PsDELPH1.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_007_PsDELPH1.Error_monad.error += | Outdated_double_baking_evidence of {level : Alpha_context.Raw_level.t;last : Alpha_context.Raw_level.t;
}
Source
type Tezos_protocol_environment_007_PsDELPH1.Error_monad.error += | Not_enough_endorsements_for_priority of {required : int;priority : int;endorsements : int;timestamp : Tezos_protocol_environment_007_PsDELPH1.Time.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 ->
chain_id:Tezos_protocol_environment_007_PsDELPH1.Chain_id.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_007_PsDELPH1.Error_monad.tzresult
Tezos_protocol_environment_007_PsDELPH1.Lwt.tSource
val apply_internal_manager_operations :
Alpha_context.context ->
Script_ir_translator.unparsing_mode ->
payer:Alpha_context.Contract.t ->
chain_id:Tezos_protocol_environment_007_PsDELPH1.Chain_id.t ->
Alpha_context.packed_internal_operation list ->
([> `Failure | `Success of Alpha_context.context ]
* Apply_results.packed_internal_operation_result list)
Tezos_protocol_environment_007_PsDELPH1.Lwt.tSource
val precheck_manager_contents :
Tezos_raw_protocol_007_PsDELPH1__Alpha_context.t ->
'kind Alpha_context.Kind.manager Alpha_context.contents ->
Alpha_context.context
Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult
Tezos_protocol_environment_007_PsDELPH1.Lwt.tSource
val apply_manager_contents :
Tezos_raw_protocol_007_PsDELPH1__Alpha_context.t ->
Script_ir_translator.unparsing_mode ->
Tezos_protocol_environment_007_PsDELPH1.Chain_id.t ->
'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_007_PsDELPH1.Lwt.tSource
val skipped_operation_result :
'kind. 'kind Alpha_context.manager_operation ->
'kind Apply_results.manager_operation_resultSource
val mark_skipped :
'kind. baker:
Tezos_protocol_environment_007_PsDELPH1.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 ->
'kind Alpha_context.Kind.manager Alpha_context.contents_list ->
Alpha_context.context
Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult
Tezos_protocol_environment_007_PsDELPH1.Lwt.tSource
val check_manager_signature :
Tezos_raw_protocol_007_PsDELPH1__Alpha_context.t ->
Tezos_protocol_environment_007_PsDELPH1.Chain_id.t ->
'a Alpha_context.Kind.manager Alpha_context.contents_list ->
'b Tezos_raw_protocol_007_PsDELPH1__Alpha_context.operation ->
unit Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult
Tezos_protocol_environment_007_PsDELPH1.Lwt.tSource
val apply_manager_contents_list_rec :
'kind. Alpha_context.t ->
Script_ir_translator.unparsing_mode ->
Alpha_context.public_key_hash ->
Tezos_protocol_environment_007_PsDELPH1.Chain_id.t ->
'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_007_PsDELPH1.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 ->
Tezos_protocol_environment_007_PsDELPH1.Chain_id.t ->
'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_007_PsDELPH1.Lwt.tSource
val apply_contents_list :
Tezos_raw_protocol_007_PsDELPH1__Alpha_context.t ->
Tezos_protocol_environment_007_PsDELPH1.Chain_id.t ->
Script_ir_translator.unparsing_mode ->
Tezos_protocol_environment_007_PsDELPH1.Block_hash.t ->
Tezos_protocol_environment_007_PsDELPH1.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_007_PsDELPH1.Error_monad.tzresult
Tezos_protocol_environment_007_PsDELPH1.Lwt.tSource
val apply_operation :
Tezos_raw_protocol_007_PsDELPH1__Alpha_context.t ->
Tezos_protocol_environment_007_PsDELPH1.Chain_id.t ->
Script_ir_translator.unparsing_mode ->
Tezos_protocol_environment_007_PsDELPH1.Block_hash.t ->
Tezos_protocol_environment_007_PsDELPH1.Signature.Public_key_hash.t ->
Tezos_protocol_environment_007_PsDELPH1.Operation_hash.t ->
'a Alpha_context.operation ->
(Tezos_raw_protocol_007_PsDELPH1__Alpha_context.t
* 'a Apply_results.operation_metadata)
Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult
Tezos_protocol_environment_007_PsDELPH1.Lwt.tSource
val may_snapshot_roll :
Tezos_raw_protocol_007_PsDELPH1__Alpha_context.t ->
Tezos_raw_protocol_007_PsDELPH1__Alpha_context.t
Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult
Tezos_protocol_environment_007_PsDELPH1.Lwt.tSource
val may_start_new_cycle :
Alpha_context.context ->
(Alpha_context.context
* Alpha_context.Delegate.balance_updates
* Tezos_protocol_environment_007_PsDELPH1.Signature.Public_key_hash.t list)
Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult
Tezos_protocol_environment_007_PsDELPH1.Lwt.tSource
val begin_full_construction :
Tezos_raw_protocol_007_PsDELPH1__Alpha_context.t ->
Tezos_protocol_environment_007_PsDELPH1.Time.t ->
Alpha_context.Block_header.contents ->
(Alpha_context.context
* Alpha_context.Block_header.contents
* Alpha_context.public_key
* Alpha_context.Period.t)
Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult
Tezos_protocol_environment_007_PsDELPH1.Lwt.tSource
val begin_partial_construction :
Tezos_raw_protocol_007_PsDELPH1__Alpha_context.t ->
Alpha_context.context
Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult
Tezos_protocol_environment_007_PsDELPH1.Lwt.tSource
val begin_application :
Tezos_raw_protocol_007_PsDELPH1__Alpha_context.t ->
Tezos_protocol_environment_007_PsDELPH1.Chain_id.t ->
Alpha_context.Block_header.t ->
Tezos_protocol_environment_007_PsDELPH1.Time.t ->
(Alpha_context.context * Alpha_context.public_key * Alpha_context.Period.t)
Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult
Tezos_protocol_environment_007_PsDELPH1.Lwt.tSource
val check_minimum_endorsements :
Alpha_context.context ->
Alpha_context.Block_header.contents ->
Alpha_context.Period.t ->
Tezos_protocol_environment_007_PsDELPH1.Compare.Int.t ->
unit Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresultSource
val finalize_application :
Alpha_context.context ->
Alpha_context.Block_header.contents ->
Tezos_protocol_environment_007_PsDELPH1.Signature.Public_key_hash.t ->
block_delay:Alpha_context.Period.t ->
(Alpha_context.context * Apply_results.block_metadata)
Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult
Tezos_protocol_environment_007_PsDELPH1.Lwt.t